Expected Utilitarianism. We want artificial intelligence (AI) to be beneficial. This is the grounding assumption of most of the attitudes towards AI research. We want AI to be "good" for humanity. We want it to help, not hinder, humans. Yet what exactly this entails in theory and in practice is not immediately apparent. Theoretically, this declarative statement subtly implies a commitment to a consequentialist ethics. Practically, some of the more promising machine learning techniques to create a robust AI, and perhaps even an artificial general intelligence (AGI) also commit one to a form of utilitarianism. In both dimensions, the logic of the beneficial AI movement may not in fact create "beneficial AI" in either narrow applications or in the form of AGI if the ethical assumptions are not made explicit and clear. Additionally, as it is likely that reinforcement learning (RL) will be an important technique for machine learning in this area, it is also important to interrogate how RL smuggles in a particular type of consequentialist reasoning into the AI particularly, a brute form of hedonistic act utilitarianism. Since the mathematical logic commits one to a maximization function, the result is that an AI will inevitably be seeking more and more rewards. We have two conclusions that arise from this. First, is that if one believes that a beneficial AI is an ethical AI, then one is committed to a framework that posits 'benefit' is tantamount to the greatest good for the greatest number. Second, if the AI relies on RL, then the way it reasons about itself, the environment, and other agents, will be through an act utilitarian morality. This proposition may, or may not, in fact be actually beneficial for humanity.


A stable approach to the equivariant Hopf theorem. Let G be a finite group. For semi free G manifolds which are oriented in the sense of Waner, the homotopy classes of G equivariant maps into a G sphere are described in terms of their degrees, and the degrees occurring are characterized in terms of congruences. This is first shown to be a stable problem and then solved using methods of equivariant stable homotopy theory with respect to a semi free G universe.


Sample Optimal Low Rank Approximation of Distance Matrices. A distance matrix A in mathbb R n times m represents all pairwise distances, A ij mathrm d (x i,y j) , between two point sets x 1,...,x n and y 1,...,y m in an arbitrary metric space ( mathcal Z, mathrm d ) . Such matrices arise in various computational contexts such as learning image manifolds, handwriting recognition, and multi dimensional unfolding. In this work we study algorithms for low rank approximation of distance matrices. Recent work by Bakshi and Woodruff (NeurIPS 2018) showed it is possible to compute a rank k approximation of a distance matrix in time O((n m) 1 gamma ) cdot mathrm poly (k,1 epsilon) , where epsilon 0 is an error parameter and gamma 0 is an arbitrarily small constant. Notably, their bound is sublinear in the matrix size, which is unachievable for general matrices. We present an algorithm that is both simpler and more efficient. It reads only O((n m) k epsilon) entries of the input matrix, and has a running time of O(n m) cdot mathrm poly (k,1 epsilon) . We complement the sample complexity of our algorithm with a matching lower bound on the number of entries that must be read by any algorithm. We provide experimental results to validate the approximation quality and running time of our algorithm.


Holomorphically Homogeneous Real Hypersurfaces in mathbb C 3 . We give a complete description and classification of locally homogeneous real hypersurfaces in mathbb C 3 . Various groups of mathematicians have been studying this problem in the last 25 years, and several significant classes of hypersurfaces under consideration have been studied and classified. The final results in the classification problem presented in this paper are obtained by using the classification of abstract 5 dimensional real Lie algebras, and by studying their representations by algebras of holomorphic vector fields in complex 3 space. The complete list of pairwise inequivalent hypersurfaces that we obtain contains 47 types of homogeneous hypersurfaces some of the types are 1 or 2 parametric families, and each of the others is single hypersurface or a finite family of hypersurface.


A remark on normalizations in a local principle of large deviations. This work is a continuation of 7 . We consider a continuous time birth and death process in which the transition rates have an asymptotical power law dependence upon the position of the process. We establish rough exponential asymptotic for the probability that a sample path of a normalized process lies in a neighborhood of a given nonnegative continuous function. We propose a variety of normalization schemes for which the large deviation functional preserves its natural integral form.


Stabilisation of short wavelength instabilities by parallel to the field shear in long wavelength mathbf E times mathbf B flows. Magnetised plasma turbulence can have a multiscale character instabilities driven by mean temperature gradients drive turbulence at the disparate scales of the ion and the electron gyroradii. Simulations of multiscale turbulence, using equations valid in the limit of infinite scale separation, reveal novel cross scale interaction mechanisms in these plasmas. In the case that both long wavelength (ion gyroradius scale) and short wavelength (electron gyroradius scale) linear instabilities are driven far from marginal stability, we show that the short wavelength instabilities are suppressed by interactions with long wavelength turbulence. The observed suppression is a result of two effects parallel to the field line shearing by the long wavelength mathbf E times mathbf B flows, and the modification of the background density gradient by long wavelength fluctuations. In contrast, simulations of multiscale turbulence where instabilities at both scales are driven near marginal stability demonstrate that when the long wavelength turbulence is sufficiently collisional and zonally dominated the effect of cross scale interaction can be parameterised solely in terms of the local modifications to the mean density and temperature gradients. We discuss physical arguments that qualitatively explain how a change in equilibrium drive leads to the observed transition in the impact of the cross scale interactions.


Recursive evaluation and iterative contraction of N body equivariant features. Mapping an atomistic configuration to an N point correlation of a field associated with the atomic positions (e.g. an atomic density) has emerged as an elegant and effective solution to represent structures as the input of machine learning algorithms. While it has become clear that low order density correlations do not provide a complete representation of an atomic environment, the exponential increase in the number of possible N body invariants makes it difficult to design a concise and effective representation. We discuss how to exploit recursion relations between equivariant features of different orders (generalizations of N body invariants that provide a complete representation of the symmetries of improper rotations) to compute high order terms efficiently. In combination with the automatic selection of the most expressive combination of features at each order, this approach provides a conceptual and practical framework to generate systematically improvable, symmetry adapted representations for atomistic machine learning.


Revisiting Stochastic Extragradient. We fix a fundamental issue in the stochastic extragradient method by providing a new sampling strategy that is motivated by approximating implicit updates. Since the existing stochastic extragradient algorithm, called Mirror Prox, of (Juditsky et al., 2011) diverges on a simple bilinear problem when the domain is not bounded, we prove guarantees for solving variational inequality that go beyond existing settings. Furthermore, we illustrate numerically that the proposed variant converges faster than many other methods on bilinear saddle point problems. We also discuss how extragradient can be applied to training Generative Adversarial Networks (GANs) and how it compares to other methods. Our experiments on GANs demonstrate that the introduced approach may make the training faster in terms of data passes, while its higher iteration complexity makes the advantage smaller.


GAN Tree An Incrementally Learned Hierarchical Generative Framework for Multi Modal Data Distributions. Despite the remarkable success of generative adversarial networks, their performance seems less impressive for diverse training sets, requiring learning of discontinuous mapping functions. Though multi mode prior or multi generator models have been proposed to alleviate this problem, such approaches may fail depending on the empirically chosen initial mode components. In contrast to such bottom up approaches, we present GAN Tree, which follows a hierarchical divisive strategy to address such discontinuous multi modal data. Devoid of any assumption on the number of modes, GAN Tree utilizes a novel mode splitting algorithm to effectively split the parent mode to semantically cohesive children modes, facilitating unsupervised clustering. Further, it also enables incremental addition of new data modes to an already trained GAN Tree, by updating only a single branch of the tree structure. As compared to prior approaches, the proposed framework offers a higher degree of flexibility in choosing a large variety of mutually exclusive and exhaustive tree nodes called GAN Set. Extensive experiments on synthetic and natural image datasets including ImageNet demonstrate the superiority of GAN Tree against the prior state of the arts.


Average based Robustness for Continuous Time Signal Temporal Logic. We propose a new robustness score for continuous time Signal Temporal Logic (STL) specifications. Instead of considering only the most severe point along the evolution of the signal, we use average scores to extract more information from the signal, emphasizing robust satisfaction of all the specifications' subformulae over their entire time interval domains. We demonstrate the advantages of this new score in falsification and control synthesis problems in systems with complex dynamics and multi agent systems.


Weak solutions and weak strong uniqueness for a thermodynamically consistent phase field model. In this paper we prove the existence of weak solutions for a thermodynamically consistent phase field model introduced in 26 in two and three dimensions of space. We use a notion of solution inspired by 18 , where the pointwise internal energy balance is replaced by the total energy inequality complemented with a weak form of the entropy inequality. Moreover, we prove existence of local in time strong solutions and, finally, we show weak strong uniqueness of solutions, meaning that every weak solution coincides with a local strong solution emanating from the same initial data, as long as the latter exists.


Special cubic perturbations of the Duffing oscillator x" x x 3 near the eight loop. We find an upper bound for the number of limit cycles, bifurcating from the 8 loop of the Duffing oscillator x" x x 3 under the special cubic perturbation x" x x 3 lambda 1 y lambda 2 x 2 lambda 3 xy lambda 4 x 2 y .


A polynomial degree robust a posteriori error estimator for N 'ed 'elec discretizations of magnetostatic problems. We present an equilibration based a posteriori error estimator for N 'ed 'elec element discretizations of the magnetostatic problem. The estimator is obtained by adding a gradient correction to the estimator for N 'ed 'elec elements of arbitrary degree presented in J. Gedicke, S. Geevers, and I. Perugia. An equilibrated a posteriori error estimator for arbitrary order N 'ed 'elec elements for magnetostatic problems. Journal of Scientific Computing, 83 1 23, 2020 . This new estimator is proven to be reliable, with reliability constant 1, and efficient, with an efficiency constant that is independent of the polynomial degree of the approximation. These properties are demonstrated in a series of numerical experiments on three dimensional test problems.


