Lexicase selection in Learning Classifier Systems. The lexicase parent selection method selects parents by considering performance on individual data points in random order instead of using a fitness function based on an aggregated data accuracy. While the method has demonstrated promise in genetic programming and more recently in genetic algorithms, its applications in other forms of evolutionary machine learning have not been explored. In this paper, we investigate the use of lexicase parent selection in Learning Classifier Systems (LCS) and study its effect on classification problems in a supervised setting. We further introduce a new variant of lexicase selection, called batch lexicase selection, which allows for the tuning of selection pressure. We compare the two lexicase selection methods with tournament and fitness proportionate selection methods on binary classification problems. We show that batch lexicase selection results in the creation of more generic rules which is favorable for generalization on future data. We further show that batch lexicase selection results in better generalization in situations of partial or missing data.


A Quantitative History of A.I. Research in the United States and China. Motivated by recent interest in the status and consequences of competition between the U.S. and China in A.I. research, we analyze 60 years of abstract data scraped from Scopus to explore and quantify trends in publications on A.I. topics from institutions affiliated with each country. We find the total volume of publications produced in both countries grows with a remarkable regularity over tens of years. While China initially experienced faster growth in publication volume than the U.S., growth slowed in China when it reached parity with the U.S. and the growth rates of both countries are now similar. We also see both countries undergo a seismic shift in topic choice around 1990, and connect this to an explosion of interest in neural network methods. Finally, we see evidence that between 2000 and 2010, China's topic choice tended to lag that of the U.S. but that in recent decades the topic portfolios have come into closer alignment.


Neural Cryptanalysis Metrics, Methodology, and Applications in CPS Ciphers. Many real world cyber physical systems (CPS) use proprietary cipher algorithms. In this work, we describe an easy to use black box security evaluation approach to measure the strength of proprietary ciphers without having to know the algorithms. We quantify the strength of a cipher by measuring how difficult it is for a neural network to mimic the cipher algorithm. We define new metrics (e.g., cipher match rate, training data complexity and training time complexity) that are computed from neural networks to quantitatively represent the cipher strength. This measurement approach allows us to directly compare the security of ciphers. Our experimental demonstration utilizes fully connected neural networks with multiple parallel binary classifiers at the output layer. The results show that when compared with round reduced DES, the security strength of Hitag2 (a popular stream cipher used in the keyless entry of modern cars) is weaker than 3 round DES.


A Distributed Computationally Aware Quantizer Design via Hyper Binning. We design a distributed function aware quantization scheme for distributed functional compression. We consider 2 correlated sources X 1 and X 2 and a destination that seeks the outcome of a continuous function f(X 1, ,X 2) . We develop a compression scheme called hyper binning in order to quantize f via minimizing entropy of joint source partitioning. Hyper binning is a natural generalization of Cover's random code construction for the asymptotically optimal Slepian Wolf encoding scheme that makes use of orthogonal binning. The key idea behind this approach is to use linear discriminant analysis in order to characterize different source feature combinations. This scheme captures the correlation between the sources and function's structure as a means of dimensionality reduction. We investigate the performance of hyper binning for different source distributions, and identify which classes of sources entail more partitioning to achieve better function approximation. Our approach brings an information theory perspective to the traditional vector quantization technique from signal processing.


Evaluating the Calibration of Knowledge Graph Embeddings for Trustworthy Link Prediction. Little is known about the trustworthiness of predictions made by knowledge graph embedding (KGE) models. In this paper we take initial steps toward this direction by investigating the calibration of KGE models, or the extent to which they output confidence scores that reflect the expected correctness of predicted knowledge graph triples. We first conduct an evaluation under the standard closed world assumption (CWA), in which predicted triples not already in the knowledge graph are considered false, and show that existing calibration techniques are effective for KGE under this common but narrow assumption. Next, we introduce the more realistic but challenging open world assumption (OWA), in which unobserved predictions are not considered true or false until ground truth labels are obtained. Here, we show that existing calibration techniques are much less effective under the OWA than the CWA, and provide explanations for this discrepancy. Finally, to motivate the utility of calibration for KGE from a practitioner's perspective, we conduct a unique case study of human AI collaboration, showing that calibrated predictions can improve human performance in a knowledge graph completion task.


Re Transmission Diversity Multiple Access based on SIC and HARQ IR. We consider multiple access with re transmission diversity (RTxD) based on a hybrid automatic request (HARQ) protocol with incremental redundancy (IR) in this paper. In order to mitigate multiple access interference (MAI), we employ successive interference cancellation (SIC) at a receiver and derive conditions that all the signals from active users can be successfully decoded within a certain number of re transmissions of IR blocks. We consider two special cases, and based on them we derive two multichannel random access schemes that have subchannels in the power and rate domains. Through the analysis and simulations, we can show that the proposed RTxD random access schemes can outperform other existing similar RTxD random access schemes.


Probabilistic Social Learning Improves the Public's Detection of Misinformation. The digital spread of misinformation is one of the leading threats to democracy, public health, and the global economy. Popular strategies for mitigating misinformation include crowdsourcing, machine learning, and media literacy programs that require social media users to classify news in binary terms as either true or false. However, research on peer influence suggests that framing decisions in binary terms can amplify judgment errors and limit social learning, whereas framing decisions in probabilistic terms can reliably improve judgments. In this preregistered experiment, we compare online peer networks that collaboratively evaluate the veracity of news by communicating either binary or probabilistic judgments. Exchanging probabilistic estimates of news veracity substantially improved individual and group judgments, with the effect of eliminating polarization in news evaluation. By contrast, exchanging binary classifications reduced social learning and entrenched polarization. The benefits of probabilistic social learning are robust to participants' education, gender, race, income, religion, and partisanship.


Exact Large Time Behavior of Spherically Symmetric Plasmas. We consider the classical and relativistic Vlasov Poisson systems with spherically symmetric initial data and prove the optimal decay rates for all suitable L p norms of the charge density and electric field, as well as, the optimal growth rates for the largest particle position and momentum on the support of the distribution function. Though a previous work cite Horst established upper bounds on the decay of the supremum of the charge density and electric field, we provide a slightly different proof, attain optimal rates, and extend this result to include all other norms. Additionally, we prove sharp lower bounds on each of the aforementioned quantities and establish the time asymptotic behavior of all spatial and momentum characteristics. Finally, we investigate the limiting behavior of the spatial average of the particle distribution as t to infty . In particular, we show that it converges uniformly to a smooth, compactly supported function that preserves the mass, angular momentum, and energy of the system and depends only upon limiting particle momenta.


Generating Long Financial Report using Conditional Variational Autoencoders with Knowledge Distillation. Automatically generating financial report from a piece of news is quite a challenging task. Apparently, the difficulty of this task lies in the lack of sufficient background knowledge to effectively generate long financial report. To address this issue, this paper proposes the conditional variational autoencoders (CVAE) based approach which distills external knowledge from a corpus of news report data. Particularly, we choose Bi GRU as the encoder and decoder component of CVAE, and learn the latent variable distribution from input news. A higher level latent variable distribution is learnt from a corpus set of news report data, respectively extr acted for each input news, to provide background knowledge to previously learnt latent variable distribution. Then, a teacher student network is employed to distill knowledge to refine theoutput of the decoder component. To evaluate the model performance of the proposed approach, extensive experiments are preformed on a public dataset and two widely adopted evaluation criteria, i.e., BLEU and ROUGE, are chosen in the experiment. The promising experimental results demonstrate that the proposed approach is superior to the rest compared methods.


Random dynamics on real and complex projective surfaces. We initiate the study of random iteration of automorphisms of real and complex projective surfaces, or more generally compact K "a hler surfaces, focusing on the fundamental problem of classification of stationary measures. We show that, in a number of cases, such stationary measures are invariant, and provide criteria for uniqueness, smoothness and rigidity of invariant probability measures. This involves a variety of tools from complex and algebraic geometry, random products of matrices, non uniform hyperbolicity, as well as recent results of Brown and Rodriguez Hertz on random iteration of surface diffeomorphisms.


A note on collapsibility of acyclic 2 complexes. We present a Morse theoretic characterization of collapsibility for 2 dimensional acyclic simplicial complexes by means of the values of normalized optimal combinatorial Morse functions.


Deep Verifier Networks Verification of Deep Discriminative Models with Deep Generative Models. AI Safety is a major concern in many deep learning applications such as autonomous driving. Given a trained deep learning model, an important natural problem is how to reliably verify the model's prediction. In this paper, we propose a novel framework deep verifier networks (DVN) to verify the inputs and outputs of deep discriminative models with deep generative models. Our proposed model is based on conditional variational auto encoders with disentanglement constraints. We give both intuitive and theoretical justifications of the model. Our verifier network is trained independently with the prediction model, which eliminates the need of retraining the verifier network for a new model. We test the verifier network on out of distribution detection and adversarial example detection problems, as well as anomaly detection problems in structured prediction tasks such as image caption generation. We achieve state of the art results in all of these problems.


Stochastic homogenization on randomly perforated domains. We study the existence of uniformly bounded extension and trace operators for W 1,p functions on randomly perforated domains, where the geometry is assumed to be stationary ergodic. Such extension and trace operators are important for compactness in stochastic homogenization. In contrast to former approaches and results, we use very weak assumptions on the geometry which we call local ( delta,M) regularity, isotropic cone mixing and bounded average connectivity. The first concept measures local Lipschitz regularity of the domain while the second measures the mesoscopic distribution of void space. The third is the most tricky part and measures the "mesoscopic" connectivity of the geometry. In contrast to former approaches we do not require a minimal distance between the inclusions and we allow for globally unbounded Lipschitz constants and percolating holes. We will illustrate our method by applying it to the Boolean model based on a Poisson point process and to a Delaunay pipe process. We finally introduce suitable Sobolev spaces on mathbb R d and Omega in order to construct a stochastic two scale convergence method and apply the resulting theory to the homogenization of a p Laplace problem on a randomly perforated domain.


