title: MIMO-SAR: A Hierarchical High-resolution Imaging Algorithm for mmWave FMCW Radar in Autonomous Driving

abstract: Millimeter-wave radars are being increasingly integrated into commercial vehicles to support advanced driver-assistance system features. A key shortcoming for present-day vehicular radar imaging is poor azimuth resolution (for side-looking operation) due to the form factor limits on antenna size and placement. In this paper, we propose a solution via a new multiple-input and multiple-output synthetic aperture radar (MIMO-SAR) imaging technique, that applies coherent SAR principles to vehicular MIMO radar to improve the side-view (angular) resolution. The proposed 2-stage hierarchical MIMO-SAR processing workflow drastically reduces the computation load while preserving image resolution. To enable coherent processing over the synthetic aperture, we integrate a radar odometry algorithm that estimates the trajectory of ego-radar. The MIMO-SAR algorithm is validated by both simulations and real experiment data collected by a vehicle-mounted radar platform.


title: Censorship of Online Encyclopedias: Implications for NLP Models

abstract: While artificial intelligence provides the backbone for many tools people use around the world, recent work has brought to attention that the algorithms powering AI are not free of politics, stereotypes, and bias. While most work in this area has focused on the ways in which AI can exacerbate existing inequalities and discrimination, very little work has studied how governments actively shape training data. We describe how censorship has affected the development of Wikipedia corpuses, text data which are regularly used for pre-trained inputs into NLP algorithms. We show that word embeddings trained on Baidu Baike, an online Chinese encyclopedia, have very different associations between adjectives and a range of concepts about democracy, freedom, collective action, equality, and people and historical events in China than its regularly blocked but uncensored counterpart - Chinese language Wikipedia. We examine the implications of these discrepancies by studying their use in downstream AI applications. Our paper shows how government repression, censorship, and self-censorship may impact training data and the applications that draw from them.


title: Autophosphorylation and the dynamics of the activation of Lck

abstract: Lck (lymphocyte-specific protein tyrosine kinase) is an enzyme which plays a number of important roles in the function of immune cells. It belongs to the Src family of kinases which are known to undergo autophosphorylation. It turns out that this leads to a remarkable variety of dynamical behaviour which can occur during their activation. We prove that in the presence of autophosphorylation one phenomenon, bistability, already occurs in a mathematical model for a protein with a single phosphorylation site. We further show that a certain model of Lck exhibits oscillations. Finally we discuss the relations of these results to models in the literature which involve Lck and describe specific biological processes, such as the early stages of T cell activation and the stimulation of T cell responses resulting from the suppression of PD-1 signalling which is important in immune checkpoint therapy for cancer.


title: Misiurewicz polynomials for rational maps with nontrivial automorphisms II

abstract: This paper continues discussions in the author's previous paper about the Misiurewicz polynomials defined for a family of degree $d \ge 2$ rational maps with an automorphism group containing the cyclic group of order $d$. In particular, we extend the sufficient conditions that the Misiurewicz polynomials are irreducible over $\mathbb{Q}$. We also prove that the Misiurewicz polynomials always have an irreducible factor of large degree.


title: Addressing Spatially Structured Interference in Causal Analysis Using Propensity Scores

abstract: Environmental epidemiologists are increasingly interested in establishing causality between exposures and health outcomes. A popular model for causal inference is the Rubin Causal Model (RCM), which typically seeks to estimate the average difference in study units' potential outcomes. An important assumption under RCM is no interference; that is, the potential outcomes of one unit are not affected by the exposure status of other units. The no interference assumption is violated if we expect spillover or diffusion of exposure effects based on units' proximity to other units and several other causal estimands arise. Air pollution epidemiology typically violates this assumption when we expect upwind events to affect downwind or nearby locations. This paper adapts causal assumptions from social network research to address interference and allow estimation of both direct and spillover causal effects. We use propensity score-based methods to estimate these effects when considering the effects of the Environmental Protection Agency's 2005 nonattainment designations for particulate matter with aerodynamic diameter less than 2.5 micrograms per cubic meter (PM2.5) on lung cancer incidence using county-level data obtained from the Surveillance, Epidemiology, and End Results (SEER) Program. We compare these methods in a rigorous simulation study that considers both spatially autocorrelated variables, interference, and missing confounders. We find that pruning and matching based on the propensity score produces the highest probability coverage of the true causal effects and lower mean squared error. When applied to the research question, we found protective direct and spillover causal effects.


title: Safe Learning Reference Governor: Theory and Application to Fuel Truck Rollover Avoidance

abstract: This paper proposes a learning reference governor (LRG) approach to enforce state and control constraints in systems for which an accurate model is unavailable, and this approach enables the reference governor to gradually improve command tracking performance through learning while enforcing the constraints during learning and after learning is completed. The learning can be performed either on a black-box type model of the system or directly on the hardware. After introducing the LRG algorithm and outlining its theoretical properties, this paper investigates LRG application to fuel truck (tank truck) rollover avoidance. Through simulations based on a fuel truck model that accounts for liquid fuel sloshing effects, we show that the proposed LRG can effectively protect fuel trucks from rollover accidents under various operating conditions.


title: A Set of Benchmark Tests for Validation of 3D Particle In Cell Methods

abstract: While the particle-in-cell (PIC) method is quite mature, verification and validation of both newly developed methods and individual codes has largely focused on an idiosyncratic choice of a few test cases. Many of these test cases involve either one- or two-dimensional simulations. This is either due to availability of (quasi) analytic solutions or historical reasons. Additionally, tests often focus on investigation of particular physics problems, such as particle emission or collisions, and do not necessarily study the combined impact of the suite of algorithms necessary for a full featured PIC code. As three dimensional (3D) codes become the norm, there is a lack of benchmarks test that can establish the validity of these codes; existing papers either do not delve into the details of the numerical experiment or provide other measurable numeric metrics (such as noise) that are outcomes of the simulation. This paper seeks to provide several test cases that can be used for validation and bench-marking of particle in cell codes in 3D. We focus on examples that are collisionless, and can be run with a reasonable amount of computational power. Four test cases are presented in significant detail; these include, basic particle motion, beam expansion, adiabatic expansion of plasma, and two stream instability. All presented cases are compared either against existing analytical data or other codes. We anticipate that these cases should help fill the void of bench-marking and validation problems and help the development of new particle in cell codes.


title: A Novel Genetic Algorithm with Hierarchical Evaluation Strategy for Hyperparameter Optimisation of Graph Neural Networks

abstract: Graph representation of structured data can facilitate the extraction of stereoscopic features, and it has demonstrated excellent ability when working with deep learning systems, the so-called Graph Neural Networks (GNNs). Choosing a promising architecture for constructing GNNs can be transferred to a hyperparameter optimisation problem, a very challenging task due to the size of the underlying search space and high computational cost for evaluating candidate GNNs. To address this issue, this research presents a novel genetic algorithm with a hierarchical evaluation strategy (HESGA), which combines the full evaluation of GNNs with a fast evaluation approach. By using full evaluation, a GNN is represented by a set of hyperparameter values and trained on a specified dataset, and root mean square error (RMSE) will be used to measure the quality of the GNN represented by the set of hyperparameter values (for regression problems). While in the proposed fast evaluation process, the training will be interrupted at an early stage, the difference of RMSE values between the starting and interrupted epochs will be used as a fast score, which implies the potential of the GNN being considered. To coordinate both types of evaluations, the proposed hierarchical strategy uses the fast evaluation in a lower level for recommending candidates to a higher level, where the full evaluation will act as a final assessor to maintain a group of elite individuals. To validate the effectiveness of HESGA, we apply it to optimise two types of deep graph neural networks. The experimental results on three benchmark datasets demonstrate its advantages compared to Bayesian hyperparameter optimization.


title: i-Algebra: Towards Interactive Interpretability of Deep Neural Networks

abstract: Providing explanations for deep neural networks (DNNs) is essential for their use in domains wherein the interpretability of decisions is a critical prerequisite. Despite the plethora of work on interpreting DNNs, most existing solutions offer interpretability in an ad hoc, one-shot, and static manner, without accounting for the perception, understanding, or response of end-users, resulting in their poor usability in practice. In this paper, we argue that DNN interpretability should be implemented as the interactions between users and models. We present i-Algebra, a first-of-its-kind interactive framework for interpreting DNNs. At its core is a library of atomic, composable operators, which explain model behaviors at varying input granularity, during different inference stages, and from distinct interpretation perspectives. Leveraging a declarative query language, users are enabled to build various analysis tools (e.g., "drill-down", "comparative", "what-if" analysis) via flexibly composing such operators. We prototype i-Algebra and conduct user studies in a set of representative analysis tasks, including inspecting adversarial inputs, resolving model inconsistency, and cleansing contaminated data, all demonstrating its promising usability.


title: The intra-cluster magnetic field in the double relic galaxy cluster Abell 2345

abstract: Magnetic fields are ubiquitous in galaxy clusters, yet their radial profile, power spectrum, and connection to host cluster properties are poorly known. Merging galaxy clusters hosting diffuse polarized emission in the form of radio relics offer a unique possibility to study the magnetic fields in these complex systems. In this paper, we investigate the intra-cluster magnetic field in Abell 2345. This cluster hosts two radio relics that we detected in polarization with 1-2 GHz JVLA observations. X-ray XMM-Newton images show a very disturbed morphology. We derived the Rotation Measure (RM) of five polarized sources within $\sim$ 1 Mpc from the cluster center applying the RM synthesis. Both, the average RM and the RM dispersion radial profiles probe the presence of intra-cluster magnetic fields. Using the thermal electron density profile derived from X-ray analysis and simulating a 3D magnetic field with fluctuations following a power spectrum derived from magneto-hydrodynamical cosmological simulations, we build mock RM images of the cluster. We constrained the magnetic field profile in the eastern radio relic sector by comparing simulated and observed RM images. We find that, within the framework of our model, the data require a magnetic field scaling with thermal electron density as $B(r)\propto n_e(r)$. The best model has a central magnetic field (within a 200 kpc radius) of $2.8\pm0.1$ $\mu$G. The average magnetic field at the position of the eastern relic is $\sim$0.3 $\mu$G, a factor 2.7 lower than the equipartition estimate.


