title: A simple proof of the Hardy inequality on Carnot groups and for some hypoelliptic families of vector fields

abstract: We give an elementary proof of the classical Hardy inequality on any Carnot group, using only integration by parts and a fine analysis of the commutator structure, which was not deemed possible until now. We also discuss the conditions under which this technique can be generalized to deal with hypoelliptic families of vector fields, which, in this case, leads to an open problem regarding the symbol properties of the gauge norm.


title: Autoregressive-Model-Based Methods for Online Time Series Prediction with Missing Values: an Experimental Evaluation

abstract: Time series prediction with missing values is an important problem of time series analysis since complete data is usually hard to obtain in many real-world applications. To model the generation of time series, autoregressive (AR) model is a basic and widely used one, which assumes that each observation in the time series is a noisy linear combination of some previous observations along with a constant shift. To tackle the problem of prediction with missing values, a number of methods were proposed based on various data models. For real application scenarios, how do these methods perform over different types of time series with different levels of data missing remains to be investigated. In this paper, we focus on online methods for AR-model-based time series prediction with missing values. We adapted five mainstream methods to fit in such a scenario. We make detailed discussion on each of them by introducing their core ideas about how to estimate the AR coefficients and their different strategies to deal with missing values. We also present algorithmic implementations for better understanding. In order to comprehensively evaluate these methods and do the comparison, we conduct experiments with various configurations of relative parameters over both synthetic and real data. From the experimental results, we derived several noteworthy conclusions and shows that imputation is a simple but reliable strategy to handle missing values in online prediction tasks.


title: Equilibria, periodic orbits and computing them

abstract: In this short exposition, we describe equilibria and periodic orbits in terms of the flow map, {\Phi}, and discuss the essentials of the Jacobian-free Newton-Krylov (JFNK) method that can be used to find them. This method requires little more than calls to an existing time stepping code, which {\Phi} can be considered to represent. Fortran90 / MATLAB code is available to try it out for yourself, where, in the template/example the method is applied to the Lorenz system. This code is problem-independent and can be applied to large systems, having initially been developed to find periodic orbits in simulations of pipe flow.


title: Enhancing the Demand for Labour survey by including skills from online job advertisements using model-assisted calibration

abstract: In the article we describe an enhancement to the Demand for Labour (DL) survey conducted by Statistics Poland, which involves the inclusion of skills obtained from online job advertisements. The main goal is to provide estimates of the demand for skills (competences), which is missing in the DL survey. To achieve this, we apply a data integration approach combining traditional calibration with the LASSO-assisted approach to correct representation error in the online data. Faced with the lack of access to unit-level data from the DL survey, we use estimated population totals and propose a~bootstrap approach that accounts for the uncertainty of totals reported by Statistics Poland. We show that the calibration estimator assisted with LASSO outperforms traditional calibration in terms of standard errors and reduces representation bias in skills observed in online job ads. Our empirical results show that online data significantly overestimate interpersonal, managerial and self-organization skills while underestimating technical and physical skills. This is mainly due to the under-representation of occupations categorised as Craft and Related Trades Workers and Plant and Machine Operators and Assemblers.


title: Topological expansion in isomorphism theorems between matrix-valued fields and random walks

abstract: We consider Gaussian fields of real symmetric, complex Hermitian or quaternionic Hermitian matrices over an electrical network, and describe how the isomorphisms between these fields and random walks give rise to topological expansions encoded by ribbon graphs. We further consider matrix-valued Gaussian fields twisted by an orthogonal, unitary or symplectic connection. In this case the isomorphisms involve traces of holonomies of the connection along random walk loops parametrized by boundary cycles of ribbon graphs.


title: Random-effects meta-analysis of phase I dose-finding studies using stochastic process priors

abstract: Phase I dose-finding studies aim at identifying the maximal tolerated dose (MTD). It is not uncommon that several dose-finding studies are conducted, although often with some variation in the administration mode or dose panel. For instance, sorafenib (BAY 43-900) was used as monotherapy in at least 29 phase I trials according to a recent search in clinicaltrials.gov. Since the toxicity may not be directly related to the specific indication, synthesizing the information from several studies might be worthwhile. However, this is rarely done in practice and only a fixed-effect meta-analysis framework was proposed to date. We developed a Bayesian random-effects meta-analysis methodology to pool several phase I trials and suggest the MTD. A curve free hierarchical model on the logistic scale with random effects, accounting for between-trial heterogeneity, is used to model the probability of toxicity across the investigated doses. An Ornstein-Uhlenbeck Gaussian process is adopted for the random effects structure. Prior distributions for the curve free model are based on a latent Gamma process. An extensive simulation study showed good performance of the proposed method also under model deviations. Sharing information between phase I studies can improve the precision of MTD selection, at least when the number of trials is reasonably large.


title: Rates of convergence for iterative solutions of equations involving set-valued accretive operators

abstract: This paper studies proofs of strong convergence of various iterative algorithms for computing the unique zeros of set-valued accretive operators that also satisfy some weak form of uniform accretivity at zero. More precisely, we extract explicit rates of convergence from these proofs which depend on a modulus of uniform accretivity at zero, a concept first introduced by A. Koutsoukou-Argyraki and the first author in 2015. Our highly modular approach, which is inspired by the logic-based proof mining paradigm, also establishes that a number of seemingly unrelated convergence proofs in the literature are actually instances of a common pattern.


title: Inference for continuous-time long memory randomly sampled processes

abstract: From a continuous-time long memory stochastic process, a discrete-time randomly sampled one is drawn. We investigate the second-order properties of this process and establish some time-and frequency-domain asymptotic results. We mainly focus on the case when the initial process is Gaussian. The challenge being that, although marginally remains Gaussian, the randomly sampled process will no longer be jointly Gaussian.


title: Simple Formula for Integration of Polynomials on a Simplex

abstract: We show that integrating a polynomial of degree t on an arbitrary simplex (with respect to Lebesgue measure) reduces to evaluating t homogeneous polynomials of degree j = 1, 2,. .. , t, each at a unique point $\xi$ j of the simplex. This new and very simple formula can be exploited in finite (and extended finite) element methods, as well as in other applications where such integrals are needed.


title: On the spacing of zeros of paraorthogonal polynomials for singular measures

abstract: We prove a lower bound on the spacing of zeros of paraorthogonal polynomials on the unit circle, based on continuity of the underlying measure as measured by Hausdorff dimensions. We complement this with the analog of the result from arXiv:1011.3159 showing that clock spacing holds even for certain singular continuous measures.


title: Semantic Source Code Search: A Study of the Past and a Glimpse at the Future

abstract: With the recent explosion in the size and complexity of source codebases and software projects, the need for efficient source code search engines has increased dramatically. Unfortunately, existing information retrieval-based methods fail to capture the query semantics and perform well only when the query contains syntax-based keywords. Consequently, such methods will perform poorly when given high-level natural language queries. In this paper, we review existing methods for building code search engines. We also outline the open research directions and the various obstacles that stand in the way of having a universal source code search engine.


title: GPS Fit Method for Paths of Non Drunken Sailors and its Connection to Entropy

abstract: Estimating the altimeters a cyclist has climbed from noisy GPS data is a challenging problem. In this article a method is proposed that assumes that a person locally takes the shortest path. This results in an algorithm that does not need smoothing parameters. Moreover, it turns out that this assumption allows one to find a similarity between entropy and likelihood which results to the introduction of an entropic force.


title: Magnetic Proximity Effect in a van der Waals Moir\'e Superlattice

abstract: We investigate the magnetic proximity effect in van der Waals heterostructure formed by a monolayer semiconductor stacked on a 2D ferromagnet, where the lattice mismatch and twisting between the layers typically lead to the formation of moir\'e pattern. We find that the magnetic proximity effect arising from the spin dependent interlayer coupling depends sensitively on the interlayer atomic registry. Consequently, in the moir\'e pattern, the spatial variation of the atomic registry leads to a lateral modulation of magnetic proximity field. Such moir\'e modulated magnetic proximity effect manifests as a miniband spin splitting that strongly depends on the moir\'e periodicity which can be mechanically tuned by a relative twisting and/or strain between the layers. We also show, because of the moir\'e modulation on the interlayer distance, a perpendicular electric field can be used to control the miniband spin splitting. Our results suggest potential nanodevices where the moir\'e modulated magnetic proximity effect can lead to unique spin controllability.


title: An independent analysis of the Spitzer/IRAC phase curves of WASP43 b

abstract: We present here a reanalysis of the Spitzer Space Telescope phase curves of the hot Jupiter WASP43 b, using the wavelet pixel-Independent Component Analysis, a blind signal-source separation method. The data analyzed were recorded with the InfraRed Array Camera and consisted of two visits at 3.6 $\mu$m, and one visit at 4.5 $\mu$m, each visit covering one transit and two eclipse events. To test the robustness of our technique we repeated the analysis on smaller portions of the phase curves, and by employing different instrument ramp models. Our reanalysis presents significant updates of the planetary parameters compared to those reported in the original phase curve study of WASP43 b. In particular, we found (1) higher nightside temperatures, (2) smaller hotspot offsets, (3) a greater consistency ($\sim$1 $\sigma$) between the two 3.6~$\mu$m visits, and (4) a greater similarity with the predictions of the atmospheric circulation models. Our parameter results are consistent within 1 $\sigma$ with those reported by a recent reanalysis of the same data sets. For each visit we studied the variation of the retrieved transit parameters as a function of various sets of stellar limb-darkening coefficients, finding significant degeneracy between the limb-darkening models and the analysis output. Furthermore, we performed the analysis of the single transit and eclipse events, and we examined the differences between these results with the ones obtained with the whole phase curve. Finally we provide a formula useful to optimize the trade-off between precision and duration of observations of transiting exoplanets.


title: Local Vorticity Computation in Double Distribution Functions based Lattice Boltzmann Methods for Flow and Scalar Transport