Extended Backward Stochastic Volterra Integral Equations, Quasilinear Parabolic Equations, and Feynman Kac Formula. In this paper, we establish the relationship between backward stochastic Volterra integral equations (BSVIEs, for short) and a kind of non local quasilinear (and possibly degenerate) parabolic equations. We first introduce the extended backward stochastic Volterra integral equations (EBSVIEs, for short). Under some mild conditions, we establish the well posedness of EBSVIEs and obtain some regularity results of the adapted solution to the EBSVIEs via Malliavin calculus. We show that a given function expressed in terms of the solution to the EBSVIEs solves a certain system of non local parabolic partial differential equations (PDEs, for short), which generalizes the famous nonlinear Feynman Kac formula in Pardoux Peng 21 .


Description of 2 local derivations and automorphisms on finite dimensional Jordan algebras. In the present paper we introduce and investigate the notion of 2 local linear map on vector spaces. A sufficient condition is obtained for linearity of a 2 local linear map on finite dimensional vector spaces. Based on this result we prove that every 2 local derivation on a finite dimensional formally real Jordan algebra is a derivation. Also we show that every 2 local 1 automorphism (i.e. implemented by single symmetries) of mentioned Jordan algebras is an automorphism.


Using Restricted Boltzmann Machines to Model Molecular Geometries. Precise physical descriptions of molecules can be obtained by solving the Schrodinger equation however, these calculations are intractable and even approximations can be cumbersome. Force fields, which estimate interatomic potentials based on empirical data, are also time consuming. This paper proposes a new methodology for modeling a set of physical parameters by taking advantage of the restricted Boltzmann machine's fast learning capacity and representational power. By training the machine on ab initio data, we can predict new data in the distribution of molecular configurations matching the ab initio distribution. In this paper we introduce a new RBM based on the Tanh activation function, and conduct a comparison of RBMs with different activation functions, including sigmoid, Gaussian, and (Leaky) ReLU. Finally we demonstrate the ability of Gaussian RBMs to model small molecules such as water and ethane.


Algebraic vector bundles and p local A 1 homotopy theory. We construct many low rank" algebraic vector bundles on simple" smooth affine varieties of high dimension. In a related direction, we study the existence of polynomial representatives of elements in the classical (unstable) homotopy groups of spheres. Using techniques of A 1 homotopy theory, we are able to produce motivic" lifts of elements in classical homotopy groups of spheres these lifts provide interesting polynomial maps of spheres and algebraic vector bundles.


Virtual Thing Thing Description based Virtualization. Integrating different Internet of Things devices from different manufacturers to create a mashup scenario can be a tedious and error prone task that involves studying non standard datasheets. A Thing Description (TD) as defined by the World Wide Web Consortium (W3C) can make such a task less complicated by providing a standardized model for describing the metadata and the interface of a Web of Things (WoT) entity. However, a situation where a mashup developer has access to a Thing's TD before having access to the Thing itself may still arise. A way of simulating devices based only on their TDs is thus helpful during the development process of a mashup. In this work, we present a method of creating a virtual Thing that simulates the behavior of a WoT enabled entity based only on its Thing Description.


Alternating Energy Minimization Methods for Multi term Matrix Equations. We develop computational methods for approximating the solution of a linear multi term matrix equation in low rank. We follow an alternating minimization framework, where the solution is represented as a product of two matrices, and approximations to each matrix are sought by solving certain minimization problems repeatedly. The solution methods we present are based on a rank adaptive variant of alternating energy minimization methods that builds an approximation iteratively by successively computing a rank one solution component at each step. We also develop efficient procedures to improve the accuracy of the low rank approximate solutions computed using these successive rank one update techniques. We explore the use of the methods with linear multi term matrix equations that arise from stochastic Galerkin finite element discretizations of parameterized linear elliptic PDEs, and demonstrate their effectiveness with numerical studies.


Towards Robust Named Entity Recognition for Historic German. Recent advances in language modeling using deep neural networks have shown that these models learn representations, that vary with the network depth from morphology to semantic relationships like co reference. We apply pre trained language models to low resource named entity recognition for Historic German. We show on a series of experiments that character based pre trained language models do not run into trouble when faced with low resource datasets. Our pre trained character based language models improve upon classical CRF based methods and previous work on Bi LSTMs by boosting F1 score performance by up to 6 . Our pre trained language and NER models are publicly available under https github.com stefan it historic ner .


Real or Fake? User Behavior and Attitudes Related to Determining the Veracity of Social Media Posts. Citizens and Emergency Managers need to be able to distinguish ''fake'' (untrue) news posts from real news posts on social media during disasters. This paper is based on an online survey conducted in 2018 that produced 341 responses from invitations distributed via email and through Facebook. It explores to what extent and how citizens generally assess whether postings are ''true'' or ''fake,'' and describes indicators of the trustworthiness of content that users would like. The mean response on a semantic differential scale measuring how frequently users attempt to verify the news trustworthiness (a scale from 1 never to 5 always) was 3.37. The most frequent message characteristics citizens' use are grammar and the trustworthiness of the sender. Most respondents would find an indicator of trustworthiness helpful, with the most popular choice being a colored graphic. Limitations and implications for assessments of trustworthiness during disasters are discussed.


Understanding Climate Impacts on Vegetation with Gaussian Processes in Granger Causality. Global warming is leading to unprecedented changes in our planet, with great societal, economical and environmental implications, especially with the growing demand of biofuels and food. Assessing the impact of climate on vegetation is of pressing need. We approached the attribution problem with a novel nonlinear Granger causal (GC) methodology and used a large data archive of remote sensing satellite products, environmental and climatic variables spatio temporally gridded over more than 30 years. We generalize kernel Granger causality by considering the variables cross relations explicitly in Hilbert spaces, and use the covariance in Gaussian processes. The method generalizes the linear and kernel GC methods, and comes with tighter bounds of performance based on Rademacher complexity. Spatially explicit global Granger footprints of precipitation and soil moisture on vegetation greenness are identified more sharply than previous GC methods.


Big mapping class groups with hyperbolic actions classification and applications. We address the question of determining which mapping class groups of infinite type surfaces admit nonelementary continuous actions on hyperbolic spaces. More precisely, let Sigma be a connected, orientable surface of infinite type with tame endspace whose mapping class group is generated by a coarsely bounded subset. We prove that mathrm Map ( Sigma) admits a continuous nonelementary action on a hyperbolic space if and only if Sigma contains a finite type subsurface which intersects all its homeomorphic translates. When Sigma contains such a nondisplaceable subsurface K of finite type, the hyperbolic space we build is constructed from the curve graphs of K and its homeomorphic translates via a construction of Bestvina, Bromberg and Fujiwara. Our construction has several applications first, the second bounded cohomology of mathrm Map ( Sigma) contains an embedded ell 1 second, using work of Dahmani, Guirardel and Osin, we deduce that mathrm Map ( Sigma) contains nontrivial normal free subgroups (while it does not if Sigma has no nondisplaceable subsurface of finite type), has uncountably many quotients and is SQ universal.


A Multihorizon Approach for the Reliability Oriented Network Restructuring Problem, Considering Learning Effects, Construction Time, and Cables Maintenance Costs. This paper presents a techno economic optimisation tool to study how the power system expansion decisions can be taken in a more economical and efficient way, by minimising the consequent costs of network reinforcement and reconfiguration. Analyses are performed to investigate how the network reinforcement and reconfiguration should be planned, within a time horizon of several years, by continuously keeping the network feasibility and ability to satisfy the load. The main contribution of this study is the inclusion of key features within the mathematical model to enhance the investment decision making process. A representative maintenance cost of existing cables and apparatus is included, to analyse the influence of the historical performance of the electric items on the investment decisions. A multihorizon methodology is developed to take into account the long term variation of the demand, combined with the long term variation of cables maintenance costs. Moreover, technological learning coefficients are considered, to take into account the investment costs reductions that arise when an investment in network restructuring and or reconfiguration is repeated throughout the years. Finally, construction time constraints are included to find a proper investment scheduling that allows a feasible power flow, also during the years required to build a new connection or restructure an existing one. This study is also providing recommendations for future research directions within the power system reliability field. The analyses show the important and urgent need of proper methodologies for a better definition of cables projected maintenance costs and learning coefficients dedicated to network restructuring, reconfiguration and expansion.


Cooperative Interference Management for Over the Air Computation Networks. This paper considers a multi cell AirComp network and investigates the optimal power control policies over multiple cells to regulate the effect of inter cell interference. First, we consider the scenario of centralized multi cell power control, where we characterize the Pareto boundary of the multi cell MSE region by minimizing the sum MSE subject to a set of constraints on individual MSEs. Though the sum MSE minimization problem is non convex and its direct solution intractable, we optimally solve this problem via equivalently solving a sequence of convex second order cone program feasibility problems together with a bisection search. Next, we consider distributed power control in the other scenario without a centralized controller, for which an alternative IT based method is proposed to characterize the same MSE Pareto boundary, and enable a decentralized power control algorithm. Accordingly, each AP only needs to individually control the power of its associated devices, but subject to a set of IT constraints on their interference to neighboring cells, while different APs can cooperate in iteratively updating the IT levels by pairwise information exchange, to achieve a Pareto optimal MSE tuple. Last, simulation results demonstrate that cooperative power control using the proposed algorithms can substantially reduce the sum MSE of AirComp networks.