A Serious Game Approach for the Electro Mobility Sector. Serious Games (SGs) represent a new approach to improve learning processes more effectively and economically than traditional methods. This paper aims to present a SG approach for the electro mobility context, in order to encourage the use of electric light vehicles. The design of the SG is based on the typical elements of the classic "game" with a real gameplay with different purposes. In this work, the proposed SG aims to raise awareness on environmental issues caused by mobility and actively involve users, on improving livability in the city and on real savings using alternative means to traditional vehicles. The objective of the designed tool is to propose elements of fun and entertainment for tourists or users of electric vehicles in the cities, while giving useful information about the benefits of using such vehicles, discovering touristic and interesting places in the city to discover. In this way, the user is stimulated to explore the artistic and historical aspects of the city through an effective learning process he she is encouraged to search the origins and the peculiarities of the monuments.


Longitudinal Coherence Enhancement of X Ray Free Electron Lasers. We present a new scheme for establishing longitudinal coherence in the output of X ray FELs. It uses a sequence of undulators and delay chicanes and the careful tailoring of the initial e beam with time dependent focusing. Simulation of a simplified model of the FEL shows that the idea works well.


A Message Passing Interpretation of Adjoint Logic. We present a system of session types based on adjoint logic which generalize standard binary session types. Our system allows us to uniformly capture several new behaviors in the space of asynchronous message passing communication, including multicast, where a process sends a single message to multiple clients, replicable services, which have multiple clients and replicate themselves on demand to handle requests from those clients, and cancellation, where a process discards a channel without communicating along it. We provide session fidelity and deadlock freedom results for this system, from which we then derive a logically justified form of garbage collection.


Around the diameter of AT free graphs. A graph algorithm is truly subquadratic if it runs in cal O (m b) time on connected m edge graphs, for some positive b 2 . Roditty and Vassilevska Williams (STOC'13) proved that under plausible complexity assumptions, there is no truly subquadratic algorithm for computing the diameter of general graphs. In this work, we present positive and negative results on the existence of such algorithms for computing the diameter on some special graph classes. Specifically, three vertices in a graph form an asteroidal triple (AT) if between any two of them there exists a path that avoids the closed neighbourhood of the third one. We call a graph AT free if it does not contain an AT. We first prove that for all m edge AT free graphs, one can compute all the eccentricities in truly subquadratic cal O (m 3 2 ) time. Then, we extend our study to several subclasses of chordal graphs all of them generalizing interval graphs in various ways , as an attempt to understand which of the properties of AT free graphs, or natural generalizations of the latter, can help in the design of fast algorithms for the diameter problem on broader graph classes. For instance, for all chordal graphs with a dominating shortest path, there is a linear time algorithm for computing a diametral pair if the diameter is at least four. However, already for split graphs with a dominating edge, under plausible complexity assumptions, there is no truly subquadratic algorithm for deciding whether the diameter is either 2 or 3 .


Learning 3D 3D Correspondences for One shot Partial to partial Registration. While 3D 3D registration is traditionally tacked by optimization based methods, recent work has shown that learning based techniques could achieve faster and more robust results. In this context, however, only PRNet can handle the partial to partial registration scenario. Unfortunately, this is achieved at the cost of relying on an iterative procedure, with a complex network architecture. Here, we show that learning based partial to partial registration can be achieved in a one shot manner, jointly reducing network complexity and increasing registration accuracy. To this end, we propose an Optimal Transport layer able to account for occluded points thanks to the use of outlier bins. The resulting OPRNet framework outperforms the state of the art on standard benchmarks, demonstrating better robustness and generalization ability than existing techniques.


Tightness of the semidefinite relaxation for orthogonal trace sum maximization. This paper studies an optimization problem on the sum of traces of matrix quadratic forms on m orthogonal matrices, which can be considered as a generalization of the synchronization of rotations. While the problem is nonconvex, the paper shows that its semidefinite programming relaxation can solve the original nonconvex problems exactly, under an additive noise model with small noise in the order of O( m 1 4 ) , where m is the number of orthogonal matrices. This result can be considered as a generalization of existing results on phase synchronization.


Footprints and Free Space from a Single Color Image. Understanding the shape of a scene from a single color image is a formidable computer vision task. However, most methods aim to predict the geometry of surfaces that are visible to the camera, which is of limited use when planning paths for robots or augmented reality agents. Such agents can only move when grounded on a traversable surface, which we define as the set of classes which humans can also walk over, such as grass, footpaths and pavement. Models which predict beyond the line of sight often parameterize the scene with voxels or meshes, which can be expensive to use in machine learning frameworks. We introduce a model to predict the geometry of both visible and occluded traversable surfaces, given a single RGB image as input. We learn from stereo video sequences, using camera poses, per frame depth and semantic segmentation to form training data, which is used to supervise an image to image network. We train models from the KITTI driving dataset, the indoor Matterport dataset, and from our own casually captured stereo footage. We find that a surprisingly low bar for spatial coverage of training scenes is required. We validate our algorithm against a range of strong baselines, and include an assessment of our predictions for a path planning task.


Dilation theorem for p approximate Schauder frames for separable Banach spaces. Famous Naimark Han Larson dilation theorem for frames in Hilbert spaces states that every frame for a separable Hilbert space mathcal H is image of a Riesz basis under an orthogonal projection from a separable Hilbert space mathcal H 1 which contains mathcal H isometrically. In this paper, we derive dilation result for p approximate Schauder frames for separable Banach spaces. Our result contains Naimark Han Larson dilation theorem as a particular case.


Attraction to and repulsion from a subset of the unit sphere for isotropic stable L 'evy processes. Taking account of recent developments in the representation of d dimensional isotropic stable L 'evy processes as self similar Markov processes, we consider a number of new ways to condition its path. Suppose that Omega is a region of the unit sphere mathbb S d 1 x in mathbb R d x 1 . We construct the aforesaid stable L 'evy process conditioned to approach mathsf S continuously from either inside or outside of the sphere. Additionally, we show that this these processes are in duality with the stable process conditioned to remain inside the sphere and absorb continuously at the origin and to remain outside of the sphere, respectively. Our results extend the recent contributions of D "oring and Weissman (2018),, where similar conditioning is considered, albeit in one dimension. As is the case there, we appeal to recent fluctuation identities related to the deep factorisation of stable processes.


A q atomic decomposition of weighted tent spaces on spaces of homogeneous type and its application. The theory of tent spaces on mathbb R n was introduced by Coifman, Meyer and Stein, including atomic decomposition, duality theory and so on. Russ generalized the atomic decomposition for tent spaces to the case of spaces of homogeneous type (X,d, mu) . The main purpose of this paper is to extend the results of Coifman, Meyer, Stein and Russ to weighted version. More precisely, we obtain a q atomic decomposition for the weighted tent spaces T p 2,w (X) , where 0 p leq 1, 1 q infty, and w in A infty . As an application, we give an atomic decomposition for weighted Hardy spaces associated to nonnegative self adjoint operators on X .


Collective Identity Formation on Instagram Investigating the Social Movement Fridays for Future. In recent years, social media changed the way individuals participate in social movements. While activists demonstrate on the street to fight for a public goal, members of specific movements can also act collective online. Thus, different aspects might influence the formation of collective identity and therefore drive collective action on social media. This study combines the perspectives of social identity and identity theory in order to examine how members of an opinion based group contribute to the collective group social identity formation and therefore, to collective action. To this end, we applied automated text classification techniques to Instagram communication related to the social movement Fridays for Future. Analysing 1,137 comments showed that individuals mainly express Group Cohesion and Emotional Attachment rather than Solidarity by commenting on Instagram. This study further presents a proposed model of collective group social identity of collective action. Succeeding research aims at enhancing the classification and testing the model.


Arithmetic of idempotents in mathbb Z m mathbb Z . Idempotent elements are a well studied part of ring theory, with several identities of the idempotents in mathbb Z m mathbb Z already known. Although the idempotents are not closed under addition, there are still interesting additive identities that can be derived and used. In this paper, we give several new identities on idempotents in mathbb Z m mathbb Z . We relate finite sublattices over mathbb Z k mathbb Z for all integers k to an infinite lattice that is embedded in the divisibility lattice on mathbb N and to each other as sublattices of this infinite lattice. Using this relation, we generalize several identities on idempotents in mathbb Z m mathbb Z to those involving idempotents related to these finite sublattices. Finally, as an application of the above idempotent identities, we derive an algorithm for calculating modular exponentiation over mathbb Z m mathbb Z .


On the dimension of the Fomin Kirillov algebra and related algebras. Let mathcal E m be the Fomin Kirillov algebra, and let mathcal B mathbb S m be the Nichols Woronowicz algebra model for Schubert calculus on the symmetric group mathbb S m which is a quotient of mathcal E m , i.e. the Nichols algebra associated to a Yetter Drinfeld mathbb S m module defined by the set of reflections of mathbb S m and a specific one dimensional representation of a subgroup of mathbb S m . It is a famous open problem to prove that mathcal E m is infinite dimensional for all m geq 6 . In this work, as a step towards a solution of this problem, we introduce a subalgebra of mathcal B mathbb S m , and prove, under the assumption of finite dimensionality of mathcal B mathbb S m , that this subalgebra admits unique integrals in a strong sense, and we relate these integrals to integrals in mathcal B mathbb S m . The techniques we use rely on braided differential calculus as developed by Bazlov and Liu, and on the notion of integrals for Hopf algebras as introduced by Sweedler.


Plasmonic lattice Kerker effect in UV Vis spectral range. Mostly forsaken, but revived after the emergence of all dielectric nanophotonics, the Kerker effect can be observed in a variety of nanostructures from high index constituents with strong electric and magnetic Mie resonances. Necessary requirement for the existence of a magnetic response limits the use of generally non magnetic conventional plasmonic nanostructures for the Kerker effect. In spite of this, we demonstrate here for the first time the emergence of the lattice Kerker effect in regular plasmonic Al nanostructures. Collective lattice oscillations emerging from delicate interplay between Rayleigh anomalies and localized surface plasmon resonances both of electric and magnetic dipoles, and electric and magnetic quadrupoles result in suppression of the backscattering in a broad spectral range. Variation of geometrical parameters of Al arrays allows for tailoring lattice Kerker effect throughout UV and visible wavelength ranges, which is close to impossible to achieve using other plasmonic or all dielectric materials. It is argued that our results set the ground for wide ramifications in the plasmonics and further application of the Kerker effect.


DoubleTransfer at MEDIQA 2019 Multi Source Transfer Learning for Natural Language Understanding in the Medical Domain. This paper describes our competing system to enter the MEDIQA 2019 competition. We use a multi source transfer learning approach to transfer the knowledge from MT DNN and SciBERT to natural language understanding tasks in the medical domain. For transfer learning fine tuning, we use multi task learning on NLI, RQE and QA tasks on general and medical domains to improve performance. The proposed methods are proved effective for natural language understanding in the medical domain, and we rank the first place on the QA task.


Efficient Recognition of Graph Languages. Graph transformation is the rule based modification of graphs, and is a discipline dating back to the 1970s. In general, to match the left hand graph of a fixed rule within a host graph requires polynomial time, but to improve matching performance, D "orr proposed to equip rules and host graphs with distinguished root nodes. This model was implemented by Plump and Bak, but unfortunately, such rules are not invertible. We address this problem by defining rootedness using a partial function into a two point set rather than pointing graphs with root nodes, meaning derivations are natural double pushouts. Moreover, we give a sufficient condition on rules to give constant time rule application on graphs of bounded degree, and that, the graph class of trees can be recognised in linear time, given an input graph of bounded degree. Finally, we define a new notion of confluence up to garbage and non garbage critical pairs, showing it is sufficient to require strong joinability of only the non garbage critical pairs to establish confluence up to garbage. Finally, this new result, presented for conventional graph transformation systems, can be lifted to our rooted setting by encoding node labels and rootedness as looped edges.


Object classification in analytical chemistry via data driven discovery of partial differential equations. Glycans are one of the most widely investigated biomolecules, due to their roles in numerous vital biological processes. This involvement makes it critical to understand their structure function relationships. Few system independent, LC MS MS (Liquid chromatography tandem mass spectrometry) based studies have been developed with this particular goal, however. When studied, the employed methods generally rely on normalized retention times as well as m z mass to charge ratio of an ion values. Due to these limitations, there is need for quantitative characterization methods which can be used independently of m z values, thus utilizing only normalized retention times. As such, the primary goal of this article is to construct an LC MS MS based classification of the permethylated glycans derived from standard glycoproteins and human blood serum, using a Glucose Unit Index (GUI) as the reference frame in the space of compound parameters. For the reference frame we develop a closed form analytic formula, which is obtained from the Green's function of a relevant convection diffusion absorption equation used to model composite material transport. The aforementioned equation is derived from an Einstein Brownian motion paradigm, which provides a physical interpretation of the time dependence at the point of observation for molecular transport in the experiment. The necessary coefficients are determined via a data driven learning procedure. The methodology is presented in an abstract manner which allows for immediate application to related physical and chemical processes. Results employing the proposed classification method are validated via comparison with experimental mass spectrometer data.


A KAM Theorem for Two dimensional Nonlinear Schr "odinger Equations. We prove an infinite dimensional KAM theorem. As an application, we use the theorem to study the two dimensional nonlinear Schr " o dinger equation iu t triangle u u 2u frac partial f(x,u, bar u) partial bar u 0, quad t in Bbb R, x in Bbb T 2 with periodic boundary conditions, where the nonlinearity displaystyle f(x,u, bar u) sum j,l,j l geq6 a jl (x)u j bar u l , a jl a lj is a real analytic function in a neighborhood of the origin. We obtain for the equation a Whitney smooth family of small amplitude quasi periodic solutions which are partially hyperbolic.


On the enhancement of non functional requirements for cloud assisted middleware based IoT and other applications. The Internet of objects (IoT) will have to meet the non functional needs (QoS, security, etc.) of new business applications supported by the cloud. To do this, the interactions between the underlying application software and the communicating objects will rely on networks and communication middleware with configurable, programmable and dynamically deployable capabilities. These capabilities will be available both on pre existing entities but also on virtual entities, i.e. that will be dynamically created in the Cloud according to the need. In this new ecosystem, meeting the end to end QoS needs of these future applications is a major challenge. This challenge has particularly to be tackled both at the level of the Middleware intermediary entities and at the level of the networks interconnecting these entities. In this context, this paper presents our approach for a self adaptive QoS management at the middleware level for IoT applications. This approach is aimed at 1) taking advantage of the technological opportunities offered by the Cloud, the dynamic deployment of processing functions and the autonomic computing paradigm, 2) taking into account the hetero geneity of the solutions that will coexist in this landscape, and 3) ensuring the consistency of the (re) configuration choices thanks to appropriate theoretical tools.