abstract: Computation of vorticity in conjunction with the strain rate tensor, plays an important role in fluid mechanics in vortical structure identification and in the modeling of various complex fluids. For the simulation of flows accompanied by the advection-diffusion transport of a scalar field, double distribution functions (DDF) based lattice Boltzmann methods (LBMs) are commonly used. We present a new local vorticity computation approach by introducing an intensional anisotropy of the scalar flux in the third order, off-diagonal moment equilibria of the LB scheme for the scalar field, and then combining the second order non-equilibrium components of both the LBMs. As such, any pair of lattice sets in the DDF formulation that can independently support the third order off-diagonal moments would enable local determination of the complete flow kinematics, with the LBMs for the fluid motion and the transport of the passive scalar respectively providing the necessary moment relationships to determine the symmetric and skew-symmetric components of the velocity gradient tensor. Since the resulting formulation is completely local and do not rely on finite difference approximations for velocity derivatives, it is by design naturally suitable for parallel computation. As an illustration of our approach, we formulate a DDF-LB scheme for local vorticity computation using a pair of multiple relaxation times (MRT) based collision approaches on two-dimensional, nine velocity (D2Q9) lattices, where the necessary moment relationships to determine the velocity gradient tensor and the vorticity are established via a Chapman-Enskog analysis. Simulations of various benchmark flows demonstrate good accuracy of the predicted vorticity fields, with a second order convergence. Furthermore, extensions of our formulation for a variety of collision models to enable local vorticity computation are presented.


title: Propagation of Gravitational Waves in Anisotropic Universe

abstract: In this paper, we have considered a toy model of an anisotropic universe and studied the propagation of gravitational waves in such a universe. The consideration of this toy model simplifies the analysis and helps us to illustrate the effects of anisotropy. Incorporating linear perturbations on this anisotropic background, we have considered the synchronous, transverse, traceless gauge conditions and evaluated the perturbations of the Ricci tensor. The energy-momentum tensor is that of a perfect fluid, for which the Einstein's field equations are determined in presence of perturbations. We arrive at the set of linearised Einstein's equations explicitly and find solutions for gravitational waves propagating along the direction of anisotropy. We also study the propagation along a direction perpendicular to the direction of anisotropy. Subsequently we have validated the assumption of the tracelessness of the linear perturbations. Finally we determine the amount of tidal acceleration caused by the propagation of gravitational waves in this background spacetime.


title: Some generalizations of strongly prime ideals

abstract: In this paper, we introduce the concepts of strongly 2-absorbing primary ideals (resp., submodules) and strongly 2-absorbing ideals (resp., submodules) as generalizations of strongly prime ideals. Furthermore, we investigate some basic properties of these classes of ideals.


title: Abelian quandles and quandles with abelian structure group

abstract: Sets with a self-distributive operation (in the sense of $(a \triangleleft b) \triangleleft c = (a \triangleleft c) \triangleleft (b \triangleleft c))$, in particular quandles, appear in knot and braid theories, Hopf algebra classification, the study of the Yang-Baxter equation, and other areas. An important invariant of quandles is their structure group. The structure group of a finite quandle is known to be either "boring" (free abelian), or "interesting" (non-abelian with torsion). In this paper we explicitly describe all finite quandles with abelian structure group. To achieve this, we show that such quandles are abelian (i.e., satisfy $(a \triangleleft b) \triangleleft c = (a \triangleleft c) \triangleleft b)$; present the structure group of any abelian quandle as a central extension of a free abelian group by an explicit finite abelian group; and determine when the latter is trivial. In the second part of the paper, we relate the structure group of any quandle to its 2nd homology group $H_2$. We use this to prove that the $H_2$ of a finite quandle with abelian structure group is torsion-free, but general abelian quandles may exhibit torsion. Torsion in $H_2$ is important for constructing knot invariants and pointed Hopf algebras.


title: Maize Yield and Nitrate Loss Prediction with Machine Learning Algorithms

abstract: Pre-season prediction of crop production outcomes such as grain yields and N losses can provide insights to stakeholders when making decisions. Simulation models can assist in scenario planning, but their use is limited because of data requirements and long run times. Thus, there is a need for more computationally expedient approaches to scale up predictions. We evaluated the potential of five machine learning (ML) algorithms as meta-models for a cropping systems simulator (APSIM) to inform future decision-support tool development. We asked: 1) How well do ML meta-models predict maize yield and N losses using pre-season information? 2) How many data are needed to train ML algorithms to achieve acceptable predictions?; 3) Which input data variables are most important for accurate prediction?; and 4) Do ensembles of ML meta-models improve prediction? The simulated dataset included more than 3 million genotype, environment and management scenarios. Random forests most accurately predicted maize yield and N loss at planting time, with a RRMSE of 14% and 55%, respectively. ML meta-models reasonably reproduced simulated maize yields but not N loss. They also differed in their sensitivities to the size of the training dataset. Across all ML models, yield prediction error decreased by 10-40% as the training dataset increased from 0.5 to 1.8 million data points, whereas N loss prediction error showed no consistent pattern. ML models also differed in their sensitivities to input variables. Averaged across all ML models, weather conditions, soil properties, management information and initial conditions were roughly equally important when predicting yields. Modest prediction improvements resulted from ML ensembles. These results can help accelerate progress in coupling simulation models and ML toward developing dynamic decision support tools for pre-season management.


title: On a simple derivation of the very low damping escape rate for classical spins by modifying the method of Kramers

abstract: The original perturbative Kramers' method (starting from the phase space coordinates) (Kramers, 1940) of determining the energy-controlled-diffusion equation for Newtonian particles with separable and additive Hamiltonians is generalized to yield the energy-controlled diffusion equation and thus the very low damping (VLD) escape rate including spin-transfer torque for classical giant magnetic spins with two degrees of freedom. These have dynamics governed by the magnetic Langevin and Fokker-Planck equations and thus are generally based on non-separable and non-additive Hamiltonians. The derivation of the VLD escape rate directly from the (magnetic) Fokker-Planck equation for the surface distribution of magnetization orientations in the configuration space of the polar and azimuthal angles $(\vartheta, \varphi)$ is much simpler than those previously used.


title: Adabot: Fault-Tolerant Java Decompiler

abstract: Reverse Engineering(RE) has been a fundamental task in software engineering. However, most of the traditional Java reverse engineering tools are strictly rule defined, thus are not fault-tolerant, which pose serious problem when noise and interference were introduced into the system. In this paper, we view reverse engineering as a statistical machine translation task instead of rule-based task, and propose a fault-tolerant Java decompiler based on machine translation models. Our model is based on attention-based Neural Machine Translation (NMT) and Transformer architectures. First, we measure the translation quality on both the redundant and purified datasets. Next, we evaluate the fault-tolerance(anti-noise ability) of our framework on test sets with different unit error probability (UEP). In addition, we compare the suitability of different word segmentation algorithms for decompilation task. Experimental results demonstrate that our model is more robust and fault-tolerant compared to traditional Abstract Syntax Tree (AST) based decompilers. Specifically, in terms of BLEU-4 and Word Error Rate (WER), our performance has reached 94.50% and 2.65% on the redundant test set; 92.30% and 3.48% on the purified test set.


title: On Using Signal Magnitude in Diffusion Magnetic Resonance Measurements of Restricted Motion

abstract: Tissue microstructure has significance as a biomarker, however its accurate inference with diffusion magnetic resonance (MR) is still an open problem. With few exceptions, diffusion weighted (DW) MR models either process diffusion MR data using signal magnitude, whereby microstructural information is forcefully confined to symmetry due to Fourier transform properties, or directly use symmetric basis expansions. Herein, information loss from magnitude utilization is demonstrated by numerically simulating particles undergoing diffusion near a fully reflective infinite wall and an orthogonal corner. Simulation results show that the loss of the Hermitian property when using signal magnitude impedes DW--MR from accurately inferring microstructural information in both of the geometries.


title: A Kings Ransom for Encryption: Ransomware Classification using Augmented One-Shot Learning and Bayesian Approximation

abstract: Newly emerging variants of ransomware pose an ever-growing threat to computer systems governing every aspect of modern life through the handling and analysis of big data. While various recent security-based approaches have focused on detecting and classifying ransomware at the network or system level, easy-to-use post-infection ransomware classification for the lay user has not been attempted before. In this paper, we investigate the possibility of classifying the ransomware a system is infected with simply based on a screenshot of the splash screen or the ransom note captured using a consumer camera commonly found in any modern mobile device. To train and evaluate our system, we create a sample dataset of the splash screens of 50 well-known ransomware variants. In our dataset, only a single training image is available per ransomware. Instead of creating a large training dataset of ransomware screenshots, we simulate screenshot capture conditions via carefully designed data augmentation techniques, enabling simple and efficient one-shot learning. Moreover, using model uncertainty obtained via Bayesian approximation, we ensure special input cases such as unrelated non-ransomware images and previously-unseen ransomware variants are correctly identified for special handling and not mis-classified. Extensive experimental evaluation demonstrates the efficacy of our work, with accuracy levels of up to 93.6% for ransomware classification.


title: Freezing, Bounded-Change and Convergent Cellular Automata

abstract: This paper studies three classes of cellular automata from a computational point of view: freezing cellular automata where the state of a cell can only decrease according to some order on states, cellular automata where each cell only makes a bounded number of state changes in any orbit, and finally cellular automata where each orbit converges to some fixed point. Many examples studied in the literature fit into these definitions, in particular the works on cristal growth started by S. Ulam in the 60s. The central question addressed here is how the computational power and computational hardness of basic properties is affected by the constraints of convergence, bounded number of change, or local decreasing of states in each cell. By studying various benchmark problems (short-term prediction, long term reachability, limits) and considering various complexity measures and scales (LOGSPACE vs. PTIME, communication complexity, Turing computability and arithmetical hierarchy) we give a rich and nuanced answer: the overall computational complexity of such cellular automata depends on the class considered (among the three above), the dimension, and the precise problem studied. In particular, we show that all settings can achieve universality in the sense of Blondel-Delvenne-K\r{u}rka, although short term predictability varies from NLOGSPACE to P-complete. Besides, the computability of limit configurations starting from computable initial configurations separates bounded-change from convergent cellular automata in dimension~1, but also dimension~1 versus higher dimensions for freezing cellular automata. Another surprising dimension-sensitive result obtained is that nilpotency becomes decidable in dimension~ 1 for all the three classes, while it stays undecidable even for freezing cellular automata in higher dimension.