Global classical solutions to an evolutionary model for magnetoelasticity. In this paper, we first prove the local in time existence of the evolutionary model for magnetoelasticity with finite initial energy by employing the nonlinear iterative approach given in cite Jiang Luo 2019 SIAM to deal with the geometric constraint M in mathbb S d 1 in the Landau Lifshitz Gilbert (LLG) equation. Inspired by cite Lin Liu Zhang CPAM2005, Lin Zhang 2008 CPAM , we reformulate the evolutionary model for magnetoelasticity with vanishing external magnetic field H ext , so that a further dissipative term will be sought from the elastic stress. We thereby justify the global well posedness to the evolutionary model for magnetoelasticity with zero external magnetic field under small size of initial data.


Mean field optimal control for biological pattern formation. We propose a mean field optimal control problem for the parameter identification of a given pattern. The cost functional is based on the Wasserstein distance between the probability measures of the modeled and the desired patterns. The first order optimality conditions corresponding to the optimal control problem are derived using a Lagrangian approach on the mean field level. Based on these conditions we propose a gradient descent method to identify relevant parameters such as angle of rotation and force scaling which may be spatially inhomogeneous. We discretize the first order optimality conditions in order to employ the algorithm on the particle level. Moreover, we prove a rate for the convergence of the controls as the number of particles used for the discretization tends to infinity. Numerical results for the spatially homogeneous case demonstrate the feasibility of the approach.


A variant of Schur's product theorem and its applications. We show the following version of the Schur's product theorem. If M (M j,k ) j,k 1 n in mathbb R n times n is a positive semidefinite matrix with all entries on the diagonal equal to one, then the matrix N (N j,k ) j,k 1 n with the entries N j,k M j,k 2 frac 1 n is positive semidefinite. As a corollary of this result, we prove the conjecture of E. Novak on intractability of numerical integration on a space of trigonometric polynomials of degree at most one in each variable. Finally, we discuss also some consequences for Bochner's theorem, covariance matrices of chi 2 variables, and mean absolute values of trigonometric polynomials. Please, have a look into page 6 of the preprint "Lower Bounds for the Error of Quadrature Formulas for Hilbert Spaces" for a discussion of the relation of Theorem 1 and Corollary 2 to Gegenbauer polynomials (pointed out by Dmitriy Bilyk (University of Minnesota)).


Advanced Evasion Attacks and Mitigations on Practical ML Based Phishing Website Classifiers. Machine learning (ML) based approaches have been the mainstream solution for anti phishing detection. When they are deployed on the client side, ML based classifiers are vulnerable to evasion attacks. However, such potential threats have received relatively little attention because existing attacks destruct the functionalities or appearance of webpages and are conducted in the white box scenario, making it less practical. Consequently, it becomes imperative to understand whether it is possible to launch evasion attacks with limited knowledge of the classifier, while preserving the functionalities and appearance. In this work, we show that even in the grey , and black box scenarios, evasion attacks are not only effective on practical ML based classifiers, but can also be efficiently launched without destructing the functionalities and appearance. For this purpose, we propose three mutation based attacks, differing in the knowledge of the target classifier, addressing a key technical challenge automatically crafting an adversarial sample from a known phishing website in a way that can mislead classifiers. To launch attacks in the white and grey box scenarios, we also propose a sample based collision attack to gain the knowledge of the target classifier. We demonstrate the effectiveness and efficiency of our evasion attacks on the state of the art, Google's phishing page filter, achieved 100 attack success rate in less than one second per website. Moreover, the transferability attack on BitDefender's industrial phishing page classifier, TrafficLight, achieved up to 81.25 attack success rate. We further propose a similarity based method to mitigate such evasion attacks, Pelican. We demonstrate that Pelican can effectively detect evasion attacks. Our findings contribute to design more robust phishing website classifiers in practice.


Table Search Using a Deep Contextualized Language Model. Pretrained contextualized language models such as BERT have achieved impressive results on various natural language processing benchmarks. Benefiting from multiple pretraining tasks and large scale training corpora, pretrained models can capture complex syntactic word relations. In this paper, we use the deep contextualized language model BERT for the task of ad hoc table retrieval. We investigate how to encode table content considering the table structure and input length limit of BERT. We also propose an approach that incorporates features from prior literature on table retrieval and jointly trains them with BERT. In experiments on public datasets, we show that our best approach can outperform the previous state of the art method and BERT baselines with a large margin under different evaluation metrics.


cs.SI physics.bio-ph physics.data-an physics.soc-ph

Universal Boolean Logic in Cascading Networks. Computational properties of networks that can undergo cascades are examined. It is shown that universal Boolean logic circuits can be computed by a global cascade having antagonistic interactions. Determinism and cascade frequency of this antagonistic model are explored,as well as its ability to perform classification. Universality of cascade logic may have far reaching consequences, in that it can allow unification of the theory of computation with the theory of percolation.


High order asymptotic expansion for Wiener functionals. By combining the Malliavin calculus with Fourier techniques, we develop a high order asymptotic expansion theory for a sequence of vector valued random variables. Our asymptotic expansion formulas give the development of the characteristic functional and of the local density of the random vectors up to an arbitrary order. We analyzed in details an example related to the wave equation with space time white noise which also provides interesting facts on the correlation structure of the solution to this equation.


A partial knowledge of friends of friends speeds social search. Milgram empirically showed that people knowing only connections to their friends could locate any person in the U.S. in a few steps. Later research showed that social network topology enables a node aware of its full routing to find an arbitrary target in even fewer steps. Yet, the success of people in forwarding efficiently knowing only personal connections is still not fully explained. To study this problem, we emulate it on a real location based social network, Gowalla. It provides explicit information about friends and temporal locations of each user useful for studies of human mobility. Here, we use it to conduct a massive computational experiment to establish new necessary and sufficient conditions for achieving social search efficiency. The results demonstrate that only the distribution of friendship edges and the partial knowledge of friends of friends are essential and sufficient for the efficiency of social search. Surprisingly, the efficiency of the search using the original distribution of friendship edges is not dependent on how the nodes are distributed into space. Moreover, the effect of using a limited knowledge that each node possesses about friends of its friends is strongly nonlinear. We show that gains of such use grow statistically significantly only when this knowledge is limited to a small fraction of friends of friends.


The Brouwer degree associated to classical eigenvalue problems and applications to nonlinear spectral theory. Thanks to a connection between two completely different topics, the classical eigenvalue problem in a finite dimensional real vector space and the Brouwer degree for maps between oriented differentiable real manifolds, we were able to solve, at least in the finite dimensional context, a conjecture regarding global continuation in nonlinear spectral theory that we formulated in some recent papers. The infinite dimensional case seems nontrivial, and is still unsolved.


Elliptic surfaces and intersections of adelic mathbb R divisors. Suppose mathcal E to B is a non isotrivial elliptic surface defined over a number field, for smooth projective curve B . Let k denote the function field overline mathbb Q (B) and E the associated elliptic curve over k . In this article, we construct adelically metrized mathbb R divisors overline D X on the base curve B over a number field, for each X in E(k) otimes mathbb R . We prove non degeneracy of the Arakelov Zhang intersection numbers overline D X cdot overline D Y , as a biquadratic form on E(k) otimes mathbb R . As a consequence, we have the following Bogomolov type statement for the N 'eron Tate height functions on the fibers E t( overline mathbb Q ) of mathcal E over t in B( overline mathbb Q ) given points P 1, ldots, P m in E(k) with m geq 2 , there exist an infinite sequence t n in B( overline mathbb Q ) and small height perturbations P i,t n ' in E t n ( overline mathbb Q ) of specializations P i,t n so that the set P 1, t n ', ldots, P m,t n ' satisfies at least two independent linear relations for all n , if and only if the points P 1, ldots, P m are linearly dependent in E(k) . This gives a new proof of results of Masser and Zannier and of Barroero and Capuano and extends our earlier results. In the Appendix, we prove an equidistribution theorem for adelically metrized mathbb R divisors on projective varieties (over a number field) using results of Moriwaki, extending the equidistribution theorem of Yuan.


Almost Everywhere Convergence of Prolate Spheroidal Series. In this paper, we show that the expansions of functions from L p Paley Wiener type spaces in terms of the prolate spheroidal wave functions converge almost everywhere for 1 p infty , even in the cases when they might not converge in L p norm. We thereby consider the classical Paley Wiener spaces PW c p subset L p( mathcal R ) of functions whose Fourier transform is supported in c,c and Paley Wiener like spaces B alpha,c p subset L p(0, infty) of functions whose Hankel transform mathcal H alpha is supported in 0,c .As a side product, we show the continuity of the projection operator P c alpha f mathcal H alpha( chi 0,c cdot mathcal H alpha f) from L p(0, infty) to L q(0, infty) , 1 p leq q infty .


Cohomological dimension and relative Cohen Maculayness. Let R be a commutative Noetherian (not necessarily local) ring with identity and a be a proper ideal of R. We introduce a notion of a relative system of parameters and characterize them by using the notion of cohomological dimension. Also, we present a criterion of relative Cohen Macaulay modules via relative system of parameters.


FedeRank User Controlled Feedback with Federated Recommender Systems. Recommender systems have shown to be a successful representative of how data availability can ease our everyday digital life. However, data privacy is one of the most prominent concerns in the digital era. After several data breaches and privacy scandals, the users are now worried about sharing their data. In the last decade, Federated Learning has emerged as a new privacy preserving distributed machine learning paradigm. It works by processing data on the user device without collecting data in a central repository. We present FedeRank (https split.to federank), a federated recommendation algorithm. The system learns a personal factorization model onto every device. The training of the model is a synchronous process between the central server and the federated clients. FedeRank takes care of computing recommendations in a distributed fashion and allows users to control the portion of data they want to share. By comparing with state of the art algorithms, extensive experiments show the effectiveness of FedeRank in terms of recommendation accuracy, even with a small portion of shared user data. Further analysis of the recommendation lists' diversity and novelty guarantees the suitability of the algorithm in real production environments.