Fast algorithms for handling diagonal constraints in timed automata. A popular method for solving reachability in timed automata proceeds by enumerating reachable sets of valuations represented as zones. A na "ive enumeration of zones does not terminate. Various termination mechanisms have been studied over the years. Coming up with efficient termination mechanisms has been remarkably more challenging when the automaton has diagonal constraints in guards. In this paper, we propose a new termination mechanism for timed automata with diagonal constraints based on a new simulation relation between zones. Experiments with an implementation of this simulation show significant gains over existing methods.


Dimension of polynomial splines of mixed smoothness on T meshes. In this paper we study the dimension of splines of mixed smoothness on axis aligned T meshes. This is the setting when different orders of smoothness are required across the edges of the mesh. Given a spline space whose dimension is independent of its T mesh's geometric embedding, we present constructive and sufficient conditions that ensure that the smoothness across a subset of the mesh edges can be reduced while maintaining stability of the dimension. The conditions have a simple geometric interpretation. Examples are presented to show the applicability of the results on both hierarchical and non hierarchical T meshes. For hierarchal T meshes it is shown that mixed smoothness spline spaces that contain the space of PHT splines (Deng et al., 2008) always have stable dimension.


The effect of a wall on the interaction of two spheres in shear flow Batchelor Green theory revisited. The seminal Batchelor Green's (BG) theory on the hydrodynamic interaction of two spherical particles of radii a suspended in a viscous shear flow neglects the effect of the boundaries. In the present paper we study how a plane wall modifies this interaction. Using an integral equation for the surface traction we derive the expression for the particles' relative velocity as a sum of the BG's velocity and the term due to the presence of a wall at finite distance, z 0. Our calculation is not the perturbation theory of the BG solution, so the contribution due to the wall is not necessarily small. The distance at which the wall significantly alters the particles interaction scales as z 0 3 5 . The phase portrait of the particles' relative motion is different from the BG theory, where there are two singly connected regions of open and closed trajectories both of infinite volume. For finite z 0, there is a new domain of closed (dancing) and open (swapping) trajectories. The width of this region behaves as 1 z 0. Along the swapping trajectories, that have been previously observed numerically, the incoming particle is turning back after the encounter with the reference particle, rather than passing it by, as in the BG theory. The region of dancing trajectories has infinite volume. We found a one parameter family of equilibrium states, overlooked previously, whereas the pair of spheres flows as a whole without changing its configuration. These states are marginally stable and their perturbation yields a two parameter family of the dancing trajectories, where the particle is orbiting around a fixed point in a frame co moving with the reference particle. We suggest that the phase portrait obtained at z 0 a is topologically stable and can be extended down to rather small z 0 of several particle diameters. We confirm this by direct numerical simulations of the Navier Stokes equations with z 0 5a.


Predicting Social Perception from Faces A Deep Learning Approach. Warmth and competence represent the fundamental traits in social judgment that determine emotional reactions and behavioral intentions towards social targets. This research investigates whether an algorithm can learn visual representations of social categorization and accurately predict human perceivers' impressions of warmth and competence in face images. In addition, this research unravels which areas of a face are important for the classification of warmth and competence. We use Deep Convolutional Neural Networks to extract features from face images and the Gradient weighted Class Activation Mapping (Grad CAM) method to understand the importance of face regions for the classification. Given a single face image the trained algorithm could correctly predict warmth impressions with an accuracy of about 90 and competence impressions with an accuracy of about 80 . The findings have implications for the automated processing of faces and the design of artificial characters.


Mistakes in Games. We define a new concept of "mistake" strategies and actions for strategic form and extensive form games, analyze the relationship to prior main game theoretic solution concepts, study algorithms for computation, and explore practicality. This concept has potential applications to cybersecurity, for example detecting whether a human player is illegally using real time assistance in games like poker.