title: Towards Generating Ambisonics Using Audio-Visual Cue for Virtual Reality

abstract: Ambisonics i.e., a full-sphere surround sound, is quintessential with 360-degree visual content to provide a realistic virtual reality (VR) experience. While 360-degree visual content capture gained a tremendous boost recently, the estimation of corresponding spatial sound is still challenging due to the required sound-field microphones or information about the sound-source locations. In this paper, we introduce a novel problem of generating Ambisonics in 360-degree videos using the audio-visual cue. With this aim, firstly, a novel 360-degree audio-visual video dataset of 265 videos is introduced with annotated sound-source locations. Secondly, a pipeline is designed for an automatic Ambisonic estimation problem. Benefiting from the deep learning-based audio-visual feature-embedding and prediction modules, our pipeline estimates the 3D sound-source locations and further use such locations to encode to the B-format. To benchmark our dataset and pipeline, we additionally propose evaluation criteria to investigate the performance using different 360-degree input representations. Our results demonstrate the efficacy of the proposed pipeline and open up a new area of research in 360-degree audio-visual analysis for future investigations.


title: An entire free holomorphic function which is unbounded on the row ball

abstract: We give an entire free holomorphic function $f$ which is unbounded on the row ball. That is, we give a holomorphic free noncommutative function which is continuous in the free topology developed by Agler and McCarthy but is unbounded on the set of row contractions.


title: A New Deterministic Technique for Symbolic Regression

abstract: This paper describes a new method for Symbolic Regression that allows to find mathematical expressions from a dataset. This method has a strong mathematical basis. As opposed to other methods such as Genetic Programming, this method is deterministic, and does not involve the creation of a population of initial solutions. Instead of it, a simple expression is being grown until it fits the data. The experiments performed show that the results are as good as other Machine Learning methods, in a very low computational time. Another advantage of this technique is that the complexity of the expressions can be limited, so the system can return mathematical expressions that can be easily analysed by the user, in opposition to other techniques like GSGP.


title: Geant4-based electromagnetic background model for the CRESST dark matter experiment

abstract: The CRESST (Cryogenic Rare Event Search with Superconducting Thermometers) dark matter search experiment aims for the detection of dark matter particles via elastic scattering off nuclei in $\mathrm{CaWO_4}$ crystals. To understand the CRESST electromagnetic background due to the bulk contamination in the employed materials, a model based on Monte Carlo simulations was developed using the Geant4 simulation toolkit. The results of the simulation are applied to the TUM40 detector module of CRESST-II phase 2. We are able to explain up to $(68 \pm 16)\,\mathrm{\%}$ of the electromagnetic background in the energy range between $1\,\mathrm{keV}$ and $40\,\mathrm{keV}$.


title: BOAH: A Tool Suite for Multi-Fidelity Bayesian Optimization & Analysis of Hyperparameters

abstract: Hyperparameter optimization and neural architecture search can become prohibitively expensive for regular black-box Bayesian optimization because the training and evaluation of a single model can easily take several hours. To overcome this, we introduce a comprehensive tool suite for effective multi-fidelity Bayesian optimization and the analysis of its runs. The suite, written in Python, provides a simple way to specify complex design spaces, a robust and efficient combination of Bayesian optimization and HyperBand, and a comprehensive analysis of the optimization process and its outcomes.


title: Boosting the Bounds of Symbolic QED for Effective Pre-Silicon Verification of Processor Cores

abstract: Existing techniques to ensure functional correctness and hardware trust during pre-silicon verification face severe limitations. In this work, we systematically leverage two key ideas: 1) Symbolic Quick Error Detection (Symbolic QED or SQED), a recent bug detection and localization technique using Bounded Model Checking (BMC); and 2) Symbolic starting states, to present a method that: i) Effectively detects both "difficult" logic bugs and Hardware Trojans, even with long activation sequences where traditional BMC techniques fail; and ii) Does not need skilled manual guidance for writing testbenches, writing design-specific assertions, or debugging spurious counter-examples. Using open-source RISC-V cores, we demonstrate the following: 1. Quick (<5 minutes for an in-order scalar core and <2.5 hours for an out-of-order superscalar core) detection of 100% of hundreds of logic bug and hardware Trojan scenarios from commercial chips and research literature, and 97.9% of "extremal" bugs (randomly-generated bugs requiring ~100,000 activation instructions taken from random test programs). 2. Quick (~1 minute) detection of several previously unknown bugs in open-source RISC-V designs.


title: Iterative Update and Unified Representation for Multi-Agent Reinforcement Learning

abstract: Multi-agent systems have a wide range of applications in cooperative and competitive tasks. As the number of agents increases, nonstationarity gets more serious in multi-agent reinforcement learning (MARL), which brings great difficulties to the learning process. Besides, current mainstream algorithms configure each agent an independent network,so that the memory usage increases linearly with the number of agents which greatly slows down the interaction with the environment. Inspired by Generative Adversarial Networks (GAN), this paper proposes an iterative update method (IU) to stabilize the nonstationary environment. Further, we add first-person perspective and represent all agents by only one network which can change agents' policies from sequential compute to batch compute. Similar to continual lifelong learning, we realize the iterative update method in this unified representative network (IUUR). In this method, iterative update can greatly alleviate the nonstationarity of the environment, unified representation can speed up the interaction with environment and avoid the linear growth of memory usage. Besides, this method does not bother decentralized execution and distributed deployment. Experiments show that compared with MADDPG, our algorithm achieves state-of-the-art performance and saves wall-clock time by a large margin especially with more agents.


title: Constraining f(R,T) Gravity From The Dark Energy Density Parameter $\Omega_{\Lambda}$

abstract: $f(R,T)$ gravity is a widely used extended theory of gravity introduced in \cite{9} which is a straightforward generalization of $f(R)$ gravity. The action in this extended theory of gravity incorporates well motivated functional forms of the Ricci scalar $R$ and trace of energy momentum tensor $T$. The present manuscript aims at constraining the most widely used $f(R,T)$ gravity model of the form $f(R+2\lambda T)$ to understand its coherency and applicability in cosmology. We communicate here a novel method to find an lower bound on the model parameter $\lambda \gtrsim -1.9 \times 10^{-8}$ through the equation relating the cosmological constant ($\Lambda$) and the critical density of the universe ($\rho_{cr}$).


title: Self-Attention Based Molecule Representation for Predicting Drug-Target Interaction

abstract: Predicting drug-target interactions (DTI) is an essential part of the drug discovery process, which is an expensive process in terms of time and cost. Therefore, reducing DTI cost could lead to reduced healthcare costs for a patient. In addition, a precisely learned molecule representation in a DTI model could contribute to developing personalized medicine, which will help many patient cohorts. In this paper, we propose a new molecule representation based on the self-attention mechanism, and a new DTI model using our molecule representation. The experiments show that our DTI model outperforms the state of the art by up to 4.9% points in terms of area under the precision-recall curve. Moreover, a study using the DrugBank database proves that our model effectively lists all known drugs targeting a specific cancer biomarker in the top-30 candidate list.


title: Inflation deployed torus-shaped solar sail accelerated via thermal desorption of coating

abstract: A torus-shaped sail consists of a reflective membrane attached to an inflatable torus-shaped rim. The sail's deployment from its stowed configuration is initiated by introducing inflation pressure into the toroidal rim with an attached circular flat membrane coated by heat-sensitive materials that undergo thermal desorption (TD) from a solid to a gas phase. Our study of the deployment and acceleration of the sail is split into three steps: at a particular heliocentric distance a torus-shaped sail is deployed by a gas inflated into the toroidal rim and the membrane is kept flat by the pressure of the gas; under heating by solar radiation, the membrane coat undergoes TD and the sail is accelerated via TD of coating and solar radiation pressure (SRP); when TD ends, the sail utilizes thrust only from SRP. We study the stability of the torus-shaped sail and deflection and vibration of the flat membrane due to the acceleration by TD and SRP. The stability of the toroidal rim is addressed.


title: Stability of electrodynamically levitated one or many charged droplets in the presence of noise

abstract: The theory of the effect of external fluctuation force on the stability and spatial distribution of mutually interacting and slowly evaporating charged drops, levitated in an electrodynamic balance, is presented using classical pseudo-potential approach. The theory is supplemented with numerical simulations where the non-homogeneous modified Mathieu equation is solved for single droplet as well as many droplets. The transition from the well ordered Coulombic crystal to randomly distributed liquid like structure is observed above a threshold value of the order parameter. The theory and simulations are found to be in fair agreement with each other. The simulation is aimed at studying the stability of structures for capturing the pollutant particle form the air streams using contactless membrane.


title: On the gravitational entropy of accelerating black holes

abstract: In this paper we have examined the validity of a proposed definition of gravitational entropy in the context of accelerating black hole solutions of the Einstein field equations, which represent the realistic black hole solutions. We have adopted a phenomenological approach proposed in Rudjord et al [20] and expanded by Romero et al [21], in which the Weyl curvature hypothesis is tested against the expressions for the gravitational entropy. Considering the $C$-metric for the accelerating black holes, we have evaluated the gravitational entropy and the corresponding entropy density for four different types of black holes, namely, non-rotating black hole, non-rotating charged black hole, rotating black hole and rotating charged black hole. We end up by discussing the merits of such an analysis and the possible reason of failure in the particular case of rotating charged black hole and comment on the possible resolution of the problem.


title: Spectral Sequences For Commutative Lie Algebras