title: Self-consistent microscopic derivation of Markovian master equations for open quadratic quantum systems

abstract: We provide a rigorous construction of Markovian master equations for a wide class of quantum systems that encompass quadratic models of finite size, linearly coupled to an environment modeled by a set of independent thermal baths. Our theory can be applied for both fermionic and bosonic models in any number of physical dimensions, and does not require any particular spatial symmetry of the global system. We show that, for non-degenerate systems under a full secular approximation, the effective Lindblad operators are the normal modes of the system, with coupling constants that explicitly depend on the transformation matrices that diagonalize the Hamiltonian. Both the dynamics and the steady-state (guaranteed to be unique) properties can be obtained with a polynomial amount of resources in the system size. We also address the particle and energy current flowing through the system in a minimal two-bath scheme and find that they hold the structure of Landauer's formula, being thermodynamically consistent.


title: The Central Role of the Identifying Assumption in Population Size Estimation

abstract: The problem of estimating the size of a population based on a subset of individuals observed across multiple data sources is often referred to as capture-recapture or multiple-systems estimation. This is fundamentally a missing data problem, where the number of unobserved individuals represents the missing data. As with any missing data problem, multiple-systems estimation requires users to make an untestable identifying assumption in order to estimate the population size from the observed data. If an appropriate identifying assumption cannot be found for a data set, no estimate of the population size should be produced based on that data set, as models with different identifying assumptions can produce arbitrarily different population size estimates -- even with identical observed data fits. Approaches to multiple-systems estimation often do not explicitly specify identifying assumptions. This makes it difficult to decouple the specification of the model for the observed data from the identifying assumption and to provide justification for the identifying assumption. We present a re-framing of the multiple-systems estimation problem that leads to an approach which decouples the specification of the observed-data model from the identifying assumption, and discuss how common models fit into this framing. This approach takes advantage of existing software and facilitates various sensitivity analyses. We demonstrate our approach in a case study estimating the number of civilian casualties in the Kosovo war. Code used to produce this manuscript is available at https://github.com/aleshing/central-role-of-identifying-assumptions.


title: Multiplicative Quantum Cobordism Theory

abstract: We prove a twisting theorem for nodal classes in permutation-equivariant quantum $K$-theory, and combine it with existing theorems of Givental to obtain a twisting result for general characteristic classes of the virtual tangent bundle. Using this result, we develop complex cobordism-valued Gromov-Witten invariants defined via $K$-theory, and relate those invariants to $K$-theoretic ones via the quantization of suitable symplectic transformations. The resulting theory is a $K$-theoretic analogue of the quantum cobordism theory developed by Givental and Coates. Using the universality of cobordism theory, we study the example of "Hirzebruch $K$-theory", which is the cohomology theory determined by the Hirzebruch $\chi_{-y}$-genus.


title: Towards Optimal Branching of Linear and Semidefinite Relaxations for Neural Network Robustness Certification

abstract: In this paper, we study certifying the robustness of ReLU neural networks against adversarial input perturbations. To diminish the relaxation error suffered by the popular linear programming (LP) and semidefinite programming (SDP) certification methods, we take a branch-and-bound approach to propose partitioning the input uncertainty set and solving the relaxations on each part separately. We show that this approach reduces relaxation error, and that the error is eliminated entirely upon performing an LP relaxation with a partition intelligently designed to exploit the nature of the ReLU activations. To scale this approach to large networks, we consider using a coarser partition whereby the number of parts in the partition is reduced. We prove that computing such a coarse partition that directly minimizes the LP relaxation error is NP-hard. By instead minimizing the worst-case LP relaxation error, we develop a closed-form branching scheme. We extend the analysis to the SDP, where the feasible set geometry is exploited to design a branching scheme that minimizes the worst-case SDP relaxation error. Experiments on MNIST, CIFAR-10, and Wisconsin breast cancer diagnosis classifiers demonstrate significant increases in the percentages of test samples certified. By independently increasing the input size and the number of layers, we empirically illustrate under which regimes the branched LP and branched SDP are best applied.


title: Ranked masses in two-parameter Fleming-Viot diffusions

abstract: In previous work, we constructed Fleming--Viot-type measure-valued diffusions (and diffusions on a space of interval partitions of the unit interval $[0,1]$) that are stationary with the Poisson--Dirichlet laws with parameters $\alpha\in(0,1)$ and $\theta\geq 0$. In this paper, we complete the proof that these processes resolve a conjecture by Feng and Sun (2010) by showing that the processes of ranked atom sizes (or of ranked interval lengths) of these diffusions are members of a two-parameter family of diffusions introduced by Petrov (2009), extending a model by Ethier and Kurtz (1981) in the case $\alpha=0$. The latter diffusions are continuum limits of up-down Chinese restaurant processes.


title: Enhancing the formation of ionic defects to study the ice Ih/XI transition with molecular dynamics simulations

abstract: Ice Ih, the common form of ice in the biosphere, contains proton disorder. Its proton-ordered counterpart, ice XI, is thermodynamically stable below 72 K. However, even below this temperature the formation of ice XI is kinetically hindered and experimentally it is obtained by doping ice with KOH. Doping creates ionic defects that promote the migration of protons and the associated change in proton configuration. In this article, we mimic the effect of doping in molecular dynamics simulations using a bias potential that enhances the formation of ionic defects. The recombination of the ions thus formed proceeds through fast migration of the hydroxide and results in the jump of protons along a hydrogen bond loop. This provides a physical and expedite way to change the proton configuration, and to accelerate diffusion in proton configuration space. A key ingredient of this approach is a machine learning potential trained with density functional theory data and capable of modeling molecular dissociation. We exemplify the usefulness of this idea by studying the order-disorder transition using an appropriate order parameter to distinguish the proton environments in ice Ih and XI. We calculate the changes in free energy, enthalpy, and entropy associated with the transition. Our estimated entropy agrees with experiment within the error bars of our calculation.


title: F3ORNITS: A Flexible Variable Step Size Non-Iterative Co-simulation Method handling Subsystems with Hybrid Advanced Capabilities

abstract: This paper introduces the F3ORNITS non-iterative co-simulation algorithm in which F3 stands for the 3 flexible aspects of the method: flexible polynomial order representation of coupling variables, flexible time-stepper applying variable co-simulation step size rules on subsystems allowing it and flexible scheduler orchestrating the meeting times among the subsystems and capable of asynchronousness when subsystems constraints requires it. The motivation of the F3ORNITS method is to accept any kind of co-simulation model, including any kind of subsystem, regardless on their available capabilities. Indeed, one the major problems in industry is that the subsystems usually have constraints or lack of advanced capabilities making it impossible to implement most of the advanced co-simulation algorithms on them. The method makes it possible to preserve the dynamics of the coupling constraints when necessary as well as to avoid breaking C1 smoothness at communication times, and also to adapt the co-simulation step size in a way that is robust both to zero-crossing variables (contrary to classical relative error-based criteria) and to jumps. Two test cases are presented to illustrate the robustness of the F3ORNITS method as well as its higher accuracy than the non-iterative Jacobi coupling algorithm (the most commonly used method in industry) for a smaller number of co-simulation steps.


title: Fusion-based quantum computation

abstract: We introduce fusion-based quantum computing (FBQC) - a model of universal quantum computation in which entangling measurements, called fusions, are performed on the qubits of small constant-sized entangled resource states. We introduce a stabilizer formalism for analyzing fault tolerance and computation in these schemes. This framework naturally captures the error structure that arises in certain physical systems for quantum computing, such as photonics. FBQC can offer significant architectural simplifications, enabling hardware made up of many identical modules, requiring an extremely low depth of operations on each physical qubit and reducing classical processing requirements. We present two pedagogical examples of fault-tolerant schemes constructed in this framework and numerically evaluate their threshold under a hardware agnostic fusion error model including both erasure and Pauli error. We also study an error model of linear optical quantum computing with probabilistic fusion and photon loss. In FBQC the non-determinism of fusion is directly dealt with by the quantum error correction protocol, along with other errors. We find that tailoring the fault-tolerance framework to the physical system allows the scheme to have a higher threshold than schemes reported in literature. We present a ballistic scheme which can tolerate a 10.4% probability of suffering photon loss in each fusion.


title: Drug and Disease Interpretation Learning with Biomedical Entity Representation Transformer

abstract: Concept normalization in free-form texts is a crucial step in every text-mining pipeline. Neural architectures based on Bidirectional Encoder Representations from Transformers (BERT) have achieved state-of-the-art results in the biomedical domain. In the context of drug discovery and development, clinical trials are necessary to establish the efficacy and safety of drugs. We investigate the effectiveness of transferring concept normalization from the general biomedical domain to the clinical trials domain in a zero-shot setting with an absence of labeled data. We propose a simple and effective two-stage neural approach based on fine-tuned BERT architectures. In the first stage, we train a metric learning model that optimizes relative similarity of mentions and concepts via triplet loss. The model is trained on available labeled corpora of scientific abstracts to obtain vector embeddings of concept names and entity mentions from texts. In the second stage, we find the closest concept name representation in an embedding space to a given clinical mention. We evaluated several models, including state-of-the-art architectures, on a dataset of abstracts and a real-world dataset of trial records with interventions and conditions mapped to drug and disease terminologies. Extensive experiments validate the effectiveness of our approach in knowledge transfer from the scientific literature to clinical trials.


