Drift kinetic theory of alpha transport by tokamak perturbations. Upcoming tokamak experiments fueled with deuterium and tritium are expected to have large alpha particle populations. Such experiments motivate new attention to the theory of alpha particle confinement and transport. A key topic is the interaction of alphas with perturbations to the tokamak fields, including those from ripple and magnetohydrodynamic modes like Alfv ' e n eigenmodes. These perturbations can transport alphas, leading to changed localization of alpha heating, loss of alpha power, and damage to device walls. Alpha interaction with these perturbations is often studied with single particle theory. In contrast, we derive a drift kinetic theory to calculate the alpha heat flux resulting from arbitrary perturbation frequency and periodicity (provided these can be studied drift kinetically). Novel features of the theory include the retention of a large effective collision frequency resulting from the resonant alpha collisional boundary layer, correlated interactions over many poloidal transits, and finite orbit effects. Heat fluxes are considered for the example cases of ripple and the toroidal Alfv ' e n eigenmode (TAE). The ripple heat flux is small. The TAE heat flux is significant and scales with the square of the perturbation amplitude, allowing the derivation of constraints on mode amplitude for avoidance of significant alpha depletion. A simple saturation condition suggests that TAEs in one upcoming experiment will not cause significant alpha transport via the mechanisms in this theory. However, saturation above the level suggested by the simple condition, but within numerical and experimental experience, which could be accompanied by the onset of stochasticity, could cause significant transport.


Decoding Polar Codes via Weighted Window Soft Cancellation for Slowly Varying Channel. Polar codes are a class of bf structured channel codes proposed by Ar i kan based on the principle of bf channel polarization , and can bf achieve the symmetric capacity of any Binary input Discrete Memoryless Channel (B DMC). The Soft CANcellation (SCAN) is a bf low complexity bf iterative decoding algorithm of polar codes outperforming the widely used Successive Cancellation (SC). Currently, in most cases, it is assumed that channel state is perfectly bf known at the decoder and remains bf constant during each codeword, which, however, is usually unrealistic. To decode polar codes for bf slowly varying channel with bf unknown state, on the basis of SCAN, we propose the Weighted Window SCAN (W 2 SCAN). Initially, the decoder is seeded with a coarse estimate of channel state. Then after bf each SCAN iteration, the decoder progressively refines the estimate of channel state with the bf quadratic programming . The experimental results prove the significant superiority of W 2 SCAN to SCAN and SC. In addition, a simple method is proposed to verify the correctness of SCAN decoding which requires neither Cyclic Redundancy Check (CRC) checksum nor Hash digest.


CLUE A Chinese Language Understanding Evaluation Benchmark. The advent of natural language understanding (NLU) benchmarks for English, such as GLUE and SuperGLUE allows new NLU models to be evaluated across a diverse set of tasks. These comprehensive benchmarks have facilitated a broad range of research and applications in natural language processing (NLP). The problem, however, is that most such benchmarks are limited to English, which has made it difficult to replicate many of the successes in English NLU for other languages. To help remedy this issue, we introduce the first large scale Chinese Language Understanding Evaluation (CLUE) benchmark. CLUE is an open ended, community driven project that brings together 9 tasks spanning several well established single sentence sentence pair classification tasks, as well as machine reading comprehension, all on original Chinese text. To establish results on these tasks, we report scores using an exhaustive set of current state of the art pre trained Chinese models (9 in total). We also introduce a number of supplementary datasets and additional tools to help facilitate further progress on Chinese NLU. Our benchmark is released at https www.CLUEbenchmarks.com


The height of Mallows trees. Random binary search trees are obtained by recursively inserting the elements sigma(1), sigma(2), ldots, sigma(n) of a uniformly random permutation sigma of n 1, dots,n into a binary search tree data structure. Devroye (1986) proved that the height of such trees is asymptotically of order c log n , where c 4.311 ldots is the unique solution of c log((2e) c) 1 with c geq 2 . In this paper, we study the structure of binary search trees T n,q built from Mallows permutations. A textrm Mallows (q) permutation is a random permutation of n 1, ldots,n whose probability is proportional to q textrm Inv ( sigma) , where textrm Inv ( sigma) i j sigma(i) sigma(j) . This model generalizes random binary search trees, since textrm Mallows (q) permutations with q 1 are uniformly distributed. The laws of T n,q and T n,q 1 are related by a simple symmetry (switching the roles of the left and right children), so it suffices to restrict our attention to q leq1 . We show that, for q in 0,1 , the height of T n,q is asymptotically (1 o(1))(c log n n(1 q)) in probability. This yields three regimes of behaviour for the height of T n,q , depending on whether n(1 q) log n tends to zero, tends to infinity, or remains bounded away from zero and infinity. In particular, when n(1 q) log n tends to zero, the height of T n,q is asymptotically of order c log n , like it is for random binary search trees. Finally, when n(1 q) log n tends to infinity, we prove stronger tail bounds and distributional limit theorems for the height of T n,q .


A Lane Merge Coordination Model for a V2X Scenario. Cooperative driving using connectivity services has been a promising avenue for autonomous vehicles, with the low latency and further reliability support provided by 5th Generation Mobile Network (5G). In this paper, we present an application for lane merge coordination based on a centralised system, for connected cars. This application delivers trajectory recommendations to the connected vehicles on the road. The application comprises of a Traffic Orchestrator as the main component. We apply machine learning and data analysis to predict whether a connected vehicle can successfully complete the cooperative manoeuvre of a lane merge. Furthermore, the acceleration and heading parameters that are necessary for the completion of a safe merge are elaborated. The results demonstrate the performance of several existing algorithms and how their main parameters were selected to avoid over fitting.


A proposal for Marchenko based target oriented full waveform inversion. The Hessian matrix plays an important role in correct interpretation of the multiple scattered wave fields inside the FWI frame work. Due to the high computational costs, the computation of the Hessian matrix is not feasible. Consequently, FWI produces overburden related artifacts inside the target zone model, due to the lack of the exact Hessian matrix. We have shown here that Marchenko based target oriented Full Waveform Inversion can compensate the need of Hessian matrix inversion by reducing the non linearity due to overburden effects. This is achieved by exploiting Marchenko based target replacement to remove the overburden response and its interactions with the target zone from residuals and inserting the response of the updated target zone into the response of the entire medium. We have also shown that this method is more robust with respect to prior information than the standard gradient FWI. Similarly to standard Marchenko imaging, the proposed method only requires knowledge of the direct arrival time from a focusing point to the surface and the reflection response of the medium.


Cyclic Sieving for Cyclic Codes. Prompted by a question of Jim Propp, this paper examines the cyclic sieving phenomenon (CSP) in certain cyclic codes. For example, it is shown that, among dual Hamming codes over F q , the generating function for codedwords according to the major index statistic (resp. the inversion statistic) gives rise to a CSP when q 2 or q 3 (resp. when q 2 ). A byproduct is a curious characterization of the irreducible polynomials in F 2 x and F 3 x that are primitive.


Deep Learning based Vulnerability Detection Are We There Yet?. Automated detection of software vulnerabilities is a fundamental problem in software security. Existing program analysis techniques either suffer from high false positives or false negatives. Recent progress in Deep Learning (DL) has resulted in a surge of interest in applying DL for automated vulnerability detection. Several recent studies have demonstrated promising results achieving an accuracy of up to 95 at detecting vulnerabilities. In this paper, we ask, "how well do the state of the art DL based techniques perform in a real world vulnerability prediction scenario?". To our surprise, we find that their performance drops by more than 50 . A systematic investigation of what causes such precipitous performance drop reveals that existing DL based vulnerability prediction approaches suffer from challenges with the training data (e.g., data duplication, unrealistic distribution of vulnerable classes, etc.) and with the model choices (e.g., simple token based models). As a result, these approaches often do not learn features related to the actual cause of the vulnerabilities. Instead, they learn unrelated artifacts from the dataset (e.g., specific variable function names, etc.). Leveraging these empirical findings, we demonstrate how a more principled approach to data collection and model design, based on realistic settings of vulnerability prediction, can lead to better solutions. The resulting tools perform significantly better than the studied baseline up to 33.57 boost in precision and 128.38 boost in recall compared to the best performing model in the literature. Overall, this paper elucidates existing DL based vulnerability prediction systems' potential issues and draws a roadmap for future DL based vulnerability prediction research. In that spirit, we make available all the artifacts supporting our results https git.io Jf6IA.