abstract: We construct some spectral sequences as tools for computing commutative cohomology of commutative Lie algebras in characteristic 2. In a first part, we focus on a Hochschild-Serre-type spectral sequence, while in a second part we obtain comparison spectral sequences which mediate between Chevalley-Eilenberg-, commutative-and Leibniz cohomology. These methods are illustrated by a few computations.


title: Search for non-resonant Higgs boson pair production in the $bb\ell\nu\ell\nu$ final state with the ATLAS detector in $pp$ collisions at $\sqrt{s} = 13$ TeV

abstract: A search for non-resonant Higgs boson pair production, as predicted by the Standard Model, is presented, where one of the Higgs bosons decays via the $H\rightarrow bb$ channel and the other via one of the $H \rightarrow WW^*/ZZ^*/\tau\tau$ channels. The analysis selection requires events to have at least two $b$-tagged jets and exactly two leptons (electrons or muons) with opposite electric charge in the final state. Candidate events consistent with Higgs boson pair production are selected using a multi-class neural network discriminant. The analysis uses 139 fb$^{-1}$ of $pp$ collision data recorded at a centre-of-mass energy of 13 TeV by the ATLAS detector at the Large Hadron Collider. An observed (expected) upper limit of 1.2 ($0.9^{+0.4}_{-0.3}$) pb is set on the non-resonant Higgs boson pair production cross-section at 95% confidence level, which is equivalent to 40 ($29^{+14}_{-9}$) times the value predicted in the Standard Model.


title: A technical remark on the Donaldson-Futaki invariant for Fano reductive group compactifications

abstract: We present an elementary way of computing the Donaldson-Futaki invariant associated to a test-configuration of an anti-canonically polarized Fano reductive group compactification. In addition, we explain how to obtain examples of real Einstein manifolds from K-stable Fano manifolds.


title: Propagation Channel Modeling by Deep learning Techniques

abstract: Channel, as the medium for the propagation of electromagnetic waves, is one of the most important parts of a communication system. Being aware of how the channel affects the propagation waves is essential for designing, optimization and performance analysis of a communication system. For this purpose, a proper channel model is needed. This paper presents a novel propagation channel model which considers the time-frequency response of the channel as an image. It models the distribution of these channel images using Deep Convolutional Generative Adversarial Networks. Moreover, for the measurements with different user speeds, the user speed is considered as an auxiliary parameter for the model. StarGAN as an image-to-image translation technique is used to change the generated channel images with respect to the desired user speed. The performance of the proposed model is evaluated using existing metrics. Furthermore, to capture 2D similarity in both time and frequency, a new metric is introduced. Using this metric, the generated channels show significant statistical similarity to the measurement data.


title: A Low-Profile, Self-Contained System for Atmospheric Monitoring and Mid-flight Collection of Viable Microbiological Samples at High Altitude

abstract: The prevalence of bacteria in the atmosphere has been well established in relevant literature, suggesting that airborne bacteria can influence atmospheric characteristics including the development of clouds. Studies have also demonstrated that the atmospheric biological profile is influenced by the underlying terrestrial biomes. An understanding of the complex interplay of factors that can influence the atmospheric biological profile, not to mention developing a biological census of the atmosphere, requires a cost-effective experimental system capable of generating reproducible results with reliable data. However, as has been demonstrated by payloads launched by space agencies such as NASA and JAXA, these payloads are both complex and cost prohibitive. This paper discusses the design and implementation of a biologically oriented experimental payload for high-altitude ballooning that is within the means of most student-run experimental programs. The payload highlighted in this presentation, PHANTOM (Probe for High Altitude Numeration and Tracking of Microorganisms, which has the goal of capturing aerial microorganisms at multiple altitudes in order to characterize the biological composition of the upper atmosphere), has undergone a number of successful flight trials, and serves to highlight the feasibility and utility of interdisciplinary projects between aerospace and the biological sciences.


title: Continuous Relaxation of Symbolic Planner for One-Shot Imitation Learning

abstract: We address one-shot imitation learning, where the goal is to execute a previously unseen task based on a single demonstration. While there has been exciting progress in this direction, most of the approaches still require a few hundred tasks for meta-training, which limits the scalability of the approaches. Our main contribution is to formulate one-shot imitation learning as a symbolic planning problem along with the symbol grounding problem. This formulation disentangles the policy execution from the inter-task generalization and leads to better data efficiency. The key technical challenge is that the symbol grounding is prone to error with limited training data and leads to subsequent symbolic planning failures. We address this challenge by proposing a continuous relaxation of the discrete symbolic planner that directly plans on the probabilistic outputs of the symbol grounding model. Our continuous relaxation of the planner can still leverage the information contained in the probabilistic symbol grounding and significantly improve over the baseline planner for the one-shot imitation learning tasks without using large training data.


title: Near, far, wherever you are: simulations on the dose efficiency of holographic and ptychographic coherent imaging

abstract: Different studies in x-ray microscopy have arrived at conflicting conclusions about the dose efficiency of imaging modes involving the recording of intensity distributions in the near (Fresnel regime) or far (Fraunhofer regime) field downstream of a specimen. We present here a numerical study on the dose efficiency of near-field holography (NFH), near-field ptychography (NFP), and far-field ptychography (FFP), where ptychography involves multiple overlapping finite-sized illumination positions. Unlike what has been reported for coherent diffraction imaging (CDI), which involves recording a single far-field diffraction pattern, we find that all three methods offer similar image quality when using the same fluence on the specimen, with far-field ptychography offering slightly better spatial resolution and lower mean error. These results support the concept that (if the experiment and image reconstruction are done properly) the sample can be near, or far; wherever you are, photon fluence on the specimen sets one limit to spatial resolution.


title: On symmetry of traveling solitary waves for dispersion generalized NLS

abstract: We consider dispersion generalized nonlinear Schr\"odinger equations (NLS) of the form $i \partial_t u = P(D) u - |u|^{2 \sigma} u$, where $P(D)$ denotes a (pseudo)-differential operator of arbitrary order. As a main result, we prove symmetry results for traveling solitary waves in the case of powers $\sigma \in \mathbb{N}$. The arguments are based on Steiner type rearrangements in Fourier space. Our results apply to a broad class of NLS-type equations such as fourth-order (biharmonic) NLS, fractional NLS, square-root Klein-Gordon and half-wave equations.


title: Bayesian approach to Lorenz curve using time series grouped data

abstract: This study is concerned with estimating the inequality measures associated with the underlying hypothetical income distribution from the times series grouped data on the Lorenz curve. We adopt the Dirichlet pseudo likelihood approach where the parameters of the Dirichlet likelihood are set to the differences between the Lorenz curve of the hypothetical income distribution for the consecutive income classes and propose a state space model which combines the transformed parameters of the Lorenz curve through a time series structure. Furthermore, the information on the sample size in each survey is introduced into the originally nuisance Dirichlet precision parameter to take into account the variability from the sampling. From the simulated data and real data on the Japanese monthly income survey, it is confirmed that the proposed model produces more efficient estimates on the inequality measures than the existing models without time series structures.


title: Systematic search for stellar pulsators in the eclipsing binaries observed by Kepler

abstract: Eclipsing binaries (EBs) are unique targets for measuring precise stellar properties and constrain stellar evolution models. In particular, it is possible to measure at the percent level masses and radii of both components of a double-lined spectroscopic EB. Since the advent of high-precision photometric space missions (MOST, CoRoT, Kepler, BRITE, TESS), the use of stellar pulsation properties to infer stellar interiors and dynamics constitutes a revolution for low-mass star studies. The Kepler mission has led to the discovery of thousands of classical pulsators such as $\delta$ Scuti and solar-like oscillators (main sequence and evolved), but also almost 3000 EBs with orbital periods shorter than 1100 days. We report the first systematic search for stellar pulsators in the entire Kepler eclipsing binary catalog. The focus is mainly aimed at discovering $\delta$ Scuti, $\gamma$ Doradus, red giant, and tidally excited pulsators. We developed a data inspection tool (DIT) that automatically produces a series of plots from the Kepler light-curves that allows us to visually identify whether stellar oscillations are present in a given time series. We applied the DIT to the whole Kepler eclipsing binary database and identified 303 systems whose light curves display oscillations, including 163 new discoveries. A total of 149 stars are flagged as $\delta$ Scuti (100 from this paper), 115 stars as $\gamma$ Doradus (69 new), 85 stars as red giants (27 new), 59 as tidally excited oscillators (29 new). There is some overlap among these groups, as some display several types of oscillations. Despite many of these systems are likely to be false positives, i. e., when an EB light curve is blended with a pulsator, this catalog gathers a vast sample of systems that are valuable for a better understanding of stellar evolution.


title: On symmetry and uniqueness of ground states for linear and nonlinear elliptic PDEs

abstract: We study ground state solutions for linear and nonlinear elliptic PDEs in $\mathbb{R}^n$ with (pseudo-)differential operators of arbitrary order. We prove a general symmetry result in the nonlinear case as well as a uniqueness result for ground states in the linear case. In particular, we can deal with problems (e.\,g. higher order PDEs) that cannot be tackled by usual methods such as maximum principles, moving planes, or Polya--Szeg\"o inequalities. Instead, we use arguments based on the Fourier transform and we apply a rigidity result for the Hardy-Littlewood majorant problem in $\mathbb{R}^n$ recently obtained by the last two authors of the present paper.


title: UV bright red-sequence galaxies: how do UV upturn systems evolve in redshift and stellar mass?