Bait and Switch Online Training Data Poisoning of Autonomous Driving Systems. We show that by controlling parts of a physical environment in which a pre trained deep neural network (DNN) is being fine tuned online, an adversary can launch subtle data poisoning attacks that degrade the performance of the system. While the attack can be applied in general to any perception task, we consider a DNN based traffic light classifier for an autonomous car that has been trained in one city and is being fine tuned online in another city. We show that by injecting environmental perturbations that do not modify the traffic lights themselves or ground truth labels, the adversary can cause the deep network to learn spurious concepts during the online learning phase. The attacker can leverage the introduced spurious concepts in the environment to cause the model's accuracy to degrade during operation therefore, causing the system to malfunction.


Graph algebras. This introduction to graphs and graph algebras provides the optimal bound for the number of all paths of length k in a graph with N geq k edges and no loops. Our proof relies on a construction of a number of terminating algorithms that reshape such graphs without ever decreasing the number of paths of length k . The key two algorithms work in turns each of them ending with a graph to which the other algorithm can be applied. Finally, one arrives at a specific graph realizing the optimal bound. Herein graph algebras mean path algebras and Leavitt path algebras. For the ground field mathbb C of complex numbers, the latter are viewed as dense subalgebras in their universal C completions called graph C algebras.


Polynomial embeddings of unilateral weighted shifts into 2 variable weighted shifts. Given a bounded sequence omega of positive numbers and its associated unilateral weighted shift W omega acting on the Hilbert space ell 2( mathbb Z ), we consider natural representations of W omega as a 2 variable weighted shift, acting on ell 2( mathbb Z 2). Alternatively, we seek to examine the various ways in which the sequence omega can give rise to a 2 variable weight diagram. Our best (and more general) embedding arises from looking at two polynomials p and q nonnegative on a closed interval I in R and the double indexed moment sequence int p(r) k q(r) ell d sigma(r) k, ell in mathbb Z , where W omega is assumed to be subnormal with Berger measure sigma such that supp sigma subseteq I we call such an embedding a (p,q) embedding of W omega . We prove that every (p,q) embedding of a subnormal weighted shift W omega is (jointly) subnormal, and we explicitly compute its Berger measure. We apply this result to answer three outstanding questions (i) Can the Bergman shift A 2 be embedded in a subnormal 2 variable spherically isometric weighted shift W ( alpha, beta) ? If so, what is the Berger measure of W ( alpha, beta) ? (ii) Can a contractive subnormal unilateral weighted shift be always embedded in a spherically isometric 2 variable weighted shift? (iii) Does there exist a hyponormal 2 variable weighted shift Theta(W omega ) (where Theta(W omega ) denotes the classical embedding of a hyponormal unilateral weighted shift W omega ) such that some integer power of Theta(W omega ) is not hyponormal? As another application, we find an alternative way to compute the Berger measure of the Agler j th shift A j (j geq 2). Our research uses techniques from the theory of disintegration of measures, Riesz functionals, and the functional calculus for the columns of the moment matrix associated to a polynomial embedding.


A sharp bound on the expected local time of a continuous cal L 2 bounded Martingale. For a continuous cal L 2 bounded Martingale with no intervals of constancy, starting at 0 and having final variance sigma 2 , the expected local time at x in cal R is at most sqrt sigma 2 x 2 x . This sharp bound is attained by Standard Brownian Motion stopped at the first exit time from the interval (x sqrt sigma 2 x 2 ,x sqrt sigma 2 x 2 ) . Sharp bounds for the expected maximum, maximal absolute value, maximal diameter and maximal number of upcrossings of intervals, have been established by Dubins and Schwarz (1988), Dubins, Gilat and Meilijson (2009) and by the authors (2017).


Directly accessing octave spanning dissipative Kerr soliton frequency combs in an AlN microring resonator. Self referenced dissipative Kerr solitons (DKSs) based on optical microresonators offer prominent characteristics including miniaturization, low power consumption, broad spectral range and inherent coherence for various applications such as precision measurement, communications, microwave photonics, and astronomical spectrometer calibration. To date, octave spanning DKSs with a free spectral range (FSR) of 1 THz have been achieved only in ultrahigh Q silicon nitride microresonators, with elaborate wavelength control required. Here we demonstrate an octave spanning DKS in an aluminium nitride (AlN) microresonator with moderate loaded Q (500,000) and FSR of 374 GHz. In the design, a TE00 mode and a TE10 mode are nearly degenerate and act as pump and auxiliary modes. The presence of the auxiliary resonance balances the thermal dragging effect in dissipative soliton comb formation, crucially simplifying the DKS generation with a single pump and leading to a wide single soliton access window. We experimentally demonstrate stable DKS operation with a record single soliton step ( 80 pm) and octave spanning bandwidth (1100 2300 nm) through adiabatic pump tuning and on chip power of 340 mW. Our scheme also allows for direct creation of the DKS state with high probability and without elaborate wavelength or power schemes being required to stabilize the soliton behavior.


Separating Invariants for Two Copies of the Natural S n Action. This note provides a set of separating invariants for the ring of vector invariants K V 2 S n of two copies of the natural S n representation V K n over a field of characteristic 0. This set is much smaller than generating sets of K V 2 S n . For n leq 4 we show that this set is minimal with respect to inclusion among all separating sets.


Kaemika app, Integrating protocols and chemical simulation. Kaemika is an app available on the four major app stores. It provides deterministic and stochastic simulation, supporting natural chemical notation enhanced with recursive and conditional generation of chemical reaction networks. It has a liquid handling protocol sublanguage compiled to a virtual digital microfluidic device. Chemical and microfluidic simulations can be interleaved for full experimental cycle modeling. A novel and unambiguous representation of directed multigraphs is used to lay out chemical reaction networks in graphical form.


A stronger form of Neumann's BFC theorem. Given a group G , we write x G for the conjugacy class of G containing the element x . A famous theorem of B. H. Neumann states that if G is a group in which all conjugacy classes are finite with bounded size, then the derived group G' is finite. We establish the following result. Let n be a positive integer and K a subgroup of a group G such that x G leq n for each x in K . Let H langle K G rangle be the normal closure of K . Then the order of the derived group H' is finite and n bounded. Some corollaries of this result are also discussed.


Predict Future Sales using Ensembled Random Forests. This is a method report for the Kaggle data competition 'Predict future sales'. In this paper, we propose a rather simple approach to future sales predicting based on feature engineering, Random Forest Regressor and ensemble learning. Its performance turned out to exceed many of the conventional methods and get final score 0.88186, representing root mean squared error. As of this writing, our model ranked 5th on the leaderboard. (till 8.5.2018)


A Network Formation Game for the Emergence of Hierarchies. We propose a novel network formation game that explains the emergence of various hierarchical structures in groups where self interested or utility maximizing individuals decide to establish or severe relationships of authority or collaboration among themselves. We consider two settings we first consider individuals who do not seek the other party's consent when establishing a relationship and then individuals who do. For both settings, we formally relate the emerged hierarchical structures with the novel inclusion of well motivated hierarchy promoting terms in the individuals' utility functions. We first analyze the game via a static analysis and characterize all the hierarchical structures that can be formed as its solutions. We then consider the game played dynamically under stochastic interactions among individuals implementing better response dynamics and analyze the nature of the converged networks.


The Stefan problem and concavity. We construct examples for the one phase Stefan problem which show that alpha concavity of the solution is in general not preserved in time, for 0 le alpha 1 2 . In particular, this shows that, in contrast to the case of the heat equation for a fixed convex domain, log concavity is not preserved for solutions of the Stefan problem.


Predicting inhibitors for SARS CoV 2 RNA dependent RNA polymerase using machine learning and virtual screening. Global coronavirus disease pandemic (COVID 19) caused by newly identified SARS CoV 2 coronavirus continues to claim the lives of thousands of people worldwide. The unavailability of specific medications to treat COVID 19 has led to drug repositioning efforts using various approaches, including computational analyses. Such analyses mostly rely on molecular docking and require the 3D structure of the target protein to be available. In this study, we utilized a set of machine learning algorithms and trained them on a dataset of RNA dependent RNA polymerase (RdRp) inhibitors to run inference analyses on antiviral and anti inflammatory drugs solely based on the ligand information. We also performed virtual screening analysis of the drug candidates predicted by machine learning models and docked them against the active site of SARS CoV 2 RdRp, a key component of the virus replication machinery. Based on the ligand information of RdRp inhibitors, the machine learning models were able to identify candidates such as remdesivir and baloxavir marboxil, molecules with documented activity against RdRp of the novel coronavirus. Among the other identified drug candidates were beclabuvir, a non nucleoside inhibitor of the hepatitis C virus (HCV) RdRp enzyme, and HCV protease inhibitors paritaprevir and faldaprevir. Further analysis of these candidates using molecular docking against the SARS CoV 2 RdRp revealed low binding energies against the enzyme active site. Our approach also identified anti inflammatory drugs lupeol, lifitegrast, antrafenine, betulinic acid, and ursolic acid to have potential activity against SARS CoV 2 RdRp. We propose that the results of this study are considered for further validation as potential therapeutic options against COVID 19.