Singular Improper Affine Spheres from a given Lagrangian Submanifold. Given a Lagrangian submanifold L of the affine symplectic 2n space, one can canonically and uniquely define a center chord and a special improper affine sphere of dimension 2n , both of whose sets of singularities contain L . Although these improper affine spheres (IAS) always present other singularities away from L (the off shell singularities studied in our previous paper), they may also present singularities other than L which are arbitrarily close to L , the so called singularities "on shell". These on shell singularities possess a hidden mathbb Z 2 symmetry that is absent from the off shell singularities. In this paper, we study these canonical IAS obtained from L and their on shell singularities, in arbitrary even dimensions, and classify all stable Lagrangian Legendrian singularities on shell that may occur for these IAS when L is a curve or a Lagrangian surface.


Teacher Student Training and Triplet Loss for Facial Expression Recognition under Occlusion. In this paper, we study the task of facial expression recognition under strong occlusion. We are particularly interested in cases where 50 of the face is occluded, e.g. when the subject wears a Virtual Reality (VR) headset. While previous studies show that pre training convolutional neural networks (CNNs) on fully visible (non occluded) faces improves the accuracy, we propose to employ knowledge distillation to achieve further improvements. First of all, we employ the classic teacher student training strategy, in which the teacher is a CNN trained on fully visible faces and the student is a CNN trained on occluded faces. Second of all, we propose a new approach for knowledge distillation based on triplet loss. During training, the goal is to reduce the distance between an anchor embedding, produced by a student CNN that takes occluded faces as input, and a positive embedding (from the same class as the anchor), produced by a teacher CNN trained on fully visible faces, so that it becomes smaller than the distance between the anchor and a negative embedding (from a different class than the anchor), produced by the student CNN. Third of all, we propose to combine the distilled embeddings obtained through the classic teacher student strategy and our novel teacher student strategy based on triplet loss into a single embedding vector. We conduct experiments on two benchmarks, FER and AffectNet, with two CNN architectures, VGG f and VGG face, showing that knowledge distillation can bring significant improvements over the state of the art methods designed for occluded faces in the VR setting.


Higher chromatic Thom spectra via unstable homotopy theory. We investigate implications of an old conjecture in unstable homotopy theory related to the Cohen Moore Neisendorfer theorem and a conjecture about the mathbf E 2 topological Hochschild cohomology of certain Thom spectra (denoted A , B , and T(n) ) related to Ravenel's X(p n) . We show that these conjectures imply that the orientations mathrm MSpin to mathrm ko and mathrm MString to mathrm tmf admit spectrum level splittings. This is shown by generalizing a theorem of Hopkins and Mahowald, which constructs mathrm H mathbf F p as a Thom spectrum, to construct mathrm BP langle n 1 rangle , mathrm ko , and mathrm tmf as Thom spectra (albeit over T(n) , A , and B respectively, and not over the sphere). This interpretation of mathrm BP langle n 1 rangle , mathrm ko , and mathrm tmf offers a new perspective on Wood equivalences of the form mathrm bo wedge C eta simeq mathrm bu they are related to the existence of certain EHP sequences in unstable homotopy theory. This construction of mathrm BP langle n 1 rangle also provides a different lens on the nilpotence theorem. Finally, we prove a C 2 equivariant analogue of our construction, describing underline mathrm H mathbf Z as a Thom spectrum.


Touchless Typing Using Head Movement based Gestures. In this paper, we propose a novel touchless typing interface that makes use of an on screen QWERTY keyboard and a smartphone camera. The keyboard was divided into nine color coded clusters. The user moved their head toward clusters, which contained the letters that they wanted to type. A front facing smartphone camera recorded the head movements. A bidirectional GRU based model which used pre trained embedding rich in head pose features was employed to translate the recordings into cluster sequences. The model achieved an accuracy of 96.78 and 86.81 under intra and inter user scenarios, respectively, over a dataset of 2234 video sequences collected from 22 users.


Performance of different photocathode materials in a liquid argon purity monitor. Purity monitor devices are increasingly used in noble gas time projection chambers to measure the lifetime of drifting electrons. Purity monitors work by emitting electrons from a photocathode material via the photoelectric effect. The electrons are then drifted towards an anode by means of an applied electric drift field. By measuring the difference in charge between the cathode and the anode, one can extract the lifetime of the drifting electrons in the medium. For the first time, we test the performance of different photocathode materials silver, titanium, and aluminium and compare them to gold, which is the standard photocathode material used for purity monitors. Titanium and aluminium were found to have a worse performance than gold in vacuum, whereas silver showed a signal of the same order of magnitude as gold. Further tests in liquid argon were carried out on silver and gold with the conclusion that the signal produced by silver is about three times stronger than that of gold.


A New Deterministic Algorithm for Dynamic Set Cover. We present a deterministic dynamic algorithm for maintaining a (1 epsilon)f approximate minimum cost set cover with O(f log(Cn) epsilon 2) amortized update time, when the input set system is undergoing element insertions and deletions. Here, n denotes the number of elements, each element appears in at most f sets, and the cost of each set lies in the range 1 C, 1 . Our result, together with that of Gupta et al. STOC 17 , implies that there is a deterministic algorithm for this problem with O(f log(Cn)) amortized update time and O( min( log n, f)) approximation ratio, which nearly matches the polynomial time hardness of approximation for minimum set cover in the static setting. Our update time is only O( log (Cn)) away from a trivial lower bound. Prior to our work, the previous best approximation ratio guaranteed by deterministic algorithms was O(f 2) , which was due to Bhattacharya et al. ICALP 15 . In contrast, the only result that guaranteed O(f) approximation was obtained very recently by Abboud et al. STOC 19 , who designed a dynamic algorithm with (1 epsilon)f approximation ratio and O(f 2 log n epsilon) amortized update time. Besides the extra O(f) factor in the update time compared to our and Gupta et al.'s results, the Abboud et al. algorithm is randomized, and works only when the adversary is oblivious and the sets are unweighted (each set has the same cost). We achieve our result via the primal dual approach, by maintaining a fractional packing solution as a dual certificate. Unlike previous primal dual algorithms that try to satisfy some local constraints for individual sets at all time, our algorithm basically waits until the dual solution changes significantly globally, and fixes the solution only where the fix is needed.


A Review on understanding Brain, and Memory Retention and Recall Processes using EEG and fMRI techniques. Human memory the learning of new information involves changes at the synaptic level between neurons dedicated for storage of in formation. Generally, memory is classified as Long Term Memory and Short Term Memory. The various types of the memory and their disorder are widely studied using neuroimaging techniques like Electroencephalography (EEG) and functional Magnetic Resonance Imaging (fMRI). Brain is effectively occupied with the capabilities of learning, retention and recall. The brain regions (pre frontal cortex, associated hippocampus cortices and their interactions with other lobes) involved in memory recall tasks focuses on understanding the memory retention and recall processes. However, due to highly complicated and dynamic mechanisms of brain, the specific regions where information may reside are not completely explored. In this research paper, recent memory literature using EEG and fMRI studies is reviewed to understand the memory retention and recall processes as well as the various brain regions associated with these processes. A number of stimuli which are reported in previous studies are evaluated and discussed. Furthermore, the challenges which are being faced by researchers in EEG and fMRI methodologies are also presented. Recommendations for the future research related to memory retention and recall are also discussed at the end.


Using GGNN to recommend log statement level. In software engineering, log statement is an important part because programmers can't access to users' program and they can only rely on log message to find the root of bugs. The mechanism of "log level" allows developers and users to specify the appropriate amount of logs to print during the execution of the software. And 26 of the log statement modification is to modify the level. We tried to use ML method to predict the suitable level of log statement. The specific model is GGNN(gated graph neural network) and we have drawn lessons from Microsoft's research. In this work, we apply Graph Neural Networks to predict the usage of log statement level of some open source java projects from github. Given the good performance of GGNN in this task, we are confident that GGNN is an excellent choice for processing source code. We envision this model can play an important role in applying AI ML technique for Software Development Life Cycle more broadly.


Aging a little The optimality of limited senescence in Escherichia coli. Recent studies have shown that even in the absence of extrinsic stress, the morphologically symmetrically dividing model bacteria Escherichia coli do not generate offspring with equal reproductive fitness. Instead, daughter cells exhibit asymmetric division times that converge to two distinct growth states. This represents a limited senescence rejuvenation process derived from asymmetric division that is stable for hundreds of generations. It remains unclear why the bacteria do not continue the senescence beyond this asymptote. Although there are inherent fitness benefits for heterogeneity in population growth rates, the two growth equilibria are surprisingly similar, differing by a few percent. In this work we derive an explicit model for the growth of a bacterial population with two growth equilibria, based on a generalized Fibonacci recurrence, in order to quantify the fitness benefit of a limited senescence process and examine costs associated with asymmetry that could generate the observed behavior. We find that with simple saturating effects of asymmetric partitioning of subcellular components, two distinct but similar growth states may be optimal while providing evolutionarily significant fitness advantages.