abstract: The so-called ultraviolet (UV) upturn of elliptical galaxies is a phenomenon characterised by the up-rise of their fluxes in bluer wavelengths, typically in the 1,200-2,500A range. This work aims at estimating the rate of occurrence of the UV upturn over the entire red-sequence population of galaxies that show significant UV emission. This assessment is made considering it as function of three parameters: redshift, stellar mass, and -- what may seem counter-intuitive at first -- emission-line classification. We built a multiwavelength spectro-photometric catalogue from the Galaxy Mass Assembly survey, together with aperture-matched data from Galaxy Evolution Explorer Medium-Depth Imaging Survey (MIS) and Sloan Digital Sky Survey, covering the redshift range between 0.06 and 0.40. From this sample, we analyse the UV emission among UV bright galaxies, by selecting those that occupy the red-sequence locus in the (NUV-r) x (FUV-NUV) chart; then, we stratify the sample by their emission-line classes. To that end, we make use of emission-line diagnostic diagrams, focusing the analysis in retired/passive lineless galaxies. Then, a Bayesian logistic model was built to simultaneously deal with the effects of all galaxy properties (including emission-line classification or lack thereof). The main results show that retired/passive systems host an up-rise in the fraction of UV upturn or redshifts between 0.06 and 0.25, followed by an in-fall up to 0.35. Additionally, we show that the fraction of UV upturn hosts rises with increasing stellar mass.


title: Continuum percolation expressed in terms of density distributions

abstract: We present a new approach to derive the connectivity properties of pairwise interacting n-body systems in thermal equilibrium. We formulate an integral equation that relates the pair connectedness to the distribution of nearest neighbors. For one-dimensional systems with nearest-neighbor interactions, the nearest-neighbor distribution is, in turn, related to the pair correlation function g through a simple integral equation. As a consequence, for those systems, we arrive at an integral equation relating g to the pair connectedness, which is readily solved even analytically if g is specified analytically. We demonstrate the procedure for a variety of pair-potentials including fully penetrable spheres as well as impenetrable spheres, the only two systems for which analytical results for the pair connectedness exist. However, the approach is not limited to nearest-neighbor interactions in one dimension. Hence, we also outline the treatment of external fields and long-ranged interactions, and we illustrate how the formalism can applied to higher-dimensional systems using the three-dimensional ideal gas as an example.


title: The Weighted Gaussian Curvature Derivative of a Space-Filling Diagram

abstract: The morphometric approach [HRC13,RHK06] writes the solvation free energy as a linear combination of weighted versions of the volume, area, mean curvature, and Gaussian curvature of the space-filling diagram. We give a formula for the derivative of the weighted Gaussian curvature. Together with the derivatives of the weighted volume in [EdKo03], the weighted area in [BEKL04], and the weighted mean curvature in [AkEd19], this yields the derivative of the morphometric expression of solvation free energy.


title: Symbolic Regression Discovery of New Perovskite Catalysts with High Oxygen Evolution Reaction Activity

abstract: Symbolic regression (SR) is an emerging method for building analytical formulas to find models that best fit data sets. Here, SR was used to guide the design of new oxide perovskite catalysts with improved oxygen evolution reaction (OER) activities. An unprecedentedly simple descriptor, {\mu}/t, where {\mu} and t are the octahedral and tolerance factors, respectively, was identified, which accelerated the discovery of a series of new oxide perovskite catalysts with improved OER activity. We successfully synthesized five new oxide perovskites and characterized their OER activities. Remarkably, four of them, Cs0.4La0.6Mn0.25Co0.75O3, Cs0.3La0.7NiO3, SrNi0.75Co0.25O3, and Sr0.25Ba0.75NiO3, outperform the current state-of-the-art oxide perovskite catalyst, Ba0.5Sr0.5Co0.8Fe0.2O3 (BSCF). Our results demonstrate the potential of SR for accelerating data-driven design and discovery of new materials with improved properties.


title: The Weighted Mean Curvature Derivative of a Space-Filling Diagram

abstract: Representing an atom by a solid sphere in $3$-dimensional Euclidean space, we get the space-filling diagram of a molecule by taking the union. Molecular dynamics simulates its motion subject to bonds and other forces, including the solvation free energy. The morphometric approach [HRC13,RHK06] writes the latter as a linear combination of weighted versions of the volume, area, mean curvature, and Gaussian curvature of the space-filling diagram. We give a formula for the derivative of the weighted mean curvature. Together with the derivatives of the weighted volume in [EdKo03], the weighted area in [BEKL04], and the weighted Gaussian curvature [AkEd19], this yields the derivative of the morphometric expression of the solvation free energy.


title: A Study of BERT for Non-Factoid Question-Answering under Passage Length Constraints

abstract: We study the use of BERT for non-factoid question-answering, focusing on the passage re-ranking task under varying passage lengths. To this end, we explore the fine-tuning of BERT in different learning-to-rank setups, comprising both point-wise and pair-wise methods, resulting in substantial improvements over the state-of-the-art. We then analyze the effectiveness of BERT for different passage lengths and suggest how to cope with large passages.


title: The regularized visible fold revisited

abstract: The planar visible fold is a simple singularity in piecewise smooth systems. In this paper, we consider singularly perturbed systems that limit to this piecewise smooth bifurcation as the singular perturbation parameter $\epsilon\rightarrow 0$. Alternatively, these singularly perturbed systems can be thought of as regularizations of their piecewise counterparts. The main contribution of the paper is to demonstrate the use of consecutive blowup transformations in this setting, allowing us to obtain detailed information about a transition map near the fold under very general assumptions. We apply this information to prove, for the first time, the existence of a locally unique saddle-node bifurcation in the case where a limit cycle, in the singular limit $\epsilon\rightarrow 0$, grazes the discontinuity set. We apply this result to a mass-spring system on a moving belt described by a Stribeck-type friction law.


title: Stabilization for a perturbed chain of integrators in prescribed time

abstract: In this paper, we consider issues relative to prescribed time stabilisation of a chain of integrators of arbitrary length, either pure (i.e., where there is no disturbance) or perturbed. In a first part, we revisit the proportional navigation feedback (PNF) approach and we show that it can be appropriately recasted within the framework of time-varying homogeneity. As a first consequence, we first recover all previously obtained results on PNF with simpler arguments. We then apply sliding mode inspired feedbacks to achieve prescribed stabilisation with uniformly bounded gains. However, all these feedbacks are robust to matched uncertainties only. In a second part, we provide a feedback law yet inspired by sliding mode which not only stabilises the pure chain of integrators in prescribed time but also exhibits some robustness in the presence of measurement noise and unmatched uncertainties.


title: A Framework for Population-Based Stochastic Optimization on Abstract Riemannian Manifolds

abstract: We present Extended Riemannian Stochastic Derivative-Free Optimization (Extended RSDFO), a novel population-based stochastic optimization algorithm on Riemannian manifolds that addresses the locality and implicit assumptions of manifold optimization in the literature. We begin by investigating the Information Geometrical structure of statistical model over Riemannian manifolds. This establishes a geometrical framework of Extended RSDFO using both the statistical geometry of the decision space and the Riemannian geometry of the search space. We construct locally inherited probability distribution via an orientation-preserving diffeomorphic bundle morphism, and then extend the information geometrical structure to mixture densities over totally bounded subsets of manifolds. The former relates the information geometry of the decision space and the local point estimations on the search space manifold. The latter overcomes the locality of parametric probability distributions on Riemannian manifolds. We then construct Extended RSDFO and study its structure and properties from a geometrical perspective. We show that Extended RSDFO's expected fitness improves monotonically and it's global eventual convergence in finitely many steps on connected compact Riemannian manifolds. Extended RSDFO is compared to state-of-the-art manifold optimization algorithms on multi-modal optimization problems over a variety of manifolds. In particular, we perform a novel synthetic experiment on Jacob's ladder to motivate and necessitate manifold optimization. Jacob's ladder is a non-compact manifold of countably infinite genus, which cannot be expressed as polynomial constraints and does not have a global representation in an ambient Euclidean space. Optimization problems on Jacob's ladder thus cannot be addressed by traditional (constraint) optimization methods on Euclidean spaces.


title: Observations of the FSRQ 3C 279 during the flaring state of 2017 and 2018 with H.E.S.S

abstract: The Flat Spectrum Radio Quasar 3C 279 has been very active since a few years with multiple flaring events occurring at high energies. As part of the H.E.S.S. Target of Opportunity program, 3C 279 was observed multiple times in 2017 and 2018 following high states in optical (February and March 2017) or at high energies as seen with Fermi-LAT (June 2017, January, February and June 2018). While in January 2018 H.E.S.S. detected an unexpected very high energy (VHE) flare at the end of the MeV-GeV flaring state, in June 2018 it was possible to follow almost continuously the decaying part of a strong Fermi-LAT flare, observing with the full array for several nights after the peak of the GeV gamma-ray emission. This has lead to the detection of the source with very high significance. We present here the temporal and spectral results of the H.E.S.S. II dataset together with an overview of the strong multi-wavelength activity seen from 3C 279 between 2017 and 2018.


title: Fast End-to-End Wikification

abstract: Wikification of large corpora is beneficial for various NLP applications. Existing methods focus on quality performance rather than run-time, and are therefore non-feasible for large data. Here, we introduce RedW, a run-time oriented Wikification solution, based on Wikipedia redirects, that can Wikify massive corpora with competitive performance. We further propose an efficient method for estimating RedW confidence, opening the door for applying more demanding methods only on top of RedW lower-confidence results. Our experimental results support the validity of the proposed approach.


title: Bochner's Subordionation and Fractional Caloric Smoothing in Besov and Triebel--Lizorkin Spaces

abstract: We use Bochner's subordination technique to obtain caloric smoothing estimates in Besov- and Triebel--Lizorkin spaces. Our new estimates extend known smoothing results for the Gau{\ss}--Weierstra{\ss}, Cauchy--Poisson and higher-order generalized Gau{\ss}--Weierstra{\ss} semigroups. Extensions to other function spaces (homogeneous, hybrid) and more general semigroups are sketched.


title: Elastic Anomaly of Thin Neon Film