title: Piezoelectric Energy Harvesting: a Systematic Review of Reviews

abstract: In the last decade, an explosive attention has been paid to piezoelectric harvesters due to their flexibility in design and increasing need to small-scale energy generation. As a result, various energy review papers have been presented by many researchers to cover different aspects of piezoelectric-based energy harvesting, including piezo-materials, modeling approaches, and design points for various applications. Most of such papers tried to shed light on recent progresses in related interdisciplinary fields, and to pave the road for future prospects of development of such technologies. However, there are some missing parts, overlaps, or even some contradictions in the review papers. In the present review of review articles, recommendations for future research directions suggested by the review papers have been systematically summed up under one umbrella. In the final section, topics for missing review papers, concluding remarks on outlooks and possible research topics, and strategy-misleading contents have been presented. The review papers have been evaluated based on merits and subcategories and authors' choice papers have been presented for each section based on clear classification criteria.


title: $k$-Neighbor Based Curriculum Sampling for Sequence Prediction

abstract: Multi-step ahead prediction in language models is challenging due to the discrepancy between training and test time processes. At test time, a sequence predictor is required to make predictions given past predictions as the input, instead of the past targets that are provided during training. This difference, known as exposure bias, can lead to the compounding of errors along a generated sequence at test time. To improve generalization in neural language models and address compounding errors, we propose \textit{Nearest-Neighbor Replacement Sampling} -- a curriculum learning-based method that gradually changes an initially deterministic teacher policy to a stochastic policy. A token at a given time-step is replaced with a sampled nearest neighbor of the past target with a truncated probability proportional to the cosine similarity between the original word and its top $k$ most similar words. This allows the learner to explore alternatives when the current policy provided by the teacher is sub-optimal or difficult to learn from. The proposed method is straightforward, online and requires little additional memory requirements. We report our findings on two language modelling benchmarks and find that the proposed method further improves performance when used in conjunction with scheduled sampling.


title: A practical quantum encryption protocol with varying encryption configurations

abstract: Quantum communication is an important application that derives from the burgeoning field of quantum information and quantum computation. Focusing on secure communication, quantum cryptography has two major directions of development, namely quantum key distribution and quantum encryption. In this work we propose a quantum encryption protocol that utilizes a quantum algorithm to create blocks of ciphertexts based on quantum states. The main feature of our quantum encryption protocol is that the encryption configuration of each block is determined by the previous blocks, such that additional security is provided. We then demonstrate our method by an example model encrypting the English alphabet, with numerical simulation results showing the large error rate of a mock attack by a potential adversary. With possible future improvements in mind, our quantum encryption protocol is a capable addition to the toolbox of quantum cryptography.


title: Tighter expected generalization error bounds via Wasserstein distance

abstract: This work presents several expected generalization error bounds based on the Wasserstein distance. More specifically, it introduces full-dataset, single-letter, and random-subset bounds, and their analogues in the randomized subsample setting from Steinke and Zakynthinou [1]. Moreover, when the loss function is bounded and the geometry of the space is ignored by the choice of the metric in the Wasserstein distance, these bounds recover from below (and thus, are tighter than) current bounds based on the relative entropy. In particular, they generate new, non-vacuous bounds based on the relative entropy. Therefore, these results can be seen as a bridge between works that account for the geometry of the hypothesis space and those based on the relative entropy, which is agnostic to such geometry. Furthermore, it is shown how to produce various new bounds based on different information measures (e.g., the lautum information or several $f$-divergences) based on these bounds and how to derive similar bounds with respect to the backward channel using the presented proof techniques.


title: Improved accuracy on noisy devices by non-unitary Variational Quantum Eigensolver for chemistry applications

abstract: We propose a modification of the Variational Quantum Eigensolver algorithm for electronic structure optimization using quantum computers, named non-unitary Variational Quantum Eigensolver (nu-VQE), in which a non-unitary operator is combined with the original system Hamiltonian leading to a new variational problem with a simplified wavefunction Ansatz. In the present work, we use, as non-unitary operator, the Jastrow factor, inspired from classical Quantum Monte Carlo techniques for simulation of strongly correlated electrons. The method is applied to prototypical molecular Hamiltonians for which we obtain accurate ground state energies with shallower circuits, at the cost of an increased number of measurements. Finally, we also show that this method achieves an important error mitigation effect that drastically improves the quality of the results for VQE optimizations on today's noisy quantum computers. The absolute error in the calculated energy within our scheme is one order of magnitude smaller than the corresponding result using traditional VQE methods, with the same circuit depth.


title: Short Secret Sharing Using Repeatable Random Sequence Generators

abstract: We present a new secret sharing algorithm that provides the storage efficiency of an Information Dispersal Algorithm (IDA) while providing perfect secret sharing. We achieve this by mixing the input message with random bytes generated using Repeatable Random Sequence Generator (RRSG). We also use the data from the RRSG to provide random polynomial evaluation points and optionally compute the polynomials on random isomorphic fields rather than a single fixed field.


title: Machine Learning in LiDAR 3D point clouds

abstract: LiDAR point clouds contain measurements of complicated natural scenes and can be used to update digital elevation models, glacial monitoring, detecting faults and measuring uplift detecting, forest inventory, detect shoreline and beach volume changes, landslide risk analysis, habitat mapping, and urban development, among others. A very important application is the classification of the 3D cloud into elementary classes. For example, it can be used to differentiate between vegetation, man-made structures, and water. Our goal is to present a preliminary comparison study for the classification of 3D point cloud LiDAR data that includes several types of feature engineering. In particular, we demonstrate that providing context by augmenting each point in the LiDAR point cloud with information about its neighboring points can improve the performance of downstream learning algorithms. We also experiment with several dimension reduction strategies, ranging from Principal Component Analysis (PCA) to neural network-based auto-encoders, and demonstrate how they affect classification performance in LiDAR point clouds. For instance, we observe that combining feature engineering with a dimension reduction a method such as PCA, there is an improvement in the accuracy of the classification with respect to doing a straightforward classification with the raw data.


title: On a conjecture of Gross, Mansour and Tucker

abstract: Partial duality is a duality of ribbon graphs relative to a subset of their edges generalizing the classical Euler-Poincare duality. This operation often changes the genus. Recently J.L.Gross, T.Mansour, and T.W.Tucker formulated a conjecture that for any ribbon graph different from plane trees and their partial duals, there is a subset of edges partial duality relative to which does change the genus. A family of counterexamples was found by Qi Yan and Xian'an Jin. In this note we prove that essentially these are the only counterexamples.


title: A systematic literature review on state-of-the-art deep learning methods for process prediction

abstract: Process mining enables the reconstruction and evaluation of business processes based on digital traces in IT systems. An increasingly important technique in this context is process prediction. Given a sequence of events of an ongoing trace, process prediction allows forecasting upcoming events or performance measurements. In recent years, multiple process prediction approaches have been proposed, applying different data processing schemes and prediction algorithms. This study focuses on deep learning algorithms since they seem to outperform their machine learning alternatives consistently. Whilst having a common learning algorithm, they use different data preprocessing techniques, implement a variety of network topologies and focus on various goals such as outcome prediction, time prediction or control-flow prediction. Additionally, the set of log-data, evaluation metrics and baselines used by the authors diverge, making the results hard to compare. This paper attempts to synthesise the advantages and disadvantages of the procedural decisions in these approaches by conducting a systematic literature review.


title: Vessel-CAPTCHA: an efficient learning framework for vessel annotation and segmentation

abstract: Deep learning techniques for 3D brain vessel image segmentation have not been as successful as in the segmentation of other organs and tissues. This can be explained by two factors. First, deep learning techniques tend to show poor performances at the segmentation of relatively small objects compared to the size of the full image. Second, due to the complexity of vascular trees and the small size of vessels, it is challenging to obtain the amount of annotated training data typically needed by deep learning methods. To address these problems, we propose a novel annotation-efficient deep learning vessel segmentation framework. The framework avoids pixel-wise annotations, only requiring weak patch-level labels to discriminate between vessel and non-vessel 2D patches in the training set, in a setup similar to the CAPTCHAs used to differentiate humans from bots in web applications. The user-provided weak annotations are used for two tasks: 1) to synthesize pixel-wise pseudo-labels for vessels and background in each patch, which are used to train a segmentation network, and 2) to train a classifier network. The classifier network allows to generate additional weak patch labels, further reducing the annotation burden, and it acts as a noise filter for poor quality images. We use this framework for the segmentation of the cerebrovascular tree in Time-of-Flight angiography (TOF) and Susceptibility-Weighted Images (SWI). The results show that the framework achieves state-of-the-art accuracy, while reducing the annotation time by ~77% w.r.t. learning-based segmentation methods using pixel-wise labels for training.


title: Implication of the Temperature-Dependent Charge Barrier Height of Amorphous Germanium Contact Detector in Searching for Rare Event Physics

abstract: The exploration of germanium (Ge) detectors with amorphous Ge (a-Ge) contacts has drawn attention to the searches for rare-event physics such as dark matter and neutrinoless double-beta decay. The charge barrier height (CBH) of the a-Ge contacts deposited on the detector surface is crucial to suppress the leakage current of the detector in order to achieve la ow-energy detection threshold and high-energy resolution. The temperature-dependent CBH of a-Ge contacts for three Ge detectors is analyzed to study the bulk leakage current (BLC) characteristics. The detectors were fabricated at the University of South Dakota using homegrown crystals. The CBH is determined from the BLC when the detectors are operated in the reverse bias mode with a guard-ring structure, which separates the BLC from the surface leakage current (SLC). The results show that CBH is temperature dependent. The direct relation of the CBH variation to temperature is related to the barrier inhomogeneities created on the interface of a-Ge and crystalline Ge. The inhomogeneities that occur at the interface were analyzed using the Gaussian distribution model for three detectors. The CBH of a-Ge contact is projected to zero temperature. The implication of the CBH at zero temperature is discussed for Ge detectors with a-Ge contacts in searching for rare-event physics.