On the randomised stability constant for inverse problems. In this paper we introduce the randomised stability constant for abstract inverse problems, as a generalisation of the randomised observability constant, which was studied in the context of observability inequalities for the linear wave equation. We study the main properties of the randomised stability constant and discuss the implications for the practical inversion, which are not straightforward.


Regularization of linear and nonlinear ill posed problems by mollification. In this paper, we address the problem of approximating solutions of ill posed problems using mollification. We quickly review existing mollification regularization methods and provide two new approximate solutions to a general ill posed equation T(f) g where T can be nonlinear. The regularized solutions we define extend the work of Bonnefond and Mar 'echal cite xapi , and trace their origins in the variational formulation of mollification, which to the best of our knowledge, was first introduced by Lannes et al. cite lannes . In addition to consistency results, for the first time, we provide some convergence rates for a mollification method defined through a variational formulation.


Identifying candidate routines for Robotic Process Automation from unsegmented UI logs. Robotic Process Automation (RPA) is a technology to develop software bots that automate repetitive sequences of interactions between users and software applications (a.k.a. routines). To take full advantage of this technology, organizations need to identify and to scope their routines. This is a challenging endeavor in large organizations, as routines are usually not concentrated in a handful of processes, but rather scattered across the process landscape. Accordingly, the identification of routines from User Interaction (UI) logs has received significant attention. Existing approaches to this problem assume that the UI log is segmented, meaning that it consists of traces of a task that is presupposed to contain one or more routines. However, a UI log usually takes the form of a single unsegmented sequence of events. This paper presents an approach to discover candidate routines from unsegmented UI logs in the presence of noise, i.e. events within or between routine instances that do not belong to any routine. The approach is implemented as an open source tool and evaluated using synthetic and real life UI logs.


The Benefits of Autonomous Vehicles for Community Based Trip Sharing. This work reconsiders the concept of community based trip sharing proposed by Hasan et al. (2018) that leverages the structure of commuting patterns and urban communities to optimize trip sharing. It aims at quantifying the benefits of autonomous vehicles for community based trip sharing, compared to a car pooling platform where vehicles are driven by their owners. In the considered problem, each rider specifies a desired arrival time for her inbound trip (commuting to work) and a departure time for her outbound trip (commuting back home). In addition, her commute time cannot deviate too much from the duration of a direct trip. Prior work motivated by reducing parking pressure and congestion in the city of Ann Arbor, Michigan, showed that a car pooling platform for community based trip sharing could reduce the number of vehicles by close to 60 . This paper studies the potential benefits of autonomous vehicles in further reducing the number of vehicles needed to serve all these commuting trips. It proposes a column generation procedure that generates and assembles mini routes to serve inbound and outbound trips, using a lexicographic objective that first minimizes the required vehicle count and then the total travel distance. The optimization algorithm is evaluated on a large scale, real world dataset of commute trips from the city of Ann Arbor, Michigan. The results of the optimization show that it can leverage autonomous vehicles to reduce the daily vehicle usage by 92 , improving upon the results of the original Commute Trip Sharing Problem by 34 , while also reducing daily vehicle miles traveled by approximately 30 . These results demonstrate the significant potential of autonomous vehicles for the shared commuting of a community to a common work destination.


Learning to Manipulate Deformable Objects without Demonstrations. In this paper we tackle the problem of deformable object manipulation through model free visual reinforcement learning (RL). In order to circumvent the sample inefficiency of RL, we propose two key ideas that accelerate learning. First, we propose an iterative pick place action space that encodes the conditional relationship between picking and placing on deformable objects. The explicit structural encoding enables faster learning under complex object dynamics. Second, instead of jointly learning both the pick and the place locations, we only explicitly learn the placing policy conditioned on random pick points. Then, by selecting the pick point that has Maximal Value under Placing (MVP), we obtain our picking policy. This provides us with an informed picking policy during testing, while using only random pick points during training. Experimentally, this learning framework obtains an order of magnitude faster learning compared to independent action spaces on our suite of deformable object manipulation tasks with visual RGB observations. Finally, using domain randomization, we transfer our policies to a real PR2 robot for challenging cloth and rope coverage tasks, and demonstrate significant improvements over standard RL techniques on average coverage.


Fine Grained Named Entity Recognition using ELMo and Wikidata. Fine grained Named Entity Recognition is a task whereby we detect and classify entity mentions to a large set of types. These types can span diverse domains such as finance, healthcare, and politics. We observe that when the type set spans several domains the accuracy of the entity detection becomes a limitation for supervised learning models. The primary reason being the lack of datasets where entity boundaries are properly annotated, whilst covering a large spectrum of entity types. Furthermore, many named entity systems suffer when considering the categorization of fine grained entity types. Our work attempts to address these issues, in part, by combining state of the art deep learning models (ELMo) with an expansive knowledge base (Wikidata). Using our framework, we cross validate our model on the 112 fine grained entity types based on the hierarchy given from the Wiki(gold) dataset.


New examples of stably ergodic diffeomorphisms in dimension 3. We prove that in the isotopy class of any volume preserving partially hyperbolic diffeomorphism in a 3 dimensional manifold, there is a non partially hyperbolic stably ergodic diffeomorphism. In particular, we provide new examples of stably ergodic diffeomorphisms in 3 dimensional manifolds with respect to a smooth volume measure.


Label similarity Curriculum Learning. Curriculum learning can improve neural network training by guiding the optimization to desirable optima. We propose a novel curriculum learning approach for image classification that adapts the loss function by changing the label representation. The idea is to use a probability distribution over classes as target label, where the class probabilities reflect the similarity to the true class. Gradually, this label representation is shifted towards the standard one hot encoding. That is, in the beginning minor mistakes are corrected less than large mistakes, resembling a teaching process in which broad concepts are explained first before subtle differences are taught. The class similarity can be based on prior knowledge. For the special case of the labels being natural words, we propose a generic way to automatically compute the similarities. The natural words are embedded into Euclidean space using a standard word embedding. The probability of each class is then a function of the cosine similarity between the vector representations of the class and the true label. The proposed label similarity curriculum learning (LCL) approach was empirically evaluated using several popular deep learning architectures for image classification tasks applied to five datasets including ImageNet, CIFAR100, and AWA2. In all scenarios, LCL was able to improve the classification accuracy on the test data compared to standard training.


Trans NIH Interagency Workshop on the Use and Development of Assistive Technology for the Aging Population and People with Chronic Disabilities. The first baby boomer born in 1946 turned 65 in 2011 and the last baby boomer will turn 65 in 2029. By then, the total U.S. population over 65 is projected to be 71.5 million (compared with 44.6 million in 2013). The current (2014) median cost of a nursing home is 226 a day ( 82,490 per year), while assisted living is 3500 a month ( 42,000 per year). While the elderly population continues to get larger and costs will continue to rise, nearly ninety percent (90 ) of people want to grow old in their own home and community and remain out of the hospital, nursing home or other institutional setting. New technologies could potentially allow older adults and people with disabilities to remain in their homes longer, reduce health care costs and enhance the quality of life. In summary, there is a need for a new generation of research that addresses the complexity of supporting the quality of life and independence of a vast, diverse, and aging population. While there are common themes and needs in this research that we describe shortly, we must start by recognizing that there is more than one needed path and approach to meet these diverse needs. One path includes the tight integration of chronic disease management in the home with existing acute healthcare systems. Another path embraces comprehensive home health for improving nutrition and social connectedness while combating physical, cognitive and psychological ailments. Yet another path emphasizes wellness, consumer technologies and removing basic barriers to meaningful community participation. These paths will intersect in interesting ways for individuals, families, healthcare providers, and communities. However research is critically needed to illuminate these paths and to make measurable strides in our care and support for over 15 of our nation's citizens.


Differential Imaging Forensics. We introduce some new forensics based on differential imaging, where a novel category of visual evidence created via subtle interactions of light with a scene, such as dim reflections, can be computationally extracted and amplified from an image of interest through a comparative analysis with an additional reference baseline image acquired under similar conditions. This paradigm of differential imaging forensics (DIF) enables forensic examiners for the first time to retrieve the said visual evidence that is readily available in an image or video footage but would otherwise remain faint or even invisible to a human observer. We demonstrate the relevance and effectiveness of our approach through practical experiments. We also show that DIF provides a novel method for detecting forged images and video clips, including deep fakes.


A study of multivalent q starlike functions connected with circular domain. In the present article, our aim is to examine some useful problems including the convolution problem, sufficiency criteria, coefficient estimates and Fekete Szego type inequalities for a new subfamily of analytic and multivalent functions associated with circular domain. In addition, we also define and study a Bernardi integral operator in its q extension for multivalent functions.


CubiCasa5K A Dataset and an Improved Multi Task Model for Floorplan Image Analysis. Better understanding and modelling of building interiors and the emergence of more impressive AR VR technology has brought up the need for automatic parsing of floorplan images. However, there is a clear lack of representative datasets to investigate the problem further. To address this shortcoming, this paper presents a novel image dataset called CubiCasa5K, a large scale floorplan image dataset containing 5000 samples annotated into over 80 floorplan object categories. The dataset annotations are performed in a dense and versatile manner by using polygons for separating the different objects. Diverging from the classical approaches based on strong heuristics and low level pixel operations, we present a method relying on an improved multi task convolutional neural network. By releasing the novel dataset and our implementations, this study significantly boosts the research on automatic floorplan image analysis as it provides a richer set of tools for investigating the problem in a more comprehensive manner.