abstract: Adsorbed molecular films provide two-dimensional systems that show various emergent phenomena that are not observed in bulk counterparts. We have measured the elasticity of thin neon films adsorbed on porous glass down to 1 K by the torsional oscillator technique. The shear modulus of a neon film anomalously increases at low temperatures with excess dissipation. This behavior indicates a crossover from a soft (fluidlike) state at high temperatures to a stiff (solidlike) state at low temperatures. The temperature dependence of the anomaly is qualitatively similar to that of the elastic anomaly of helium films found in our recent study. The dissipation peak temperature, however, becomes constant at about 5 K, contrary to the case of helium, in which it decreases to 0 K at a critical coverage of a quantum phase transition between a gapped localized phase and a mobile (superfluid) phase. It is concluded that neon films behave as a classical system that does not show a quantum phase transition or superfluidity, although the films may be strongly supercooled to temperatures much lower than the bulk triple point, 24.6 K. Our results suggest that the elastic anomaly is a universal phenomenon of atomic or molecular films adsorbed on disordered substrates.


title: Multiple Diffusion-Freezing Mechanisms in Molecular Hydrogen Films

abstract: Molecular hydrogen is a fascinating candidate for quantum fluid showing bosonic and fermionic superfluidity. We have studied diffusion dynamics of thin films of H$_2$, HD and D$_2$ adsorbed on a glass substrate by measurements of elasticity. The elasticity shows multiple anomalies well below bulk triple point. They are attributed to three different diffusion mechanisms of admolecules and their "freezing" into localized state: classical thermal diffusion of vacancies, quantum tunneling of vacancies, and diffusion of molecules in the uppermost surface. The surface diffusion is active down to 1 K, below which the molecules become localized. This suggests that the surface layer of hydrogen films is on the verge of quantum phase transition to superfluid state.


title: Combinatorial Proof of the Minimal Excludant Theorem

abstract: The minimal excludant of a partition $\lambda$, $\rm{mex}(\lambda)$, is the smallest positive integer that is not a part of $\lambda$. For a positive integer $n$, $ \sigma\, \rm{mex}(n)$ denotes the sum of the minimal excludants of all partitions of $n$. Recently, Andrews and Newman obtained a new combinatorial interpretations for $\sigma\, \rm{mex}(n)$. They showed, using generating functions, that $\sigma\, \rm{mex}(n)$ equals the number of partitions of $n$ into distinct parts using two colors. In this paper, we provide a purely combinatorial proof of this result and new properties of the function $\sigma\, \rm{mex}(n)$. We generalize this combinatorial interpretation to $\sigma_r\, \rm{mex}(n)$, the sum of least $r$-gaps in all partitions of $n$. The least $r$-gap of a partition $\lambda$ is the smallest positive integer that does not appear at least $r$ times as a part of $\lambda$.


title: From Classical Trajectories to Quantum Commutation Relations

abstract: In describing a dynamical system, the greatest part of the work for a theoretician is to translate experimental data into differential equations. It is desirable for such differential equations to admit a Lagrangian and/or an Hamiltonian description because of the Noether theorem and because they are the starting point for the quantization. As a matter of fact many ambiguities arise in each step of such a reconstruction which must be solved by the ingenuity of the theoretician. In the present work we describe geometric structures emerging in Lagrangian, Hamiltonian and Quantum description of a dynamical system underlining how many of them are not really fixed only by the trajectories observed by the experimentalist.


title: The Effect of Disorder on Local Electron Temperature in Quantum Hall Systems

abstract: The local electron temperature distribution is calculated considering a two dimensional electron system in the integer quantum Hall regime in presence of disorder and uniform perpendicular magnetic fields. We solve thermal-hydrodynamical equations to obtain the spatial distribution of the local electron temperature in the linear-response regime. It is observed that, the variations of electron temperature exhibit an antisymmetry regarding the center of the sample in accordance with the location of incompressible strips. To understand the effect of sample mobility on the local electron temperature we impose a disorder potential calculated within the screening theory. Here, long range potential fluctuations are assumed to simulate cumulative disorder potential depending on the impurity atoms. We observe that the local electron temperature strongly depends on the number of impurities in narrow samples.


title: Data Consistent Artifact Reduction for Limited Angle Tomography with Deep Learning Prior

abstract: Robustness of deep learning methods for limited angle tomography is challenged by two major factors: a) due to insufficient training data the network may not generalize well to unseen data; b) deep learning methods are sensitive to noise. Thus, generating reconstructed images directly from a neural network appears inadequate. We propose to constrain the reconstructed images to be consistent with the measured projection data, while the unmeasured information is complemented by learning based methods. For this purpose, a data consistent artifact reduction (DCAR) method is introduced: First, a prior image is generated from an initial limited angle reconstruction via deep learning as a substitute for missing information. Afterwards, a conventional iterative reconstruction algorithm is applied, integrating the data consistency in the measured angular range and the prior information in the missing angular range. This ensures data integrity in the measured area, while inaccuracies incorporated by the deep learning prior lie only in areas where no information is acquired. The proposed DCAR method achieves significant image quality improvement: for 120-degree cone-beam limited angle tomography more than 10% RMSE reduction in noise-free case and more than 24% RMSE reduction in noisy case compared with a state-of-the-art U-Net based method.


title: On definition of quantum tomography via the Sobolev embedding theorem

abstract: We obtain sufficient conditions on kernels of quantum states under which Wigner functions, optical quantum tomograms and linking their formulas are correctly defined. Our approach is based upon the Sobolev embedding theorem. The transition probability formula and the fractional Fourier transform are discussed in this framework.


title: On Two Families of Funk-Type Transforms

abstract: We consider two families of Funk-type transforms that assign to a function on the unit sphere the integrals of that function over spherical sections by planes of fixed dimension. Transforms of the first kind are generated by planes passing through a fixed center outside the sphere. Similar transforms with interior center and with center on the sphere itself we studied in previous publications. Transforms of the second kind, or the parallel slice transforms, correspond to planes that are parallel to a fixed direction. We show that the Funk-type transforms with exterior center express through the parallel slice transforms and the latter are intimately related to the Radon-John d-plane transforms on the Euclidean ball. These results allow us to investigate injectivity of our transforms and obtain inversion formulas for them. We also establish connection between the Funk-type transforms of different dimensions with arbitrary center.


title: WeGotYouCovered: The Winning Solver from the PACE 2019 Implementation Challenge, Vertex Cover Track

abstract: We present the winning solver of the PACE 2019 Implementation Challenge, Vertex Cover Track. The minimum vertex cover problem is one of a handful of problems for which kernelization---the repeated reducing of the input size via data reduction rules---is known to be highly effective in practice. Our algorithm uses a portfolio of techniques, including an aggressive kernelization strategy, local search, branch-and-reduce, and a state-of-the-art branch-and-bound solver. Of particular interest is that several of our techniques were not from the literature on the vertex over problem: they were originally published to solve the (complementary) maximum independent set and maximum clique problems. Aside from illustrating our solver's performance in the PACE 2019 Implementation Challenge, our experiments provide several key insights not yet seen before in the literature. First, kernelization can boost the performance of branch-and-bound clique solvers enough to outperform branch-and-reduce solvers. Second, local search can significantly boost the performance of branch-and-reduce solvers. And finally, somewhat surprisingly, kernelization can sometimes make branch-and-bound algorithms perform worse than running branch-and-bound alone.


title: Finite spectral triples for the fuzzy torus

abstract: Finite real spectral triples are defined to characterise the non-commutative geometry of a fuzzy torus. The geometries are the non-commutative analogues of flat tori with moduli determined by integer parameters. Each of these geometries has four different Dirac operators, corresponding to the four unique spin structures on a torus. The spectrum of the Dirac operator is calculated. It is given by replacing integers with their quantum integer analogues in the spectrum of the corresponding commutative torus.


title: Chiral condensates in massless QCD and the $U(1)_A$ boson mass

abstract: The $U(1)_A$ boson mass is calculated through the phenomenological characteristics of the vacuum related to spontaneous breaking of chiral symmetry in QCD. The mass is determined by the mixed quark-gluon condensate $\langle \bar q G q \rangle$ that emerges in an appropriate correlation function due to triangle anomaly. For three flavor QCD in chiral limit we find the numerical value for the $U(1)_A$ boson mass to be $M_0=310\pm 50~{\rm MeV}$.


title: A New Fast Weighted All-pairs Shortest Path Search Algorithm Based on Pruning by Shortest Path Trees

abstract: Recently we submitted a paper, whose title is A New Fast Unweighted All-pairs Shortest Path Search Algorithm Based on Pruning by Shortest Path Trees, to arXiv. This is related to unweighted graphs. This paper also presents a new fast all-pairs shortest path algorithm for weighted graph based on the same idea. In Dijkstra algorithm which is said to be fast in weighted graphs, the average number of accesses to adjacent vertices (expressed by {\alpha}) is about equal to the average degree of the graph. On the other hand, our algorithm utilizes the shortest path trees of adjacent vertices of each source vertex in the same manner as the algorithm for unweighted graphs, and reduce {\alpha} drastically in comparison with Dijkstra algorithm. Roughly speaking {\alpha} is reduced to the value close to 1, because the average degree of a tree is about 2, and one is used to come in and the other is used to go out, although that does not hold true when the depth of the short path trees is small. In case of weighted graphs, a problem which does not occur in unweighted graphs occurs. It is waiting for the generation of the shortest path tree of an adjacent vertex. Therefore, it is possible that a deadlock occurs. We prove our algorithm is deadlock-free. We compared our algorithm with Dijkstra and Peng algorithms. On Dijkstra algorithm ours outperforms it on speed and {\alpha} except that Dijkstra algorithm slightly outperforms ours or they are almost the same on CPU time in sparse scale-free graphs. The result on Peng algorithm is as follows: In speed and {\alpha}, ours outperforms Peng algorithm in hypercube-shaped and dense scale-free graphs, but conversely Peng algorithm outperforms ours in sparse scale-free graphs.


title: Effects of Radiation in Accretion Regions of Classical T Tauri Stars: Pre-heating of accretion column in non-LTE regime