On mathematical aspects of evolution of dislocation density in metallic materials. This paper deals with the solution of delay differential equations describing evolution of dislocation density in metallic materials. Hardening, restoration, and recrystallization characterizing the evolution of dislocation populations provide the essential equation of the model. The last term transforms ordinary differential equation (ODE) into delay differential equation (DDE) with strong (in general, H "older) nonlinearity. We prove upper error bounds for the explicit Euler method, under the assumption that the right hand side function is H "older continuous and monotone which allows us to compare accuracy of other numerical methods in our model (e.g. Runge Kutta), in particular when explicit formulas for solutions are not known. Finally, we test the above results in simulations of real industrial process.


Extremal Eigenvalues Of The Conformal Laplacian Under Sire Xu Normalization. Let (M n,g) be a closed Riemannian manifold of dimension n ge 3 . We study the variational properties of the k th eigenvalue functional tilde g in g mapsto lambda k(L tilde g ) under a non volume normalization proposed by Sire Xu. We discuss necessary conditions for the existence of extremal eigenvalues under such normalization. Also, we discuss the general existence problem when k 1 .


Mathematical analysis of an extended cellular model of the Hepatitis C Virus infection with non cytolytic process. The aims of this work is to analyse of the global stability of the extended model of hepatitis C virus(HCV) infection with cellular proliferation, spontaneous cure and hepatocyte homeostasis. We first give general information about hepatitis C. Secondly, We prove the existence of local, maximal and global solutions of the model and establish some properties of this solution as positivity and asymptotic behaviour. Thirdly we show, by the construction of an appropriate Lyapunov function, that the uninfected equilibrium and the unique infected equilibrium of the model of HCV are globally asymptotically stable respectively when the threshold number mathcal R 0 1 frac q d I q and when mathcal R 0 1 . Finally, some numerical simulations are carried out using Maple software confirm these theoretical results.


Universality of population recovery patterns after disasters. Despite the rising importance of enhancing community resilience to disasters, our understanding on how communities recover from catastrophic events is limited. Here we study the population recovery dynamics of disaster affected regions by observing the movements of over 2.5 million mobile phone users across three countries before, during and after five major disasters. We find that, although the regions affected by the five disasters have significant differences in socio economic characteristics, we observe a universal recovery pattern where displaced populations return in an exponential manner after all disasters. Moreover, the heterogeneity in initial and long term displacement rates across communities across the three countries were explained by a set of key universal factors including the community's median income level, population size, housing damage rate, and the connectedness to other cities. These universal properties of recovery dynamics extracted from large scale evidence could impact efforts on urban resilience and sustainability across various disciplines.


Some arithmetical problems that are obtained by analyzing proofs and infinite graphs. Applying Baaz's Generalization Method and a new technique to, respectively, proofs and denumerable simple graphs, diverse arithmetical patterns are observed. In particular, sufficient conditions for a number to be a divisor of a Fermat number are provided. The accuracy of such observations is asked in several subsequent problems.


Paschen curve for a PCB trace in low vacuum. For one PCB trace region, where bare high voltage trace goes near GND pad, we estimated an electrical breakdown voltage in low vacuum using simplified geometrical model under some assumptions. Experimental measurement of Paschen curve for the PCB board considered was proceed in pressure range from 2x10 3 mbar to 25 mbar.


COPYCAT Practical Adversarial Attacks on Visualization Based Malware Detection. Despite many attempts, the state of the art of adversarial machine learning on malware detection systems generally yield unexecutable samples. In this work, we set out to examine the robustness of visualization based malware detection system against adversarial examples (AEs) that not only are able to fool the model, but also maintain the executability of the original input. As such, we first investigate the application of existing off the shelf adversarial attack approaches on malware detection systems through which we found that those approaches do not necessarily maintain the functionality of the original inputs. Therefore, we proposed an approach to generate adversarial examples, COPYCAT, which is specifically designed for malware detection systems considering two main goals achieving a high misclassification rate and maintaining the executability and functionality of the original input. We designed two main configurations for COPYCAT, namely AE padding and sample injection. While the first configuration results in untargeted misclassification attacks, the sample injection configuration is able to force the model to generate a targeted output, which is highly desirable in the malware attribution setting. We evaluate the performance of COPYCAT through an extensive set of experiments on two malware datasets, and report that we were able to generate adversarial samples that are misclassified at a rate of 98.9 and 96.5 with Windows and IoT binary datasets, respectively, outperforming the misclassification rates in the literature. Most importantly, we report that those AEs were executable unlike AEs generated by off the shelf approaches. Our transferability study demonstrates that the generated AEs through our proposed method can be generalized to other models.


Deterministic homogenization under optimal moment assumptions for fast slow systems. Part 1. We consider deterministic homogenization (convergence to a stochastic differential equation) for multiscale systems of the form x k 1 x k n 1 a n(x k,y k) n 1 2 b n(x k,y k), quad y k 1 T n y k, where the fast dynamics is given by a family T n of nonuniformly expanding maps. Part 1 builds on our recent work on martingale approximations for families of nonuniformly expanding maps. We prove an iterated weak invariance principle and establish optimal iterated moment bounds for such maps. (The iterated moment bounds are new even for a fixed nonuniformly expanding map T.) The homogenization results are a consequence of this together with parallel developments on rough path theory in Part 2 by Chevyrev, Friz, Korepanov, Melbourne Zhang.


Type theoretic weak factorization systems. This article presents three characterizations of the weak factorization systems on finitely complete categories that interpret intensional dependent type theory with Sigma , Pi , and Id types. The first characterization is that the weak factorization system (L,R) has the properties that L is stable under pullback along R and that all maps to a terminal object are in R. We call such weak factorization systems type theoretic. The second is that the weak factorization system has an Id presentation roughly, it is generated by Id types in the empty context. The third is that the weak factorization system (L, R) is generated by a Moore relation system, a generalization of the notion of Moore paths.


Generating Biomedical Question Answering Corpora from Q A forums. Question Answering (QA) is a natural language processing task that aims at obtaining relevant answers to user questions. While some progress has been made in this area, biomedical questions are still a challenge to most QA approaches, due to the complexity of the domain and limited availability of training sets. We present a method to automatically extract question article pairs from Q A web forums, which can be used for document retrieval, a crucial step of most QA systems. The proposed framework extracts from selected forums the questions and the respective answers that contain citations. This way, QA systems based on document retrieval can be developed and evaluated using the question article pairs annotated by users of these forums. We generated the BiQA corpus by applying our framework to three forums, obtaining 7,453 questions and 14,239 question article pairs. We evaluated how the number of articles associated with each question and the number of votes on each answer affects the performance of baseline document retrieval approaches. Also, we demonstrated that the articles given as answers are significantly similar to the questions and trained a state of the art deep learning model that obtained similar performance to using a dataset manually annotated by experts. The proposed framework can be used to update the BiQA corpus from the same forums as new posts are made, and from other forums that support their answers with documents. The BiQA corpus and the framework used to generate it are available at url https github.com lasigeBioTM BiQA .


Mod p Galois representations not arising from abelian varieties. We prove there exists a mod p Galois representation valued in operatorname GSp (2g, mathbb F p) with cyclotomic similitude character that does not arise from the p torsion of any g dimensional abelian variety over mathbb Q , assuming that g ge 2 and (g,p) is not one of the exceptional pairs (2,2) , (2,3) , or (3,2) . Together with known results in the case g 1 , this completes the classification of all pairs (g,p) .


Implicit Neural Solver for Time dependent Linear PDEs with Convergence Guarantee. Fast and accurate solution of time dependent partial differential equations (PDEs) is of key interest in many research fields including physics, engineering, and biology. Generally, implicit schemes are preferred over the explicit ones for better stability and correctness. The existing implicit schemes are usually iterative and employ a general purpose solver which may be sub optimal for a specific class of PDEs. In this paper, we propose a neural solver to learn an optimal iterative scheme for a class of PDEs, in a data driven fashion. We attain this objective by modifying an iteration of an existing semi implicit solver using a deep neural network. Further, we prove theoretically that our approach preserves the correctness and convergence guarantees provided by the existing iterative solvers. We also demonstrate that our model generalizes to a different parameter setting than the one seen during training and achieves faster convergence compared to the semi implicit schemes.


Investigation of BERT Model on Biomedical Relation Extraction Based on Revised Fine tuning Mechanism. With the explosive growth of biomedical literature, designing automatic tools to extract information from the literature has great significance in biomedical research. Recently, transformer based BERT models adapted to the biomedical domain have produced leading results. However, all the existing BERT models for relation classification only utilize partial knowledge from the last layer. In this paper, we will investigate the method of utilizing the entire layer in the fine tuning process of BERT model. To the best of our knowledge, we are the first to explore this method. The experimental results illustrate that our method improves the BERT model performance and outperforms the state of the art methods on three benchmark datasets for different relation extraction tasks. In addition, further analysis indicates that the key knowledge about the relations can be learned from the last layer of BERT model.


Georg Mohr's "Euclides Danicus" Preliminary Version. We present here a preliminary version of a translation with comments of Georg Mohr's book "Euclides Danicus", where the first proof of Mohr Mascheroni Theorem appeared in 1672, 125 years before Mascheroni's book.


Optimization with learning informed differential equation constraints and its applications. Inspired by applications in optimal control of semilinear elliptic partial differential equations and physics integrated imaging, differential equation constrained optimization problems with constituents that are only accessible through data driven techniques are studied. A particular focus is on the analysis and on numerical methods for problems with machine learned components. For a rather general context, an error analysis is provided, and particular properties resulting from artificial neural network based approximations are addressed. Moreover, for each of the two inspiring applications analytical details are presented and numerical results are provided.


Feature importance in mobile malware detection. The topic of mobile malware detection on the Android platform has attracted significant attention over the last several years. However, while much research has been conducted toward mobile malware detection techniques, little attention has been devoted to feature selection and feature importance. That is, which app feature matters more when it comes to machine learning classification. After succinctly surveying all major, dated from 2012 to 2020, datasets used by state of the art malware detection works in the literature, we analyse a critical mass of apps from the most contemporary and prevailing datasets, namely Drebin, VirusShare, and AndroZoo. Next, we rank the importance of app classification features pertaining to permissions and intents using the Information Gain algorithm for all the three above mentioned datasets.


ParIS Data Series Indexing on Multi Core Architectures. Data series similarity search is a core operation for several data series analysis applications across many different domains. Nevertheless, even state of the art techniques cannot provide the time performance required for large data series collections. We propose ParIS and ParIS , the first disk based data series indices carefully designed to inherently take advantage of multi core architectures, in order to accelerate similarity search processing times. Our experiments demonstrate that ParIS completely removes the CPU latency during index construction for disk resident data, and for exact query answering is up to 1 order of magnitude faster than the current state of the art index scan method, and up to 3 orders of magnitude faster than the optimized serial scan method. ParIS (which is an evolution of the ADS index) owes its efficiency to the effective use of multi core and multi socket architectures, in order to distribute and execute in parallel both index construction and query answering, and to the exploitation of the Single Instruction Multiple Data (SIMD) capabilities of modern CPUs, in order to further parallelize the execution of instructions inside each core.


On Evaluating the Effectiveness of the HoneyBot A Case Study. In recent years, cyber physical system (CPS) security as applied to robotic systems has become a popular research area. Mainly because robotics systems have traditionally emphasized the completion of a specific objective and lack security oriented design. Our previous work, HoneyBot cite celine , presented the concept and prototype of the first software hybrid interaction honeypot specifically designed for networked robotic systems. The intuition behind HoneyBot was that it would be a remotely accessible robotic system that could simulate unsafe actions and physically perform safe actions to fool attackers. Unassuming attackers would think they were connected to an ordinary robotic system, believing their exploits were being successfully executed. All the while, the HoneyBot is logging all communications and exploits sent to be used for attacker attribution and threat model creation. In this paper, we present findings from the result of a user study performed to evaluate the effectiveness of the HoneyBot framework and architecture as it applies to real robotic systems. The user study consisted of 40 participants, was conducted over the course of several weeks, and drew from a wide range of participants aged between 18 60 with varying level of technical expertise. From the study we found that research subjects could not tell the difference between the simulated sensor values and the real sensor values coming from the HoneyBot, meaning the HoneyBot convincingly spoofed communications.


Overview of Logical Foundations of Cyber Physical Systems. Cyber physical systems (CPSs) are important whenever computer technology interfaces with the physical world as it does in self driving cars or aircraft control support systems. Due to their many subtleties, controllers for cyber physical systems deserve to be held to the highest correctness standards. Their correct functioning is crucial, which explains the broad interest in safety analysis technology for their mathematical models, which are called hybrid systems because they combine discrete dynamics with continuous dynamics. Differential dynamic logic (dL) provides logical specification and rigorous reasoning techniques for hybrid systems. The logic dL is implemented in the theorem prover KeYmaera X, which has been instrumental in verifying ground robot controllers, railway systems, and the next generation airborne collision avoidance system ACAS X. This chapter provides an informal overview of this logical approach to CPS safety that is detailed in a recent textbook on Logical Foundations of Cyber Physical Systems. It also explains how safety guarantees obtained in the land of verified models reach the level of CPS execution unharmed.


Time inconsistent Risk sensitive Equilibrium for Countable stated Markov Decision Processes. This paper is devoted to solving a time inconsistent risk sensitive control problem with parameter e and its limit case ( e rightarrow0 ) for countable stated Markov decision processes (MDPs for short). Since the cost functional is time inconsistent, it is impossible to find a global optimal strategy for both cases. Instead, for each case, we will prove the existence of time inconstant equilibrium strategies which verify the so called step optimality. Moreover, we prove the convergence of e equilibriums and the corresponding value functions as e rightarrow0 .


Motion control for autonomous heterogeneous multi agent area search in uncertain conditions. Using multiple mobile robots in search missions offers a lot of benefits, but one needs a suitable and competent motion control algorithm which is able to consider sensors characteristics, the uncertainty of target detection and complexity of needed maneuvers in order to make a multi agent search autonomous. This paper provides a methodology for an autonomous two dimensional search using multiple unmanned search agents. The proposed methodology relies on an accurate calculation of target occurrence probability distribution based on the initial estimated target distribution and continuous action of spatial variant search agent sensors. The core of the autonomous search process is a high level motion control for multiple search agents which utilizes the probabilistic model of target occurrence via Heat Equation Driven Area Coverage (HEDAC) method. This centralized motion control algorithm is tailored for handling a group of search agents which are heterogeneous in both motion and sensing characteristics. The motion of agents is directed by the gradient of the potential field which provides near ergodic exploration of the search space. The proposed method is tested on three realistic search mission simulations and compared with three alternative methods, where HEDAC outperforms all alternatives in all tests. Conventional search strategies need about double the time to achieve proportionate detection rate when compared to HEDAC controlled search. The scalability test showed that increasing the number of HEDAC controlled search agents, although somewhat deteriorating the search efficiency, provides needed speed up of the search. This study shows the flexibility and competence of the proposed method and gives a strong foundation for possible real world applications.


Soliton Distillation in Fiber Lasers. Pure solitons are for the first time distilled from the resonant continuous wave (CW) background in a fiber laser by utilizing nonlinear Fourier transform (NFT). It is identified that the soliton and the resonant CW background have different eigenvalue distributions in the nonlinear frequency domain. Similar to water distillation, we propose the approach of soliton distillation, by making NFT on a steady pulse generated from a fiber laser, then filtering out the eigenvalues of the resonant CW background in the nonlinear frequency domain, and finally recovering the soliton by inverse NFT (INFT). Simulation results verify that the soliton can be distinguished from the resonant CW background in the nonlinear frequency domain and pure solitons can be obtained by INFT.


DynaSLAM II Tightly Coupled Multi Object Tracking and SLAM. The assumption of scene rigidity is common in visual SLAM algorithms. However, it limits their applicability in populated real world environments. Furthermore, most scenarios including autonomous driving, multi robot collaboration and augmented virtual reality, require explicit motion information of the surroundings to help with decision making and scene understanding. We present in this paper DynaSLAM II, a visual SLAM system for stereo and RGB D configurations that tightly integrates the multi object tracking capability. DynaSLAM II makes use of instance semantic segmentation and of ORB features to track dynamic objects. The structure of the static scene and of the dynamic objects is optimized jointly with the trajectories of both the camera and the moving agents within a novel bundle adjustment proposal. The 3D bounding boxes of the objects are also estimated and loosely optimized within a fixed temporal window. We demonstrate that tracking dynamic objects does not only provide rich clues for scene understanding but is also beneficial for camera tracking. The project code will be released upon acceptance.


Multiple Layer Integrated Interleaved Codes A Class of Hierarchical Locally Recoverable Codes. The traditional definition of Integrated Interleaved (II) codes generally assumes that the component nested codes are either Reed Solomon (RS) or shortened Reed Solomon codes. By taking general classes of codes, we present a recursive construction of Extended Integrated Interleaved (EII) codes into multiple layers, a problem that brought attention in literature for II codes. The multiple layer approach allows for a hierarchical scheme where each layer of the code provides for a different locality. In particular, we present the erasure correcting capability of the new codes and we show that they are ideally suited as Locally Recoverable (LRC) codes due to their hierarchical locality and the small finite field required by the construction. Properties of the multiple layer EII codes, like their minimum distance and dimension, as well as their erasure decoding algorithms, parity check matrices and performance analysis, are provided and illustrated with examples. Finally, we will observe that the parity check matrices of high layer EII codes have low density.


Data Inference from Encrypted Databases A Multi dimensional Order Preserving Matching Approach. Due to increasing concerns of data privacy, databases are being encrypted before they are stored on an untrusted server. To enable search operations on the encrypted data, searchable encryption techniques have been proposed. Representative schemes use order preserving encryption (OPE) for supporting efficient Boolean queries on encrypted databases. Yet, recent works showed the possibility of inferring plaintext data from OPE encrypted databases, merely using the order preserving constraints, or combined with an auxiliary plaintext dataset with similar frequency distribution. So far, the effectiveness of such attacks is limited to single dimensional dense data (most values from the domain are encrypted), but it remains challenging to achieve it on high dimensional datasets (e.g., spatial data) which are often sparse in nature. In this paper, for the first time, we study data inference attacks on multi dimensional encrypted databases (with 2 D as a special case). We formulate it as a 2 D order preserving matching problem and explore both unweighted and weighted cases, where the former maximizes the number of points matched using only order information and the latter further considers points with similar frequencies. We prove that the problem is NP hard, and then propose a greedy algorithm, along with a polynomial time algorithm with approximation guarantees. Experimental results on synthetic and real world datasets show that the data recovery rate is significantly enhanced compared with the previous 1 D matching algorithm.


Verifying the DPLL Algorithm in Dafny. Modern high performance SAT solvers quickly solve large satisfiability instances that occur in practice. If the instance is satisfiable, then the SAT solver can provide a witness which can be checked independently in the form of a satisfying truth assignment. However, if the instance is unsatisfiable, the certificates could be exponentially large or the SAT solver might not be able to output certificates. The implementation of the SAT solver should then be trusted not to contain bugs. However, the data structures and algorithms implemented by a typical high performance SAT solver are complex enough to allow for subtle programming errors. To counter this issue, we build a verified SAT solver using the Dafny system. We discuss its implementation in the present article.


Stochastic Volterra equations with time changed L 'evy noise and maximum principles. We study an optimal control problem for Volterra type dynamics driven by time changed L 'evy noises, which are in general not Markovian. To exploit the nature of the noise, we make use of different kind of information flows within a maximum principle approach. For this we work with backward stochastic differential equations (BSDE) with time change and exploit the non anticipating stochastic derivative as introduced in 7 . We prove both a stochastic sufficient and necessary maximum principle and we complete the work providing applications to optimal portfolio problems.


Convexity and transport for the isentropic Euler equations on the sphere. The paper considers the Euler system of PDE on a smooth compact Riemannian manifold of positive curvature without boundary, and the sphere mathbb S 2 in particular. The paper interprets the Euler equations as a transport problem for the fluid density under dynamics governed by the gradient of the internal energy of the fluid. The paper develops the notion of transport cost in the tangent bundle, and compares its properties with the Wasserstein transportation cost on the manifold. There are applications to the discrete approximation to the Euler equations in the style of Gangbo and Wesdickenberg ( sl Comm. Partial Diff. Equations bf 34 (2009), 1041 1073), except that the analysis is heavily dependent upon the curvature of the underlying manifold. The internal energy is assumed to satisfy convexity conditions that allow analysis via Phi entropy entropy production inequalities, and the results apply to the power law rho gamma where 1 gamma 3 2 , which includes the case of a diatomic gas. The paper proves existence of weak solutions of the continuity equation, and gives a sufficient condition for existence of weak solutions to the acceleration equation.


Learning Augmented Weighted Paging. We consider a natural semi online model for weighted paging, where at any time the algorithm is given predictions, possibly with errors, about the next arrival of each page. The model is inspired by Belady's classic optimal offline algorithm for unweighted paging, and extends the recently studied model for learning augmented paging (Lykouris and Vassilvitskii, 2018) to the weighted setting. For the case of perfect predictions, we provide an ell competitive deterministic and an O( log ell) competitive randomized algorithm, where ell is the number of distinct weight classes. Both these bounds are tight, and imply an O( log W) and O( log log W) competitive ratio, respectively, when the page weights lie between 1 and W . Previously, it was not known how to use these predictions in the weighted setting and only bounds of k and O( log k) were known, where k is the cache size. Our results also generalize to the interleaved paging setting and to the case of imperfect predictions, with the competitive ratios degrading smoothly from O( ell) and O( log ell) to O(k) and O( log k) , respectively, as the prediction error increases. Our results are based on several insights on structural properties of Belady's algorithm and the sequence of page arrival predictions, and novel potential functions that incorporate these predictions. For the case of unweighted paging, the results imply a very simple potential function based proof of the optimality of Belady's algorithm, which may be of independent interest.


Diffusion MRI simulation of realistic neurons with SpinDoctor and the Neuron Module. In this paper we present the Neuron Module that we implemented within the Matlab based diffusion MRI simulation toolbox SpinDoctor. SpinDoctor uses finite element discretization and adaptive time integration to solve the Bloch Torrey partial differential equation for general diffusion encoding sequences, at multiple b values and in multiple diffusion directions. In order to facilitate the diffusion MRI simulation of realistic neurons by the research community, we constructed finite element meshes for a group of 36 pyramidal neurons and a group of 29 spindle neurons whose morphological descriptions were found in the publicly available neuron repository NeuroMorpho. We also broke the neurons into the soma and dendrite branches and created finite elements meshes for these cell components. Through the Neuron Module, these neuron and cell components finite element meshes can be seamlessly coupled with the functionalities of SpinDoctor. To illustrate some potential uses of the Neuron Module, we show numerical examples of the simulated diffusion MRI signals in multiple diffusion directions from whole neurons as well as from the soma and dendrite branches, and include a comparison of the high b value behavior between dendrite branches and whole neurons. In addition, we demonstrate that the neuron meshes can be used to perform Monte Carlo diffusion MRI simulations as well. We show that at equivalent accuracy, if only one gradient direction needs to be simulated, SpinDoctor is faster than a GPU implementation of Monte Carlo. Finally, we numerically compute the eigenfunctions and the eigenvalues of the Bloch Torrey and the Laplace operators on the neuron geometries using a finite elements discretization, in order to give guidance in the choice of the space and time discretization parameters for both finite elements and Monte Carlo approaches.


Numerical analysis of eikonal equation. The Maxwell equations have a fairly simple form. However, finding solutions of Maxwell's equations is an extremely difficult task. Therefore, various simplifying approaches are often used in optics. One such simplifying approach is to use the approximation of geometric optics. The approximation of geometric optics is constructed with the assumption that the wavelengths are small (short wavelength approximation). The basis of geometric optics is the eikonal equation. The eikonal equation can be obtained from the wave equation (Helmholtz equation). Thus, the eikonal equation relates the wave and geometric optics. In fact, the eikonal equation is a quasi classical approximation (the Wentzel Kramers Brillouin method) of wave optics. This paper shows the application of geometric methods of electrodynamics to the calculation of optical devices, such as Maxwell and Luneburg lenses. The eikonal equation, which was transformed to the ODE system by the method of characteristics, is considered. The resulting system is written for the case of Maxwell and Luneburg lenses.


On the hydrostatic approximation of compressible anisotropic Navier Stokes equations rigorous justification. In this work, we obtain the hydrostatic approximation by taking the small aspect ratio limit to the Navier Stokes equations. The aspect ratio (the ratio of the depth to horizontal width) is a geometrical constraint in general large scale geophysical motions that the vertical scale is significantly smaller than horizontal. We use the versatile relative entropy inequality to prove rigorously the limit from the compressible Navier Stokes equations to the compressible Primitive Equations. This is the first work to use relative entropy inequality for proving hydrostatic approximation and derive the compressible Primitive Equations.


Extremal mild solutions of Hilfer fractional Impulsive systems. The well established monotone iterative technique that is used to study the existence and uniqueness of fractional impulsive system is extended to Hilfer fractional order in this paper. The results are derived by using the method of upper and lower solution and Gronwall inequality. Also, conditions on non compactness of measure is used effectively to prove the main result.


Explaining Black box Models for Biomedical Text Classification. In this paper, we propose a novel method named Biomedical Confident Itemsets Explanation (BioCIE), aiming at post hoc explanation of black box machine learning models for biomedical text classification. Using sources of domain knowledge and a confident itemset mining method, BioCIE discretizes the decision space of a black box into smaller subspaces and extracts semantic relationships between the input text and class labels in different subspaces. Confident itemsets discover how biomedical concepts are related to class labels in the black box's decision space. BioCIE uses the itemsets to approximate the black box's behavior for individual predictions. Optimizing fidelity, interpretability, and coverage measures, BioCIE produces class wise explanations that represent decision boundaries of the black box. Results of evaluations on various biomedical text classification tasks and black box models demonstrated that BioCIE can outperform perturbation based and decision set methods in terms of producing concise, accurate, and interpretable explanations. BioCIE improved the fidelity of instance wise and class wise explanations by 11.6 and 7.5 , respectively. It also improved the interpretability of explanations by 8 . BioCIE can be effectively used to explain how a black box biomedical text classification model semantically relates input texts to class labels. The source code and supplementary material are available at https github.com mmoradi iut BioCIE.


Some remarks on the direct calculation of Probabilities in Urn Schemes. The paper considers urn schemes in which several urns can be involved. Simplified formulas are proposed that allow direct calculation of probabilities without the use of elements combinatorics.


Large scale frequency domain seismic wave modeling on it h adaptive tetrahedral meshes with iterative solver and multi level domain decomposition preconditioners. Frequency domain full waveform inversion (FWI) is suitable for long offset stationary recording acquisition, since reliable subsurface models can be reconstructed with a few frequencies and attenuation is easily implemented without computational overhead. In the frequency domain, wave modeling is a Helmholtz type boundary value problem which requires to solve a large and sparse system of linear equations per frequency with multiple right hand sides (sources). This system can be solved with direct or iterative methods. While the former are suitable for FWI application on 3D dense OBC acquisitions covering spatial domains of moderate size, the later should be the approach of choice for sparse node acquisitions covering large domains (more than 50 millions of unknowns). Fast convergence of iterative solvers for Helmholtz problems remains however challenging in high frequency regime due to the non definiteness of the Helmholtz operator, on one side and on the discretization constraints in order to minimize the dispersion error for a given frequency, on the other side, hence requiring efficient preconditioners. In this study, we use the Krylov subspace GMRES iterative solver combined with a two level domain decomposition preconditioner. Discretization relies on continuous Lagrange finite elements of order 3 on unstructured tetrahedral meshes to comply with complex geometries and adapt the size of the elements to the local wavelength ( h adaptivity). We assess the accuracy, the convergence and the scalability of our method with the acoustic 3D SEG EAGE Overthrust model up to a frequency of 20 Hz.


Regularization along central convergence on second and third Wiener chaoses. Consider F an element of the second Wiener chaos with variance one. In full generality, we show that, for every integer p ge 1 , there exists eta p 0 such that if kappa 4(F) eta p then the Malliavin derivative of F admits a negative moment of order p . This entails that any sequence of random variables in the second Wiener chaos converging in distribution to a non degenerated Gaussian is getting more regular as its distribution is getting close to the normal law. This substantially generalizes some recent findings contained in cite hu2014convergence,hu2015density,nourdin2016fisher where analogous statements were given with additional assumptions which we are able to remove here. Moreover, we provide a multivariate version of this Theorem. Our main contribution concerns the case of the third Wiener chaos which is notoriously more delicate as one cannot anymore decompose the random variables into a linear combination of i.i.d. random variables. We still prove that the same phenomenon of regularization along central convergence occurs. Unfortunately, we are not able to provide a statement as strong as the previous one, but we can show that the usual non degeneracy estimates of the Malliavin derivative given by the Carbery Wright inequality can be improved by a factor three. Our proof introduces new techniques such that a specific Malliavin gradient enabling us to encode the distribution of the Malliavin derivative by the spectrum of some Gaussian matrix. This allows us to revisit the fourth moment phenomenon in terms of the behavior of its spectral radius.


OREOS Oriented Recognition of 3D Point Clouds in Outdoor Scenarios. We introduce a novel method for oriented place recognition with 3D LiDAR scans. A Convolutional Neural Network is trained to extract compact descriptors from single 3D LiDAR scans. These can be used both to retrieve near by place candidates from a map, and to estimate the yaw discrepancy needed for bootstrapping local registration methods. We employ a triplet loss function for training and use a hard negative mining strategy to further increase the performance of our descriptor extractor. In an evaluation on the NCLT and KITTI datasets, we demonstrate that our method outperforms related state of the art approaches based on both data driven and handcrafted data representation in challenging long term outdoor conditions.


Data Extraction from Charts via Single Deep Neural Network. Automatic data extraction from charts is challenging for two reasons there exist many relations among objects in a chart, which is not a common consideration in general computer vision problems and different types of charts may not be processed by the same model. To address these problems, we propose a framework of a single deep neural network, which consists of object detection, text recognition and object matching modules. The framework handles both bar and pie charts, and it may also be extended to other types of charts by slight revisions and by augmenting the training data. Our model performs successfully on 79.4 of test simulated bar charts and 88.0 of test simulated pie charts, while for charts outside of the training domain it degrades for 57.5 and 62.3 , respectively.


Spatial Positioning Token (SPToken) for Smart Mobility. We introduce a permissioned distributed ledger technology (DLT) design for crowdsourced smart mobility applications. This architecture is based on a directed acyclic graph architecture (similar to the IOTA tangle) and uses both Proof of Work and Proof of Position mechanisms to provide protection against spam attacks and malevolent actors. In addition to enabling individuals to retain ownership of their data and to monetize it, the architecture also is suitable for distributed privacy preserving machine learning algorithms, is lightweight, and can be implemented in simple internet of things (IoT) devices. To demonstrate its efficacy, we apply this framework to reinforcement learning settings where a third party is interested in acquiring information from agents. In particular, one may be interested in sampling an unknown vehicular traffic flow in a city, using a DLT type architecture and without perturbing the density, with the idea of realizing a set of virtual tokens as surrogates of real vehicles to explore geographical areas of interest. These tokens, whose authenticated position determines write access to the ledger, are thus used to emulate the probing actions of commanded (real) vehicles on a given planned route by "jumping" from a passing by vehicle to another to complete the planned trajectory. Consequently, the environment stays unaffected (i.e., the autonomy of participating vehicles is not influenced by the algorithm), regardless of the number of emitted tokens. The design of such a DLT architecture is presented, and numerical results from large scale simulations are provided to validate the proposed approach.


Unsupervised Multi stream Highlight detection for the Game "Honor of Kings". With the increasing popularity of E sport live, Highlight Flashback has been a critical functionality of live platforms, which aggregates the overall exciting fighting scenes in a few seconds. In this paper, we introduce a novel training strategy without any additional annotation to automatically generate highlights for game video live. Considering that the existing manual edited clips contain more highlights than long game live videos, we perform pair wise ranking constraints across clips from edited and long live videos. A multi stream framework is also proposed to fuse spatial, temporal as well as audio features extracted from videos. To evaluate our method, we test on long game live videos with an average length of about 15 minutes. Extensive experimental results on videos demonstrate its satisfying performance on highlights generation and effectiveness by the fusion of three streams.


Entropy stable modal discontinuous Galerkin schemes and wall boundary conditions for the compressible Navier Stokes equations. Entropy stable schemes ensure that physically meaningful numerical solutions also satisfy a semi discrete entropy inequality under appropriate boundary conditions. In this work, we describe a discretization of viscous terms in the compressible Navier Stokes equations which enables a simple and explicit imposition of entropy stable no slip (adiabatic and isothermal) and reflective (symmetry) wall boundary conditions for discontinuous Galerkin (DG) discretizations. Numerical results confirm the robustness and accuracy of the proposed approaches.


Bias Awareness for Zero Shot Learning the Seen and Unseen. Generalized zero shot learning recognizes inputs from both seen and unseen classes. Yet, existing methods tend to be biased towards the classes seen during training. In this paper, we strive to mitigate this bias. We propose a bias aware learner to map inputs to a semantic embedding space for generalized zero shot learning. During training, the model learns to regress to real valued class prototypes in the embedding space with temperature scaling, while a margin based bidirectional entropy term regularizes seen and unseen probabilities. Relying on a real valued semantic embedding space provides a versatile approach, as the model can operate on different types of semantic information for both seen and unseen classes. Experiments are carried out on four benchmarks for generalized zero shot learning and demonstrate the benefits of the proposed bias aware classifier, both as a stand alone method or in combination with generated features.


On Universal Codes for Integers Wallace Tree, Elias Omega and Variations. A universal code for the (positive) integers can be used to store or compress a sequence of integers. Every universal code implies a probability distribution on integers. This implied distribution may be a reasonable choice when the true distribution of a source of integers is unknown. Wallace Tree Code (WTC) is a universal code for integers based on binary trees. We give the encoding and decoding routines for WTC and analyse the properties of the code in comparison to two well known codes, the Fibonacci and Elias omega codes. Some improvements on the Elias omega code are also described and examined.


Disinformation Detection A review of linguistic feature selection and classification models in news veracity assessments. Over the past couple of years, the topic of "fake news" and its influence over people's opinions has become a growing cause for concern. Although the spread of disinformation on the Internet is not a new phenomenon, the widespread use of social media has exacerbated its effects, providing more channels for dissemination and the potential to "go viral." Nowhere was this more evident than during the 2016 United States Presidential Election. Although the current of disinformation spread via trolls, bots, and hyperpartisan media outlets likely reinforced existing biases rather than sway undecided voters, the effects of this deluge of disinformation are by no means trivial. The consequences range in severity from an overall distrust in news media, to an ill informed citizenry, and in extreme cases, provocation of violent action. It is clear that human ability to discern lies from truth is flawed at best. As such, greater attention has been given towards applying machine learning approaches to detect deliberately deceptive news articles. This paper looks at the work that has already been done in this area.


Olive oil by product as functional ingredient in bakery products. By products represent a major disposal problem for the food industry, but they are also promising sources of bioactive compounds. Olive pomace, one of the main by products of olive oil production, is a potential low cost, phenol rich ingredient for the formulation of functional food. In this study, bakery products enriched with defatted olive pomace powder and their conventional counterparts were chemical characterized and in vitro digested. The bioaccessible fractions were supplemented to cultured human intestinal cells exposed to an inflammatory stimulus, and the anti inflammatory effect and metabolome modification were evaluated. Although in all bakery products the enrichment with olive pomace significantly increased the total phenolic content, this increase was paralleled by an enhanced anti inflammatory activity only in conventionally fermented bread. Therefore, while confirming olive oil by products as functional ingredients for bakery food enrichment, our data highlight that changes in chemical composition cannot predict changes in functionality. Functionality should be first evaluated in biological in vitro systems, and then confirmed in human intervention studies.


Idempotents of 2 times 2 matrix rings over rings of formal power series. Let A 1, ldots,A s be unitary commutative rings which do not have non trivial idempotents and let A A 1 oplus cdots oplus A s be their direct sum. We describe all idempotents in the 2 times 2 matrix ring M 2(A X ) over the ring A X of formal power series with coefficients in A and in arbitrary set of variables X . We apply this result to the matrix ring M 2( mathbb Z n X ) over the ring mathbb Z n X for an arbitrary positive integer n greater than 1. Our proof is elementary and uses only the Cayley Hamilton theorem (for 2 times 2 matrices only) and, in the special case A mathbb Z n , the Chinese reminder theorem and the Euler Fermat theorem.


Phase transitions for chase escape models on Gilbert graphs. We present results on phase transitions of local and global survival in a two species model on Gilbert graphs. At initial time there is an infection at the origin that propagates on the Gilbert graph according to a continuous time nearest neighbor interacting particle system. The Gilbert graph consists of susceptible nodes and nodes of a second type, which we call white knights. The infection can spread on susceptible nodes without restriction. If the infection reaches a white knight, this white knight starts to spread on the set of infected nodes according to the same mechanism, with a potentially different rate, giving rise to a competition of chase and escape. We show well definedness of the model, isolate regimes of global survival and extinction of the infection and present estimates on local survival. The proofs rest on comparisons to the process on trees, percolation arguments and finite degree approximations of the underlying random graphs.


Online Caching and Coding at the WiFi Edge Gains and Tradeoffs. Video content delivery at the wireless edge continues to be challenged by insufficient bandwidth and highly dynamic user behavior which affects both effective throughput and latency. Caching at the network edge and coded transmissions have been found to improve user performance of video content delivery. The cache at the wireless edge stations (BSs, APs) and at the users' end devices can be populated by pre caching content or by using online caching policies. In this paper, we propose a system where content is cached at the user of a WiFi network via online caching policies, and coded delivery is employed by the WiFi AP to deliver the requested content to the user population. The content of the cache at the user serves as side information for index coding. We also propose the LFU Index cache replacement policy at the user that demonstrably improves index coding opportunities at the WiFi AP for the proposed system. Through an extensive simulation study, we determine the gains achieved by caching and index by coding. Next, we analyze the tradeoffs between them in terms of data transmitted, latency, and throughput for different content request behaviors from the users. We also show that the proposed cache replacement policy performs better than traditional cache replacement policies like LRU and LFU.


Distributed Embodied Evolution over Networks. In several network problems the optimum behavior of the agents (i.e., the nodes of the network) is not known before deployment. Furthermore, the agents might be required to adapt, i.e. change their behavior based on the environment conditions. In these scenarios, offline optimization is usually costly and inefficient, while online methods might be more suitable. In this work, we use a distributed Embodied Evolution approach to optimize spatially distributed, locally interacting agents by allowing them to exchange their behavior parameters and learn from each other to adapt to a certain task within a given environment. Our results on several test scenarios show that the local exchange of information, performed by means of crossover of behavior parameters with neighbors, allows the network to conduct the optimization process more efficiently than the cases where local interactions are not allowed, even when there are large differences on the optimal behavior parameters within each agent's neighborhood.


Zeros of hypergeometric functions in the p adic setting. Let p be an odd prime and mathbb F p be the finite field with p elements. McCarthy cite mccarthy pacific initiated a study of hypergeometric functions in the p adic setting. This function can be understood as p adic analogue of Gauss' hypergeometric function, and also some kind of extension of Greene's hypergeometric function over mathbb F p . In this paper we investigate values of two generic families of McCarthy's hypergeometric functions denoted by nG n (t) , and n widetilde G n (t) for n geq3 , and t in mathbb F p . The values of the function nG n (t) certainly depend on whether t is n th power residue modulo p or not. Similarly, the values of the function n widetilde G n (t) rely on the incongruent modulo p solutions of y n y n 1 frac (n 1) n 1 t n n equiv0 pmod p . These results generalize special cases of p adic analogues of Whipple's theorem and Dixon's theorem of classical hypergeometric series. We examine zeros of the functions nG n (t) , and n widetilde G n (t) over mathbb F p . Moreover, we look into the values of t for which nG n (t) 0 for infinitely many primes. For example, we show that there are infinitely many primes for which 2k G 2k ( 1) 0 . In contrast, for t neq0 there is no prime for which 2k widetilde G 2k (t) 0 .


Leam An Interactive System for In situ Visual Text Analysis. With the increase in scale and availability of digital text generated on the web, enterprises such as online retailers and aggregators often use text analytics to mine and analyze the data to improve their services and products alike. Text data analysis is an iterative, non linear process with diverse workflows spanning multiple stages, from data cleaning to visualization. Existing text analytics systems usually accommodate a subset of these stages and often fail to address challenges related to data heterogeneity, provenance, workflow reusability and reproducibility, and compatibility with established practices. Based on a set of design considerations we derive from these challenges, we propose Leam, a system that treats the text analysis process as a single continuum by combining advantages of computational notebooks, spreadsheets, and visualization tools. Leam features an interactive user interface for running text analysis workflows, a new data model for managing multiple atomic and composite data types, and an expressive algebra that captures diverse sets of operations representing various stages of text analysis and enables coordination among different components of the system, including data, code, and visualizations. We report our current progress in Leam development while demonstrating its usefulness with usage examples. Finally, we outline a number of enhancements to Leam and identify several research directions for developing an interactive visual text analysis system.


Sharp Liouville Theorems. Consider the equation div ( varphi 2 nabla sigma) 0 in mathbb R N, where varphi 0 . Berestycki, Caffarelli and Nirenberg proved that if there exists C 0 such that int B R ( varphi sigma) 2 leq CR 2 for every R geq 1 then sigma is necessarily constant. In this paper we provide necessary and sufficient conditions on 0 Psi in C( 1, infty)) for which this result remains true if we replace R 2 with Psi(R) in any dimension N . In the case of the convexity of Psi for large R 1 and Psi' 0 , this condition is equivalent to displaystyle int 1 infty frac 1 Psi' infty .