The Distribution Function of the Longest Path Length in Constant Treewidth DAGs with Random Edge Length. This paper is about the length X rm MAX of the longest path in directed acyclic graph (DAG) G (V,E) with random edge lengths, where V n and E m . When the edge lengths are mutually independent and uniformly distributed, the problem of computing the distribution function Pr X rm MAX le x is known to be P hard even in case G is a directed path. In this case, Pr X rm MAX le x is equal to the volume of the knapsack polytope, an m dimensional unit hypercube truncated by a halfspace. In this paper, we show that there is a deterministic fully polynomial time approximation scheme (FPTAS) for computing Pr X rm MAX le x in case the treewidth of G is at most a constant k . The running time of our algorithm is O(k 2 n( frac 16(k 1)mn 2 epsilon ) 4k 2 6k 2 ) to achieve a multiplicative approximation ratio 1 epsilon . Before our FPTAS, we present a fundamental formula that represents Pr X rm MAX le x by at most n 1 repetitions of definite integrals. Moreover, in case the edge lengths follow the mutually independent standard exponential distribution, we show a ((4k 2)mn) O(k) time exact algorithm. For random edge lengths satisfying certain conditions, we also show that computing Pr X rm MAX le x is fixed parameter tractable if we choose treewidth k , the additive error epsilon' , and x as the parameters.


Higher simple structure sets of lens spaces with the fundamental group of arbitrary order. Extending work of many authors we calculate the higher simple structure sets of lens spaces in the sense of surgery theory with the fundamental group of arbitrary order. As a corollary we also obtain a calculation of the simple structure sets of the products of lens spaces and spheres of dimension grater or equal to 3 .


Solving differential Riccati equations A nonlinear space time method using tensor trains. Differential algebraic Riccati equations are at the heart of many applications in control theory. They are time depent, matrix valued, and in particular nonlinear equations that require special methods for their solution. Low rank methods have been used heavily computing a low rank solution at every step of a time discretization. We propose the use of an all at once space time solution leading to a large nonlinear space time problem for which we propose the use of a Newton Kleinman iteration. Approximating the space time problem in low rank form requires fewer applications of the discretized differential operator and gives a low rank approximation to the overall solution.


Homogeneous Interpretable Approximations to Heterogeneous SIR Models. The SIR compartment model is among the simplest models that describe the spread of a disease through a population. The model makes the unrealistic assumption that the population through which the disease is spreading is well mixed. Although real populations have heterogeneities in contacts not represented in the SIR model, it nevertheless well fits real US state Covid 19 case data. Here we demonstrate mathematically how closely the simple continuous SIR model approximates a model which includes heterogeneous contacts, and provide insight onto how one can interpret parameters gleaned from regression in the context of heterogeneous dynamics.


Knot Locating in Piecewise Linear Approximation. Many separable nonlinear optimization problems can be approximated by their nonlinear objective functions with piecewise linear functions. A natural question arising from applying this approach is how to break the interval of interest into subintervals (pieces) to achieve a good approximation. We present formulations to optimize the location of the knots. We apply a sequential quadratic programming method and a spectral projected gradient method to solve the problem. We report numerical experiments to show the effectiveness of the proposed approaches.


Learning an Uncertainty Aware Object Detector for Autonomous Driving. The capability to detect objects is a core part of autonomous driving. Due to sensor noise and incomplete data, perfectly detecting and localizing every object is infeasible. Therefore, it is important for a detector to provide the amount of uncertainty in each prediction. Providing the autonomous system with reliable uncertainties enables the vehicle to react differently based on the level of uncertainty. Previous work has estimated the uncertainty in a detection by predicting a probability distribution over object bounding boxes. In this work, we propose a method to improve the ability to learn the probability distribution by considering the potential noise in the ground truth labeled data. Our proposed approach improves not only the accuracy of the learned distribution but also the object detection performance.


Spin dynamics of a hydrogen atom in a periodic magnetic structure. The spin dynamics of a hydrogen atom during the passage of a periodic magnetic structure is discussed. The occupation numbers of the components of the hyperfine structure are considered as a function of time. The characteristic low frequency oscillations are visible, which have a direct analogue in the effect of nuclear magnetic resonance. An envelope forms of these oscillations are found using the Krylov Bogolyubov Mitropol'skii method. The dependence of spin dynamics on the parameters of the magnetic structure is investigated. It is shown that this dependence is very sensitive to the structure of the magnetic field.


Towards Learning Affine Invariant Representations via Data Efficient CNNs. In this paper we propose integrating a priori knowledge into both design and training of convolutional neural networks (CNNs) to learn object representations that are invariant to affine transformations (i.e., translation, scale, rotation). Accordingly we propose a novel multi scale maxout CNN and train it end to end with a novel rotation invariant regularizer. This regularizer aims to enforce the weights in each 2D spatial filter to approximate circular patterns. In this way, we manage to handle affine transformations in training using convolution, multi scale maxout, and circular filters. Empirically we demonstrate that such knowledge can significantly improve the data efficiency as well as generalization and robustness of learned models. For instance, on the Traffic Sign data set and trained with only 10 images per class, our method can achieve 84.15 that outperforms the state of the art by 29.80 in terms of test accuracy.


Error bounds of regularized gap functions for polynomial variational inequalities. This paper is devoted to present new error bounds of regularized gap functions for polynomial variational inequalities with exponents explicitly determined by the dimension of the underlying space and the number degree of the involved polynomials. The developed techniques are largely based on variational analysis and semialgebraic geometry, which allow us to establish a nonsmooth extension of the seminal L ojasiewicz's gradient inequality to regularized gap functions with explicitly calculated exponents.


Gr "obner Bases for Coloured Operads. In this work we provide a definition of a coloured operad as a monoid in some monoidal category, and develop the machinery of Gr "obner bases for coloured operads. Among the examples for which we show the existance of a quadratic Gr "obner basis we consider the seminal Lie Rinehart operad whose algebras include pairs (functions, vector fields).


Persistence and Stability of the mathbb A n Quiver. We introduce two new distances for zigzag persistence modules. The first uses Auslander Reiten quiver theory, and the second is an extension of the classical interleaving distance. Both are defined over completely general orientations of the mathbb A n quiver. We compare the first distance to the block distance introduced by M. Botnan and M. Lesnick and obtain the full set of sharp Lipschitz bounds between the two (as bottleneck distances) over pure zigzag orientations. The final portion of the paper presents sharp Lipschitz bounds necessary for the extended interleaving distance to dominate the distance that is created from the Auslander Reiten quiver. These bounds are obtained for general orientations of the mathbb A n quiver.


Toric co Higgs bundles on toric varieties. Starting from the data of a nonsingular complex projective toric variety, we define an associated notion of toric co Higgs bundle. We provide a Lie theoretic classification of these objects by studying the interaction between Klyachko's fan filtration and the fiber of the co Higgs bundle at a closed point in the open orbit of the torus action. This can be interpreted, under certain conditions, as the construction of a coarse moduli scheme of toric co Higgs bundles of any rank and with any total equivariant Chern class.


Minimax Dynamics of Optimally Balanced Spiking Networks of Excitatory and Inhibitory Neurons. Excitation inhibition (E I) balance is ubiquitously observed in the cortex. Recent studies suggest an intriguing link between balance on fast timescales, tight balance, and efficient information coding with spikes. We further this connection by taking a principled approach to optimal balanced networks of excitatory (E) and inhibitory (I) neurons. By deriving E I spiking neural networks from greedy spike based optimizations of constrained minimax objectives, we show that tight balance arises from correcting for deviations from the minimax optima. We predict specific neuron firing rates in the network by solving the minimax problem, going beyond statistical theories of balanced networks. Finally, we design minimax objectives for reconstruction of an input signal, associative memory, and storage of manifold attractors, and derive from them E I networks that perform the computation. Overall, we present a novel normative modeling approach for spiking E I networks, going beyond the widely used energy minimizing networks that violate Dale's law. Our networks can be used to model cortical circuits and computations.


Functorial Semantics for Partial Theories. We provide a Lawvere style definition for partial theories, extending the classical notion of equational theory by allowing partially defined operations. As in the classical case, our definition is syntactic we use an appropriate class of string diagrams as terms. This allows for equational reasoning about the class of models defined by a partial theory. We demonstrate the expressivity of such equational theories by considering a number of examples, including partial combinatory algebras and cartesian closed categories. Moreover, despite the increase in expressivity of the syntax we retain a well behaved notion of semantics we show that our categories of models are precisely locally finitely presentable categories, and that free models exist.


Dual Nature of Orbits of the Divide or Choose 2 Rule A Quadratic Collatz type Recursion. We obtain a complete characterization of all orbits of a quadratic Collatz type recursion called the divide or choose 2 rule. Each orbit either ends in a cycle whose period depends on the initial value or it goes to infinity. We specify which initial values generate periodic orbits, and also show that all other initial values generate orbits that go to infinity.


EDA Enriching Emotional Dialogue Acts using an Ensemble of Neural Annotators. The recognition of emotion and dialogue acts enriches conversational analysis and help to build natural dialogue systems. Emotion interpretation makes us understand feelings and dialogue acts reflect the intentions and performative functions in the utterances. However, most of the textual and multi modal conversational emotion corpora contain only emotion labels but not dialogue acts. To address this problem, we propose to use a pool of various recurrent neural models trained on a dialogue act corpus, with and without context. These neural models annotate the emotion corpora with dialogue act labels, and an ensemble annotator extracts the final dialogue act label. We annotated two accessible multi modal emotion corpora IEMOCAP and MELD. We analyzed the co occurrence of emotion and dialogue act labels and discovered specific relations. For example, Accept Agree dialogue acts often occur with the Joy emotion, Apology with Sadness, and Thanking with Joy. We make the Emotional Dialogue Acts (EDA) corpus publicly available to the research community for further study and analysis.