Is Word Segmentation Necessary for Deep Learning of Chinese Representations?. Segmenting a chunk of text into words is usually the first step of processing Chinese text, but its necessity has rarely been explored. In this paper, we ask the fundamental question of whether Chinese word segmentation (CWS) is necessary for deep learning based Chinese Natural Language Processing. We benchmark neural word based models which rely on word segmentation against neural char based models which do not involve word segmentation in four end to end NLP benchmark tasks language modeling, machine translation, sentence matching paraphrase and text classification. Through direct comparisons between these two types of models, we find that char based models consistently outperform word based models. Based on these observations, we conduct comprehensive experiments to study why word based models underperform char based models in these deep learning based NLP tasks. We show that it is because word based models are more vulnerable to data sparsity and the presence of out of vocabulary (OOV) words, and thus more prone to overfitting. We hope this paper could encourage researchers in the community to rethink the necessity of word segmentation in deep learning based Chinese Natural Language Processing. footnote Yuxian Meng and Xiaoya Li contributed equally to this paper.


DCDLearn Multi order Deep Cross distance Learning for Vehicle Re Identification. Vehicle re identification (Re ID) has become a popular research topic owing to its practicability in intelligent transportation systems. Vehicle Re ID suffers the numerous challenges caused by drastic variation in illumination, occlusions, background, resolutions, viewing angles, and so on. To address it, this paper formulates a multi order deep cross distance learning ( textbf DCDLearn ) model for vehicle re identification, where an efficient one view CycleGAN model is developed to alleviate exhaustive and enumerative cross camera matching problem in previous works and smooth the domain discrepancy of cross cameras. Specially, we treat the transferred images and the reconstructed images generated by one view CycleGAN as multi order augmented data for deep cross distance learning, where the cross distances of multi order image set with distinct identities are learned by optimizing an objective function with multi order augmented triplet loss and center loss to achieve the camera invariance and identity consistency. Extensive experiments on three vehicle Re ID datasets demonstrate that the proposed method achieves significant improvement over the state of the arts, especially for the small scale dataset.


Centrification of Algebras and Hopf Algebras. We investigate a method of construction of central deformations of associative algebras, which we call centrification. We prove some general results in the case of Hopf algebras and provide several examples.


Extracting a Knowledge Base of COVID 19 Events from Social Media. In this paper, we present a manually annotated corpus of 10,000 tweets containing public reports of five COVID 19 events, including positive and negative tests, deaths, denied access to testing, claimed cures and preventions. We designed slot filling questions for each event type and annotated a total of 31 fine grained slots, such as the location of events, recent travel, and close contacts. We show that our corpus can support fine tuning BERT based classifiers to automatically extract publicly reported events and help track the spread of a new disease. We also demonstrate that, by aggregating events extracted from millions of tweets, we achieve surprisingly high precision when answering complex queries, such as "Which organizations have employees that tested positive in Philadelphia?" We will release our corpus (with user information removed), automatic extraction models, and the corresponding knowledge base to the research community.


Birefringent anti resonant hollow core fiber. Hollow core fibers have demonstrated record performance in applications such as high power pulse delivery, quantum computing, and sensing. However, their routine use is yet to become reality. A major obstacle is the ability to maintain the polarization state of light over a broad range of wavelengths, while also ensuring low attenuation and single mode guidance. Here we simulated, fabricated and characterized a single mode polarization maintaining anti resonant hollow core fiber. The birefringence was achieved by introducing resonators of different thicknesses, thereby creating reduced symmetry in the structure. The measured group birefringence of 4.4x10 5 at 1550 nm is in good agreement with the calculated group birefringence from the simulations. This corresponds to a phase birefringence of 2.5x10 5 at 1550 nm. The measured loss of the fiber was 0.46 dB m at 1550 nm. With its simple structure, low loss, and broadband operation this polarization maintaining anti resonant hollow core fiber is a serious contender for applications in gas based nonlinear optics and communications.


Harnack Inequalities and Ergodicity of Stochastic Reaction Diffusion Equation in L p . We derive Harnack inequalities for a stochastic reaction diffusion equation with dissipative drift driven by additive rough noise in the L p space, for any p ge 2 . These inequalities are used to study the ergodicity of the corresponding Markov semigroup (P t) t ge 0 . The main ingredient of our method is a coupling by the change of measure. Applying our results to the stochastic reaction diffusion equation with a super linear growth drift having a negative leading coefficient, perturbed by a Lipschitz term, indicates that (P t) t ge 0 possesses a unique and thus ergodic invariant measure in L p for all p ge 2 , which is independent of the Lipschitz term.


Geodesic and orthogeodesic identities on hyperbolic surfaces. The lengths of geodesics on hyperbolic surfaces satisfy intriguing equations, known as identities, relating these lengths to geometric quantities of the surface. This paper is about a large family of identities that relate lengths of closed geodesics and orthogeodesics to boundary lengths or number of cusps. These include, as particular cases, identities due to Basmajian, to McShane and to Mirzakhani and Tan Wong Zhang. In stark contrast to previous identities, the identities presented here include the lengths taken among all closed geodesics.


Attacking with bitcoin Using Bitcoin to Build Resilient Botnet Armies. We focus on the problem of botnet orchestration and discuss how attackers can leverage decentralised technologies to dynamically control botnets with the goal of having botnets that are resilient against hostile takeovers. We cover critical elements of the Bitcoin blockchain and its usage for floating command and control servers'. We further discuss how blockchain based botnets can be built and include a detailed discussion of our implementation. We also showcase how specific Bitcoin APIs can be used in order to write extraneous data to the blockchain. Finally, while in this paper, we use Bitcoin to build our resilient botnet proof of concept, the threat is not limited to Bitcoin blockchain and can be generalized.


On board Deep Q Network for UAV assisted Online Power Transfer and Data Collection. Unmanned Aerial Vehicles (UAVs) with Microwave Power Transfer (MPT) capability provide a practical means to deploy a large number of wireless powered sensing devices into areas with no access to persistent power supplies. The UAV can charge the sensing devices remotely and harvest their data. A key challenge is online MPT and data collection in the presence of on board control of a UAV (e.g., patrolling velocity) for preventing battery drainage and data queue overflow of the sensing devices, while up to date knowledge on battery level and data queue of the devices is not available at the UAV. In this paper, an on board deep Q network is developed to minimize the overall data packet loss of the sensing devices, by optimally deciding the device to be charged and interrogated for data collection, and the instantaneous patrolling velocity of the UAV. Specifically, we formulate a Markov Decision Process (MDP) with the states of battery level and data queue length of sensing devices, channel conditions, and waypoints given the trajectory of the UAV and solve it optimally with Q learning. Furthermore, we propose the on board deep Q network that can enlarge the state space of the MDP, and a deep reinforcement learning based scheduling algorithm that asymptotically derives the optimal solution online, even when the UAV has only outdated knowledge on the MDP states. Numerical results demonstrate that the proposed deep reinforcement learning algorithm reduces the packet loss by at least 69.2 , as compared to existing non learning greedy algorithms.


Fine grained Financial Opinion Mining A Survey and Research Agenda. Opinion mining is a prevalent research issue in many domains. In the financial domain, however, it is still in the early stages. Most of the researches on this topic only focus on the coarse grained market sentiment analysis, i.e., 2 way classification for bullish bearish. Thanks to the recent financial technology (FinTech) development, some interdisciplinary researchers start to involve in the in depth analysis of investors' opinions. In this position paper, we first define the financial opinions from both coarse grained and fine grained points of views, and then provide an overview on the issues already tackled. In addition to listing research issues of the existing topics, we further propose a road map of fine grained financial opinion mining for future researches, and point out several challenges yet to explore. Moreover, we provide possible directions to deal with the proposed research issues.


Competition between tenants with strategic resource allocation in 5G network slicing. We propose and analyze a business model for 5G operators. Each operator is entitled to a share of a network operated by an Infrastructure Provider (InP) and use network slicing mechanisms to request network resources as needed for service provision. The network operators become Network Slice Tenants (NSTs). The InP performs the resource allocation based on a vector of weights chosen strategically by each NST. The weights distribute the NST's share of resources between its subscribers in each cell. We propose a strategy profile in which the NST chooses weights equal to the product of its share by the ratio between the total number of subscribers in the cell and the total number of subscribers in the network. We characterize the proposed solution in terms of subscription ratios and fractions of subscribers, for different cell capacities and user sensitivities. The proposed solution provides the exact values for the Nash equilibrium if the cells are homogeneous in terms of normalized capacity, which is a measure of the total amount of resources available in the cell. Otherwise, if the cells are heterogeneous, it provides an accurate approximation. We quantify the deviation from the equilibrium and conclude that it is highly accurate.


Weakly Supervised 3D Object Detection from Lidar Point Cloud. It is laborious to manually label point cloud data for training high quality 3D object detectors. This work proposes a weakly supervised approach for 3D object detection, only requiring a small set of weakly annotated scenes, associated with a few precisely labeled object instances. This is achieved by a two stage architecture design. Stage 1 learns to generate cylindrical object proposals under weak supervision, i.e., only the horizontal centers of objects are click annotated on bird's view scenes. Stage 2 learns to refine the cylindrical proposals to get cuboids and confidence scores, using a few well labeled object instances. Using only 500 weakly annotated scenes and 534 precisely labeled vehicle instances, our method achieves 85 95 the performance of current top leading, fully supervised detectors (which require 3, 712 exhaustively and precisely annotated scenes with 15, 654 instances). More importantly, with our elaborately designed network architecture, our trained model can be applied as a 3D object annotator, allowing both automatic and active working modes. The annotations generated by our model can be used to train 3D object detectors with over 94 of their original performance (under manually labeled data). Our experiments also show our model's potential in boosting performance given more training data. Above designs make our approach highly practical and introduce new opportunities for learning 3D object detection with reduced annotation burden.