Intertwining and the Markov uniqueness problem on path spaces. There are two open problem on the analysis of continuous paths on a Riemannian manifold, the Markov uniqueness and the independence of the closure of the differential operator d on its initial domain. The operator d acts naturally on BC 1 functions, one is concerned with its extensions to the L 2 spaces. With a suitable choice of an initial domain we denote by D 2,1 its closure under the graph norm. For the Wiener space, the domain of d can be classified, as a consequence its extension is unique whether the initial domain is smooth cylindrical or in BC 1 etc. This has not shown to be the same when the measure is the probability distribution of any smooth elliptic diffusion. In an earlier paper, we have shown that the closure of BC infty functions agree with that of smooth cylindrical functions, leaving an undesirable gap. The Markov uniqueness is essentially concerned with the problem whether there exists a unique Markov process on the path space whose Markov generator agrees with the infinite dimensional Laplacian on C infty cylindrical functions. Here we reduce Markov uniqueness to whether the pull back of D 2,1 by the ito map is D 2,1 (i.e. a surjection). We also propose a possible approach for tackle this problem.


Digital Contact Tracing Using IP Colocation. The spread of an infectious disease through a population can be modeled using a network or a graph. In digital advertising, internet device graphs are graph data sets that organize identifiers produced by mobile phones, PCs, TVs, and tablets as they access media on the internet. Characterized by immense scale, they have become ubiquitous as they enable targeted advertising, content customization and tracking. This paper posits that internet device graphs, in particular those based on IP colocation, can provide significant utility in predicting and modeling the spread of infectious disease. Starting the week of March 16th, 2020, in the United States, many individuals began to shelter in place' as schools and workplaces across the nation closed because of the COVID 19 pandemic. This paper quantifies the effect of the shelter in place orders on a large scale internet device graph with more than a billion nodes by studying the graph before and after orders went into effect. The effects are clearly visible. The structure of the graph suggests behavior least conducive to transmission of infection occurred in the US between April 12th and 19th, 2020. This paper also discusses the utility of device graphs for i) contact tracing, ii) prediction of hot spots', iii) simulation of infectious disease spread, and iv) delivery of advertisement based warnings to potentially exposed individuals. The paper also posits an overarching question can systems and datasets amassed by entities in the digital ad ecosystem aid in the fight against COVID 19?