abstract: Models and observations indicate that the impact of matter accreting onto the surface of young stars produces regions at the base of accretion columns, in which optically thin and thick plasma components coexist. Thus an accurate description of these impacts requires to account for the effects of absorption and emission of radiation. We study the effects of radiation emerging from shock-heated plasma in impact regions on the structure of the pre-shock downfalling material. We investigate if a significant absorption of radiation occurs and if it leads to a pre-shock heating of the accreting gas. We developed a radiation hydrodynamics model describing an accretion column impacting onto the surface of a Classical T Tauri Star. The model takes into account the stellar gravity, the thermal conduction, and the effects of both radiative losses and absorption of radiation by matter in the non local thermodynamic equilibrium regime. After the impact, a hot slab of post-shock plasma develops at the base of the accretion column. Part of radiation emerging from the slab is absorbed by the pre-shock accreting material. As a result, the pre-shock accretion column gradually heats up to temperatures of $10^5$ K, forming a radiative precursor of the shock. The precursor has a thermal structure with the hottest part at $T \approx 10^5$ K, with size comparable to that of the hot slab, above the post-shock region. At larger distances the temperature gradually decreases to $T \approx 10^4$ K.


title: An Accurate Measurement System Comprising of Wireless Thermometers for Neonate Body Temperature Monitoring

abstract: This paper addresses the design and implementation of a real-time monitoring system consisting of wireless thermometers for continuous recording of neonate body temperature in an intensive care unit (ICU). Each wireless thermometer incorporates an accurate semiconductor temperature sensor, a transceiver operating on ISM frequency band (i.e., 915 MHz) as well as a microcontroller which is used to control the thermometers functionalities including wireless medium access (e.g., free space or body channel), transmission and reception. A voltage regulator and a low-pass filter were also used for removing spurious signals and environmental noise from the thermometer feed line. In order to distinguish the reading of each thermometer from measurements performed by other thermometers, the I-wire protocol was used. This protocol can securely tag the temperature value by incorporating a unique ID (provided by the manufacturer) into the packet sent wirelessly. An array of two thermometers was implemented and successfully tested in different scenarios, namely free-space, water (immersed thermometers) and on a volunteers wrist. Moreover, an in-house developed computer software was used in order to visualize the readings in addition to alerting rapid increase and high body temperature. The software also compares the measurement results with actual values. The agreement between the experimental data and real temperature values is reasonably acceptable and that of the on-body testing is significant. Keywords : Temperature measurement, Wireless thermometer, Temperature sensors, Wireless sensor networks, Wireless communication, Monitoring, Protocols, Time measurement


title: Towards Efficient Discriminative Pattern Mining in Hybrid Domains

abstract: Discriminative pattern mining is a data mining task in which we find patterns that distinguish transactions in the class of interest from those in other classes, and is also called emerging pattern mining or subgroup discovery. One practical problem in discriminative pattern mining is how to handle numeric values in the input dataset. In this paper, we propose an algorithm for discriminative pattern mining that can deal with a transactional dataset in a hybrid domain, i.e. the one that includes both symbolic and numeric values. We also show the execution results of a prototype implementation of the proposed algorithm for two standard benchmark datasets.


title: Diagnosing Cardiac Abnormalities from 12-Lead Electrocardiograms Using Enhanced Deep Convolutional Neural Networks

abstract: We train an enhanced deep convolutional neural network in order to identify eight cardiac abnormalities from the standard 12-lead electrocardiograms (ECGs) using the dataset of 14000 ECGs. Instead of straightforwardly applying an end-to-end deep learning approach, we find that deep convolutional neural networks enhanced with sophisticated hand crafted features show advantages in reducing generalization errors. Additionally, data preprocessing and augmentation are essential since the distribution of eight cardiac abnormalities are highly biased in the given dataset. Our approach achieves promising generalization performance in the First China ECG Intelligent Competition; an empirical evaluation is also provided to validate the efficacy of our design on the competition ECG dataset.


title: Wi-Fringe: Leveraging Text Semantics in WiFi CSI-Based Device-Free Named Gesture Recognition

abstract: The lack of adequate training data is one of the major hurdles in WiFi-based activity recognition systems. In this paper, we propose Wi-Fringe, which is a WiFi CSI-based device-free human gesture recognition system that recognizes named gestures, i.e., activities and gestures that have a semantically meaningful name in English language, as opposed to arbitrary free-form gestures. Given a list of activities (only their names in English text), along with zero or more training examples (WiFi CSI values) per activity, Wi-Fringe is able to detect all activities at runtime. In other words, a subset of activities that Wi-Fringe detects do not require any training examples at all.


title: Bound on efficiency of heat engine from uncertainty relation viewpoint

abstract: Quantum cycles in established heat engines can be modeled with various quantum systems as working substances. For example, a heat engine can be modeled with an infinite potential well as the working substance to determine the efficiency and work done. However, in this method, the relationship between the quantum observables and the physically measurable parameters i.e., the efficiency and work done is not well understood from the quantum mechanics approach. A detailed analysis is needed to link the thermodynamic variables (on which the efficiency and work done depends) with the uncertainty principle for better understanding. Here, we present the connection of the sum uncertainty relation of position and momentum operators with thermodynamic variables in the quantum heat engine model. We are able to determine the upper and lower bounds on the efficiency of the heat engine through the uncertainty relation.


title: Exploring the scattering of vector bosons at LHCb

abstract: In this letter, I propose a strategy to measure vector-boson scattering (VBS) at the LHCb experiment. The typical VBS topology at hadron colliders features two energetic back-to-back jets with large rapidities and two gauge bosons produced centrally. In this article, I show that such a topology can actually be probed by the LHCb detector. In particular, tagging only one of the two jets in combination with two same-sign leptons allows for a measurement with upcoming luminosities. I present an illustrative event selection where cross sections and differential distributions are computed for VBS and its irreducible background.


title: A New Fast Unweighted All-pairs Shortest Path Search Algorithm Based on Pruning by Shortest Path Trees

abstract: We present a new fast all-pairs shortest path algorithm for unweighted graphs. In breadth-first search which is said to representative and fast in unweighted graphs, the average number of accesses to adjacent vertices (expressed by {\alpha}) is about equal to the average degree of the graph. On the other hand, our algorithm utilizes the shortest path trees of adjacent vertices of each source vertex, and reduce {\alpha} drastically. Roughly speaking {\alpha} is reduced to the value close to 1, because the average degree of a tree is about 2, and one is used to come in and the other is used to go out, although that does not hold true when the depth of the shortest path trees is small. We compared our algorithm with breadth-first search algorithm, and our results showed that ours outperforms breadth-first search on speed and {\alpha}.


title: Boomerang: Real-Time I/O Meets Legacy Systems

abstract: This paper presents Boomerang, an I/O system that integrates a legacy non-real-time OS with one that is customized for timing-sensitive tasks. A relatively small RTOS benefits from the pre-existing libraries, drivers and services of the legacy system. Additionally, timing-critical tasks are isolated from less critical tasks by securely partitioning machine resources among the separate OSes. Boomerang guarantees end-to-end processing delays on input data that requires outputs to be generated within specific time bounds. We show how to construct composable task pipelines in Boomerang that combine functionality spanning a custom RTOS and a legacy Linux system. By dedicating time-critical I/O to the RTOS, we ensure that complementary services provided by Linux are sufficiently predictable to meet end-to-end service guarantees. While Boomerang benefits from spatial isolation, it also outperforms a standalone Linux system using deadline-based CPU reservations for pipeline tasks. We also show how Boomerang outperforms a virtualized system called ACRN, designed for automotive systems.


title: Fast multi-precision computation of some Euler products

abstract: For every modulus $q\ge3$, we define a family of subsets $\mathcal{A}$ of the multiplicative group $(\mathbb{Z}/{q}\mathbb{Z})^\times$ for which the Euler product $\prod_{p\text{mod}q\in\mathcal{A}}(1-p^{-s})$ can be computed in double exponential time, where $s>1$ is some given real number. We provide a Sage script to do so, and extend our result to compute Euler products $\prod_{p\in\mathcal{A}}F(1/p)/G(1/p)$ where $F$ and $G$ are polynomials with real coefficients, when this product converges absolutely. This enables us to give precise values of several Euler products intervening in Number Theory.


title: Style Transfer for Texts: Retrain, Report Errors, Compare with Rewrites

abstract: This paper shows that standard assessment methodology for style transfer has several significant problems. First, the standard metrics for style accuracy and semantics preservation vary significantly on different re-runs. Therefore one has to report error margins for the obtained results. Second, starting with certain values of bilingual evaluation understudy (BLEU) between input and output and accuracy of the sentiment transfer the optimization of these two standard metrics diverge from the intuitive goal of the style transfer task. Finally, due to the nature of the task itself, there is a specific dependence between these two metrics that could be easily manipulated. Under these circumstances, we suggest taking BLEU between input and human-written reformulations into consideration for benchmarks. We also propose three new architectures that outperform state of the art in terms of this metric.


title: Smaller stellar disc scale lengths in rich environments

abstract: We investigate the dependence of stellar disc scale lengths on environment for a sample of Sloan Digital Sky Survey Data Release 7 galaxies with published photometric bulge-disc decompositions. We compare disc scale lengths at fixed bulge mass for galaxies in an isolated field environment to galaxies in X-ray rich and X-ray poor groups. At low bulge mass, stellar disc scale lengths in X-ray rich groups are smaller compared to discs in both X-ray poor groups and in isolated field environments. This decrease in disc scale length is largely independent of halo mass, though shows some dependence on group-centric distance. We also find that stellar disc scale lengths are smaller in X-ray rich environments for a subset of star-forming galaxies and for galaxies of different morphological types. We note that disc scale lengths of low mass galaxies are known to have large systematic uncertainties, however we focus on differences between samples with the same measurement biases. Our results show that stellar disc scale lengths depend on X-ray brightness, a tracer of IGM density, suggesting a role for hydrodynamic processes such as ram-pressure stripping and/or starvation.