A unified framework of SAGE and SONC polynomials and its duality theory. We introduce and study a cone which consists of a class of generalized polynomial functions and which provides a common framework for recent non negativity certificates of polynomials in sparse settings. Specifically, this mathcal S cone generalizes and unifies sums of arithmetic geometric mean exponentials (SAGE) and sums of non negative circuit polynomials (SONC). We provide a comprehensive characterization of the dual cone of the mathcal S cone, which even for its specializations provides novel and projection free descriptions. As applications of this result, we give an exact characterization of the extreme rays of the mathcal S cone and thus also of its specializations, and we provide a subclass of functions for which non negativity coincides with membership in the mathcal S cone. Moreover, we derive from the duality theory an approximation result of non negative univariate polynomials and show that a SONC analogue of Putinar's Positivstellensatz does not exist even in the univariate case.


Macrocyclic Hamilton receptor shuttling dynamics in 2 rotaxanes. Inherent movement of a macrocycle comprising a multi site hydrogen bonding Hamilton type receptor in a series of 2 rotaxanes was investigated by dynamic and VT NMR. In these rotaxanes the varying nature and number of hydrogen bond motifs and stations on the molecular axles influenced ring dynamics. Triazole stations interact selectively by hydrogen bonding with the isophthalamide amide bonds present in the Hamilton macrocycle and fast shuttling (72 kHz at 25 deg C) was observed in a two station variant.


Global existence and decay estimates for the heat equation with exponential nonlinearity. In this paper we consider the initial value problem partial t u Delta u f(u), u(0) u 0 in exp ,L p( mathbb R N), where p 1 and f mathbb R to mathbb R having an exponential growth at infinity with f(0) 0. Under smallness condition on the initial data and for nonlinearity f such that f(u) sim mbox e u q as u to infty , f(u) sim u m as u to 0, 0 q leq p leq ,m, N(m 1) over 2 geq p 1 , we show that the solution is global. Moreover, we obtain decay estimates in Lebesgue spaces for large time which depend on m.


SemanticKITTI A Dataset for Semantic Scene Understanding of LiDAR Sequences. Semantic scene understanding is important for various applications. In particular, self driving cars need a fine grained understanding of the surfaces and objects in their vicinity. Light detection and ranging (LiDAR) provides precise geometric information about the environment and is thus a part of the sensor suites of almost all self driving cars. Despite the relevance of semantic scene understanding for this application, there is a lack of a large dataset for this task which is based on an automotive LiDAR. In this paper, we introduce a large dataset to propel research on laser based semantic segmentation. We annotated all sequences of the KITTI Vision Odometry Benchmark and provide dense point wise annotations for the complete 360 o field of view of the employed automotive LiDAR. We propose three benchmark tasks based on this dataset (i) semantic segmentation of point clouds using a single scan, (ii) semantic segmentation using multiple past scans, and (iii) semantic scene completion, which requires to anticipate the semantic scene in the future. We provide baseline experiments and show that there is a need for more sophisticated models to efficiently tackle these tasks. Our dataset opens the door for the development of more advanced methods, but also provides plentiful data to investigate new research directions.


Effect of magnetic field on the laterally colliding plasma plumes. An experimental investigation of laser produced colliding plasma of aluminium target in the presence of external magnetic field in vacuum is done. Characteristic parameters and line emission of plasma plume in the presence of magnetic field are compared with those for field free case. Axial expansion of the plasma is slowed down in the presence of magnetic field as compared to the field free case. Contrary to the field free case no sharp interaction zone is observed. Higher electron temperature and increased ionic line emission from singly as well as doubly ionized aluminium can be attributed to the Joule heating phenomenon.


Long time behavior of solutions to the 2D Boussinesq equations with zero diffusivity. We address long time behavior of solutions to the 2D Boussinesq equations with zero diffusivity in the cases of the torus, mathbb R 2 , and on a bounded domain with Lions or Dirichlet boundary conditions. In all the cases, we obtain bounds on the long time behavior for the norms of the velocity and the vorticity. In particular, we obtain that the norm Vert (u, rho) Vert H 2 times H 1 is bounded by a single exponential, improving earlier bounds.


Focal points and their implications for M "obius Transforms and Dempster Shafer Theory. Dempster Shafer Theory (DST) generalizes Bayesian probability theory, offering useful additional information, but suffers from a much higher computational burden. A lot of work has been done to reduce the time complexity of information fusion with Dempster's rule, which is a pointwise multiplication of two zeta transforms, and optimal general algorithms have been found to get the complete definition of these transforms. Yet, it is shown in this paper that the zeta transform and its inverse, the M "obius transform, can be exactly simplified, fitting the quantity of information contained in belief functions. Beyond that, this simplification actually works for any function on any partially ordered set. It relies on a new notion that we call focal point and that constitutes the smallest domain on which both the zeta and M "obius transforms can be defined. We demonstrate the interest of these general results for DST, not only for the reduction in complexity of most transformations between belief representations and their fusion, but also for theoretical purposes. Indeed, we provide a new generalization of the conjunctive decomposition of evidence and formulas uncovering how each decomposition weight is tied to the corresponding mass function.


Lower bounds for volumes and orthospectra of hyperbolic manifolds with geodesic boundary. In this paper we derive explicit estimates for the functions which appear in the previous work of Bridgeman and Kahn. As a consequence, we obtain an explicit lower bound for the length of the shortest orthogeodesic in terms of the volume of a hyperbolic manifold with totally geodesic boundary. We also give an alternative derivation of a lower bound for the volumes of these manifolds as a function of the dimension.


Domain Priori Knowledge based Integrated Solution Design for Internet of Services. Various types of services, such as web APIs, IoT services, O2O services, and many others, have flooded on the Internet. Interconnections among these services have resulted in a new phenomenon called "Internet of Services" (IoS). By IoS,people don't need to request multiple services by themselves to fulfill their daily requirements, but it is an IoS platform that is responsible for constructing integrated solutions for them. Since user requirements (URs) are usually coarse grained and transboundary, IoS platforms have to integrate services from multiple domains to fulfill the requirements. Considering there are too many available services in IoS, a big challenge is how to look for a tradeoff between the construction efficiency and the precision of final solutions. For this challenge, we introduce a framework and a platform for transboundary user requirement oriented solution design in IoS. The main idea is to make use of domain priori knowledge derived from the commonness and similarities among massive historical URs and among historical integrated service solutions(ISSs). Priori knowledge is classified into three types requirement patterns (RPs), service patterns (SPs), and probabilistic matching matrix (PMM) between RPs and SPs. A UR is modeled in the form of an intention tree (ITree) along with a set of constraints on intention nodes, and then optimal RPs are selected to cover the I Tree as much as possible. By taking advantage of the PMM, a set of SPs are filtered out and composed together to form the final ISS. Finally, the design of a platform supporting the above process is introduced.


Acknowledging user requirements for accuracy in computational chemistry benchmarks. Computational chemistry has become an important complement to experimental measurements. In order to choose among the multitude of the existing approximations, it is common to use benchmark data sets, and to issue recommendations based on numbers such as mean absolute errors. We argue, using as an example band gaps calculated with density functional approximations, that a more careful study of the benchmark data is needed, stressing that the user's requirements play a role in the choice of an appropriate method. We also appeal to those who measure data capable of being used as a reference, to publish error estimates. We show how the latter can affect the judgment of approximations used in computational chemistry.


New Optimal Z Complementary Code Sets from Matrices of Polynomials. The concept of paraunitary (PU) matrices arose in the early 1990s in the study of multi rate filter banks. So far, these matrices have found wide applications in cryptography, digital signal processing, and wireless communications. Existing PU matrices are subject to certain constraints on their existence and hence their availability is not guaranteed in practice. Motivated by this, for the first time, we introduce a novel concept, called Z paraunitary (ZPU) matrix, whose orthogonality is defined over a matrix of polynomials with identical degree not necessarily taking the maximum value. We show that there exists an equivalence between a ZPU matrix and a Z complementary code set when the latter is expressed as a matrix with polynomial entries. Furthermore, we investigate some important properties of ZPU matrices, which are useful for the extension of matrix sizes and sequence lengths. Finally, we propose a unifying construction framework for optimal ZPU matrices which includes existing PU matrices as a special case.


STEP Spatial Temporal Graph Convolutional Networks for Emotion Perception from Gaits. We present a novel classifier network called STEP, to classify perceived human emotion from gaits, based on a Spatial Temporal Graph Convolutional Network (ST GCN) architecture. Given an RGB video of an individual walking, our formulation implicitly exploits the gait features to classify the emotional state of the human into one of four emotions happy, sad, angry, or neutral. We use hundreds of annotated real world gait videos and augment them with thousands of annotated synthetic gaits generated using a novel generative network called STEP Gen, built on an ST GCN based Conditional Variational Autoencoder (CVAE). We incorporate a novel push pull regularization loss in the CVAE formulation of STEP Gen to generate realistic gaits and improve the classification accuracy of STEP. We also release a novel dataset (E Gait), which consists of 2,177 human gaits annotated with perceived emotions along with thousands of synthetic gaits. In practice, STEP can learn the affective features and exhibits classification accuracy of 89 on E Gait, which is 14 30 more accurate over prior methods.