Minerva A Portable Machine Learning Microservice Framework for Traditional Enterprise SaaS Applications. In traditional SaaS enterprise applications, microservices are an essential ingredient to deploy machine learning (ML) models successfully. In general, microservices result in efficiencies in software service design, development, and delivery. As they become ubiquitous in the redesign of monolithic software, with the addition of machine learning, the traditional applications are also becoming increasingly intelligent. Here, we propose a portable ML microservice framework Minerva (microservices container for applied ML) as an efficient way to modularize and deploy intelligent microservices in traditional legacy SaaS applications suite, especially in the enterprise domain. We identify and discuss the needs, challenges and architecture to incorporate ML microservices in such applications. Minervas design for optimal integration with legacy applications using microservices architecture leveraging lightweight infrastructure accelerates deploying ML models in such applications.


Physics as Inverse Graphics Unsupervised Physical Parameter Estimation from Video. We propose a model that is able to perform unsupervised physical parameter estimation of systems from video, where the differential equations governing the scene dynamics are known, but labeled states or objects are not available. Existing physical scene understanding methods require either object state supervision, or do not integrate with differentiable physics to learn interpretable system parameters and states. We address this problem through a physics as inverse graphics approach that brings together vision as inverse graphics and differentiable physics engines, enabling objects and explicit state and velocity representations to be discovered. This framework allows us to perform long term extrapolative video prediction, as well as vision based model predictive control. Our approach significantly outperforms related unsupervised methods in long term future frame prediction of systems with interacting objects (such as ball spring or 3 body gravitational systems), due to its ability to build dynamics into the model as an inductive bias. We further show the value of this tight vision physics integration by demonstrating data efficient learning of vision actuated model based control for a pendulum system. We also show that the controller's interpretability provides unique capabilities in goal driven control and physical reasoning for zero data adaptation.