Paving the way for Distributed Non Blocking Algorithms and Data Structures in the Partitioned Global Address Space. The partitioned global address space has bridged the gap between shared and distributed memory, and with this bridge comes the ability to adapt shared memory concepts, such as non blocking programming, to distributed systems such as supercomputers. To enable non blocking algorithms, we present ways to perform scalable atomic operations on objects in remote memory via remote direct memory address and pointer compression. As a solution to the problem of concurrent safe reclamation of memory in a distributed system, we adapt Epoch Based Memory Reclamation to distributed memory and implement it in such a way to support global view programming. This construct is designed and implemented for the Chapel programming language, but can be adapted and generalized to work on other languages and libraries.


The Tragedy of the AI Commons. Policy and guideline proposals for ethical artificial intelligence research have proliferated in recent years. These are supposed to guide the socially responsible development of AI for the common good. However, there typically exist incentives for non cooperation (i.e., non adherence to such policies and guidelines) and, these proposals often lack effective mechanisms to enforce their own normative claims. The situation just described constitutes a social dilemma namely, a situation where no one has an individual incentive to cooperate, though mutual cooperation would lead to the best outcome for all involved. In this paper, we use stochastic evolutionary game dynamics to model this social dilemma in the context of the ethical development of artificial intelligence. This formalism allows us to isolate variables that may be intervened upon, thus providing actionable suggestions for increased cooperation amongst numerous stakeholders in AI. Our results show how stochastic effects can help make cooperation viable in such a scenario. They suggest that coordination for a common good should be attempted in smaller groups in which the cost for cooperation is low, and the perceived risk of failure is high. This provides insight into the conditions under which we should expect such ethics proposals to be successful with regard to their scope, scale, and content.


An adaptive hybrid algorithm for social networks to choose groups with independent members. Choosing a committee with independent members in social networks can be named as a problem in group selection and independence in the committee is considered as the main criterion of this selection. Independence is calculated based on the social distance between group members. Although there are many solutions to solve the problem of group selection in social networks, such as selection of the target set or community detection, just one solution has been proposed to choose committee members based on their independence as a measure of group performance. In this paper, a new adaptive hybrid algorithm is proposed to select the best committee members to maximize the independence of the committees. This algorithm is a combination of particle swarm optimization (PSO) algorithm with two local search algorithms. The goal of this work is to combine exploration and exploitation to improve the efficiency of the proposed algorithm and obtain the optimal solution. Additionally, to combine local search algorithms with particle swarm optimization, an effective selection mechanism is used to select a suitable local search algorithm to combine with particle swarm optimization during the search process. The results of experimental simulation are compared with the well known and successful metaheuristic algorithms. This comparison shows that the proposed method improves the group independence by at least 21 .


Real world Person Re Identification via Degradation Invariance Learning. Person re identification (Re ID) in real world scenarios usually suffers from various degradation factors, e.g., low resolution, weak illumination, blurring and adverse weather. On the one hand, these degradations lead to severe discriminative information loss, which significantly obstructs identity representation learning on the other hand, the feature mismatch problem caused by low level visual variations greatly reduces retrieval performance. An intuitive solution to this problem is to utilize low level image restoration methods to improve the image quality. However, existing restoration methods cannot directly serve to real world Re ID due to various limitations, e.g., the requirements of reference samples, domain gap between synthesis and reality, and incompatibility between low level and high level methods. In this paper, to solve the above problem, we propose a degradation invariance learning framework for real world person Re ID. By introducing a self supervised disentangled representation learning strategy, our method is able to simultaneously extract identity related robust features and remove real world degradations without extra supervision. We use low resolution images as the main demonstration, and experiments show that our approach is able to achieve state of the art performance on several Re ID benchmarks. In addition, our framework can be easily extended to other real world degradation factors, such as weak illumination, with only a few modifications.


Modeling the impact of birth control policies on China's population and age effects of delayed births and minimum birth age constraints. We consider age structured models with an imposed refractory period between births. These models can be used to formulate alternative population control strategies to China's one child policy. By allowing any number of births, but with an imposed delay between births, we show how the total population can be decreased and how a relatively older age distribution can be generated. This delay represents a more "continuous" form of population management for which the strict one child policy is a limiting case. Such a policy approach could be more easily accepted by society. Our analyses provide an initial framework for studying demographics and how social constraints influence population structure.


A Personalized Subreddit Recommendation Engine. This paper aims to improve upon the generic recommendations that Reddit provides for its users. We propose a novel personalized recommender system that learns from both, the presence and the content of user subreddit interaction, using implicit and explicit signals to provide robust recommendations.


Broadband Terahertz Wave Emission from Liquid Metal. Metals have been studied as terahertz sources for decades. Recent research has shown the potential of metals in generating extremely high THz pulse energy excited by intense laser pulses. To avoid the metal surface debris caused by laser pulses, here, we report the results of the broadband terahertz wave emission from a flowing liquid metal line excited by sub picosecond laser pulses. The THz signal emitted from the liquid gallium line shows stronger field with broader bandwidth comparing with the signal from water under the identical optical excitation conditions. Our preliminary study suggests that the liquid metals have the potential to serve as efficient and powerful THz sources for the intense lasers with a high repetition rate.


Align gram Rethinking the Skip gram Model for Protein Sequence Analysis. Background The inception of next generations sequencing technologies have exponentially increased the volume of biological sequence data. Protein sequences, being quoted as the language of life', has been analyzed for a multitude of applications and inferences. Motivation Owing to the rapid development of deep learning, in recent years there have been a number of breakthroughs in the domain of Natural Language Processing. Since these methods are capable of performing different tasks when trained with a sufficient amount of data, off the shelf models are used to perform various biological applications. In this study, we investigated the applicability of the popular Skip gram model for protein sequence analysis and made an attempt to incorporate some biological insights into it. Results We propose a novel k mer embedding scheme, Align gram, which is capable of mapping the similar k mers close to each other in a vector space. Furthermore, we experiment with other sequence based protein representations and observe that the embeddings derived from Align gram aids modeling and training deep learning models better. Our experiments with a simple baseline LSTM model and a much complex CNN model of DeepGoPlus shows the potential of Align gram in performing different types of deep learning applications for protein sequence analysis.


The trace form over cyclic number fields. In the mid 80's Conner and Perlis showed that for cyclic number fields of prime degree p the isometry class of integral trace is completely determined by the discriminant. Here we generalize their result to tame cyclic number fields of arbitrary degree. Furthermore, for such fields, we give an explicit description of a Gram matrix of the integral trace in terms of the discriminant of the field.


Degree of Rational Maps versus Syzygies. One proves a far reaching upper bound for the degree of a generically finite rational map between projective varieties over a base field of arbitrary characteristic. The bound is expressed as a product of certain degrees that appear naturally by considering the Rees algebra (blowup) of the base ideal defining the map. Several special cases are obtained as consequences, some of which cover and extend previous results in the literature.


Feedback Particle Filter for Collective Inference. The purpose of this paper is to describe the feedback particle filter algorithm for problems where there are a large number ( M ) of non interacting agents (targets) with a large number ( M ) of non agent specific observations (measurements) that originate from these agents. In its basic form, the problem is characterized by data association uncertainty whereby the association between the observations and agents must be deduced in addition to the agent state. In this paper, the large M limit is interpreted as a problem of collective inference. This viewpoint is used to derive the equation for the empirical distribution of the hidden agent states. A feedback particle filter (FPF) algorithm for this problem is presented and illustrated via numerical simulations. Results are presented for the Euclidean and the finite state space cases, both in continuous time settings. The classical FPF algorithm is shown to be the special case (with M 1 ) of these more general results. The simulations help show that the algorithm well approximates the empirical distribution of the hidden states for large M .


Norm estimates of the partial derivatives for harmonic and harmonic elliptic mappings. Let f P F denote the Poisson integral of F in the unit disk mathbb D with F being absolutely continuous in the unit circle mathbb T and dot F in L p(0, 2 pi) , where dot F (e it ) frac d dt F(e it ) and p geq 1 . Recently, the author in cite Zhu proved that (1) if f is a harmonic mapping and 1 leq p 2 , then f z and overline f overline z in mathcal B p ( mathbb D ), the classical Bergman spaces of mathbb D cite Theorem 1.2 Zhu (2) if f is a harmonic quasiregular mapping and 1 leq p leq infty , then f z , overline f overline z in mathcal H p ( mathbb D ), the classical Hardy spaces of mathbb D cite Theorem 1.3 Zhu . These are the main results in cite Zhu . The purpose of this paper is to generalize these two results. First, we prove that, under the same assumptions, cite Theorem 1.2 Zhu is true when 1 leq p infty . Also, we show that cite Theorem 1.2 Zhu is not true when p infty . Second, we demonstrate that cite Theorem 1.3 Zhu still holds true when the assumption f being a harmonic quasiregular mapping is replaced by the weaker one f being a harmonic elliptic mapping.


Investigation of Flash Crash via Topological Data Analysis. Topological data analysis has been acknowledged as one of the most successful mathematical data analytic methodologies in various fields including medicine, genetics, and image analysis. In this paper, we explore the potential of this methodology in finance by applying persistence landscape and dynamic time series analysis to analyze an extreme event in the stock market, known as Flash Crash. We will provide results of our empirical investigation to confirm the effectiveness of our new method not only for the characterization of this extreme event but also for its prediction purposes.