title: The effect of pressure fluctuations on the shapes of thinning liquid curtains

abstract: We consider the time-dependent response of a gravitationally-thinning inviscid liquid sheet (a coating curtain) leaving a vertical slot to sinusoidal ambient pressure disturbances. The theoretical investigation employs the hyperbolic partial differential equation developed by \cite{weinp1}. The response of the curtain is characterized by the slot Weber number, $W_{e_0} = \rho q V/2\sigma$, where $V$ is the speed of the curtain at the slot, $q$ is the volumetric flow rate per unit width, $\sigma$ is the surface tension, and $\rho$ is the fluid density. Flow disturbances travel along characteristics with speeds relative to the curtain of $\pm \sqrt{uV/W_{e_0}}$, where $u = \sqrt{V^2 + 2gx}$ is the curtain speed at a distance $x$ downstream from the slot. When the flow is subcritical ($W_{e_0} < 1$), upstream traveling disturbances near the slot affect the curtain centerline, and the slope of the curtain centerline at the slot oscillates with an amplitude that is a function of $W_{e_0}$. In contrast, all disturbances travel downstream in supercritical curtains ($W_{e_0} > 1$) and the slope of the curtain at the slot is vertical. Here, we specifically examine the curtain response under supercritical and subcritical flow conditions near $W_{e_0} = 1$ to deduce whether there is a substantial change in the overall shape and magnitude of the curtain responses. Despite the local differences in the curtain solution near the slot, we find that subcritical and supercritical curtains have similar responses for all imposed sinusoidal frequencies.


title: Generating Black-Box Adversarial Examples in Sparse Domain

abstract: Applications of machine learning (ML) models and convolutional neural networks (CNNs) have been rapidly increased. Although state-of-the-art CNNs provide high accuracy in many applications, recent investigations show that such networks are highly vulnerable to adversarial attacks. The black-box adversarial attack is one type of attack that the attacker does not have any knowledge about the model or the training dataset, but it has some input data set and their labels. In this paper, we propose a novel approach to generate a black-box attack in sparse domain whereas the most important information of an image can be observed. Our investigation shows that large sparse (LaS) components play a critical role in the performance of image classifiers. Under this presumption, to generate adversarial example, we transfer an image into a sparse domain and put a threshold to choose only k LaS components. In contrast to the very recent works that randomly perturb k low frequency (LoF) components, we perturb k LaS components either randomly (query-based) or in the direction of the most correlated sparse signal from a different class. We show that LaS components contain some middle or higher frequency components information which leads fooling image classifiers with a fewer number of queries. We demonstrate the effectiveness of this approach by fooling six state-of-the-art image classifiers, the TensorFlow Lite (TFLite) model of Google Cloud Vision platform, and YOLOv5 model as an object detection algorithm. Mean squared error (MSE) and peak signal to noise ratio (PSNR) are used as quality metrics. We also present a theoretical proof to connect these metrics to the level of perturbation in the sparse domain.


title: Electrically actuated varifocal lens based on liquid-crystal-embedded dielectric metasurfaces

abstract: Compact varifocal lenses are essential to various imaging and vision technologies. However, existing varifocal elements typically rely on mechanically-actuated systems with limited tuning speeds and scalability. Here, an ultrathin electrically controlled varifocal lens based on a liquid crystal (LC) encapsulated semiconductor metasurface is demonstrated. Enabled by the field-dependent LC anisotropy, applying a voltage bias across the LC cell modifies the local phase response of the silicon meta-atoms, in turn modifying the focal length of the metalens. In a numerical implementation, a voltage-actuated metalens with continuous zoom and up to 20% total focal shift is demonstrated. The concept of LC-based metalens is experimentally verified through the design and fabrication of a bifocal metalens that facilitates high-contrast switching between two discrete focal lengths upon application of a 3.2 V$_{\rm pp}$ voltage bias. Owing to their ultrathin thickness and adaptable design, LC-driven semiconductor metasurfaces open new opportunities for compact varifocal lensing in a diversity of modern imaging applications.


title: Partitions of $n$-valued maps

abstract: An $n$-valued map is a set-valued continuous function $f$ such that $f(x)$ has cardinality $n$ for every $x$. Some $n$-valued maps will "split" into a union of $n$ single-valued maps. Characterizations of splittings has been a major theme in the topological theory of $n$-valued maps. In this paper we consider the more general notion of "partitions" of an $n$-valued map, in which a given map is decomposed into a union of other maps which may not be single-valued. We generalize several splitting characterizations which will describe partitions in terms of mixed configuration spaces and mixed braid groups, and connected components of the graph of $f$. We demonstrate the ideas with some examples on tori. We also discuss the fixed point theory of $n$-valued maps and their partitions, and make some connections to the theory of finite-valued maps due to Crabb.


title: On regularization methods for inverse problems of dynamic type

abstract: In this paper we consider new regularization methods for linear inverse problems of dynamic type. These methods are based on dynamic programming techniques for linear quadratic optimal control problems. Two different approaches are followed: a continuous and a discrete one. We prove regularization properties and also obtain rates of convergence for the methods derived from both approaches. A numerical example concerning the dynamic EIT problem is used to illustrate the theoretical results.


title: Theory of Mind for Deep Reinforcement Learning in Hanabi

abstract: The partially observable card game Hanabi has recently been proposed as a new AI challenge problem due to its dependence on implicit communication conventions and apparent necessity of theory of mind reasoning for efficient play. In this work, we propose a mechanism for imbuing Reinforcement Learning agents with a theory of mind to discover efficient cooperative strategies in Hanabi. The primary contributions of this work are threefold: First, a formal definition of a computationally tractable mechanism for computing hand probabilities in Hanabi. Second, an extension to conventional Deep Reinforcement Learning that introduces reasoning over finitely nested theory of mind belief hierarchies. Finally, an intrinsic reward mechanism enabled by theory of mind that incentivizes agents to share strategically relevant private knowledge with their teammates. We demonstrate the utility of our algorithm against Rainbow, a state-of-the-art Reinforcement Learning agent.


title: Rate of Prefix-free Codes in LQG Control Systems with Side Information

abstract: In this work, we study an LQG control system where one of two feedback channels is discrete and incurs a communication cost. We assume that a decoder (co-located with the controller) can make noiseless measurements of a subset of the state vector (referred to as side information) meanwhile a remote encoder (co-located with a sensor) can make arbitrary measurements of the entire state vector, but must convey its measurements to the decoder over a noiseless binary channel. Use of the channel incurs a communication cost, quantified as the time-averaged expected length of prefix-free binary codeword. We study the tradeoff between the communication cost and control performance. The formulation motivates a constrained directed information minimization problem, which can be solved via convex optimization. Using the optimization, we propose a quantizer design and a subsequent achievability result.

categories: cs.IT cs.SY eess.SP eess.SY math.IT math.OC


title: Microscopic Dynamics of Nonlinear Fokker-Planck Equations

abstract: We propose a new approach to describe the effective microscopic dynamics of (power-law) nonlinear Fokker-Planck equations. Our formalism is based on a nonextensive generalization of the Wiener process. This allow us to obtain, in addition to significant physical insights, several analytical results with great simplicity. Indeed, we obtain analytical solutions for a nonextensive version of Brownian free-particle and Ornstein-Uhlenbeck process, and explain anomalous diffusive behaviours in terms of memory effects in a nonextensive generalization of Gaussian white noise. Finally, we apply the develop formalism to model thermal noise in electric circuits.


title: Discovery of Magnetic Fields Along Stacked Cosmic Filaments as Revealed by Radio and X-Ray Emission

abstract: Diffuse filaments connect galaxy clusters to form the cosmic web. Detecting these filaments could yield information on the magnetic field strength, cosmic ray population and temperature of intercluster gas, yet, the faint and large-scale nature of these bridges makes direct detections very challenging. Using multiple independent all-sky radio and X-ray maps we stack pairs of luminous red galaxies as tracers for cluster pairs. For the first time, we detect an average surface brightness between the clusters from synchrotron (radio) and thermal (X-ray) emission with $\gtrsim 5\sigma$ significance, on physical scales larger than observed to date ($\geq 3\,$Mpc). We obtain a synchrotron spectral index of $\alpha \simeq -1.0$ and estimates of the average magnetic field strength of $ 30 \leq B \leq 60 \,$nG, derived from both equipartition and Inverse Compton arguments, implying a 5 to 15$\,$per cent degree of field regularity when compared with Faraday rotation measure estimates. While the X-ray detection is inline with predictions, the average radio signal comes out higher than predicted by cosmological simulations and dark matter annihilation and decay models. This discovery demonstrates that there are connective structures between mass concentrations that are significantly magnetised, and the presence of sufficient cosmic rays to produce detectable synchrotron radiation.


title: Rikudo is NP-complete

abstract: Rikudo is a number-placement puzzle, where the player is asked to complete a Hamiltonian path on a hexagonal grid, given some clues (numbers already placed and edges of the path). We prove that the game is complete for NP, even if the puzzle has no hole. When all odd numbers are placed it is in P, whereas it is still NP-hard when all numbers of the form $3k+1$ are placed.


title: SPAD-Based Optical Wireless Communication with Signal Pre-Distortion and Noise Normalization