Fully S idempotent modules. Let R be a commutative ring with identity and S be a multiplicatively closed subset of R. The aim of this paper is to introduce the notion of fully S idempotent modules as a generalization of fully idempotent modules and investigate some properties of this class of modules.


DimensionRank Personal Neural Representations for Personalized General Search. Web Search and Social Media have always been two of the most important applications on the internet. We begin by giving a unified framework, called general search, of which which all search and social media products can be seen as instances. DimensionRank is our main contribution. This is an algorithm for personalized general search, based on neural networks. DimensionRank's bold innovation is to model and represent each user using their own unique personal neural representation vector, a learned representation in a real valued multidimensional vector space. This is the first internet service we are aware of that to model each user with their own independent representation vector. This is also the first service we are aware of to attempt personalization for general web search. Also, neural representations allows us to present the first Reddit style algorithm, that is immune to the problem of "brigading". We believe personalized general search will yield a search product orders of magnitude better than Google's one size fits all web search algorithm. Finally, we announce Deep Revelations, a new search and social network internet application based on DimensionRank.


Your Smart Home Can't Keep a Secret Towards Automated Fingerprinting of IoT Traffic with Neural Networks. The IoT (Internet of Things) technology has been widely adopted in recent years and has profoundly changed the people's daily lives. However, in the meantime, such a fast growing technology has also introduced new privacy issues, which need to be better understood and measured. In this work, we look into how private information can be leaked from network traffic generated in the smart home network. Although researchers have proposed techniques to infer IoT device types or user behaviors under clean experiment setup, the effectiveness of such approaches become questionable in the complex but realistic network environment, where common techniques like Network Address and Port Translation (NAPT) and Virtual Private Network (VPN) are enabled. Traffic analysis using traditional methods (e.g., through classical machine learning models) is much less effective under those settings, as the features picked manually are not distinctive any more. In this work, we propose a traffic analysis framework based on sequence learning techniques like LSTM and leveraged the temporal relations between packets for the attack of device identification. We evaluated it under different environment settings (e.g., pure IoT and noisy environment with multiple non IoT devices). The results showed our framework was able to differentiate device types with a high accuracy. This result suggests IoT network communications pose prominent challenges to users' privacy, even when they are protected by encryption and morphed by the network gateway. As such, new privacy protection methods on IoT traffic need to be developed towards mitigating this new issue.