title: On Four-Dimensional Unital Division Algebras over Fields of Characteristic not 2

abstract: In [2], an exhaustive construction is achieved for the class of all 4-dimensional unital division algebras over finite fields of odd order, whose left nucleus is not minimal and whose automorphism group contains Klein's four-group. We generalize the approach of [2] towards all division algebras of the above specified type, but now admitting arbitrary fields k of characteristic not 2 as ground fields. For these division algebras we present an exhaustive construction that depends on a quadratic field extension of k and three parameters in k, and we derive an isomorphism criterion in terms of these parameters. As an application we classify, for o an ordered field in which every positive element is a square, all division o-algebras of the mentioned type, and in the finite field case we refine the Main Theorem of [2] to a classification even of the division algebras studied there. The category formed by the division k-algebras investigated here is a groupoid, whose structure we describe in a supplementary section in terms of a covering by group actions. In particular, we exhibit the automorphism groups for all division algebras in this groupoid.


title: GLAMpoints: Greedily Learned Accurate Match points

abstract: We introduce a novel CNN-based feature point detector - GLAMpoints - learned in a semi-supervised manner. Our detector extracts repeatable, stable interest points with a dense coverage, specifically designed to maximize the correct matching in a specific domain, which is in contrast to conventional techniques that optimize indirect metrics. In this paper, we apply our method on challenging retinal slitlamp images, for which classical detectors yield unsatisfactory results due to low image quality and insufficient amount of low-level features. We show that GLAMpoints significantly outperforms classical detectors as well as state-of-the-art CNN-based methods in matching and registration quality for retinal images. Our method can also be extended to other domains, such as natural images. Training code and model weights are available at https://github.com/PruneTruong/GLAMpoints_pytorch.


title: Faddeev calculations on lambda hypertriton with potentials from Gel'fand-Levitan-Marchenko theory

abstract: Effective lambda-proton and lambda-neutron potentials, restored from theoretical scattering phases through Gel'fand-Levitan-Marchenko theory, are tested on a lambda hypertriton through three-body calculations. The lambda hypertriton is treated as a three-body system consisting of lambda-proton, lambda-neutron and proton-neutron subsystems. Binding energy and root-mean-square radius are computed for the ground state of lambda hypertriton ($J^{\pi}=1/2^+$). In coordinate space, the dynamics of the system is described using a set of coupled hyperradial equations obtained from the Differential Faddeev Equations. By solving the eigenvalue problem derived from this set of coupled hyperradial equations, the binding energy and root-mean-square matter radius computed are found to be -2.462 MeV and 7.00 fm, respectively. The potentials are also shown to display a satisfactory convergence behaviour.


title: SoK: Three Facets of Privacy Policies

abstract: Privacy policies are the main way to obtain information related to personal data collection and processing. Originally, privacy policies were presented as textual documents. However, the unsuitability of this format for the needs of today's society gave birth to other means of expression. In this paper, we systematically study the different means of expression of privacy policies. In doing so, we have explored the three main categories, which we call facets, ie, natural language, graphical and machine-readable privacy policies. Each of these facets focuses on the particular needs of the communities they come from, ie, law experts, organizations and privacy advocates, and academics, respectively. We then analyze the benefits and limitations of each facet, and explain why solutions based on a single facet do not cover the needs of other communities. Finally, we set guidelines and discuss challenges of an approach to expressing privacy policies which brings together the benefits of each facet as an attempt to overcome their limitations.


title: How to distinguish an actual astrophysical magnetized black hole mimicker from a true (theoretical) black hole

abstract: We remind that the ring down features observed in the LIGO GWs resulted from trembling of photon spheres (Rp=3M) of newly formed compact objects and not from the trembling of their event horizons (R=2M). Further, the tentative evidences for late time echoes in GWs might be signatures of horizonless compact objects rather than vacuum black holes (BHs). Similarly, even for an ideal BH, the radius of its shadow is R_shad = \sqrt{3}Rp is actually the gravitationally lensed shadow of its photon sphere. Accordingly any compact object having R \geq R = 3M would generate similar shadow. Thus, no observation has ever detected any event horizon or any exact BH. Also note that the magnetic field embedded in the accreting plasma close to the compact object is expected to have a radial pattern of B \sim 1/r while the stronger BHM dipole magnetic field should fall off as B \sim 1/r3. Accordingly it has been suggested that one may try to infer the true nature of the so-called astrophysical BHs by studying the radial pattern of the magnetic field in their vicinity. But here we highlight that close to the surface of BHMs, the magnetic field pattern differs significantly from the same for non-relativistic dipoles. In particular, we point out that for ultra-compact BHMs, the polar field is weaker than the equatorial field by an extremely large factor of \sim z_s/lnz_s, where z_s>>1 is the surface gravitational redshift. We suggest that by studying the of radial variation as well as significant angular asymmetry of magnetic field structure near the compact object, future observations might differentiate a theoretical black hole from a astrophysical BH mimicker. This study also shows that even if some BHMs would be hypothesized to possess magnetic fields even stronger than that of magnetars, in certain cases, they may effectively behave as atoll type neutron stars possessing extremely low magnetic fields.


title: Directional Communication Enabled by Mobile Parasitic Elements

abstract: Mobile communications in complex environments such as mega-cities is a challenging problem that limits the ability to deploy autonomous agents in support of operations. Building on recent progress in low frequency networking that utilizes miniature antennas to provide persistent connectivity among agents, we consider the design and collaborative manipulation of a distributed robotic antenna array to provide directional communications that will enable enhanced networking, interference rejection, and collaborative control. The use of parasitic elements in a Yagi-Uda type array design avoids the need for synchronization and highly accurate position control among the agents. We utilize physics-based simulations to investigate the feasibility of using mobile agents equipped with an excited antenna element along with a set of support nodes having parasitic elements that adaptively configure to enhance radiation in a desired direction. We take into account mobile node pose uncertainty including element position and angular orientation, as well as ground scattering effects. We pursue an optimal design approach for different types of ground electromagnetic characteristics based on a hybrid full-wave propagation simulation and genetic algorithm optimization. We also present experiment with one mobile node and two static elements. The results demonstrate the ability to achieve directional low frequency communications that is robust to robotic pose error.


title: The efficacy of various machine learning models for multi-class classification of RNA-seq expression data

abstract: Late diagnosis and high costs are key factors that negatively impact the care of cancer patients worldwide. Although the availability of biological markers for the diagnosis of cancer type is increasing, costs and reliability of tests currently present a barrier to the adoption of their routine use. There is a pressing need for accurate methods that enable early diagnosis and cover a broad range of cancers. The use of machine learning and RNA-seq expression analysis has shown promise in the classification of cancer type. However, research is inconclusive about which type of machine learning models are optimal. The suitability of five algorithms were assessed for the classification of 17 different cancer types. Each algorithm was fine-tuned and trained on the full array of 18,015 genes per sample, for 4,221 samples (75 % of the dataset). They were then tested with 1,408 samples (25 % of the dataset) for which cancer types were withheld to determine the accuracy of prediction. The results show that ensemble algorithms achieve 100% accuracy in the classification of 14 out of 17 types of cancer. The clustering and classification models, while faster than the ensembles, performed poorly due to the high level of noise in the dataset. When the features were reduced to a list of 20 genes, the ensemble algorithms maintained an accuracy above 95% as opposed to the clustering and classification models.


title: Unexpected Effects of Online no-Substitution k-means Clustering

abstract: Offline k-means clustering was studied extensively, and algorithms with a constant approximation are available. However, online clustering is still uncharted. New factors come into play: the ordering of the dataset and whether the number of points, n, is known in advance or not. Their exact effects are unknown. In this paper we focus on the online setting where the decisions are irreversible: after a point arrives, the algorithm needs to decide whether to take the point as a center or not, and this decision is final. How many centers are needed and sufficient to achieve constant approximation in this setting? We show upper and lower bounds for all the different cases. These bounds are exactly the same up to a constant, thus achieving optimal bounds. For example, for k-means cost with constant k>1 and random order, Theta(log n) centers are enough to achieve a constant approximation, while the mere a priori knowledge of n reduces the number of centers to a constant. These bounds hold for any distance function that obeys a triangle-type inequality.


title: Relativistic quantum heat engine from uncertainty relation standpoint

abstract: Established heat engines in quantum regime can be modeled with various quantum systems as working substances. For example, in the non-relativistic case, we can model the heat engine using infinite potential well as a working substance to evaluate the efficiency and work done of the engine. Here, we propose quantum heat engine with a relativistic particle confined in the one-dimensional potential well as working substance. The cycle comprises of two isothermal processes and two potential well processes of equal width, which forms the quantum counterpart of the known isochoric process in classical nature. For a concrete interpretation about the relation between the quantum observables with the physically measurable parameters (like the efficiency and work done), we develop a link between the thermodynamic variables and the uncertainty relation. We have used this model to explore the work extraction and the efficiency of the heat engine for a relativistic case from the standpoint of uncertainty relation, where the incompatible observables are the position and the momentum operators. We are able to determine the bounds (the upper and the lower bounds) of the efficiency of the heat engine through the thermal uncertainty relation.


title: Are You for Real? Detecting Identity Fraud via Dialogue Interactions

abstract: Identity fraud detection is of great importance in many real-world scenarios such as the financial industry. However, few studies addressed this problem before. In this paper, we focus on identity fraud detection in loan applications and propose to solve this problem with a novel interactive dialogue system which consists of two modules. One is the knowledge graph (KG) constructor organizing the personal information for each loan applicant. The other is structured dialogue management that can dynamically generate a series of questions based on the personal KG to ask the applicants and determine their identity states. We also present a heuristic user simulator based on problem analysis to evaluate our method. Experiments have shown that the trainable dialogue system can effectively detect fraudsters, and achieve higher recognition accuracy compared with rule-based systems. Furthermore, our learned dialogue strategies are interpretable and flexible, which can help promote real-world applications.