abstract: In recent years, there has been a growing interest in exploring the application of single-photon avalanche diode (SPAD) in optical wireless communication (OWC). As a photon counting detector, SPAD can provide much higher sensitivity compared to the other commonly used photodetectors. However, SPAD-based receivers suffer from significant dead-time-induced non-linear distortion and signal dependent noise. In this work, we propose a novel SPAD-based OWC system in which the non-linear distortion caused by dead time can be successfully eliminated by the pre-distortion of the signal at the transmitter. In addition, another system with joint pre-distortion and noise normalization functionality is proposed. Thanks to the additional noise normalization process, for the transformed signal at the receiver, the originally signal dependent noise becomes signal independent so that the conventional signal detection techniques designed for AWGN channels can be employed to decode the signal. Our numerical results demonstrate the superiority of the proposed SPAD-based systems compared to the existing systems in terms of BER performance and achievable data rate.


title: Robotic Knee Tracking Control to Mimic the Intact Human Knee Profile Based on Actor-critic Reinforcement Learning

abstract: We address a state-of-the-art reinforcement learning (RL) control approach to automatically configure robotic prosthesis impedance parameters to enable end-to-end, continuous locomotion intended for transfemoral amputee subjects. Specifically, our actor-critic based RL provides tracking control of a robotic knee prosthesis to mimic the intact knee profile. This is a significant advance from our previous RL based automatic tuning of prosthesis control parameters which have centered on regulation control with a designer prescribed robotic knee profile as the target. In addition to presenting the complete tracking control algorithm based on direct heuristic dynamic programming (dHDP), we provide an analytical framework for the tracking controller with constrained inputs. We show that our proposed tracking control possesses several important properties, such as weight convergence of the learning networks, Bellman (sub)optimality of the cost-to-go value function and control input, and practical stability of the human-robot system under input constraint. We further provide a systematic simulation of the proposed tracking control using a realistic human-robot system simulator, the OpenSim, to emulate how the dHDP enables level ground walking, walking on different terrains and at different paces. These results show that our proposed dHDP based tracking control is not only theoretically suitable, but also practically useful.


title: Dialogue on analytical and ab initio methods in attoscience

abstract: The perceived dichotomy between analytical and ab initio approaches to theory in attosecond science is often seen as a source of tension and misconceptions. This Topical Review compiles the discussions held during a round-table panel at the 'Quantum Battles in Attoscience' CECAM virtual workshop, to explore the sources of tension and attempt to dispel them. We survey the main theoretical tools of attoscience -- covering both analytical and numerical methods -- and we examine common misconceptions, including the relationship between ab initio approaches and the broader numerical methods, as well as the role of numerical methods in 'analytical' techniques. We also evaluate the relative advantages and disadvantages of analytical as well as numerical and ab initio methods, together with their role in scientific discovery, told through the case studies of two representative attosecond processes: non-sequential double ionisation and resonant high-harmonic generation. We present the discussion in the form of a dialogue between two hypothetical theoreticians, a numericist and an analytician, who introduce and challenge the broader opinions expressed in the attoscience community.

categories: quant-ph physics.atom-ph physics.comp-ph physics.optics


title: A Comprehensive Survey on Hardware-Aware Neural Architecture Search

abstract: Neural Architecture Search (NAS) methods have been growing in popularity. These techniques have been fundamental to automate and speed up the time consuming and error-prone process of synthesizing novel Deep Learning (DL) architectures. NAS has been extensively studied in the past few years. Arguably their most significant impact has been in image classification and object detection tasks where the state of the art results have been obtained. Despite the significant success achieved to date, applying NAS to real-world problems still poses significant challenges and is not widely practical. In general, the synthesized Convolution Neural Network (CNN) architectures are too complex to be deployed in resource-limited platforms, such as IoT, mobile, and embedded systems. One solution growing in popularity is to use multi-objective optimization algorithms in the NAS search strategy by taking into account execution latency, energy consumption, memory footprint, etc. This kind of NAS, called hardware-aware NAS (HW-NAS), makes searching the most efficient architecture more complicated and opens several questions. In this survey, we provide a detailed review of existing HW-NAS research and categorize them according to four key dimensions: the search space, the search strategy, the acceleration technique, and the hardware cost estimation strategies. We further discuss the challenges and limitations of existing approaches and potential future directions. This is the first survey paper focusing on hardware-aware NAS. We hope it serves as a valuable reference for the various techniques and algorithms discussed and paves the road for future research towards hardware-aware NAS.


title: Approximate Byzantine Fault-Tolerance in Distributed Optimization

abstract: This paper considers the problem of Byzantine fault-tolerance in distributed multi-agent optimization. In this problem, each agent has a local cost function, and in the fault-free case, the goal is to design a distributed algorithm that allows all the agents to find a minimum point of all the agents' aggregate cost function. We consider a scenario where some agents might be Byzantine faulty that renders the original goal of computing a minimum point of all the agents' aggregate cost vacuous. A more reasonable objective for an algorithm in this scenario is to allow all the non-faulty agents to compute the minimum point of only the non-faulty agents' aggregate cost. Prior work shows that if there are up to $f$ (out of $n$) Byzantine agents then a minimum point of the non-faulty agents' aggregate cost can be computed exactly if and only if the non-faulty agents' costs satisfy a certain redundancy property called $2f$-redundancy. However, $2f$-redundancy is an ideal property that can be satisfied only in systems free from noise or uncertainties, which can make the goal of exact fault-tolerance unachievable in some applications. Thus, we introduce the notion of $(f,\epsilon)$-resilience, a generalization of exact fault-tolerance wherein the objective is to find an approximate minimum point of the non-faulty aggregate cost, with $\epsilon$ accuracy. This approximate fault-tolerance can be achieved under a weaker condition that is easier to satisfy in practice, compared to $2f$-redundancy. We obtain necessary and sufficient conditions for achieving $(f,\epsilon)$-resilience characterizing the correlation between relaxation in redundancy and approximation in resilience. In case when the agents' cost functions are differentiable, we obtain conditions for $(f,\epsilon)$-resilience of the distributed gradient-descent method when equipped with robust gradient aggregation.


title: Time-dependent Monte Carlo in fissile systems with beta-delayed neutron precursors

abstract: In the field of nuclear reactor physics, transient phenomena are usually studied using deterministic or hybrids methods. These methods require many approximations, such as: geometry, time and energy discretizations, material homogenization and assumption of diffusion conditions, among others. In this context, Monte Carlo simulations are specially adequate to study these problems. Challenges presented when using Monte Carlo simulations in space-time kinetics in fissile systems are the different time-scales involved in prompt and delayed neutron emission, which implies that results obtained have a large variance associated if an analog Monte Carlo simulation is utilized. Furthermore, in both deterministic and Monte Carlo simulations delayed neutron precursors are grouped in a $6$- or $8$- group structure, but nowadays there is not a solid reason to keep this aggregation. In this work, and for the first time, individual precursor data is implemented in a Monte Carlo simulation, explicitly including the time dependence related to the $\beta$-delayed neutron emission. This was accomplished by modifying the open source Monte Carlo code OpenMC. In the modified code -- Time Dependent OpenMC or OpenMC(TD) -- time dependency related to delayed neutron emission originated from $\beta$-decay was addressed. Continuous energy neutron cross-sections data used comes from JEFF-$3$.$1$.$1$ library. Individual precursor data was taken from JEFF-$3$.$1$.$1$ (cumulative yields) and ENDF-B/VIII.$0$ (delayed neutron emission probabilities and delayed neutron energy spectra). OpenMC(TD) was tested in: i) a monoenergetic system; ii) an energy dependent unmoderated system where the precursors were taken individually or in a group structure; and finally iii) a light-water moderated energy dependent system, using $6$-groups, $50$ and $40$ individual precursors.


title: On regularization methods based on dynamic programming techniques

abstract: In this article we investigate the connection between regularization theory for inverse problems and dynamic programming theory. This is done by developing two new regularization methods, based on dynamic programming techniques. The aim of these methods is to obtain stable approximations to the solution of linear inverse ill-posed problems. We follow two different approaches and derive a continuous and a discrete regularization method. Regularization properties for both methods are proved as well as rates of convergence. A numerical benchmark problem concerning integral operators with convolution kernels is used to illustrate the theoretical results.


title: Pulse Index Modulation

abstract: Emerging systems such as Internet-of-things (IoT) and machine-to-machine (M2M) communications have strict requirements on the power consumption of used equipments and associated complexity in the transceiver design. As a result, multiple-input multiple-output (MIMO) solutions might not be directly suitable for these system due to their high complexity, inter-antenna synchronization (IAS) requirement, and high inter-antenna interference (IAI) problems. In order to overcome these problems, we propose two novel index modulation (IM) schemes, namely pulse index modulation (PIM) and generalized PIM (GPIM) for single-input single-output (SISO) schemes. The proposed models use well-localized and orthogonal Hermite-Gaussian pulses for data transmission and provide high spectral efficiency owing to the Hermite-Gaussian pulse indices. Besides, it has been shown via analytical derivations and computer simulations that the proposed PIM and GPIM systems have better error performance and considerable signal-to-noise ratio (SNR) gain compared to existing spatial modulation (SM), quadrature SM (QSM), and traditional M-ary systems.


title: Beurling-type density criteria for system identification

abstract: This paper addresses the problem of identifying a linear time-varying (LTV) system characterized by a (possibly infinite) discrete set of delay-Doppler shifts without a lattice (or other geometry-discretizing) constraint on the support set. Concretely, we show that a class of such LTV systems is identifiable whenever the upper uniform Beurling density of the delay-Doppler support sets, measured uniformly over the class, is strictly less than 1/2. The proof of this result reveals an interesting relation between LTV system identification and interpolation in the Bargmann-Fock space. Moreover, we show that this density condition is also necessary for classes of systems invariant under time-frequency shifts and closed under a natural topology on the support sets. We furthermore show that identifiability guarantees robust recovery of the delay-Doppler support set, as well as the weights of the individual delay-Doppler shifts, both in the sense of asymptotically vanishing reconstruction error for vanishing measurement error.