Trisections and link surgeries. We examine questions about surgery on links which arise naturally from the trisection decomposition of 4 manifolds developed by Gay and Kirby. These links lie on Heegaard surfaces in j S 1 times S 2 and have surgeries yielding k S 1 times S 2 . We describe families of links which have such surgeries. One can ask whether all links with such surgeries lie in these families the answer is almost certainly no. We nevertheless give a small piece of evidence in favor of a positive answer.


The Edge connectivity of Token Graphs. Let G be a simple graph of order n geq 2 and let k in 1, ldots ,n 1 . The k token graph F k(G) of G is the graph whose vertices are the k subsets of V(G) , where two vertices are adjacent in F k(G) whenever their symmetric difference is an edge of G . In 2018 J. Lea nos and A. L. Trujillo Negrete proved that if G is t connected and t geq k , then F k(G) is at least k(t k 1) connected. In this paper we show that such a lower bound remains true in the context of edge connectivity. Specifically, we show that if G is t edge connected and t geq k , then F k(G) is at least k(t k 1) edge connected. We also provide some families of graphs attaining this bound.


Subrings of mathbb Z t (t 4) . In this note we study the distribution of the subrings of mathbb Z t (t 4) and prove two results. The first result gives an asymptotic formula for the number of subrings of mathbb Z t (t 4) of bounded index. The method of proof of this theorem is p adic integration a la Grunewald, Segal, and Smith. Our second result is about the distribution of cocyclic subrings in mathbb Z t (t 4) . Our proof of this result is combinatorial and is based on counting certain classes of matrices with Smith normal forms of a special form.