Limit varieties of aperiodic monoids with commuting idempotents. A variety of algebras is called limit if it is non finitely based but all its proper subvarieties are finitely based. A monoid is aperiodic if all its subgroups are trivial. We classify all limit varieties of aperiodic monoids with commuting idempotents.


Properties of steady states for a class of non local Fisher KPP equations in disconnected domains. The question studied here is the existence and uniqueness of a non trivial bounded steady state of a Fisher KPP equation involving a fractional Laplacian ( Delta ) alpha in a domain with Dirichlet conditions outside of the domain. More specifically, we investigate such questions in the case of general fragmented unbounded domains. Indeed, we take advantage of the non local dispersion in order to provide analytic bounds (which depend only on the domain) on the steady states. Such results are relevant in biology. For instance, our results provide criteria on the domain for the subsistence of a species subject to a non local diffusion in a fragmented area. These criteria primarily involve the sign of the first eigenvalue of the operator ( Delta ) alpha Id in a domain with Dirichlet conditions outside of the domain. To this end, we exhibit a result of continuity of this principal eigenvalue with respect to the distance between two compact patchs in the one dimensional case. The main novelty of this last result is the continuity up to the distance 0.


DAVANet Stereo Deblurring with View Aggregation. Nowadays stereo cameras are more commonly adopted in emerging devices such as dual lens smartphones and unmanned aerial vehicles. However, they also suffer from blurry images in dynamic scenes which leads to visual discomfort and hampers further image processing. Previous works have succeeded in monocular deblurring, yet there are few studies on deblurring for stereoscopic images. By exploiting the two view nature of stereo images, we propose a novel stereo image deblurring network with Depth Awareness and View Aggregation, named DAVANet. In our proposed network, 3D scene cues from the depth and varying information from two views are incorporated, which help to remove complex spatially varying blur in dynamic scenes. Specifically, with our proposed fusion network, we integrate the bidirectional disparities estimation and deblurring into a unified framework. Moreover, we present a large scale multi scene dataset for stereo deblurring, containing 20,637 blurry sharp stereo image pairs from 135 diverse sequences and their corresponding bidirectional disparities. The experimental results on our dataset demonstrate that DAVANet outperforms state of the art methods in terms of accuracy, speed, and model size.


Optimization of atomic density fitting basis functions for molecular two electron integral approximations. A general procedure for the optimization of atomic density fitting basis functions is designed with the balance between accuracy and numerical stability in mind. Given one electron wavefunctions and energies, weights are assigned to the product densities, modeling their contribution to the exchange and second order correlation energy, and a simple weighted error measure is minimized. Generally contracted Gaussian auxiliary basis sets are optimized to match the wavefunction basis sets D. N. Laikov, Theor. Chem. Acc. 138, 40 (2019) for all 102 elements in a scalar relativistic approximation D. N. Laikov, J. Chem. Phys. 150, 061102 (2019) .


Synchronization of oscillators not sharing a common ground. Networks of coupled LC oscillators that do not share a common ground node are studied. Both resistive coupling and inductive coupling are considered. For networks under resistive coupling, it is shown that the oscillator coupler interconnection has to be bilayer if the oscillator voltages are to asymptotically synchronize. Also, for bilayer architecture (when both resistive and inductive couplers are present) a method is proposed to compute a complex valued effective Laplacian matrix that represents the overall coupling. It is proved that the oscillators display synchronous behavior if and only if the effective Laplacian has a single eigenvalue on the imaginary axis.


FaR GAN for One Shot Face Reenactment. Animating a static face image with target facial expressions and movements is important in the area of image editing and movie production. This face reenactment process is challenging due to the complex geometry and movement of human faces. Previous work usually requires a large set of images from the same person to model the appearance. In this paper, we present a one shot face reenactment model, FaR GAN, that takes only one face image of any given source identity and a target expression as input, and then produces a face image of the same source identity but with the target expression. The proposed method makes no assumptions about the source identity, facial expression, head pose, or even image background. We evaluate our method on the VoxCeleb1 dataset and show that our method is able to generate a higher quality face image than the compared methods.


On the Cohomological Hall Algebra of the Kronecker Quiver. We give a short introduction to Cohomological Hall algebras of quivers and describe the semistable Cohomological Hall algebra of central slope of the Kronecker quiver in terms of generators and relations.


Factorization Theorem through a Dunford Pettis p convergent operator. In this article, we introduce the notion of p (DPL) sets. Also, a factorization result for differentiable mappings through Dunford Pettis p convergent operators is investigated. Namely, if X ,Y are real Banach spaces and U is an open convex subset of X, then we obtain that, given a differentiable mapping f U rightarrow Y its derivative f prime takes U bounded sets into p (DPL) sets if and only if it happens f g circ S, where S is a Dunford Pettis p convergent operator from X into a suitable Banach space Z and g S(U) rightarrow Y is a G ateaux differentiable mapping with some additional properties.


The Power of Programs over Monoids in J and Threshold Dot depth One Languages. The model of programs over (finite) monoids, introduced by Barrington and Th 'erien, gives an interesting way to characterise the circuit complexity class mathsf NC 1 and its subclasses and showcases deep connections with algebraic automata theory. In this article, we investigate the computational power of programs over monoids in mathbf J , a small variety of finite aperiodic monoids. First, we give a fine hierarchy within the class of languages recognised by programs over monoids from mathbf J , based on the length of programs but also some parametrisation of mathbf J . Second, and most importantly, we make progress in understanding what regular languages can be recognised by programs over monoids in mathbf J . To this end, we introduce a new class of restricted dot depth one languages, threshold dot depth one languages. We show that programs over monoids in mathbf J actually can recognise all languages from this class, using a non trivial trick, and conjecture that threshold dot depth one languages with additional positional modular counting suffice to characterise the regular languages recognised by programs over monoids in mathbf J . Finally, using a result by J. C. Costa, we give an algebraic characterisation of threshold dot depth one languages that supports that conjecture and is of independent interest.


Noidy Conmunixatipn On the Convergence of the Averaging Population Protocol. We study a process of emph averaging in a distributed system with emph noisy communication . Each of the agents in the system starts with some value and the goal of each agent is to compute the average of all the initial values. In each round, one pair of agents is drawn uniformly at random from the whole population, communicates with each other and each of these two agents updates their local value based on their own value and the received message. The communication is noisy and whenever an agent sends any value v , the receiving agent receives v N , where N is a zero mean Gaussian random variable. The two quality measures of interest are (i) the total sum of squares TSS(t) , which measures the sum of square distances from the average load to the emph initial average and (ii) bar phi (t) , measures the sum of square distances from the average load to the emph running average (average at time t ). It is known that the simple averaging protocol in which an agent sends its current value and sets its new value to the average of the received value and its current value converges eventually to a state where bar phi (t) is small. It has been observed that TSS(t) , due to the noise, eventually diverges and previous research mostly in control theory has focused on showing eventual convergence w.r.t. the running average. We obtain the first probabilistic bounds on the convergence time of bar phi (t) and precise bounds on the drift of TSS(t) that show that albeit TSS(t) eventually diverges, for a wide and interesting range of parameters, TSS(t) stays small for a number of rounds that is polynomial in the number of agents. Our results extend to the synchronous setting and settings where the agents are restricted to discrete values and perform rounding.


Law of large numbers for the drift of two dimensional wreath product. We prove the law of large numbers for the drift of random walks on the two dimensional lamplighter group, under the assumption that the random walk has finite (2 epsilon) moment. This result is in contrast with classical examples of abelian groups, where the displacement after n steps, normalised by its mean, does not concentrate, and the limiting distribution of the normalised n step displacement admits a density whose support is 0, infty) . We study further examples of groups, some with random walks satisfying LLN for drift and other examples where such concentration phenomenon does not hold, and study relation of this property with asymptotic geometry of groups.


A phase field model for cohesive fracture in micropolar continua. While crack nucleation and propagation in the brittle or quasi brittle regime can be predicted via variational or material force based phase field fracture models, these models often assume that the underlying elastic response of the material is non polar and yet a length scale parameter must be introduced to enable the sharp cracks represented by a regularized implicit function. However, many materials with internal microstructures that contain surface tension, micro cracks, micro fracture, inclusion, cavity or those of particulate nature often exhibit size dependent behaviors in both the path independent and path dependent regimes. This paper is intended to introduce a unified treatment that captures the size effect of the materials in both elastic and damaged states. By introducing a cohesive micropolar phase field fracture theory, along with the computational model and validation exercises, we explore the interacting size dependent elastic deformation and fracture mechanisms exhibits in materials of complex microstructures. To achieve this goal, we introduce the distinctive degradation functions of the force stress strain and couple stress micro rotation energy conjugated pairs for a given regularization profile such that the macroscopic size dependent responses of the micropolar continua is insensitive to the length scale parameter of the regularized interface. Then, we apply the variational principle to derive governing equations from the micropolar stored energy and dissipative functionals. Numerical examples are introduced to demonstrate the proper way to identify material parameters and the capacity of the new formulation to simulate complex crack patterns in the quasi static regime.


Leveraging Audio Gestalt to Predict Media Memorability. Memorability determines what evanesces into emptiness, and what worms its way into the deepest furrows of our minds. It is the key to curating more meaningful media content as we wade through daily digital torrents. The Predicting Media Memorability task in MediaEval 2020 aims to address the question of media memorability by setting the task of automatically predicting video memorability. Our approach is a multimodal deep learning based late fusion that combines visual, semantic, and auditory features. We used audio gestalt to estimate the influence of the audio modality on overall video memorability, and accordingly inform which combination of features would best predict a given video's memorability scores.