title: Influence of radiative pumping on the HD rotational level populations in diffuse molecular clouds of the interstellar medium

abstract: We present a theoretical calculation of the influence of ultraviolet radiative pumping on the excitation of the rotational levels of the ground vibrational state for HD molecules under conditions of the cold diffuse interstellar medium (ISM). Two main excitation mechanisms have been taken into account in our analysis: (i) collisions with atoms and molecules and (ii) radiative pumping by the interstellar ultraviolet (UV) radiation field. The calculation of the radiative pumping rate coefficients $\Gamma_{\rm ij}$ corresponding to Drane's model of the field of interstellar UV radiation, taking into account the self-shielding of HD molecules, is performed. We found that the population of the first HD rotational level ($J = 1$) is determined mainly by radiative pumping rather than by collisions if the thermal gas pressure $p_{\rm th}\le10^4\left(\frac{I_{\rm{UV}}}{1}\right)\,\mbox{K\,cm}^{-3}$ and the column density of HD is lower than $\log N({\rm{HD}})<15$. Under this constraint the populations of rotational levels of HD turns out to be as well a more sensitive indicator of the UV radiation intensity than the fine-structure levels of atomic carbon. We suggest that taking into account radiative pumping of HD rotational levels may be important for the problem of the cooling of primordial gas at high redshift: ultraviolet radiation from first stars can increase the rate of HD cooling of the primordial gas in the early Universe.


title: AI-Empowered VNF Migration as a Cost-Loss-Effective Solution for Network Resilience

abstract: With a wide deployment of Multi-Access Edge Computing (MEC) in the Fifth Generation (5G) mobile networks, virtual network functions (VNF) can be flexibly migrated between difference locations, and therewith significantly enhances the network resilience to counter the degradation in quality of service (QoS) due to network function outages. A balance has to be taken carefully, between the loss reduced by VNF migration and the operations cost generated thereby. To achieve this in practical scenarios with realistic user behavior, it calls for models of both cost and user mobility. This paper proposes a novel cost model and a AI-empowered approach for a rational migration of stateful VNFs, which minimizes the sum of operations cost and potential loss caused by outages, and is capable to deal with the complex realistic user mobility patterns.


title: Quench dynamics and relaxation of a spin coupled to interacting leads

abstract: We study a quantum quench in which a magnetic impurity is suddenly coupled to Hubbard chains, whose low-energy physics is described by Tomonaga-Luttinger liquid theory. Using the time-dependent density-matrix renormalization-group (tDMRG) technique, we analyze the propagation of charge, spin and entanglement in the chains after the quench and relate the light-cone velocities to the dispersion of holons and spinons. We find that the local magnetization at the impurity site decays faster if we increase the interaction in the chains, even though the spin velocity decreases. We derive an analytical expression for the relaxation of the impurity magnetization which is in good agreement with the tDMRG results at intermediate timescales, providing valuable insight into the time evolution of the Kondo screening cloud in interacting systems.


title: BERT Transformer model for Detecting Arabic GPT2 Auto-Generated Tweets

abstract: During the last two decades, we have progressively turned to the Internet and social media to find news, entertain conversations and share opinion. Recently, OpenAI has developed a ma-chine learning system called GPT-2 for Generative Pre-trained Transformer-2, which can pro-duce deepfake texts. It can generate blocks of text based on brief writing prompts that look like they were written by humans, facilitating the spread false or auto-generated text. In line with this progress, and in order to counteract potential dangers, several methods have been pro-posed for detecting text written by these language models. In this paper, we propose a transfer learning based model that will be able to detect if an Arabic sentence is written by humans or automatically generated by bots. Our dataset is based on tweets from a previous work, which we have crawled and extended using the Twitter API. We used GPT2-Small-Arabic to generate fake Arabic Sentences. For evaluation, we compared different recurrent neural network (RNN) word embeddings based baseline models, namely: LSTM, BI-LSTM, GRU and BI-GRU, with a transformer-based model. Our new transfer-learning model has obtained an accuracy up to 98%. To the best of our knowledge, this work is the first study where ARABERT and GPT2 were combined to detect and classify the Arabic auto-generated texts.


title: On the Local Linear Rate of Consensus on the Stiefel Manifold

abstract: We study the convergence properties of Riemannian gradient method for solving the consensus problem (for an undirected connected graph) over the Stiefel manifold. The Stiefel manifold is a non-convex set and the standard notion of averaging in the Euclidean space does not work for this problem. We propose Distributed Riemannian Consensus on Stiefel Manifold (DRCS) and prove that it enjoys a local linear convergence rate to global consensus. More importantly, this local rate asymptotically scales with the second largest singular value of the communication matrix, which is on par with the well-known rate in the Euclidean space. To the best of our knowledge, this is the first work showing the equality of the two rates. The main technical challenges include (i) developing a Riemannian restricted secant inequality for convergence analysis, and (ii) to identify the conditions (e.g., suitable step-size and initialization) under which the algorithm always stays in the local region.


title: On Distributed Optimization in the Presence of Malicious Agents

abstract: In this paper, we consider an unconstrained distributed optimization problem over a network of agents, in which some agents are adversarial. We solve the problem via gradient-based distributed optimization algorithm and characterize the effect of the adversarial agents on the convergence of the algorithm to the optimal solution. The attack model considered is such that agents locally perturb their iterates before broadcasting it to neighbors; and we analyze the case in which the adversarial agents cooperate in perturbing their estimates and the case where each adversarial agent acts independently. Based on the attack model adopted in the paper, we show that the solution converges to the neighborhood of the optimal solution and depends on the magnitude of the attack (perturbation) term. The analyses presented establishes conditions under which the malicious agents have enough information to obstruct convergence to the optimal solution by the non-adversarial agents.


title: "I Choose Assistive Devices That Save My Face" A Study on Perceptions of Accessibility and Assistive Technology Use Conducted in China

abstract: Despite the potential benefits of assistive technologies (ATs) for people with various disabilities, only around 7% of Chinese with disabilities have had an opportunity to use ATs. Even for those who have used ATs, the abandonment rate was high. Although China has the world's largest population with disabilities, prior research exploring how ATs are used and perceived, and why ATs are abandoned have been conducted primarily in North America and Europe. In this paper, we present an interview study conducted in China with 26 people with various disabilities to understand their practices, challenges, perceptions, and misperceptions of using ATs. From the study, we learned about factors that influence AT adoption practices (e.g., misuse of accessible infrastructure, issues with replicating existing commercial ATs), challenges using ATs in social interactions (e.g., Chinese stigma), and misperceptions about ATs (e.g., ATs should overcome inaccessible social infrastructures). Informed by the findings, we derive a set of design considerations to bridge the existing gaps in AT design (e.g., manual vs. electronic ATs) and to improve ATs' social acceptability in China.


title: A graph-based formalism for surface codes and twists

abstract: Twist defects in surface codes can be used to encode more logical qubits, improve the code rate, and implement logical gates. In this work we provide a rigorous formalism for constructing surface codes with twists generalizing the well-defined homological formalism introduced by Kitaev for describing CSS surface codes. In particular, we associate a surface code to \emph{any} graph $G$ embedded on \emph{any} 2D-manifold, in such a way that (1) qubits are associated to the vertices of the graph, (2) stabilizers are associated to faces, (3) twist defects are associated to odd-degree vertices. In this way, we are able to reproduce the variety of surface codes, with and without twists, in the literature and produce some new examples. We also calculate and bound various code properties such as the rate and distance in terms of topological graph properties such as genus, systole, and face-width.


title: Eigenvalue bounds and spectral stability of Lam\'e operators with complex potentials

abstract: This paper is devoted to providing quantitative bounds on the location of eigenvalues, both discrete and embedded, of non self-adjoint Lam\'e operators of elasticity $-\Delta^\ast + V$ in terms of suitable norms of the potential $V$. In particular, this allows to get sufficient conditions on the size of the potential such that the point spectrum of the perturbed operator remains empty. In three dimensions we show full spectral stability under suitable form-subordinated perturbations: we prove that the spectrum is purely continuous and coincides with the non negative semi-axis as in the free case.


title: Hourly evolution of intra-urban temperature variability across the local climate zones. The case of Madrid

abstract: Field measurement campaigns have grown exponentially in recent years, stemming from the need for reliable data to validate urban climate models and obtain a better understanding of urban climate features. Also contributing to this growth is the Local Climate Zone (LCZ) scheme, firstly developed to enhance the accuracy in the contextualisation of urban measurements, and lately used for characterising urban areas. Due to its relative novelty, researchers are still investigating the potential of LCZs and its indicators for urban temperature variability detection. In this respect, the present study introduces the results of an extensive monitoring campaign carried out in the city of Madrid over a two-year period (2016-2018). The aim of this work is to further examine the relationships between LCZs and air temperature differences, with emphasis on their hourly and seasonal evolution. A graphical and statistical analysis to identify temperature variability trends for each LCZ is performed. Results support the existing evidence suggesting a high level of effectiveness in capturing the heat island (UHI) profile of different urban areas, while underperforming when it comes to capturing diurnal temperature variability. The incorporation of indicators that explain the daytime temperature variation phenomenon into the LCZ scheme is therefore recommended, warranting further research.


title: Conex-Connect: Learning Patterns in Extremal Brain Connectivity From Multi-Channel EEG Data