A journey in modal proof theory From minimal normal modal logic to discrete linear temporal logic. Extending and generalizing the approach of 2 sequents (Masini, 1992), we present sequent calculi for the classical modal logics in the K, D, T, S4 spectrum. The systems are presented in a uniform way different logics are obtained by tuning a single parameter, namely a constraint on the applicability of a rule. Cut elimination is proved only once, since the proof goes through independently from the constraints giving rise to the different systems. A sequent calculus for the discrete linear temporal logic ltl is also given and proved complete. Leitmotiv of the paper is the formal analogy between modality and first order quantification.


Francesco Carlini Kepler's equation and the asymptotic solution to singular differential equations. Carlini's career was mainly dedicated to astronomy, but he was also a particularly skilled mathematician. In this article we collect and analyse his mathematical contributions in detail. In particular, in his important Memoir of the year 1817 devoted to Kepler's equation he introduced an innovative idea to solve ordinary differential equations with singular perturbations by means of asymptotic expansions. In the same Memoir also appeared, five years before Laplace's contributions, what is usually called the Laplace limit constant. Furthermore, Carlini published other mathematical Memoirs anticipating, 70 years in advance, the importance of complex branches of the Lambert's special function.


On the prediction of critical heat flux using a physics informed machine learning aided framework. The critical heat flux (CHF) corresponding to the departure from nucleate boiling (DNB) crisis is essential to the design and safety of a two phase flow boiling system. Despite the abundance of predictive tools available to the thermal engineering community, the path for an accurate, robust CHF model remains elusive due to lack of consensus on the DNB triggering mechanism. This work aims to apply a physics informed, machine learning (ML) aided hybrid framework to achieve superior predictive capabilities. Such a hybrid approach takes advantage of existing understanding in the field of interest (i.e., domain knowledge) and uses ML to capture undiscovered information from the mismatch between the actual and domain knowledge predicted target. A detailed case study is carried out with an extensive DNB specific CHF database to demonstrate (1) the improved performance of the hybrid approach as compared to traditional domain knowledge based models, and (2) the hybrid model's superior generalization capabilities over standalone ML methods across a wide range of flow conditions. The hybrid framework could also readily extend its applicability domain and complexity on the fly, showing an elevated level of flexibility and robustness. Based on the case study conclusions, the window type extrapolation mapping methodology is further proposed to better inform high cost experimental work.


Entropy rigidity for foliations by strictly convex projective manifolds. Let N be a compact manifold with a foliation mathscr F N whose leaves are compact strictly convex projective manifolds. Let M be a compact manifold with a foliation mathscr F M whose leaves are compact hyperbolic manifolds of dimension bigger than or equal to 3 . Suppose to have a foliation preserving homeomorphism f (N, mathscr F N) rightarrow (M, mathscr F M) which is C 1 regular when restricted to leaves. In the previous situation there exists a well defined notion of foliated volume entropies h(N, mathscr F N) and h(M, mathscr F M) and it holds h(M, mathscr F M) leq h(N, mathscr F N) . Additionally, if equality holds, then the leaves must be homothetic.


Overcoming Limitations of Mixture Density Networks A Sampling and Fitting Framework for Multimodal Future Prediction. Future prediction is a fundamental principle of intelligence that helps plan actions and avoid possible dangers. As the future is uncertain to a large extent, modeling the uncertainty and multimodality of the future states is of great relevance. Existing approaches are rather limited in this regard and mostly yield a single hypothesis of the future or, at the best, strongly constrained mixture components that suffer from instabilities in training and mode collapse. In this work, we present an approach that involves the prediction of several samples of the future with a winner takes all loss and iterative grouping of samples to multiple modes. Moreover, we discuss how to evaluate predicted multimodal distributions, including the common real scenario, where only a single sample from the ground truth distribution is available for evaluation. We show on synthetic and real data that the proposed approach triggers good estimates of multimodal distributions and avoids mode collapse. Source code is available at href https github.com lmb freiburg Multimodal Future Prediction text this https URL.


Search based Crash Reproduction using Behavioral Model Seeding. Search based crash reproduction approaches assist developers during debugging by generating a test case which reproduces a crash given its stack trace. One of the fundamental steps of this approach is creating objects needed to trigger the crash. One way to overcome this limitation is seeding using information about the application during the search process. With seeding, the existing usages of classes can be used in the search process to produce realistic sequences of method calls which create the required objects. In this study, we introduce behavioral model seeding a new seeding method which learns class usages from both the system under test and existing test cases. Learned usages are then synthesized in a behavioral model (state machine). Then, this model serves to guide the evolutionary process. To assess behavioral model seeding, we evaluate it against test seeding (the state of the art technique for seeding realistic objects) and no seeding (without seeding any class usage). For this evaluation, we use a benchmark of 124 hard to reproduce crashes stemming from six open source projects. Our results indicate that behavioral model seeding outperforms both test seeding and no seeding by a minimum of 6 without any notable negative impact on efficiency.


SpinNet Learning a General Surface Descriptor for 3D Point Cloud Registration. Extracting robust and general 3D local features is key to downstream tasks such as point cloud registration and reconstruction. Existing learning based local descriptors are either sensitive to rotation transformations, or rely on classical handcrafted features which are neither general nor representative. In this paper, we introduce a new, yet conceptually simple, neural architecture, termed SpinNet, to extract local features which are rotationally invariant whilst sufficiently informative to enable accurate registration. A Spatial Point Transformer is first introduced to map the input local surface into a carefully designed cylindrical space, enabling end to end optimization with SO(2) equivariant representation. A Neural Feature Extractor which leverages the powerful point based and 3D cylindrical convolutional neural layers is then utilized to derive a compact and representative descriptor for matching. Extensive experiments on both indoor and outdoor datasets demonstrate that SpinNet outperforms existing state of the art techniques by a large margin. More critically, it has the best generalization ability across unseen scenarios with different sensor modalities. The code is available at https github.com QingyongHu SpinNet.


On n centralizer CA groups. Let G be a finite non abelian group and m G Z(G) . In this paper we investigate m centralizer group G with cyclic center and we will prove that if G is a finite non abelian m centralizer CA group, then there exists an integer r 1 such that m 2 r. It is also prove that if G is an m centralizer non abelian finite group which is not a CA group and its derived subgroup G' is of order 2, then there exists an integer s 1 such that m 2 2s .


Hilbert geometry of the Siegel disk The Siegel Klein disk model. We study the Hilbert geometry induced by the Siegel disk domain, an open bounded convex set of complex square matrices of operator norm strictly less than one. This Hilbert geometry yields a generalization of the Klein disk model of hyperbolic geometry, henceforth called the Siegel Klein disk model to differentiate it with the classical Siegel upper plane and disk domains. In the Siegel Klein disk, geodesics are by construction always unique and Euclidean straight, allowing one to design efficient geometric algorithms and data structures from computational geometry. For example, we show how to approximate the smallest enclosing ball of a set of complex square matrices in the Siegel disk domains We compare two generalizations of the iterative core set algorithm of Badoiu and Clarkson (BC) in the Siegel Poincar 'e disk and in the Siegel Klein disk We demonstrate that geometric computing in the Siegel Klein disk allows one (i) to bypass the time costly recentering operations to the disk origin required at each iteration of the BC algorithm in the Siegel Poincar 'e disk model, and (ii) to approximate fast and numerically the Siegel Klein distance with guaranteed lower and upper bounds derived from nested Hilbert geometries.