Model based actor critic GAN (model generator) DRL (actor critic) AGI. Our effort is toward unifying GAN and DRL algorithms into a unifying AI model (AGI or general purpose AI or artificial general intelligence which has general purpose applications to (A) offline learning (of stored data) like GAN in (un semi fully )SL setting such as big data analytics (mining) and visualization (B) online learning (of real or simulated devices) like DRL in RL setting (with out environment reward) such as (real or simulated) robotics and control Our core proposal is adding an (generative predictive) environment model to the actor critic (model free) architecture which results in a model based actor critic architecture with temporal differencing (TD) error and an episodic memory. The proposed AI model is similar to (model free) DDPG and therefore it's called model based DDPG. To evaluate it, we compare it with (model free) DDPG by applying them both to a variety (wide range) of independent simulated robotic and control task environments in OpenAI Gym and Unity Agents. Our initial limited experiments show that DRL and GAN in model based actor critic results in an incremental goal driven intellignce required to solve each task with similar performance to (model free) DDPG. Our future focus is to investigate the proposed AI model potential to (A) unify DRL field inside AI by producing competitive performance compared to the best of model based (PlaNet) and model free (D4PG) approaches (B) bridge the gap between AI and robotics communities by solving the important problem of reward engineering with learning the reward function by demonstration.


Temperature dependent thermal conductivity of a single Germanium nanowire measured by Optothermal Raman Spectroscopy. We investigate temperature dependent thermal conductivity k(T) in a single Ge nanowire (NW) using Optothermal Raman Spectroscopy which utilizes the temperature dependence of Raman lines as a local probe for temperature. The experiment was done from 300 K to above 700 K, a temperature range in which thermal conductivity of single NWs has been explored rarely. The thermal conductivity of Ge NWs (grown by vapor liquid solid mechanism), at around room temperature were observed to lie in the range 1.8 to 4.2 W m.K for diameters between 50 to 110 nm. The thermal conductivity at a given temperature was found to follow a linear dependence on NW diameter, suggesting that the low magnitude of k(T) is determined by diffused scattering of phonons from the surface of NWs that reduces it severely from its bulk value. k(T) shows approximately 1 T behavior which arises from the Umklapp processes. The quantitative estimation of errors arising from the Optothermal measurement and methods to mitigate them has been discussed. We also suggest a quick way to estimate approximately the thermal conductivity of Ge and Si NWs using the above observations.


A Comprehensive Survey on Local Differential Privacy Toward Data Statistics and Analysis. Collecting and analyzing massive data generated from smart devices have become increasingly pervasive in crowdsensing, which are the building blocks for data driven decision making. However, extensive statistics and analysis of such data will seriously threaten the privacy of participating users. Local differential privacy (LDP) has been proposed as an excellent and prevalent privacy model with distributed architecture, which can provide strong privacy guarantees for each user while collecting and analyzing data. LDP ensures that each user's data is locally perturbed first in the client side and then sent to the server side, thereby protecting data from privacy leaks on both the client side and server side. This survey presents a comprehensive and systematic overview of LDP with respect to privacy models, research tasks, enabling mechanisms, and various applications. Specifically, we first provide a theoretical summarization of LDP, including the LDP model, the variants of LDP, and the basic framework of LDP algorithms. Then, we investigate and compare the diverse LDP mechanisms for various data statistics and analysis tasks from the perspectives of frequency estimation, mean estimation, and machine learning. What's more, we also summarize practical LDP based application scenarios. Finally, we outline several future research directions under LDP.


Even faster algorithms for CSAT over supernilpotent algebras. In this paper two algorithms solving circuit satisfiability problem over supernilpotent algebras are presented. The first one is deterministic and is faster than fastest previous algorithm presented by Aichinger. The second one is probabilistic with linear time complexity. Application of the former algorithm to finite groups provides time complexity that is usually lower than in previously best (given by F "oldv 'ari) and application of the latter leads to corollary, that circuit satisfiability problem for group G is either tractable in probabilistic linear time if G is nilpotent or is NP complete if G fails to be nilpotent. The results are obtained, by translating equations between polynomials over supernilpotent algebras to bounded degree polynomial equations over finite fields.


A Role of Symmetries in Evaluation of Fundamental Bounds. A problem of the erroneous duality gap caused by the presence of symmetries is solved in this paper utilizing point group theory. The optimization problems are first divided into two classes based on their predisposition to suffer from this deficiency. Then, the classical problem of Q factor minimization is shown in an example where the erroneous duality gap is eliminated by combining solutions from orthogonal sub spaces. Validity of this treatment is demonstrated in a series of subsequent examples of increasing complexity spanning the wide variety of optimization problems, namely minimum Q factor, maximum antenna gain, minimum total active reflection coefficient, or maximum radiation efficiency with self resonant constraint. They involve problems with algebraic and geometric multiplicities of the eigenmodes, and are completed by an example introducing the selective modification of modal currents falling into one of the symmetry conformal sub spaces. The entire treatment is accompanied with a discussion of finite numerical precision, and mesh grid imperfections and their influence on the results. Finally, the robust and unified algorithm is proposed and discussed, including advanced topics such as the uniqueness of the optimal solutions, dependence on the number of constraints, or an interpretation of the qualitative difference between the two classes of the optimization problems.


An automated system to define the optimal operating settings of cryogenic calorimeters. Cryogenic macro calorimeters instrumented with NTD thermistors have been developed for several decades. The choice of the optimal bias current is crucial for a proper operation of these detectors, both in terms of energy resolution and stability. In this paper we present a set of automatic measurements and analysis procedures for the characterization and optimization of the working configuration of the NTD thermistors. The presented procedures were developed for CUORE, an array of 988 cryogenic macro calorimeters instrumented with NTD thermistors that has been taking data since 2017. These procedures made it possible to characterize a large number of detectors in a reliable way. They are suitable enough to be used also in other large arrays of cryogenic detectors, such as CUPID.


Deeply Equal Weighted Subset Portfolios. The high sensitivity of optimized portfolios to estimation errors has prevented their practical application. To mitigate this sensitivity, we propose a new portfolio model called a Deeply Equal Weighted Subset Portfolio (DEWSP). DEWSP is a subset of top N ranked assets in an asset universe, the members of which are selected based on the predicted returns from deep learning algorithms and are equally weighted. Herein, we evaluate the performance of DEWSPs of different sizes N in comparison with the performance of other types of portfolios such as optimized portfolios and historically equal weighed subset portfolios (HEWSPs), which are subsets of top N ranked assets based on the historical mean returns. We found the following advantages of DEWSPs First, DEWSPs provides an improvement rate of 0.24 to 5.15 in terms of monthly Sharpe ratio compared to the benchmark, HEWSPs. In addition, DEWSPs are built using a purely data driven approach rather than relying on the efforts of experts. DEWSPs can also target the relative risk and return to the baseline of the EWP of an asset universe by adjusting the size N. Finally, the DEWSP allocation mechanism is transparent and intuitive. These advantages make DEWSP competitive in practice.


Unsupervised Deformable Registration for Multi Modal Images via Disentangled Representations. We propose a fully unsupervised multi modal deformable image registration method (UMDIR), which does not require any ground truth deformation fields or any aligned multi modal image pairs during training. Multi modal registration is a key problem in many medical image analysis applications. It is very challenging due to complicated and unknown relationships between different modalities. In this paper, we propose an unsupervised learning approach to reduce the multi modal registration problem to a mono modal one through image disentangling. In particular, we decompose images of both modalities into a common latent shape space and separate latent appearance spaces via an unsupervised multi modal image to image translation approach. The proposed registration approach is then built on the factorized latent shape code, with the assumption that the intrinsic shape deformation existing in original image domain is preserved in this latent space. Specifically, two metrics have been proposed for training the proposed network a latent similarity metric defined in the common shape space and a learningbased image similarity metric based on an adversarial loss. We examined different variations of our proposed approach and compared them with conventional state of the art multi modal registration methods. Results show that our proposed methods achieve competitive performance against other methods at substantially reduced computation time.


Fourier based Rotation invariant Feature Boosting An Efficient Framework for Geospatial Object Detection. Geospatial object detection of remote sensing imagery has been attracting an increasing interest in recent years, due to the rapid development in spaceborne imaging. Most of previously proposed object detectors are very sensitive to object deformations, such as scaling and rotation. To this end, we propose a novel and efficient framework for geospatial object detection in this letter, called Fourier based rotation invariant feature boosting (FRIFB). A Fourier based rotation invariant feature is first generated in polar coordinate. Then, the extracted features can be further structurally refined using aggregate channel features. This leads to a faster feature computation and more robust feature representation, which is good fitting for the coming boosting learning. Finally, in the test phase, we achieve a fast pyramid feature extraction by estimating a scale factor instead of directly collecting all features from image pyramid. Extensive experiments are conducted on two subsets of NWPU VHR 10 dataset, demonstrating the superiority and effectiveness of the FRIFB compared to previous state of the art methods.


Sharp threshold for two dimensional majority dynamics percolation. In this work we consider the two dimensional percolation model arising from the majority dynamics process at a given time t in mathbb R . We show the emergence of a sharp threshold phenomenon for the box crossing event at the critical probability parameter p c(t) . We then use this result in order to obtain stretched exponential bounds on the one arm event probability in the subcritical phase. Our results are based on differential inequalities derived from the OSSS inequality, inspired by the recent developments arXiv 1108.0310, arXiv 1705.07978, and arXiv 1705.03104.


Generalised quantum determinantal rings are maximal orders. Generalised quantum determinantal rings are the analogue in quantum matrices of Schubert varieties. Maximal orders are the noncommutative version of integrally closed rings. In this paper, we show that generalised quantum determinantal rings are maximal orders. The cornerstone of the proof is a description of generalised quantum determinantal rings, up to a localisation, as skew polynomial extensions.


Instantons and some concordance invariants of knots. Concordance invariants of knots are derived from the instanton homology groups with local coefficients, as introduced in earlier work of the authors. These concordance invariants include a 1 parameter family of homomorphisms f r , from the knot concordance group to the reals. Prima facie, these concordance invariants have the potential to provide independent bounds on the genus and number of double points for immersed surfaces with boundary a given knot.


Sharp dimension estimates of the attractor of the damped 2D Euler Bardina equations. We prove existence of the global attractor of the damped and driven 2D Euler Bardina equations on the torus and give an explicit two sided estimate of its dimension that is sharp as alpha to0 .


Guided Navigation from Multiple Viewpoints using Qualitative Spatial Reasoning. Navigation is an essential ability for mobile agents to be completely autonomous and able to perform complex actions. However, the problem of navigation for agents with limited (or no) perception of the world, or devoid of a fully defined motion model, has received little attention from research in AI and Robotics. One way to tackle this problem is to use guided navigation, in which other autonomous agents, endowed with perception, can combine their distinct viewpoints to infer the localisation and the appropriate commands to guide a sensory deprived agent through a particular path. Due to the limited knowledge about the physical and perceptual characteristics of the guided agent, this task should be conducted on a level of abstraction allowing the use of a generic motion model, and high level commands, that can be applied by any type of autonomous agents, including humans. The main task considered in this work is, given a group of autonomous agents perceiving their common environment with their independent, egocentric and local vision sensors, the development and evaluation of algorithms capable of producing a set of high level commands (involving qualitative directions e.g. move left, go straight ahead) capable of guiding a sensory deprived robot to a goal location.


Measuring Disentanglement A Review of Metrics. Learning to disentangle and represent factors of variation in data is an important problem in AI. While many advances are made to learn these representations, it is still unclear how to quantify disentanglement. Several metrics exist, however little is known on their implicit assumptions, what they truly measure and their limits. As a result, it is difficult to interpret results when comparing different representations. In this work, we survey supervised disentanglement metrics and thoroughly analyze them. We propose a new taxonomy in which all metrics fall into one of three families intervention based, predictor based and information based. We conduct extensive experiments, where we isolate representation properties to compare all metrics on many aspects. From experiment results and analysis, we provide insights on relations between disentangled representation properties. Finally, we provide guidelines on how to measure disentanglement and report the results.


Text Classification through Glyph aware Disentangled Character Embedding and Semantic Sub character Augmentation. We propose a new character based text classification framework for non alphabetic languages, such as Chinese and Japanese. Our framework consists of a variational character encoder (VCE) and character level text classifier. The VCE is composed of a beta variational auto encoder ( beta VAE) that learns the proposed glyph aware disentangled character embedding (GDCE). Since our GDCE provides zero mean unit variance character embeddings that are dimensionally independent, it is applicable for our interpretable data augmentation, namely, semantic sub character augmentation (SSA). In this paper, we evaluated our framework using Japanese text classification tasks at the document and sentence level. We confirmed that our GDCE and SSA not only provided embedding interpretability but also improved the classification performance. Our proposal achieved a competitive result to the state of the art model while also providing model interpretability. Our code is available on https github.com IyatomiLab GDCE SSA


Permutation Binomials over Finite Fields. Let mathbb F q denote the finite field with q elements. In this paper we use the relationship between suitable polynomials and number of rational points on algebraic curves to give the exact number of elements a in mathbb F q for which the binomial x n(x (q 1) r a) is a permutation polynomial in the cases r 2 and r 3 .


Convergence of two stage iterative scheme for K weak regular splittings of type II with application to Covid 19 pandemic model. Monotone matrices play a key role in the convergence theory of regular splittings and different types of weak regular splittings. If monotonicity fails, then it is difficult to guarantee the convergence of the above mentioned classes of matrices. In such a case, K monotonicity is sufficient for the convergence of K regular and K weak regular splittings, where K is a proper cone in mathbb R n . However, the convergence theory of a two stage iteration scheme in general proper cone setting is a gap in the literature. Especially, the same study for weak regular splittings of type II (even if in standard proper cone setting, i.e., K mathbb R n ), is open. To this end, we propose convergence theory of two stage iterative scheme for K weak regular splittings of both types in the proper cone setting. We provide some sufficient conditions which guarantee that the induced splitting from a two stage iterative scheme is a K regular splitting and then establish some comparison theorems. We also study K monotone convergence theory of the stationary two stage iterative method in case of a K weak regular splitting of type II. The most interesting and important part of this work is on M matrices appearing in the Covid 19 pandemic model. Finally, numerical computations are performed using the proposed technique to compute the next generation matrix involved in the pandemic model.


Comment on "A tight distance dependent estimator for screening three center Coulomb integrals over Gaussian basis functions" J. Chem. Phys. 142, 154106 (2015) . We extend the tight distance dependent estimator proposed by Hollman et al. J. Chem. Phys. 142, 154106 (2015) for the three center Coulomb integrals over Gaussian atomic orbitals to handle the two center case. We also propose minor modifications of the original three center estimator for the case of contracted ket Gaussians and concentric bra Gaussians.


AI Research Considerations for Human Existential Safety (ARCHES). Framed in positive terms, this report examines how technical AI research might be steered in a manner that is more attentive to humanity's long term prospects for survival as a species. In negative terms, we ask what existential risks humanity might face from AI development in the next century, and by what principles contemporary technical research might be directed to address those risks. A key property of hypothetical AI technologies is introduced, called emph prepotence , which is useful for delineating a variety of potential existential risks from artificial intelligence, even as AI paradigms might shift. A set of auxref dirtot contemporary research directions are then examined for their potential benefit to existential safety. Each research direction is explained with a scenario driven motivation, and examples of existing work from which to build. The research directions present their own risks and benefits to society that could occur at various scales of impact, and in particular are not guaranteed to benefit existential safety if major developments in them are deployed without adequate forethought and oversight. As such, each direction is accompanied by a consideration of potentially negative side effects.


A stability property for a mono dimensional three velocities scheme with relative velocity. In this contribution, we study a stability notion for a fundamental linear one dimensional lattice Boltzmann scheme, this notion being related to the maximum principle. We seek to characterize the parameters of the scheme that guarantee the preservation of the non negativity of the particle distribution functions. In the context of the relative velocity schemes, we derive necessary and sufficient conditions for the non negativity preserving property. These conditions are then expressed in a simple way when the relative velocity is reduced to zero. For the general case, we propose some simple necessary conditions on the relaxation parameters and we put in evidence numerically the non negativity preserving regions. Numerical experiments show finally that no oscillations occur for the propagation of a non smooth profile if the non negativity preserving property is satisfied.


Semantically Interpretable Activation Maps what where how explanations within CNNs. A main issue preventing the use of Convolutional Neural Networks (CNN) in end user applications is the low level of transparency in the decision process. Previous work on CNN interpretability has mostly focused either on localizing the regions of the image that contribute to the result or on building an external model that generates plausible explanations. However, the former does not provide any semantic information and the latter does not guarantee the faithfulness of the explanation. We propose an intermediate representation composed of multiple Semantically Interpretable Activation Maps (SIAM) indicating the presence of predefined attributes at different locations of the image. These attribute maps are then linearly combined to produce the final output. This gives the user insight into what the model has seen, where, and a final output directly linked to this information in a comprehensive and interpretable way. We test the method on the task of landscape scenicness (aesthetic value) estimation, using an intermediate representation of 33 attributes from the SUN Attributes database. The results confirm that SIAM makes it possible to understand what attributes in the image are contributing to the final score and where they are located. Since it is based on learning from multiple tasks and datasets, SIAM improve the explanability of the prediction without additional annotation efforts or computational overhead at inference time, while keeping good performances on both the final and intermediate tasks.


Inverse Kinematics, Identification, RIC based Control, and implementation of an Aerial Manipulator. This paper presents the inverse kinematic analysis and parameters identification of a novel aerial manipulation system. This system consists of 2 link manipulator attached to the bottom of a quadrotor. This new system presents a solution for the limitations found in the current quadrotor manipulation system. By deriving the inverse kinematics, one can design the controller such that the desired end effector position and orientation can be tracked. To study the feasibility of the proposed system, a quadrotor with high enough payload to add the 2 link manipulator is designed and constructed. Experimental setup of the system is introduced with an experiment to estimate the rotors parameters. Its parameters are identified to be used in the simulation and controller design of the proposed system. System dynamics are derived briefly based on Newton Euler Method. The controller of the proposed system is designed based on Robust Internal loop Compensator (RIC) and compared to Fuzzy Model Reference Learning Control (FMRLC) technique which was previously designed and tested for the proposed system. These controllers are tested for provide system stability and trajectory tracking under the effect of picking as well as placing a payload and under the effect of changing the operating region. Simulation framework is implemented in MATLAB SIMULINK environment. The simulation results indicate the effectiveness of the inverse kinematic analysis and the proposed control technique.


DIODE A Dense Indoor and Outdoor DEpth Dataset. We introduce DIODE, a dataset that contains thousands of diverse high resolution color images with accurate, dense, long range depth measurements. DIODE (Dense Indoor Outdoor DEpth) is the first public dataset to include RGBD images of indoor and outdoor scenes obtained with one sensor suite. This is in contrast to existing datasets that focus on just one domain scene type and employ different sensors, making generalization across domains difficult. The dataset is available for download at http diode dataset.org