abstract: Epilepsy is a chronic neurological disorder affecting more than 50 million people globally. An epileptic seizure acts like a temporary shock to the neuronal system, disrupting normal electrical activity in the brain. Epilepsy is frequently diagnosed with electroencephalograms (EEGs). Current methods study the time-varying spectra and coherence but do not directly model changes in extreme behavior. Thus, we propose a new approach to characterize brain connectivity based on the joint tail behavior of the EEGs. Our proposed method, the conditional extremal dependence for brain connectivity (Conex-Connect), is a pioneering approach that links the association between extreme values of higher oscillations at a reference channel with the other brain network channels. Using the Conex-Connect method, we discover changes in the extremal dependence driven by the activity at the foci of the epileptic seizure. Our model-based approach reveals that, pre-seizure, the dependence is notably stable for all channels when conditioning on extreme values of the focal seizure area. Post-seizure, by contrast, the dependence between channels is weaker, and dependence patterns are more "chaotic". Moreover, in terms of spectral decomposition, we find that high values of the high-frequency Gamma-band are the most relevant features to explain the conditional extremal dependence of brain connectivity.


title: Innovative mini ultralight radiosondes to track Lagrangian turbulence fluctuations within warm clouds: electronic design

abstract: Characterization of cloud properties remains a challenging task for weather forecasting and climate modelling as cloud properties depend on interdependent natural processes at micro and macro scales. Turbulence plays an important role in particle dynamics inside clouds; however, turbulence mechanisms are not yet fully understood partly due to the difficulty of measuring clouds at the smallest scales. To address these knowledge gaps, an experimental method for measuring the influence of fine-scale turbulence in cloud formation in-situ and producing an in-field cloud Lagrangian dataset is being developed by means of innovative ultra-light radioprobes. This paper presents the electronic system design along with the obtained results from laboratory and field experiments regarding these compact (diameter about 30 cm), light-weight (about 20 g), and expendable devices designed to passively float and track small-scale turbulence fluctuations inside warm clouds. The fully customized mini radioprobe board (5 cm x 5 cm) embeds sensors to measure local fluctuations and transmit data to the ground in near real-time. The tests confirm that the newly developed probes perform well providing accurate information about atmospheric variables, referenced in space. The integration of multiple radioprobes allows for a systematic and accurate monitoring of atmospheric turbulence and its impact on cloud formation.


title: Large-scale Augmented Granger Causality (lsAGC) for Connectivity Analysis in Complex Systems: From Computer Simulations to Functional MRI (fMRI)

abstract: We introduce large-scale Augmented Granger Causality (lsAGC) as a method for connectivity analysis in complex systems. The lsAGC algorithm combines dimension reduction with source time-series augmentation and uses predictive time-series modeling for estimating directed causal relationships among time-series. This method is a multivariate approach, since it is capable of identifying the influence of each time-series on any other time-series in the presence of all other time-series of the underlying dynamic system. We quantitatively evaluate the performance of lsAGC on synthetic directional time-series networks with known ground truth. As a reference method, we compare our results with cross-correlation, which is typically used as a standard measure of connectivity in the functional MRI (fMRI) literature. Using extensive simulations for a wide range of time-series lengths and two different signal-to-noise ratios of 5 and 15 dB, lsAGC consistently outperforms cross-correlation at accurately detecting network connections, using Receiver Operator Characteristic Curve (ROC) analysis, across all tested time-series lengths and noise levels. In addition, as an outlook to possible clinical application, we perform a preliminary qualitative analysis of connectivity matrices for fMRI data of Autism Spectrum Disorder (ASD) patients and typical controls, using a subset of 59 subjects of the Autism Brain Imaging Data Exchange II (ABIDE II) data repository. Our results suggest that lsAGC, by extracting sparse connectivity matrices, may be useful for network analysis in complex systems, and may be applicable to clinical fMRI analysis in future research, such as targeting disease-related classification or regression tasks on clinical data.


title: Benchmarking, Analysis, and Optimization of Serverless Function Snapshots

abstract: Serverless computing has seen rapid adoption due to its high scalability and flexible, pay-as-you-go billing model. In serverless, developers structure their services as a collection of functions, sporadically invoked by various events like clicks. High inter-arrival time variability of function invocations motivates the providers to start new function instances upon each invocation, leading to significant cold-start delays that degrade user experience. To reduce cold-start latency, the industry has turned to snapshotting, whereby an image of a fully-booted function is stored on disk, enabling a faster invocation compared to booting a function from scratch. This work introduces vHive, an open-source framework for serverless experimentation with the goal of enabling researchers to study and innovate across the entire serverless stack. Using vHive, we characterize a state-of-the-art snapshot-based serverless infrastructure, based on industry-leading Containerd orchestration framework and Firecracker hypervisor technologies. We find that the execution time of a function started from a snapshot is 95% higher, on average, than when the same function is memory-resident. We show that the high latency is attributable to frequent page faults as the function's state is brought from disk into guest memory one page at a time. Our analysis further reveals that functions access the same stable working set of pages across different invocations of the same function. By leveraging this insight, we build REAP, a light-weight software mechanism for serverless hosts that records functions' stable working set of guest memory pages and proactively prefetches it from disk into memory. Compared to baseline snapshotting, REAP slashes the cold-start delays by 3.7x, on average.


title: Dynamical prediction of two meteorological factors using the deep neural network and the long short term memory $(1)$

abstract: It is important to calculate and analyze temperature and humidity prediction accuracies among quantitative meteorological forecasting. This study manipulates the extant neural network methods to foster the predictive accuracy. To achieve such tasks, we analyze and explore the predictive accuracy and performance in the neural networks using two combined meteorological factors (temperature and humidity). Simulated studies are performed by applying the artificial neural network (ANN), deep neural network (DNN), extreme learning machine (ELM), long short-term memory (LSTM), and long short-term memory with peephole connections (LSTM-PC) machine learning methods, and the accurate prediction value are compared to that obtained from each other methods. Data are extracted from low frequency time-series of ten metropolitan cities of South Korea from March 2014 to February 2020 to validate our observations. To test the robustness of methods, the error of LSTM is found to outperform that of the other four methods in predictive accuracy. Particularly, as testing results, the temperature prediction of LSTM in summer in Tongyeong has a root mean squared error (RMSE) value of 0.866 lower than that of other neural network methods, while the mean absolute percentage error (MAPE) value of LSTM for humidity prediction is 5.525 in summer in Mokpo, significantly better than other metropolitan cities.

categories: physics.ao-ph cond-mat.dis-nn cs.LG physics.comp-ph


title: Is the Capability approach a useful tool for decision aiding in public policy making?

abstract: This paper aims at proposing a model representing individuals' welfare using Sen's capability approach (CA). It is the first step of an attempt to measure the negative impact caused by the damage at a Common on a given population's welfare, and widely speaking, a first step into modelling collective threat. The CA is a multidimensional representation of persons' well-beings which account for human diversity. It has received substantial attention from scholars from different disciplines such as philosophy, economics and social scientist. Nevertheless, there is no empirical work that really fits the theoretical framework. Our goal is to show that the capability approach can be very useful for decision aiding, especially if we fill the gap between the theory and the empirical work; thus we will propose a framework that is both usable and a close representation of what capability is.


title: Tracking areas with increased likelihood of surface particle aggregation in the Gulf of Finland: A first look at persistent Lagrangian Coherent Structures (LCS)

abstract: We explore the possibility to identify areas of intense patch formation from floating items due to systematic convergence of surface velocity fields by means of a visual comparison of Lagrangian Coherent Structures (LCS) and estimates of areas prone to patch formation using the concept of Finite-Time Compressibility (FTC, a generalisation of the notion of time series of divergence). The LCSs are evaluated using the Finite Time Lyapunov Exponent (FTLE) method. The test area is the Gulf of Finland (GoF) in the Baltic Sea. A basin-wide spatial average of backward FTLE is calculated for the GoF for the first time. This measure of the mixing strength displays a clear seasonal pattern. The evaluated backward FTLE features are linked with potential patch formation regions with high FTC levels. It is shown that areas hosting frequent upwelling or downwelling have consistently stronger than average mixing intensity. The combination of both methods, FTC and LCS, has the potential of being a powerful tool to identify the formation of patches of pollution at the sea surface.


title: Load-Balancing for Improving User Responsiveness on Multicore Embedded Systems

abstract: Most commercial embedded devices have been deployed with a single processor architecture. The code size and complexity of applications running on embedded devices are rapidly increasing due to the emergence of application business models such as Google Play Store and Apple App Store. As a result, a high-performance multicore CPUs have become a major trend in the embedded market as well as in the personal computer market. Due to this trend, many device manufacturers have been able to adopt more attractive user interfaces and high-performance applications for better user experiences on the multicore systems. In this paper, we describe how to improve the real-time performance by reducing the user waiting time on multicore systems that use a partitioned per-CPU run queue scheduling technique. Rather than focusing on naive load-balancing scheme for equally balanced CPU usage, our approach tries to minimize the cost of task migration by considering the importance level of running tasks and to optimize per-CPU utilization on multicore embedded systems. Consequently, our approach improves the real-time characteristics such as cache efficiency, user responsiveness, and latency. Experimental results under heavy background stress show that our approach reduces the average scheduling latency of an urgent task by 2.3 times.


title: BB: Booting Booster for Consumer Electronics with Modern OS

abstract: Unconventional computing platforms have spread widely and rapidly following smart phones and tablets: consumer electronics such as smart TVs and digital cameras. For such devices, fast booting is a critical requirement; waiting tens of seconds for a TV or a camera to boot up is not acceptable, unlike a PC or smart phone. Moreover, the software platforms of these devices have become as rich as conventional computing devices to provide comparable services. As a result, the booting procedure to start every required OS service, hardware component, and application, the quantity of which is ever increasing, may take unbearable time for most consumers. To accelerate booting, this paper introduces \textit{Booting Booster} (BB), which is used in all 2015 Samsung Smart TV models, and which runs the Linux-based Tizen OS. BB addresses the init scheme of Linux, which launches initial user-space OS services and applications and manages the life cycles of all user processes, by identifying and isolating booting-critical tasks, deferring non-critical tasks, and enabling execution of more tasks in parallel. BB has been successfully deployed in Samsung Smart TV 2015 models achieving a cold boot in 3.5 s (compared to 8.1 s with full commercial-grade optimizations without BB) without the need for suspend-to-RAM or hibernation. After this successful deployment, we have released the source code via http://opensource.samsung.com, and BB will be included in the open-source OS, Tizen (http://tizen.org).