Perturbation analysis for the linear operator equation using pseudospectrum and condition pseudospectrum. In this article, we consider the linear operator equation in a Banach space. The relative perturbation of the solution x corresponding to the perturbation of y, the perturbation of A and the perturbation of both A, y are characterized from the pseudospectrum and the condition pseudospectrum of A. Certain examples are given to illustrate the results. A relation between the pseudospectrum and the condition pseudospectrum of an operator are established. The distance to instability and the distance to singularity of an operator are also found from the condition pseudospectrum of the operator.


Top influencers can be identified universally by combining classical centralities. Information flow, opinion, and epidemics spread over structured networks. When using individual node centrality indicators to predict which nodes will be among the top influencers or spreaders in a large network, no single centrality has consistently good ranking power. We show that statistical classifiers using two or more centralities as input are instead consistently predictive over many diverse, static real world topologies. Certain pairs of centralities cooperate particularly well in statistically drawing the boundary between the top spreaders and the rest local centralities measuring the size of a node's neighbourhood benefit from the addition of a global centrality such as the eigenvector centrality, closeness, or the core number. This is, intuitively, because a local centrality may rank highly some nodes which are located in dense, but peripheral regions of the network a situation in which an additional global centrality indicator can help by prioritising nodes located more centrally. The nodes selected as superspreaders will usually jointly maximise the values of both centralities. As a result of the interplay between centrality indicators, training classifiers with seven classical indicators leads to a nearly maximum average precision function (0.995) across the networks in this study.


Scaling positive random matrices concentration and asymptotic convergence. It is well known that any positive matrix can be scaled to have prescribed row and column sums by multiplying its rows and columns by certain positive scaling factors (which are unique up to a positive scalar). This procedure is known as matrix scaling, and has found numerous applications in operations research, economics, image processing, and machine learning. In this work, we investigate the behavior of the scaling factors and the resulting scaled matrix when the matrix to be scaled is random. Specifically, letting widetilde A in mathbb R M times N be a positive and bounded random matrix whose entries assume a certain type of independence, we provide a concentration inequality for the scaling factors of widetilde A around those of A mathbb E widetilde A . This result is employed to bound the convergence rate of the scaling factors of widetilde A to those of A , as well as the concentration of the scaled version of widetilde A around the scaled version of A in operator norm, as M,N rightarrow infty . When the entries of widetilde A are independent, M N , and all prescribed row and column sums are 1 (i.e., doubly stochastic matrix scaling), both of the previously mentioned bounds are mathcal O ( sqrt log N N ) with high probability. We demonstrate our results in several simulations.


Infinite dimensional families of Calabi Yau threefolds and moduli of vector bundles. We study noncompact Calabi Yau threefolds, their moduli spaces of vector bundles and deformation theory. We present Calabi Yau threefolds that have infinitely many distinct deformations, constructing them explicitily, and describe the effect that such deformations produce on moduli spaces of vector bundles.


L p estimates for wave equations with specific C 0,1 coefficients. Peral Miyachi's celebrated theorem on fixed time L p estimates with loss of derivatives for the wave equation states that the operator (I Delta) frac alpha 2 exp(i sqrt Delta ) is bounded on L p ( mathbb R d ) if and only if alpha geq s p (d 1) frac 1 p frac 1 2 . We extend this result to operators of the form mathcal L sum limits j 1 d a j d partial j a j partial j , such that, for j 1,...,d , the functions a j and a j d only depend on x j , are bounded above and below, but are merely Lipschitz continuous. This is below the C 1,1 regularity that is known to be necessary in general for Strichartz estimates in dimension d geq 2 . Our proof is based on an approach to the boundedness of Fourier integral operators recently developed by Hassell, Rozendaal, and the second author. We construct a scale of adapted Hardy spaces on which exp(i sqrt mathcal L ) is bounded by lifting L p functions to the tent space T p,2 ( mathbb R d ) , using a wave packet transform adapted to the Lipschitz metric induced by the coefficients a j . The result then follows from Sobolev embedding properties of these spaces.


A kinetic description for the herding behavior in financial market. As a continuation of the study of the herding model proposed in (Bae et al. in arXiv 1712.01085, 2017), we consider in this paper the derivation of the kinetic version of the herding model, the existence of the measure valued solution and the corresponding herding behavior at the kinetic level. We first consider the mean field limit of the particle herding model and derive the existence of the measure valued solutions for the kinetic herding model. We then study the herding phenomena of the solutions in two different ways by introducing two different types of herding energy functionals. First, we derive a herding phenomena of the measure valued solutions under virtually no restrictions on the parameter sets using the Barbalat's lemma. We, however, don't get any herding rate in this case. On the other hand, we also establish a Gr "onwall type estimate for another herding functional, leading to the exponential herding rate, under comparatively strict conditions. These results are then extended to smooth solutions.


The vorticity equations in a half plane with measures as initial data. We consider the two dimensional Navier Stokes equations subject to the Dirichlet boundary condition in a half plane for initial vorticity with finite measures. We study local well posedness of the associated vorticity equations for measures with a small pure point part and global well posedness for measures with a small total variation. Our construction is based on an L 1 estimate of a solution operator for the vorticity equations associated with the Stokes equations.


Testing Gap k planarity is NP complete. For all k geq 1 , we show that deciding whether a graph is k planar is NP complete, extending the well known fact that deciding 1 planarity is NP complete. Furthermore, we show that the gap version of this decision problem is NP complete. In particular, given a graph with local crossing number either at most k ge 1 or at least 2k , we show that it is NP complete to decide whether the local crossing number is at most k or at least 2k . This algorithmic lower bound proves the non existence of a (2 epsilon) approximation algorithm for any fixed k ge 1 . In addition, we analyze the sometimes competing relationship between the local crossing number (maximum number of crossings per edge) and crossing number (total number of crossings) of a drawing. We present results regarding the non existence of drawings that simultaneously approximately minimize both the local crossing number and crossing number of a graph.


Analysis of some heterogeneous catalysis models with fast sorption and fast surface chemistry. We investigate limit models resulting from a dimensional analysis of quite general heterogeneous catalysis models with fast sorption (i.e. exchange of mass between the bulk phase and the catalytic surface of a reactor) and fast surface chemistry for a prototypical chemical reactor. For the resulting reaction diffusion systems with linear boundary conditions on the normal mass fluxes, but at the same time nonlinear boundary conditions on the concentrations itself, we provide analytic properties such as local in time well posedness, positivity and global existence of strong solutions in the class mathrm W (1,2) p(J times Omega mathbb R N) , and of classical H "older solutions in the class mathrm C (1 alpha, 2 2 alpha) ( overline J times overline Omega ) . Exploiting that the model is based on thermodynamic principles, we further show a priori bounds related to mass conservation and the entropy principle.


A First Look at Blockchain based Decentralized Applications. With the increasing popularity of blockchain technologies in recent years, blockchain based decentralized applications (DApps for short in this paper) have been rapidly developed and widely adopted in many areas, being a hot topic in both academia and industry. Despite of the importance of DApps, we still have quite little understanding of DApps along with its ecosystem. To bridge the knowledge gap, this paper presents the first comprehensive empirical study of blockchain based DApps to date, based on an extensive dataset of 995 Ethereum DApps and 29,846,075 transaction logs over them. We make a descriptive analysis of the popularity of DApps, summarize the patterns of how DApps use smart contracts to access the underlying blockchain, and explore the worth addressing issues of deploying and operating DApps. Based on the findings, we propose some implications for DApp users to select proper DApps, for DApp developers to improve the efficiency of DApps, and for blockchain vendors to enhance the support of DApps.


Quota based debiasing can decrease representation of already underrepresented groups. Many important decisions in societies such as school admissions, hiring, or elections are based on the selection of top ranking individuals from a larger pool of candidates. This process is often subject to biases, which typically manifest as an under representation of certain groups among the selected or accepted individuals. The most common approach to this issue is debiasing, for example via the introduction of quotas that ensure proportional representation of groups with respect to a certain, often binary attribute. Cases include quotas for women on corporate boards or ethnic quotas in elections. This, however, has the potential to induce changes in representation with respect to other attributes. For the case of two correlated binary attributes we show that quota based debiasing based on a single attribute can worsen the representation of already underrepresented groups and decrease overall fairness of selection. We use several data sets from a broad range of domains from recidivism risk assessments to scientific citations to assess this effect in real world settings. Our results demonstrate the importance of including all relevant attributes in debiasing procedures and that more efforts need to be put into eliminating the root causes of inequalities as purely numerical solutions such as quota based debiasing might lead to unintended consequences.


Thermal conductance of interleaving fins. Interleaving fins can significantly increase the heat transfer by increasing the effective area per unit base area. The fins are separated uniformly by a gap, which is filled with a flow medium to control the heat flux. The heat flux between the plates depends strongly on the thermal conductivity of the fin material and the medium between them as well as the dimensions. In earlier studies empirical a fitting method is used to determine the total effectiveness of the fins. However, it required complete characterization of the fins for each new set of operating conditions. In this paper, a simplified analytical model, but still preserving the main physical traits of the problem is developed. This model reveals the dimensionless parameter group containing both material properties and the fin geometry that govern the heat transfer. Rigorously testing of the model using a numerical finite element model shows an accuracy within 2 over a large parameter space, varying both dimensions and material properties. Lastly, this model is put to test with previously measured experimental data and a good agreement is obtained.