title: Improving prediction of the terrestrial water storage anomalies during the GRACE and GRACE-FO gap with Bayesian convolutional neural networks

abstract: The Gravity Recovery and Climate Experiment (GRACE) satellite and its successor GRACE Follow-On (GRACE-FO) provide valuable and accurate observations of terrestrial water storage anomalies (TWSAs) at a global scale. However, there is an approximately one-year observation gap of TWSAs between GRACE and GRACE-FO. This poses a challenge for practical applications, as discontinuity in the TWSA observations may introduce significant biases and uncertainties in the hydrological model predictions and consequently mislead decision making. To tackle this challenge, a Bayesian convolutional neural network (BCNN) driven by climatic data is proposed in this study to bridge this gap at a global scale. Enhanced by integrating recent advances in deep learning, including the attention mechanisms and the residual and dense connections, BCNN can automatically and efficiently extract important features for TWSA predictions from multi-source input data. The predicted TWSAs are compared to the hydrological model outputs and three recent TWSA prediction products. The comparison suggests the superior performance of BCNN in providing improved predictions of TWSAs during the gap in particular in the relatively arid regions. The BCNN's ability to identify the extreme dry and wet events during the gap period is further discussed and comprehensively demonstrated by comparing with the precipitation anomalies, drought index, ground/surface water levels. Results indicate that BCNN is capable of offering a reliable solution to maintain the TWSA data continuity and quantify the impacts of climate extremes during the gap.


title: Machine Learning Based Early Fire Detection System using a Low-Cost Drone

abstract: This paper proposes a new machine learning based system for forest fire earlier detection in a low-cost and accurate manner. Accordingly, it is aimed to bring a new and definite perspective to visual detection in forest fires. A drone is constructed for this purpose. The microcontroller in the system has been programmed by training with deep learning methods, and the unmanned aerial vehicle has been given the ability to recognize the smoke, the earliest sign of fire detection. The common problem in the prevalent algorithms used in fire detection is the high false alarm and overlook rates. Confirming the result obtained from the visualization with an additional supervision stage will increase the reliability of the system as well as guarantee the accuracy of the result. Due to the mobile vision ability of the unmanned aerial vehicle, the data can be controlled from any point of view clearly and continuously. System performance are validated by conducting experiments in both simulation and physical environments.


title: Structured versus Decorated Cospans

abstract: One goal of applied category theory is to understand open systems. We compare two ways of describing open systems as cospans equipped with extra data. First, given a functor $L \colon \mathsf{A} \to \mathsf{X}$, a "structured cospan" is a diagram in $\mathsf{X}$ of the form $L(a) \rightarrow x \leftarrow L(b)$. If $\mathsf{A}$ and $\mathsf{X}$ have finite colimits and $L$ preserves them, it is known that there is a symmetric monoidal double category whose objects are those of $\mathsf{A}$ and whose horizontal 1-cells are structured cospans. Second, given a pseudofunctor $F \colon \mathsf{A} \to \mathbf{Cat}$, a "decorated cospan" is a diagram in $\mathsf{A}$ of the form $a \rightarrow m \leftarrow b$ together with an object of $F(m)$. Generalizing the work of Fong, we show that if $\mathsf{A}$ has finite colimits and $F \colon (\mathsf{A},+) \to (\mathsf{Cat},\times)$ is symmetric lax monoidal, there is a symmetric monoidal double category whose objects are those of $\mathsf{A}$ and whose horizontal 1-cells are decorated cospans. We prove that under certain conditions, these two constructions become isomorphic when we take $\mathsf{X} = \int F$ to be the Grothendieck category of $F$. We illustrate these ideas with applications to electrical circuits, Petri nets, dynamical systems and epidemiological modeling.


title: Rooted tree graphs and the Butcher group: Combinatorics of elementary perturbation theory

abstract: The perturbation expansion of the solution of a fixed point equation or of an ordinary differential equation may be expressed as a power series in the perturbation parameter. The terms in this series are indexed by rooted trees and depend on a parameter in the equation in a way determined by the structure of the tree. Power series of this form may be considered more generally; there are two interesting and useful group structures on these series, corresponding to operations of composition and substitution. The composition operation defines the Butcher group, an infinite dimensional group that was first introduced in the context of numerical analysis. This survey discusses various ways of realizing these rooted trees: as labeled rooted trees, or increasing labeled rooted trees, or unlabeled rooted trees. It is argued that the simplest framework is to use labeled rooted trees.


title: MAVERICK: Proactively detecting network control plane bugs using structural outlierness

abstract: Proactive detection of network configuration bugs is important to ensure its proper functioning and reduce cost of network administrator. In this research, we propose to build the control plane verification engine MAVERICK that detects the bugs in the network control plane i.e., network device configurations and control plane states. MAVERICK automatically infers signatures for the control plane configurations (e.g., ACLs, route-maps, route-policies and so on) and states that allows administrators to automatically detect bugs with minimal human intervention. MAVERICK achieves this by effectively leveraging any structural deviation i.e., outliers in the network configurations that is organized as simple or complexly nested key-value pairs. The outliers that are calculated using signature-based outlier detection mechanism are further characterized for its severity and ranked or re-prioritized according to their criticality. We consider a wide set of heuristics and domain expertise factors for effectively to reduce both false positives and false negatives.Our evaluation on four medium to large-scale enterprise networks show that MAVERICK can automatically detect the bugs present in the network with approximately 75% accuracy. Further-more, With minimal administrator input i.e., with a few minutes of signature re-tuning, MAVERICK allows the administrators to effectively detect approximately 94 - 100% of the bugs present in the network, thereby ranking down less severe bugs and removing false positives.


title: Development of a web application for monitoring solar activity and cosmic radiation

abstract: The flux of cosmic rays (CRs) in the heliosphere is subjected to remarkable time variations caused by the 11-year cycle of solar activity. To help the study of this effect, we have developed a web application (Heliophysics Virtual Observatory) that collects real-time data on solar activity, interplanetary plasma, and charged radiation from several space missions or observatories. As we will show, our application can be used to visualize, manipulate, and download updated data on sunspots, heliospheric magnetic fields, solar wind, and neutron monitors counting rates. Data and calculations are automatically updated on daily basis. A nowcasting for the energy spectrum of CR protons near-Earth is also provided using calculations and real-time neutron monitor data as input.


title: Injective metrics on buildings and symmetric spaces

abstract: In this article, we show that the Goldman-Iwahori metric on the space of all norms on a fixed vector space satisfies the Helly property for balls. On the non-Archimedean side, we deduce that most classical Bruhat-Tits buildings may be endowed with a natural piecewise $\ell^\infty$ metric which is injective. We also prove that most classical semisimple groups over non-Archimedean local fields act properly and cocompactly on Helly graphs. This gives another proof of biautomaticity for their uniform lattices. On the Archimedean side, we deduce that most classical symmetric spaces of non-compact type may be endowed with a natural invariant Finsler metric, restricting to an $\ell^\infty$ on each flat, which is coarsely injective. We also prove that most classical semisimple groups over Archimedean local fields act properly and cocompactly on injective metric spaces. We identify the injective hull of the symmetric space of $\operatorname{GL}(n,\mathbb{R})$ as the space of all norms on $\mathbb{R}^n$. The only exception is the special linear group: if $n=3$ or $n \geq 5$ and $\mathbb{K}$ is a local field, we show that $\operatorname{SL}(n,\mathbb{K})$ does not act properly and coboundedly on an injective metric space.


title: Effects of Pre- and Post-Processing on type-based Embeddings in Lexical Semantic Change Detection

abstract: Lexical semantic change detection is a new and innovative research field. The optimal fine-tuning of models including pre- and post-processing is largely unclear. We optimize existing models by (i) pre-training on large corpora and refining on diachronic target corpora tackling the notorious small data problem, and (ii) applying post-processing transformations that have been shown to improve performance on synchronic tasks. Our results provide a guide for the application and optimization of lexical semantic change detection models across various learning scenarios.


title: Complete noncommutativity in a cosmological model with radiation

abstract: In order to try explaining the present accelerated expansion of the universe, we consider the most complete noncommutativity, of a certain type, in a Friedmann-Robertson-Walker cosmological model, coupled to a perfect fluid. We use the ADM formalism in order to write the gravitational Hamiltonian of the model and the Schutz's formalism in order to write the perfect fluid Hamiltonian. The noncommutativity is introduced by four nontrivial Poisson brackets between all geometrical as well as matter variables of the model. Each nontrivial Poisson bracket is associated to a noncommutative parameter. We recover the description in terms of commutative variables by introducing four variables transformations that depend on the noncommutative parameters. Using those variables transformations, we rewrite the total noncommutative Hamiltonian of the model in terms of commutative variables. From the resulting Hamiltonian, we obtain the scale factor dynamical equations for a generic perfect fluid. In order to solve these equations, we restrict our attention to a model where the perfect fluid is radiation. The solutions depend on six parameters: the four noncommutative parameters, a parameter associated with the fluid energy $C$, and the curvature parameter $k$. They also depend on the initial conditions of the model variables. We compare the noncommutative solutions to the corresponding commutative ones and determine how the former ones differ from the latter ones. The comparison shows that the noncommutative model is very useful for describing the accelerated expansion of the universe. We also obtain estimates for one of the noncommutative parameters.