Large Sets with Small Injective Projections. Let ell 1, ell 2, dots be a countable collection of lines in mathbb R d . For any t in 0,1 we construct a compact set Gamma subset mathbb R d with Hausdorff dimension d 1 t which projects injectively into each ell i , such that the image of each projection has dimension t . This immediately implies the existence of homeomorphisms between certain Cantor type sets whose graphs have large dimensions. As an application, we construct a collection E of disjoint, non parallel k planes in mathbb R d , for d geq k 2 , whose union is a small subset of mathbb R d , either in Hausdorff dimension or Lebesgue measure, while E itself has large dimension. As a second application, for any countable collection of vertical lines w i in the plane we construct a collection of nonvertical lines H , so that F , the union of lines in H , has positive Lebesgue measure, but each point of each line w i intersects at most one h in H and, for each w i , the Hausdorff dimension of F cap w i is zero.


Improving CNN based Planar Object Detection with Geometric Prior Knowledge. In this paper, we focus on the question how might mobile robots take advantage of affordable RGB D sensors for object detection? Although current CNN based object detectors have achieved impressive results, there are three main drawbacks for practical usage on mobile robots 1) It is hard and time consuming to collect and annotate large scale training sets. 2) It usually needs a long training time. 3) CNN based object detection shows significant weakness in predicting location. We propose an improved method for the detection of planar objects, which rectifies images with geometric information to compensate for the perspective distortion before feeding it to the CNN detector module, typically a CNN based detector like YOLO or MASK RCNN. By dealing with the perspective distortion in advance, we eliminate the need for the CNN detector to learn that. Experiments show that this approach significantly boosts the detection performance. Besides, it effectively reduces the number of training images required. In addition to the novel detection framework proposed, we also release an RGBD dataset and source code for hazmat sign detection. To the best of our knowledge, this is the first work of image rectification for CNN based object detection, and the dataset is the first public available hazmat sign detection dataset with RGB D sensors.


Uniqueness of the 2D Euler equation on a corner domain with non constant vorticity around the corner. We consider the 2D incompressible Euler equation on a corner domain Omega with angle nu pi with frac 1 2 nu 1 . We prove that if the initial vorticity omega 0 in L 1 ( Omega) cap L infty ( Omega) and if omega 0 is non negative and supported on one side of the angle bisector of the domain, then the weak solutions are unique. This is the first result which proves uniqueness when the velocity is far from Lipschitz and the initial vorticity is nontrivial around the boundary.


Fast Convex Relaxations using Graph Discretizations. Matching and partitioning problems are fundamentals of computer vision applications with examples in multilabel segmentation, stereo estimation and optical flow computation. These tasks can be posed as non convex energy minimization problems and solved near globally optimal by recent convex lifting approaches. Yet, applying these techniques comes with a significant computational effort, reducing their feasibility in practical applications. We discuss spatial discretization of continuous partitioning problems into a graph structure, generalizing discretization onto a Cartesian grid. This setup allows us to faithfully work on super pixel graphs constructed by SLIC or Cut Pursuit, massively decreasing the computational effort for lifted partitioning problems compared to a Cartesian grid, while optimal energy values remain similar The global matching is still solved near globally optimal. We discuss this methodology in detail and show examples in multi label segmentation by minimal partitions and stereo estimation, where we demonstrate that the proposed graph discretization can reduce runtime as well as memory consumption of convex relaxations of matching problems by up to a factor of 10.


Extension of frames and bases II. Operator valued frame ( G frame), as a generalization of frame is introduced by Kaftal, Larson, and Zhang in textit Trans. Amer. Math. Soc. , 361(12) 6349 6385, 2009 and by Sun in textit J. Math. Anal. Appl. , 322(1) 437 452, 2006. It has been further extended in the paper arXiv 1810.01629 math.OA 3 October 2018, so as to have a rich theory on operator valued frames for Hilbert spaces as well as for Banach spaces. The continuous version has been studied in this paper when the indexing set is a measure space. We study duality, similarity, orthogonality and stability of this extension. Several characterizations are given including a notable characterization when the measure space is a locally compact group. Variation formula, dimension formula and trace formula are derived when the Hilbert space is finite dimensional.


DeepSurfels Learning Online Appearance Fusion. We present DeepSurfels, a novel hybrid scene representation for geometry and appearance information. DeepSurfels combines explicit and neural building blocks to jointly encode geometry and appearance information. In contrast to established representations, DeepSurfels better represents high frequency textures, is well suited for online updates of appearance information, and can be easily combined with machine learning methods. We further present an end to end trainable online appearance fusion pipeline that fuses information from RGB images into the proposed scene representation and is trained using self supervision imposed by the reprojection error with respect to the input images. Our method compares favorably to classical texture mapping approaches as well as recent learning based techniques. Moreover, we demonstrate lower runtime, im proved generalization capabilities, and better scalability to larger scenes compared to existing methods.


A Note on Computable Embeddings for Ordinals and Their Reverses. We continue the study of computable embeddings for pairs of structures, i.e. for classes containing precisely two non isomorphic structures. Surprisingly, even for some pairs of simple linear orders, computable embeddings induce a non trivial degree structure. Our main result shows that although omega cdot 2, omega star cdot 2 is computably embeddable in omega 2, ( omega 2) star , the class omega cdot k, omega star cdot k is emph not computably embeddable in omega 2, ( omega 2) star for any natural number k geq 3 .


Sum product estimates for diagonal matrices. Given d in mathbb N , we establish sum product estimates for finite, non empty subsets of mathbb R d . This is equivalent to a sum product result for sets of diagonal matrices. In particular, let A be a finite, non empty set of d times d diagonal matrices with real entries. Then for all delta 1 1 3 5 5277 , we have A A A cdot A gg d A 1 delta 1 d . In this setting, the above estimate quantitatively strengthens a result of Chang.


A Brain Inspired Compact Cognitive Mapping System. As the robot explores the environment, the map grows over time in the simultaneous localization and mapping (SLAM) system, especially for the large scale environment. The ever growing map prevents long term mapping. In this paper, we developed a compact cognitive mapping approach inspired by neurobiological experiments. Inspired from neighborhood cells, neighborhood fields determined by movement information, i.e. translation and rotation, are proposed to describe one of distinct segments of the explored environment. The vertices and edges with movement information below the threshold of the neighborhood fields are avoided adding to the cognitive map. The optimization of the cognitive map is formulated as a robust non linear least squares problem, which can be efficiently solved by the fast open linear solvers as a general problem. According to the cognitive decision making of familiar environments, loop closure edges are clustered depending on time intervals, and then parallel computing is applied to perform batch global optimization of the cognitive map for ensuring the efficiency of computation and real time performance. After the loop closure process, scene integration is performed, in which revisited vertices are removed subsequently to further reduce the size of the cognitive map. A monocular visual SLAM system is developed to test our approach in a rat like maze environment. Our results suggest that the method largely restricts the growth of the size of the cognitive map over time, and meanwhile, the compact cognitive map correctly represents the overall layer of the environment as the standard one. Experiments demonstrate that our method is very suited for compact cognitive mapping to support long term robot mapping. Our approach is simple, but pragmatic and efficient for achieving the compact cognitive map.


Rethinking Differentiable Search for Mixed Precision Neural Networks. Low precision networks, with weights and activations quantized to low bit width, are widely used to accelerate inference on edge devices. However, current solutions are uniform, using identical bit width for all filters. This fails to account for the different sensitivities of different filters and is suboptimal. Mixed precision networks address this problem, by tuning the bit width to individual filter requirements. In this work, the problem of optimal mixed precision network search (MPS) is considered. To circumvent its difficulties of discrete search space and combinatorial optimization, a new differentiable search architecture is proposed, with several novel contributions to advance the efficiency by leveraging the unique properties of the MPS problem. The resulting Efficient differentiable MIxed Precision network Search (EdMIPS) method is effective at finding the optimal bit allocation for multiple popular networks, and can search a large model, e.g. Inception V3, directly on ImageNet without proxy task in a reasonable amount of time. The learned mixed precision networks significantly outperform their uniform counterparts.


On the Benefits of Models with Perceptually Aligned Gradients. Adversarial robust models have been shown to learn more robust and interpretable features than standard trained models. As shown in cite tsipras2018robustness , such robust models inherit useful interpretable properties where the gradient aligns perceptually well with images, and adding a large targeted adversarial perturbation leads to an image resembling the target class. We perform experiments to show that interpretable and perceptually aligned gradients are present even in models that do not show high robustness to adversarial attacks. Specifically, we perform adversarial training with attack for different max perturbation bound. Adversarial training with low max perturbation bound results in models that have interpretable features with only slight drop in performance over clean samples. In this paper, we leverage models with interpretable perceptually aligned features and show that adversarial training with low max perturbation bound can improve the performance of models for zero shot and weakly supervised localization tasks.


Variants of BERT, Random Forests and SVM approach for Multimodal Emotion Target Sub challenge. Emotion recognition has become a major problem in computer vision in recent years that made a lot of effort by researchers to overcome the difficulties in this task. In the field of affective computing, emotion recognition has a wide range of applications, such as healthcare, robotics, human computer interaction. Due to its practical importance for other tasks, many techniques and approaches have been investigated for different problems and various data sources. Nevertheless, comprehensive fusion of the audio visual and language modalities to get the benefits from them is still a problem to solve. In this paper, we present and discuss our classification methodology for MuSe Topic Sub challenge, as well as the data and results. For the topic classification, we ensemble two language models which are ALBERT and RoBERTa to predict 10 classes of topics. Moreover, for the classification of valence and arousal, SVM and Random forests are employed in conjunction with feature selection to enhance the performance.


Reusable Learning Objects An Agile Approach. This paper discusses Reusable Learning Objects (RLOs) and to what extent they have lived up to the promise, particularly of reusability. Reusable Learning Objects have actually been discussed in the literature for the last 20 years and yet true large scale sharing of learning and teaching materials remains relatively rare and challenging. This paper argues that part of the reason is that the granularity of the learning objects that are in use today is not conducive to true reuse. Certainly whole PowerPoint slide decks and word documents are kept in individual files and folders. It is not an ideal situation. As a result, educators, teachers, course designers, are constantly reinventing the wheel, or searching for where that one excellent assignment, explanation, definition was last seen so it can be copied forward. This paper argues that to achieve effective reuse of Learning Objects, the following are required smaller, more granular (micro) learning objects means to combine them into larger presentation products and modern revision and version control. The paper proposes applying approaches originating in the software engineering community, such as agile methodology, version control and management, markup languages, and agile publishing, which together form the Agile Approach of the title of the paper. With that foundation laid, the paper examines CourseGen, an open source software platform designed for creating, sharing, reusing and publishing reusable course content. CourseGen uses a modified markdown format augmented by CourseGen specific directives, such as link to and include topic. The CourseGen compiler converts a collection of CourseGen files into the final format such as a web site or a PowerPoint. CourseGen was designed, used and refined over the last three years in several Computer Science Courses at Brandeis University.


The Double Exponential Runtime is Tight for 2 Stage Stochastic ILPs. We consider fundamental algorithmic number theoretic problems and their relation to a class of block structured Integer Linear Programs (ILPs) called 2 stage stochastic. A 2 stage stochastic ILP is an integer program of the form min c T x mid mathcal A x b, ell leq x leq u, x in mathbb Z r ns where the constraint matrix mathcal A in mathbb Z nt times r ns consists of n matrices A i in mathbb Z t times r on the vertical line and n matrices B i in mathbb Z t times s on the diagonal line aside. First, we show a stronger hardness result for a number theoretic problem called Quadratic Congruences where the objective is to compute a number z leq gamma satisfying z 2 equiv alpha bmod beta for given alpha, beta, gamma in mathbb Z . This problem was proven to be NP hard already in 1978 by Manders and Adleman. However, this hardness only applies for instances where the prime factorization of beta admits large multiplicities of each prime number. We circumvent this necessity proving that the problem remains NP hard, even if each prime number only occurs constantly often. Then, using this new hardness result for the Quadratic Congruences problem, we prove a lower bound of 2 2 delta(s t) I O(1) for some delta 0 for the running time of any algorithm solving 2 stage stochastic ILPs assuming the Exponential Time Hypothesis (ETH). Here, I is the encoding length of the instance. This result even holds if r , b infty , c infty , ell infty and the largest absolute value Delta in the constraint matrix mathcal A are constant. This shows that the state of the art algorithms are nearly tight. Further, it proves the suspicion that these ILPs are indeed harder to solve than the closely related n fold ILPs where the contraint matrix is the transpose of mathcal A .


syrapropa at SemEval 2020 Task 11 BERT based Models Design For Propagandistic Technique and Span Detection. This paper describes the BERT based models proposed for two subtasks in SemEval 2020 Task 11 Detection of Propaganda Techniques in News Articles. We first build the model for Span Identification (SI) based on SpanBERT, and facilitate the detection by a deeper model and a sentence level representation. We then develop a hybrid model for the Technique Classification (TC). The hybrid model is composed of three submodels including two BERT models with different training methods, and a feature based Logistic Regression model. We endeavor to deal with imbalanced dataset by adjusting cost function. We are in the seventh place in SI subtask (0.4711 of F1 measure), and in the third place in TC subtask (0.6783 of F1 measure) on the development set.


SeqHAND RGB Sequence Based 3D Hand Pose and Shape Estimation. 3D hand pose estimation based on RGB images has been studied for a long time. Most of the studies, however, have performed frame by frame estimation based on independent static images. In this paper, we attempt to not only consider the appearance of a hand but incorporate the temporal movement information of a hand in motion into the learning framework for better 3D hand pose estimation performance, which leads to the necessity of a large scale dataset with sequential RGB hand images. We propose a novel method that generates a synthetic dataset that mimics natural human hand movements by re engineering annotations of an extant static hand pose dataset into pose flows. With the generated dataset, we train a newly proposed recurrent framework, exploiting visuo temporal features from sequential images of synthetic hands in motion and emphasizing temporal smoothness of estimations with a temporal consistency constraint. Our novel training strategy of detaching the recurrent layer of the framework during domain finetuning from synthetic to real allows preservation of the visuo temporal features learned from sequential synthetic hand images. Hand poses that are sequentially estimated consequently produce natural and smooth hand movements which lead to more robust estimations. We show that utilizing temporal information for 3D hand pose estimation significantly enhances general pose estimations by outperforming state of the art methods in experiments on hand pose estimation benchmarks.


Subword complexity of the Fibonacci Thue Morse sequence the proof of Dekking's conjecture. Recently Dekking conjectured the form of the subword complexity function for the Fibonacci Thue Morse sequence. In this note we prove his conjecture by purely computational means, using the free software Walnut.


Graded division algebras over arbitrary fields. A graded division algebra is an algebra graded by a group such that all nonzero homogeneous elements are invertible. This includes division algebras equipped with an arbitrary group grading (including the trivial grading). We show that a classification of finite dimensional graded central graded division algebras over an arbitrary field mathbb F can be reduced to the following three classifications, for each finite Galois extension mathbb L of mathbb F (1) finite dimensional central division algebras over mathbb L , up to isomorphism (2) twisted group algebras of finite groups over mathbb L , up to graded isomorphism (3) mathbb F forms of certain graded matrix algebras with coefficients in Delta otimes mathbb L mathcal C where Delta is as in (1) and mathcal C is as in (2). As an application, we classify, up to graded isomorphism, the finite dimensional graded division algebras over the field of real numbers (or any real closed field) with an abelian grading group. We also discuss group gradings on fields.


On super monomial characters and groups having two irreducible monomial character degrees. A character of a group is said to be super monomial if every primitive character inducing it is linear. It is conjectured by Isaacs that every irreducible character of an odd M group is super monomial. We show that all non linear irreducible characters of lowest degree of an odd M group is super monomial and provide cases in which one can guarantee that certain irreducible characters of normal subgroups are super monomial. Finally, we study groups having two irreducible monomial character degrees.


Flexible deep transfer learning by separate feature embeddings and manifold alignment. Object recognition is a key enabler across industry and defense. As technology changes, algorithms must keep pace with new requirements and data. New modalities and higher resolution sensors should allow for increased algorithm robustness. Unfortunately, algorithms trained on existing labeled datasets do not directly generalize to new data because the data distributions do not match. Transfer learning (TL) or domain adaptation (DA) methods have established the groundwork for transferring knowledge from existing labeled source data to new unlabeled target datasets. However, current DA approaches assume similar source and target feature spaces and suffer in the case of massive domain shifts or changes in the feature space. Existing methods assume the data are either the same modality, or can be aligned to a common feature space. Therefore, most methods are not designed to support a fundamental domain change such as visual to auditory data. We propose a novel deep learning framework that overcomes this limitation by learning separate feature extractions for each domain while minimizing the distance between the domains in a latent lower dimensional space. The alignment is achieved by considering the data manifold along with an adversarial training procedure. We demonstrate the effectiveness of the approach versus traditional methods with several ablation experiments on synthetic, measured, and satellite image datasets. We also provide practical guidelines for training the network while overcoming vanishing gradients which inhibit learning in some adversarial training settings.


On the cohomology of arrangements of subtori. Given an arrangement of subtori of arbitrary codimension in a torus, we compute the cohomology groups of the complement. Then, using the Leray spectral sequence, we describe the multiplicative structure on the graded cohomology. We also provide a differential model for the cohomology ring by considering a toric wonderful model and its Morgan algebra. Finally we focus on the divisorial case, proving a new presentation for the cohomology of toric arrangements.


A Relaxation Finite Difference discretization of a 2D Semilinear Heat Equation over a rectangular domain. We consider an initial and Dirichlet boundary value problem for a semilinear, two dimensional heat equation over a rectangular domain. The problem is discretized in time by a version of the Relaxation Scheme proposed by C. Besse (C. R. Acad. Sci. Paris S 'er. I, vol. 326 (1998)) for the nonlinear Schr "odinger equation and in space by a standard second order finite difference method. The proposed method is unconditionally well posed and its convergence is established by proving an optimal second order error estimate allowing a mild mesh condition to hold.


Optimistic Agent Accurate Graph Based Value Estimation for More Successful Visual Navigation. We humans can impeccably search for a target object, given its name only, even in an unseen environment. We argue that this ability is largely due to three main reasons the incorporation of prior knowledge (or experience), the adaptation of it to the new environment using the observed visual cues and most importantly optimistically searching without giving up early. This is currently missing in the state of the art visual navigation methods based on Reinforcement Learning (RL). In this paper, we propose to use externally learned prior knowledge of the relative object locations and integrate it into our model by constructing a neural graph. In order to efficiently incorporate the graph without increasing the state space complexity, we propose our Graph based Value Estimation (GVE) module. GVE provides a more accurate baseline for estimating the Advantage function in actor critic RL algorithm. This results in reduced value estimation error and, consequently, convergence to a more optimal policy. Through empirical studies, we show that our agent, dubbed as the optimistic agent, has a more realistic estimate of the state value during a navigation episode which leads to a higher success rate. Our extensive ablation studies show the efficacy of our simple method which achieves the state of the art results measured by the conventional visual navigation metrics, e.g. Success Rate (SR) and Success weighted by Path Length (SPL), in AI2THOR environment.


Odinary differential operators of odd order with distribution coefficients. We work with differential expressions of the form begin align tau 2n 1 y ( 1) ni (q 0 y (n 1) ) (n) (q 0 y (n) ) (n 1) sum limits k 0 n ( 1) n k (p (k) ky (n k) ) (n k) qquad i sum limits k 1 n ( 1) n k 1 (q (k) k y (n 1 k) ) (n k) (q (k) k y (n k) ) (n 1 k) , end align where the complex valued coefficients p j and q j are subject the following conditions q 0(x) in AC loc (a,b) , Re ,q 0 0 , while all the other functions q 1(x),q 2(x), ldots,q n (x), p 0(x),p 1(x), ldots,p n(x) belong to the space L 1 loc (a,b) . This implies that the coefficients p (k) k and q (k) k in the expression tau 2n 1 are distributions of singularity order k . The main objective of the paper is to represent the differential expression tau 2n 1 in the other (regularized) form which allows to define the minimal and maximal operators associated with this differential expression.


A complex networks approach to ranking professional Snooker players. A detailed analysis of matches played in the sport of Snooker during the period 1968 2020 is used to calculate a directed and weighted dominance network based upon the corresponding results. We consider a ranking procedure based upon the well studied PageRank algorithm that incorporates details of not only the number of wins a player has had over their career but also the quality of opponent faced in these wins. Through this study we find that John Higgins is the highest performing Snooker player of all time with Ronnie O'Sullivan appearing in second place. We demonstrate how this approach can be applied across a variety of temporal periods in each of which we may identify the strongest player in the corresponding era. This procedure is then compared with more classical ranking schemes. Furthermore, a visualization tool known as the rank clock is introduced to the sport which allows for immediate analysis of the career trajectory of individual competitors. These results further demonstrate the use of network science in the quantification of success within the field of sport.


Deformation and quasiregular extension of cubical Alexander maps. In this article we prove that, for an oriented PL n manifold M with m boundary components and d 0 in mathbb N , there exist mutually disjoint closed Euclidean balls and a mathsf K quasiregular mapping M to mathbb S n setminus mathrm int (B 1 cup cdots cup B m) of degree at least d 0 . The result is quantitative in the sense that the distortion mathsf K of the mapping does not depend on the degree. As applications of this construction, we obtain Rickman's large local index theorem for quasiregular maps to all dimensions n ge 4 . We also construct, in dimension n 4 , a version of a wildly branching quasiregular map of Heinonen and Rickman, and a uniformly quasiregular map of arbitrarily large degree whose Julia set is a wild Cantor set. The existence of a wildly branching quasiregular map yields an example of a metric 4 sphere ( mathbb S 4,d) , which is not bilipschitz equivalent to the Euclidean 4 sphere mathbb S 4 but which admits a BLD map to mathbb S 4 . For the proof of the main theorem, we develop a dimension free deformation method for cubical Alexander maps. For cubical and shellable Alexander maps this completes the 2 dimensional deformation theory originated by S. Rickman in 1985.


Beyond Adaptive Submodularity Adaptive Influence Maximization with Intermediary Constraints. We consider a brand with a given budget that wants to promote a product over multiple rounds of influencer marketing. In each round, it commissions an influencer to promote the product over a social network, and then observes the subsequent diffusion of the product before adaptively choosing the next influencer to commission. This process terminates when the budget is exhausted. We assume that the diffusion process follows the popular Independent Cascade model. We also consider an online learning setting, where the brand initially does not know the diffusion parameters associated with the model, and has to gradually learn the parameters over time. Unlike in existing models, the rounds in our model are correlated through an intermediary constraint each user can be commissioned for an unlimited number of times. However, each user will spread influence without commission at most once. Due to this added constraint, the order in which the influencers are chosen can change the influence spread, making obsolete existing analysis techniques that based on the notion of adaptive submodularity. We devise a sample path analysis to prove that a greedy policy that knows the diffusion parameters achieves at least 1 1 e epsilon times the expected reward of the optimal policy. In the online learning setting, we are the first to consider a truly adaptive decision making framework, rather than assuming independent epochs, and adaptivity only within epochs. Under mild assumptions, we derive a regret bound for our algorithm. In our numerical experiments, we simulate information diffusions on four Twitter sub networks, and compare our UCB based learning algorithms with several baseline adaptive seeding strategies. Our learning algorithm consistently outperforms the baselines and achieves rewards close to the greedy policy that knows the true diffusion parameters.


Roles of mutation rate and co existence of multiple strategy updating rules in evolutionary prisoner's dilemma games. The emergence and maintenance of cooperation has attracted intensive scholarly interest and has been analysed within the framework of evolutionary game theory. The role of innovation, which introduces novel strategies into the population, is a relatively understudied aspect of evolutionary game theory. Here, we investigate the effects of two sources of innovation mutation and heterogeneous updating rules. These mechanisms allow agents to adopt strategies that do not rely on the imitation of other individuals. The model introduces in addition to canonical imitation based strategy updating aspiration based updating, whereby agents switch their strategy by referring solely to the performance of their own strategy mutation also introduces novel strategies into the population. Our simulation results show that the introduction of aspiration based rules into a population of imitators leads to the deterioration of cooperation. In addition, mutation, in combination with heterogeneous updating rules, also diminishes cooperators. This phenomenon is prominent when a large proportion of the population consists of imitators rather than adopters of aspiration based updating. Nevertheless, a high mutation rate, in combination with a low aspiration level, has positive nonlinear effects, and a heterogeneous population achieves a higher level of cooperation than the weighted average of homogeneous populations. Our results demonstrate the profound role of innovation in the evolution of cooperation.


Pure Nash Equilibria in Resource Graph Games. This paper studies the existence of pure Nash equilibria in resource graph games, which are a general class of strategic games used to succinctly represent the players' private costs. There is a finite set of resources and the strategy set of each player corresponds to a set of subsets of resources. The cost of a resource is an arbitrary function that depends on the load vector of the resources in a specified neighborhood. As our main result, we give complete characterizations of the cost functions guaranteeing the existence of pure Nash equilibria for weighted and unweighted players, respectively. 1. For unweighted players, pure Nash equilibria are guaranteed to exist for any choice of the players' strategy space if and only if the cost of each resource is an arbitrary function of the load of the resource itself and linear in the load of all other resources where the linear coefficients of mutual influence of different resources are symmetric. 2. For games with weighted players, pure Nash equilibria are guaranteed to exist for any choice of the players' strategy space if and only if the cost of a resource is linear in all resource loads, and the linear factors of mutual influence are symmetric, or there is no interaction among resources and the cost is an exponential function of the local resource load. 3. For the special case that the players' strategy sets are matroids, we show that pure Nash equilibria exist under a local monotonicity property, even when cost functions are player specific. We point out an application of this result to bilevel load balancing games, which are motivated by the study of network infrastructures that are resilient against external attackers and internal congestion effects. 4. Finally, we derive hardness results for deciding whether a given strategy is a pure Nash equilibrium for network routing games and matroid games, respectively.


On some free algebras of orthogonal modular forms. For 25 orthogonal groups of signature (2,n) related to the root lattices A 1 , 2A 1 , 3A 1 , 4A 1 , A 2 , A 3 , A 4 , A 5 , A 6 , A 7 , D 4 , D 5 , D 6 , D 7 , D 8 , E 6 , E 7 , we prove that the algebras of modular forms on symmetric domains of type IV are freely generated by the additive lifts of some special Jacobi forms. The proof is universal and elementary.


Dual canonical bases and quantum cluster algebras. Given any quantum cluster algebra arising from a quantum unipotent subgroup of symmetrizable Kac Moody type, we verify the quantization conjecture in full generality that the quantum cluster monomials are contained in the dual canonical basis after rescaling.


A classification of one dimensional affine rank three graphs. The rank three subgroups of a one dimensional affine group over a finite field were classified in 1978 by Foulser and Kallaher. Although one can use their results for a classification of corresponding rank three graphs, the author did not find such a classification in a literature. The goal of this note is to present such a classification. It turned out that graph classification is much simpler than the group one. More precisely, it is shown that the graphs in the title are either the Paley graphs or one of the graphs constructed by Van Lint and Schrijver or by Peisert. Our approach is based on elementary group theory and does not use the classification of rank three affine groups.


Revealing the state space of turbulence using machine learning. Despite the apparent complexity of turbulent flow, identifying a simpler description of the underlying dynamical system remains a fundamental challenge. Capturing how the turbulent flow meanders amongst unstable states (simple invariant solutions) in phase space, as envisaged by Hopf in 1948, using some efficient representation offers the best hope of doing this, despite the inherent difficulty in identifying these states. Here, we make a significant step towards this goal by demonstrating that deep convolutional autoencoders can identify low dimensional representations of two dimensional turbulence which are closely associated with the simple invariant solutions characterizing the turbulent attractor. To establish this, we develop latent Fourier analysis that decomposes the flow embedding into a set of orthogonal latent Fourier modes which decode into physically meaningful patterns resembling simple invariant solutions. The utility of this approach is highlighted by analysing turbulent Kolmogorov flow (flow on a 2D torus forced at large scale) at Re 40 where, in between intermittent bursts, the flow resides in the neighbourhood of an unstable state and is very low dimensional. Projections onto individual latent Fourier wavenumbers reveal the simple invariant solutions organising both the quiescent and bursting dynamics in a systematic way inaccessible to previous approaches.


Some isomorphism results for graded twistings of function algebras on finite groups. We provide isomorphism results for Hopf algebras that are obtained as graded twistings of function algebras on finite groups by cocentral actions of cyclic groups. More generally , we also consider the isomorphism problem for finite dimensional Hopf algebras fitting into abelian cocentral extensions. We apply our classification results to a number of concrete examples involving special linear groups over finite fields, alternating groups and dihedral groups.


Plateaux on generalized Stirling permutations and partial gamma positivity. We prove that the enumerative polynomials of generalized Stirling permutations by the statistics of plateaux, descents and ascents are partial gamma positive. Specialization of our result to the Jacobi Stirling permutations confirms a recent partial gamma positivity conjecture due to Ma, Yeh and the second named author. Our partial gamma positivity expansion, as well as a combinatorial interpretation for the corresponding gamma coefficients, are obtained via the machine of context free grammars and a group action on generalized Stirling permutations. Besides, we also provide an alternative approach to the partial gamma positivity from the stability of certain multivariate polynomials.


On quaternion algebras that split over quadratic number fields. Let d and m be two distinct squarefree integers and mathcal O K the ring of integers of the quadratic field K mathbb Q ( sqrt d ) . Denote by H K( alpha, m) a quaternion algebra over K , where alpha in mathcal O K . In this paper we give necessary and sufficient conditions for H K( alpha, m) to split over K for some values of alpha , and we obtain a complete characterization of division quaternion algebras H K( alpha, m) over K whenever alpha and m are two distinct positive prime integers. Examples are given involving prime Fibonacci numbers.


Minimum Delay Routing for Integrated Aeronautical Ad Hoc Networks Relying on Passenger Planes in the North Atlantic Region. Relying on multi hop communication techniques, aeronautical ad hoc networks (AANETs) seamlessly integrate ground base stations (BSs) and satellites into aircraft communications for enhancing the on demand connectivity of planes in the air. In this integrated AANET context we investigate the shortest path routing problem with the objective of minimizing the total delay of the in flight connection from the ground BS subject to certain minimum rate constraints for all selected links in support of low latency and high speed services. Inspired by the best first search and priority queue concepts, we model the problem formulated by a weighted digraph and find the optimal route based on the shortest path algorithm. Our simulation results demonstrate that aircraft aided multi hop communications are capable of reducing the total delay of satellite communications, when relying on real historical flight data.


UNER Universal Named Entity RecognitionFramework. We introduce the Universal Named Entity Recognition (UNER)framework, a 4 level classification hierarchy, and the methodology that isbeing adopted to create the first multilingual UNER corpus the SETimesparallel corpus annotated for named entities. First, the English SETimescorpus will be annotated using existing tools and knowledge bases. Afterevaluating the resulting annotations through crowdsourcing campaigns,they will be propagated automatically to other languages within the SE Times corpora. Finally, as an extrinsic evaluation, the UNER multilin gual dataset will be used to train and test available NER tools. As part offuture research directions, we aim to increase the number of languages inthe UNER corpus and to investigate possible ways of integrating UNERwith available knowledge graphs to improve named entity recognition.


Indecomposable Objects of underline Rep (GL t) in Terms of Exterior Powers of the Tautological Object and its Dual. The purpose of this short note is to understand the Grothendieck ring of the Deligne category underline text Rep (GL t) . We give a formula for the class of an indecomposable object in terms of exterior powers of the tautological object and its dual.


A theorem of Bombieri Vinogradov type with few exceptional moduli. If a set S of pairwise coprime moduli q, less than x (9 40), is considered, one obtains the expected behavior for primes up to x in arithmetic progressions mod q, except for a subset of S whose cardinality is bounded by a power of log x.


Synthesizing Functional Reactive Programs. Functional Reactive Programming (FRP) is a paradigm that has simplified the construction of reactive programs. There are many libraries that implement incarnations of FRP, using abstractions such as Applicative, Monads, and Arrows. However, finding a good control flow, that correctly manages state and switches behaviors at the right times, still poses a major challenge to developers. An attractive alternative is specifying the behavior instead of programming it, as made possible by the recently developed logic Temporal Stream Logic (TSL). However, it has not been explored so far how Control Flow Models (CFMs), as synthesized from TSL specifications, can be turned into executable code that is compatible with libraries building on FRP. We bridge this gap, by showing that CFMs are indeed a suitable formalism to be turned into Applicative, Monadic, and Arrowized FRP. We demonstrate the effectiveness of our translations on a real world kitchen timer application, which we translate to a desktop application using the Arrowized FRP library Yampa, a web application using the Monadic threepenny gui library, and to hardware using the Applicative hardware description language ClaSH.


On Extending NLP Techniques from the Categorical to the Latent Space KL Divergence, Zipf's Law, and Similarity Search. Despite the recent successes of deep learning in natural language processing (NLP), there remains widespread usage of and demand for techniques that do not rely on machine learning. The advantage of these techniques is their interpretability and low cost when compared to frequently opaque and expensive machine learning models. Although they may not be be as performant in all cases, they are often sufficient for common and relatively simple problems. In this paper, we aim to modernize these older methods while retaining their advantages by extending approaches from categorical or bag of words representations to word embeddings representations in the latent space. First, we show that entropy and Kullback Leibler divergence can be efficiently estimated using word embeddings and use this estimation to compare text across several categories. Next, we recast the heavy tailed distribution known as Zipf's law that is frequently observed in the categorical space to the latent space. Finally, we look to improve the Jaccard similarity measure for sentence suggestion by introducing a new method of identifying similar sentences based on the set cover problem. We compare the performance of this algorithm against several baselines including Word Mover's Distance and the Levenshtein distance.


Incremental Concept Learning via Online Generative Memory Recall. The ability to learn more and more concepts over time from incrementally arriving data is essential for the development of a life long learning system. However, deep neural networks often suffer from forgetting previously learned concepts when continually learning new concepts, which is known as catastrophic forgetting problem. The main reason for catastrophic forgetting is that the past concept data is not available and neural weights are changed during incrementally learning new concepts. In this paper, we propose a pseudo rehearsal based class incremental learning approach to make neural networks capable of continually learning new concepts. We use a conditional generative adversarial network to consolidate old concepts memory and recall pseudo samples during learning new concepts and a balanced online memory recall strategy is to maximally maintain old memories. And we design a comprehensible incremental concept learning network as well as a concept contrastive loss to alleviate the magnitude of neural weights change. We evaluate the proposed approach on MNIST, Fashion MNIST and SVHN datasets and compare with other rehearsal based approaches. The extensive experiments demonstrate the effectiveness of our approach.


Asymptotics of the stress concentration in high contrast elastic composites. A long standing area of materials science research has been the study of electrostatic, magnetic, and elastic fields in composite with densely packed inclusions whose material properties differ from that of the background. For a general elliptic system, when the coefficients are piecewise H " o lder continuous and uniformly bounded, an varepsilon independent bound of the gradient was obtained by Li and Nirenberg cite ln , where varepsilon represents the distance between the interfacial surfaces. However, in high contrast composites, when varepsilon tends to zero, the stress always concentrates in the narrow regions. As a contrast to the uniform boundedness result of Li and Nirenberg, in order to investigate the role of varepsilon played in such kind of concentration phenomenon, in this paper we establish the blow up asymptotic expressions of the gradients of solutions to the Lam ' e system with partially infinite coefficients in dimensions two and three. We discover the relationship between the blow up rate of the stress and the relative convexity of adjacent surfaces, and find a family of blow up factor matrices with respect to the boundary data. Therefore, this work completely solves the Babu u s ka problem on blow up analysis of stress concentration in high contrast composite media. Moreover, as a byproduct of these local analysis, we establish an extended Flaherty Keller formula on the global effective elastic property of a periodic composite with densely packed fibers, which is related to the "Vigdergauz microstructure" in the shape optimization of fibers.


Deep Learning Based Classification Of the Defective Pistachios Via Deep Autoencoder Neural Networks. Pistachio nut is mainly consumed as raw, salted or roasted because of its high nutritional properties and favorable taste. Pistachio nuts with shell and kernel defects, besides not being acceptable for a consumer, are also prone to insects damage, mold decay, and aflatoxin contamination. In this research, a deep learning based imaging algorithm was developed to improve the sorting of nuts with shell and kernel defects that indicate the risk of aflatoxin contamination, such as dark stains, oily stains, adhering hull, fungal decay and Aspergillus molds. This paper presents an unsupervised learning method to classify defective and unpleasant pistachios based on deep Auto encoder neural networks. The testing of the designed neural network on a validation dataset showed that nuts having dark stain, oily stain or adhering hull with an accuracy of 80.3 can be distinguished from normal nuts. Due to the limited memory available in the HPC of university, the results are reasonable and justifiable.


One SQL to Rule Them All. Real time data analysis and management are increasingly critical for today s businesses. SQL is the de facto lingua franca for these endeavors, yet support for robust streaming analysis and management with SQL remains limited. Many approaches restrict semantics to a reduced subset of features and or require a suite of non standard constructs. Additionally, use of event timestamps to provide native support for analyzing events according to when they actually occurred is not pervasive, and often comes with important limitations. We present a three part proposal for integrating robust streaming into the SQL standard, namely (1) time varying relations as a foundation for classical tables as well as streaming data, (2) event time semantics, (3) a limited set of optional keyword extensions to control the materialization of time varying query results. Motivated and illustrated using examples and lessons learned from implementations in Apache Calcite, Apache Flink, and Apache Beam, we show how with these minimal additions it is possible to utilize the complete suite of standard SQL semantics to perform robust stream processing.


A Spark ML driven preprocessing approach for deep learning based scholarly data applications. Big data has found applications in multiple domains. One of the largest sources of textual big data is scientific documents and papers. Big scholarly data have been used in numerous ways to create innovative applications such as collaborator discovery, expert finding and research management systems. With the advent of advanced machine and deep learning techniques, the accuracy and novelty of such applications have risen manifold. However, the biggest challenge in the development of deep learning models for scholarly applications in cloud based environment is the underutilization of resources because of the excessive time taken by textual preprocessing. This paper presents a preprocessing pipeline that makes use of Spark for data ingestion and Spark ML for pipelining preprocessing tasks. The evaluation of the proposed work is done using a case study, which uses LSTM based text summarization for generating title or summary from abstract of any research. The ingestion, preprocessing and cumulative time for the proposed approach (P3SAPP) is much lower than the conventional approach (CA), which manifests in reduction of costs as well.


Cucker Smale type flocking models on a sphere. We present a Cucker Smale (C S) type flocking model on a sphere. We study velocity alignment on a sphere and prove the emergence of flocking for the proposed model. Our model includes three new terms a centripetal force, multi agent interactions on a sphere and inter particle bonding forces. To compare velocity vectors on different tangent spaces, we introduce a rotation operator in our new interaction term. Due to the geometric restriction, the rotation operator is singular at antipodal points and the relative velocity between two agents located at these points is not well defined. Based on an energy dissipation property of our model and a variation of Barbalat's lemma, we show the alignment of velocities for an admissible class of communication weight functions. In addition, for sufficiently large bonding forces we prove time asymptotic flocking which includes the avoidance of antipodal points.


MonStereo When Monocular and Stereo Meet at the Tail of 3D Human Localization. Monocular and stereo visions are cost effective solutions for 3D human localization in the context of self driving cars or social robots. However, they are usually developed independently and have their respective strengths and limitations. We propose a novel unified learning framework that leverages the strengths of both monocular and stereo cues for 3D human localization. Our method jointly (i) associates humans in left right images, (ii) deals with occluded and distant cases in stereo settings by relying on the robustness of monocular cues, and (iii) tackles the intrinsic ambiguity of monocular perspective projection by exploiting prior knowledge of the human height distribution. We specifically evaluate outliers as well as challenging instances, such as occluded and far away pedestrians, by analyzing the entire error distribution and by estimating calibrated confidence intervals. Finally, we critically review the official KITTI 3D metrics and propose a practical 3D localization metric tailored for humans.


Can Temporal Information Help with Contrastive Self Supervised Learning?. Leveraging temporal information has been regarded as essential for developing video understanding models. However, how to properly incorporate temporal information into the recent successful instance discrimination based contrastive self supervised learning (CSL) framework remains unclear. As an intuitive solution, we find that directly applying temporal augmentations does not help, or even impair video CSL in general. This counter intuitive observation motivates us to re design existing video CSL frameworks, for better integration of temporal knowledge. To this end, we present Temporal aware Contrastive self supervised learningTaCo, as a general paradigm to enhance video CSL. Specifically, TaCo selects a set of temporal transformations not only as strong data augmentation but also to constitute extra self supervision for video understanding. By jointly contrasting instances with enriched temporal transformations and learning these transformations as self supervised signals, TaCo can significantly enhance unsupervised video representation learning. For instance, TaCo demonstrates consistent improvement in downstream classification tasks over a list of backbones and CSL approaches. Our best model achieves 85.1 (UCF 101) and 51.6 (HMDB 51) top 1 accuracy, which is a 3 and 2.4 relative improvement over the previous state of the art.


Dimension reduction in recurrent networks by canonicalization. Many recurrent neural network machine learning paradigms can be formulated using state space representations. The classical notion of canonical state space realization is adapted in this paper to accommodate semi infinite inputs so that it can be used as a dimension reduction tool in the recurrent networks setup. The so called input forgetting property is identified as the key hypothesis that guarantees the existence and uniqueness (up to system isomorphisms) of canonical realizations for causal and time invariant input output systems with semi infinite inputs. Additionally, the notion of optimal reduction coming from the theory of symmetric Hamiltonian systems is implemented in our setup to construct canonical realizations out of input forgetting but not necessarily canonical ones. These two procedures are studied in detail in the framework of linear fading memory input output systems. Finally, the notion of implicit reduction using reproducing kernel Hilbert spaces (RKHS) is introduced which allows, for systems with linear readouts, to achieve dimension reduction without the need to actually compute the reduced spaces introduced in the first part of the paper.


Modeling confirmation bias and peer pressure in opinion dynamics. Confirmation bias and peer pressure both have substantial impacts on the formation of collective decisions. Nevertheless, few attempts have been made to study how the interplay between these two mechanisms affects public opinion evolution. Here we propose an agent based model of opinion dynamics which incorporates the conjugate effect of confirmation bias (characterized by the population identity scope and individual stubbornness) and peer pressure (described by a susceptibility threshold). We show that the number of opinion fragments first increases and then decreases to one as population identity scope becomes larger in a homogeneous population. Further, in heterogeneous situations, we find that even a small fraction of impressionable individuals who are sensitive to peer pressure could help eliminate public polarization when population identity scope is relatively large. Intriguingly, we highlight the emergence of 'impressionable moderates' who are easily influenced, hold wavering opinions, and are of vital significance in competitive campaigns.


Investigating Evaluation of Open Domain Dialogue Systems With Human Generated Multiple References. The aim of this paper is to mitigate the shortcomings of automatic evaluation of open domain dialog systems through multi reference evaluation. Existing metrics have been shown to correlate poorly with human judgement, particularly in open domain dialog. One alternative is to collect human annotations for evaluation, which can be expensive and time consuming. To demonstrate the effectiveness of multi reference evaluation, we augment the test set of DailyDialog with multiple references. A series of experiments show that the use of multiple references results in improved correlation between several automatic metrics and human judgement for both the quality and the diversity of system output.


Abstract Mathematical morphology based on structuring element Application to morpho logic. A general definition of mathematical morphology has been defined within the algebraic framework of complete lattice theory. In this framework, dealing with deterministic and increasing operators, a dilation (respectively an erosion) is an operation which is distributive over supremum (respectively infimum). From this simple definition of dilation and erosion, we cannot say much about the properties of them. However, when they form an adjunction, many important properties can be derived such as monotonicity, idempotence, and extensivity or anti extensivity of their composition, preservation of infimum and supremum, etc. Mathematical morphology has been first developed in the setting of sets, and then extended to other algebraic structures such as graphs, hypergraphs or simplicial complexes. For all these algebraic structures, erosion and dilation are usually based on structuring elements. The goal is then to match these structuring elements on given objects either to dilate or erode them. One of the advantages of defining erosion and dilation based on structuring elements is that these operations are adjoint. Based on this observation, this paper proposes to define, at the abstract level of category theory, erosion and dilation based on structuring elements. We then define the notion of morpho category on which erosion and dilation are defined. We then show that topos and more precisely topos of presheaves are good candidates to generate morpho categories. However, topos do not allow taking into account the notion of inclusion between substructures but rather are defined by monics up to domain isomorphism. Therefore we define the notion of morpholizable category which allows generating morpho categories where substructures are defined along inclusion morphisms. A direct application of this framework is to generalize modal morpho logic to other algebraic structures than simple sets.


Is Network the Bottleneck of Distributed Training?. Recently there has been a surge of research on improving the communication efficiency of distributed training. However, little work has been done to systematically understand whether the network is the bottleneck and to what extent. In this paper, we take a first principles approach to measure and analyze the network performance of distributed training. As expected, our measurement confirms that communication is the component that blocks distributed training from linear scale out. However, contrary to the common belief, we find that the network is running at low utilization and that if the network can be fully utilized, distributed training can achieve a scaling factor of close to one. Moreover, while many recent proposals on gradient compression advocate over 100x compression ratio, we show that under full network utilization, there is no need for gradient compression in 100 Gbps network. On the other hand, a lower speed network like 10 Gbps requires only 2x 5x gradients compression ratio to achieve almost linear scale out. Compared to application level techniques like gradient compression, network level optimizations do not require changes to applications and do not hurt the performance of trained models. As such, we advocate that the real challenge of distributed training is for the network community to develop high performance network transport to fully utilize the network capacity and achieve linear scale out.


Emergence of cascading dynamics in interacting tipping elements of ecology and climate. In ecology, climate and other fields, (sub)systems have been identified that can transition into a qualitatively different state when a critical threshold or tipping point in a driving process is crossed. An understanding of those tipping elements is of great interest given the increasing influence of humans on the biophysical Earth system. Complex interactions exist between tipping elements, e.g. physical mechanisms connect subsystems of the climate system. Based on earlier work on such coupled nonlinear systems, we systematically assessed the qualitative long term behaviour of interacting tipping elements. We developed an understanding of the consequences of interactions on the tipping behaviour allowing for tipping cascades to emerge under certain conditions. The (narrative) application of these qualitative results to real world examples of interacting tipping elements indicates that tipping cascades with profound consequences may occur the interacting Greenland ice sheet and thermohaline ocean circulation might tip before the tipping points of the isolated subsystems are crossed. The eutrophication of the first lake in a lake chain might propagate through the following lakes without a crossing of their individual critical nutrient input levels. The possibility of emerging cascading tipping dynamics calls for the development of a unified theory of interacting tipping elements and the quantitative analysis of interacting real world tipping elements.


Almost canonical ideals and GAS numerical semigroups. We propose the notion of GAS numerical semigroup which generalizes both almost symmetric and 2 AGL numerical semigroups. Moreover, we introduce the concept of almost canonical ideal which generalizes the notion of canonical ideal in the same way almost symmetric numerical semigroups generalize symmetric ones. We prove that a numerical semigroup with maximal ideal M and multiplicity e is GAS if and only if M e is an almost canonical ideal of M M . This generalizes a result of Barucci about almost symmetric semigroups and a theorem of Chau, Goto, Kumashiro, and Matsuoka about 2 AGL semigroups. We also study the transfer of the GAS property from a numerical semigroup to its gluing, numerical duplication and dilatation.


Exempla Gratis (E.G.) Code Examples for Free. Modern software engineering often involves using many existing APIs, both open source and, in industrial coding environments, proprietary. Programmers reference documentation and code search tools to remind themselves of proper common usage patterns of APIs. However, high quality API usage examples are computationally expensive to curate and maintain, and API usage examples retrieved from company wide code search can be tedious to review. We present a tool, EG, that mines codebases and shows the common, idiomatic usage examples for API methods. EG was integrated into Facebook's internal code search tool for the Hack language and evaluated on open source GitHub projects written in Python. EG was also compared against code search results and hand written examples from a popular programming website called ProgramCreek. Compared with these two baselines, examples generated by EG are more succinct and representative with less extraneous statements. In addition, a survey with Facebook developers shows that EG examples are preferred in 97 percent of cases.


Towards a Multi modal, Multi task Learning based Pre training Framework for Document Representation Learning. Recent approaches in literature have exploited the multi modal information in documents (text, layout, image) to serve specific downstream document tasks. However, they are limited by their (i) inability to learn cross modal representations across text, layout and image dimensions for documents and (ii) inability to process multi page documents. Pre training techniques have been shown in Natural Language Processing (NLP) domain to learn generic textual representations from large unlabelled datasets, applicable to various downstream NLP tasks. In this paper, we propose a multi task learning based framework that utilizes a combination of self supervised and supervised pre training tasks to learn a generic document representation applicable to various downstream document tasks. Specifically, we introduce Document Topic Modelling and Document Shuffle Prediction as novel pre training tasks to learn rich image representations along with the text and layout representations for documents. We utilize the Longformer network architecture as the backbone to encode the multi modal information from multi page documents in an end to end fashion. We showcase the applicability of our pre training framework on a variety of different real world document tasks such as document classification, document information extraction, and document retrieval. We evaluate our framework on different standard document datasets and conduct exhaustive experiments to compare performance against various ablations of our framework and state of the art baselines.


Thermodynamic metrics on outer space. In this paper we consider two piecewise Riemannian metrics defined on the Culler Vogtmann outer space which we call the entropy metric and the pressure metric. As a result of work of McMullen, these metrics can be seen as analogs of the Weil Petersson metric on the Teichm "uller space of a closed surface. We show that while the geometric analysis of these metrics is similar to that of the Weil Petersson metric, from the point of view of geometric group theory, these metrics behave very differently to the Weil Petersson metric. Specifically, we show that when the rank r is at least 4, the action of rm Out ( mathbb F r) on the completion of the Culler Vogtmann outer space using the entropy metric has a fixed point. A similar statement also holds for the pressure metric.


Interpretable machine learning models a physics based view. To understand changes in physical systems and facilitate decisions, explaining how model predictions are made is crucial. We use model based interpretability, where models of physical systems are constructed by composing basic constructs that explain locally how energy is exchanged and transformed. We use the port Hamiltonian (p H) formalism to describe the basic constructs that contain physically interpretable processes commonly found in the behavior of physical systems. We describe how we can build models out of the p H constructs and how we can train them. In addition we show how we can impose physical properties such as dissipativity that ensure numerical stability of the training process. We give examples on how to build and train models for describing the behavior of two physical systems the inverted pendulum and swarm dynamics.


Difference of composition operators on weight Bergman spaces with doubling weight. In this paper, some characterizations for the compact difference of composition operators on Bergman spaces A p omega with doubling weight are given, which extend Moorhouse's characterization for the difference of composition operators on the weighted Bergman space A 2 alpha .


Bott Thom isomorphism, Hopf bundles and Morse theory. Based on Morse theory for the energy functional on path spaces we develop a deformation theory for mapping spaces of spheres into orthogonal groups. This is used to show that these mapping spaces are weakly homotopy equivalent, in a stable range, to mapping spaces associated to orthogonal Clifford representations. Given an oriented Euclidean bundle V to X of rank divisible by four over a finite complex X we derive a stable decomposition result for vector bundles over the sphere bundle mathord mathbb S ( mathbb R oplus V) in terms of vector bundles and Clifford module bundles over X . After passing to topological K theory these results imply classical Bott Thom isomorphism theorems.


Where Are We? Using Scopus to Map the Literature at the Intersection Between Artificial Intelligence and Research on Crime. Research on Artificial Intelligence (AI) applications has spread over many scientific disciplines. Scientists have tested the power of intelligent algorithms developed to predict (or learn from) natural, physical and social phenomena. This also applies to crime related research problems. Nonetheless, studies that map the current state of the art at the intersection between AI and crime are lacking. What are the current research trends in terms of topics in this area? What is the structure of scientific collaboration when considering works investigating criminal issues using machine learning, deep learning, and AI in general? What are the most active countries in this specific scientific sphere? Using data retrieved from the Scopus database, this work quantitatively analyzes 692 published works at the intersection between AI and crime employing network science to respond to these questions. Results show that researchers are mainly focusing on cyber related criminal topics and that relevant themes such as algorithmic discrimination, fairness, and ethics are considerably overlooked. Furthermore, data highlight the extremely disconnected structure of co authorship networks. Such disconnectedness may represent a substantial obstacle to a more solid community of scientists interested in these topics. Additionally, the graph of scientific collaboration indicates that countries that are more prone to engage in international partnerships are generally less central in the network. This means that scholars working in highly productive countries (e.g. the United States, China) tend to mostly collaborate domestically. Finally, current issues and future developments within this scientific area are also discussed.


A new approach to Baer and dual Baer modules. Let R be a ring. It is proved that an R module M is Baer (resp. dual Baer) if and only if every exact sequence 0 rightarrow X rightarrow M rightarrow Y rightarrow 0 with Y in Cog (M R) (resp. X in Gen (M R) ) splits. This shows that being (dual) Baer is a Morita invariant property. As more applications, the Baer condition for the R module M Hom Bbb Z (M, Bbb Q Bbb Z ) is investigated and shown that R is a von Neumann regular ring, if R is a Baer R module. Baer modules with (weak) chain conditions are studied and determined when a Baer (resp. dual baer) module is a direct sum of mutually orthogonal prime (resp. co prime) modules. Finitely generated dual Baer modules over commutative rings are studeid


Dissipative solutions to compressible Navier Stokes equations with general inflow outflow data existence, stability and weak strong uniqueness. So far existence of dissipative weak solutions for the compressible Navier Stokes equations (i.e. weak solutions satisfying the relative energy inequality) is known only in the case of boundary conditions with non zero inflow outflow (i.e., in particular, when the normal component of the velocity on the boundary of the ow domain is equal to zero). Most of physical applications (as ows in wind tunnels, pipes, reactors of jet engines) requires to consider non zero inflow outflow boundary condtions. We prove existence of dissipative weak solutions to the compressible Navier Stokes equations in barotropic regime (adiabatic coefficient gamma 3 2, in three dimensions, gamma 1 in two dimensions)with large velocity prescribed at the boundary and large density prescribed at the inflow boundary of a bounded piecewise regular Lipschitz domain, without any restriction neither on the shape of the inflow outflow boundaries nor on the shape of the domain. It is well known that the relative energy inequality has many applications, e.g., to investigation of incompressible or inviscid limits, to the dimension reduction of flows, to the error estimates of numerical schemes. In this paper we deal with one of its basic applications, namely weak strong uniqueness principle.


Space Efficient Representations of Finite Groups. The Cayley table representation of a group uses mathcal O (n 2) words for a group of order n and answers multiplication queries in time mathcal O (1) . It is interesting to ask if there is a o(n 2) space representation of groups that still has mathcal O (1) query time. We show that for any delta , frac 1 log n le delta le 1 , there is an mathcal O ( frac n 1 delta delta ) space representation for groups of order n with mathcal O ( frac 1 delta ) query time. We also show that for Z groups, simple groups and several group classes defined in terms of semidirect product, there are linear space representations with at most logarithmic query time. Farzan and Munro (ISSAC'06) defined a model for group representation and gave a succinct data structure for abelian groups with constant query time. They asked if their result can be extended to categorically larger group classes. We construct data structures in their model for Hamiltonian groups and some other classes of groups with constant query time.


The equivariant Atiyah class. Let X be a complex scheme acted on by an affine algebraic group G . We prove that the Atiyah class of a G equivariant perfect complex on X , as constructed by Huybrechts and Thomas, is G equivariant in a precise sense. As an application, we show that, if G is reductive, the obstruction theory on the fine relative moduli space M to B of simple perfect complexes on a G invariant smooth projective family Y to B is G equivariant. The results contained here are meant to suggest how to check the equivariance of the natural obstruction theories on a wide variety of moduli spaces equipped with a torus action, arising for instance in Donaldson Thomas theory and Vafa Witten theory.


Arabic Opinion Mining Using a Hybrid Recommender System Approach. Recommender systems nowadays are playing an important role in the delivery of services and information to users. Sentiment analysis (also known as opinion mining) is the process of determining the attitude of textual opinions, whether they are positive, negative or neutral. Data sparsity is representing a big issue for recommender systems because of the insufficiency of user rating or absence of data about users or items. This research proposed a hybrid approach combining sentiment analysis and recommender systems to tackle the problem of data sparsity problems by predicting the rating of products from users reviews using text mining and NLP techniques. This research focuses especially on Arabic reviews, where the model is evaluated using Opinion Corpus for Arabic (OCA) dataset. Our system was efficient, and it showed a good accuracy of nearly 85 percent in predicting rating from reviews


Learning a Controller Fusion Network by Online Trajectory Filtering for Vision based UAV Racing. Autonomous UAV racing has recently emerged as an interesting research problem. The dream is to beat humans in this new fast paced sport. A common approach is to learn an end to end policy that directly predicts controls from raw images by imitating an expert. However, such a policy is limited by the expert it imitates and scaling to other environments and vehicle dynamics is difficult. One approach to overcome the drawbacks of an end to end policy is to train a network only on the perception task and handle control with a PID or MPC controller. However, a single controller must be extensively tuned and cannot usually cover the whole state space. In this paper, we propose learning an optimized controller using a DNN that fuses multiple controllers. The network learns a robust controller with online trajectory filtering, which suppresses noisy trajectories and imperfections of individual controllers. The result is a network that is able to learn a good fusion of filtered trajectories from different controllers leading to significant improvements in overall performance. We compare our trained network to controllers it has learned from, end to end baselines and human pilots in a realistic simulation our network beats all baselines in extensive experiments and approaches the performance of a professional human pilot. A video summarizing this work is available at https youtu.be hGKlE5X9Z5U


The Spectrum of the Burnside Tambara Functor of a Cyclic Group. We derive a family of prime ideals of the Burnside Tambara functor for a finite group G . In the case of cyclic groups, this family comprises the entire prime spectrum. We include some partial results towards the same result for a larger class of groups.


Geodesic completeness of some Lorentzian simple Lie groups. In this paper we investigate geodesic completeness of left invariant Lorentzian metrics on a simple Lie group G when there exists a left invariant Killing vector field Z on G . Among other results, it is proved that if Z is timelike, or G is strongly causal and Z is lightlike, then the metric is complete. We then consider the special complex Lie group SL 2( mathbb C ) in more details and show that the existence of a lightlike vector field Z on it, implies geodesic completeness. We also consider the existence of a spacelike vector field Z on SL 2( mathbb C ) and provide an equivalent condition for the metric to be complete. This illustrates the complexity of the situation when Z is spacelike.


Why Temporal Persistence of Biometric Features is so Valuable for Classification Performance. It is generally accepted that relatively more permanent (i.e., more temporally persistent) traits are more valuable for biometric performance than less permanent traits. Although this finding is intuitive, there is no current work identifying exactly where in the biometric analysis temporal persistence makes a difference. In this paper, we answer this question. In a recent report, we introduced the intraclass correlation coefficient (ICC) as an index of temporal persistence for such features. In that report, we also showed that choosing only the most temporally persistent features yielded superior performance in 12 of 14 datasets. Motivated by those empirical results, we present a novel approach using synthetic features to study which aspects of a biometric identification study are influenced by the temporal persistence of features. What we show is that using more temporally persistent features produces effects on the similarity score distributions that explain why this quality is so key to biometric performance. The results identified with the synthetic data are largely reinforced by an analysis of two datasets, one based on eye movements and one based on gait. There was one difference between the synthetic and real data In real data, features are intercorrelated, with the level of intercorrelation increasing with increasing ICC. This increasedhttps www.overleaf.com project 5e2b14694c5dc600017292e6 intercorrelation in real data was associated with an increase in the spread of the impostor similarity score distributions. Removing these intercorrelations for real datasets with a decorrelation step produced results which were very similar to that obtained with synthetic features.


Recoding Lie algebraic subshifts. We study internal Lie algebras in the category of subshifts on a fixed group or Lie algebraic subshifts for short. We show that if the acting group is virtually polycyclic and the underlying vector space has dense homoclinic points, such subshifts can be recoded to have a cellwise Lie bracket. On the other hand there exist Lie algebraic subshifts (on any finitely generated non torsion group) with cellwise vector space operations whose bracket cannot be recoded to be cellwise. We also show that one dimensional full vector shifts with cellwise vector space operations can support infinitely many compatible Lie brackets even up to automorphisms of the underlying vector shift, and we state the classification problem of such brackets. From attempts to generalize these results to other acting groups, the following questions arise Does every f.g. group admit a linear cellular automaton of infinite order? Which groups admit abelian group shifts whose homoclinic group is not generated by finitely many orbits? For the first question, we show that the Grigorchuk group admits such a CA, and for the second we show that the lamplighter group admits such group shifts.


Object Agnostic Suction Grasp Affordance Detection in Dense Cluster Using Self Supervised Learning.docx. In this paper we study grasp problem in dense cluster, a challenging task in warehouse logistics scenario. By introducing a two step robust suction affordance detection method, we focus on using vacuum suction pad to clear up a box filled with seen and unseen objects. Two CNN based neural networks are proposed. A Fast Region Estimation Network (FRE Net) predicts which region contains pickable objects, and a Suction Grasp Point Affordance network (SGPA Net) determines which point in that region is pickable. So as to enable such two networks, we design a self supervised learning pipeline to accumulate data, train and test the performance of our method. In both virtual and real environment, within 1500 picks ( 5 hours), we reach a picking accuracy of 95 for known objects and 90 for unseen objects with similar geometry features.


ViDeNN Deep Blind Video Denoising. We propose ViDeNN a CNN for Video Denoising without prior knowledge on the noise distribution (blind denoising). The CNN architecture uses a combination of spatial and temporal filtering, learning to spatially denoise the frames first and at the same time how to combine their temporal information, handling objects motion, brightness changes, low light conditions and temporal inconsistencies. We demonstrate the importance of the data used for CNNs training, creating for this purpose a specific dataset for low light conditions. We test ViDeNN on common benchmarks and on self collected data, achieving good results comparable with the state of the art.


The Cauchy problem for 3 evolution equations with data in Gelfand Shilov spaces. We consider the Cauchy problem for a 3 evolution operator P with (t,x) depending coefficients and complex valued lower order terms. We assume the initial data to be Gevrey regular and to admit an exponential decay at infinity, that is, the data belong to some Gelfand Shilov spaces of type mathscr S . Under suitable assumptions on the decay at infinity of the imaginary parts of the coefficients of P we prove the existence of a solution with the same Gevrey regularity of the data and we describe its behavior for x to infty .


Pre training Is (Almost) All You Need An Application to Commonsense Reasoning. Fine tuning of pre trained transformer models has become the standard approach for solving common NLP tasks. Most of the existing approaches rely on a randomly initialized classifier on top of such networks. We argue that this fine tuning procedure is sub optimal as the pre trained model has no prior on the specific classifier labels, while it might have already learned an intrinsic textual representation of the task. In this paper, we introduce a new scoring method that casts a plausibility ranking task in a full text format and leverages the masked language modeling head tuned during the pre training phase. We study commonsense reasoning tasks where the model must rank a set of hypotheses given a premise, focusing on the COPA, Swag, HellaSwag and CommonsenseQA datasets. By exploiting our scoring method without fine tuning, we are able to produce strong baselines (e.g. 80 test accuracy on COPA) that are comparable to supervised approaches. Moreover, when fine tuning directly on the proposed scoring function, we show that our method provides a much more stable training phase across random restarts (e.g times 10 standard deviation reduction on COPA test accuracy) and requires less annotated data than the standard classifier approach to reach equivalent performances.


Classification of omega categorical monadically stable structures. A first order structure mathfrak A is called monadically stable iff every expansion of mathfrak A by unary predicates is stable. In this article we give a classification of the class mathcal M of omega categorical monadically stable structures in terms of their automorphism groups. We prove in turn that mathcal M is smallest class of structures which contains the one element pure set, closed under isomorphisms, and closed under taking finitely disjoint unions, infinite copies, and finite index first order reducts. Using our classification we show that every structure in mathcal M is first order interdefinable with a finitely bounded homogeneous structure. We also prove that every structure in mathcal M has finitely many reducts up to interdefinability, thereby confirming Thomas' conjecture for the class mathcal M .


Scale Adaptive Neural Dense Features Learning via Hierarchical Context Aggregation. How do computers and intelligent agents view the world around them? Feature extraction and representation constitutes one the basic building blocks towards answering this question. Traditionally, this has been done with carefully engineered hand crafted techniques such as HOG, SIFT or ORB. However, there is no one size fits all'' approach that satisfies all requirements. In recent years, the rising popularity of deep learning has resulted in a myriad of end to end solutions to many computer vision problems. These approaches, while successful, tend to lack scalability and can't easily exploit information learned by other systems. Instead, we propose SAND features, a dedicated deep learning solution to feature extraction capable of providing hierarchical context information. This is achieved by employing sparse relative labels indicating relationships of similarity dissimilarity between image locations. The nature of these labels results in an almost infinite set of dissimilar examples to choose from. We demonstrate how the selection of negative examples during training can be used to modify the feature space and vary it's properties. To demonstrate the generality of this approach, we apply the proposed features to a multitude of tasks, each requiring different properties. This includes disparity estimation, semantic segmentation, self localisation and SLAM. In all cases, we show how incorporating SAND features results in better or comparable results to the baseline, whilst requiring little to no additional training. Code can be found at https github.com jspenmar SAND features


Nested Dataflow Algorithms for Dynamic Programming Recurrences with more than O(1) Dependency. Dynamic programming problems have wide applications in real world and have been studied extensively in both serial and parallel settings. In 1994, Galil and Park developed work efficient and sublinear time algorithms for several important dynamic programming problems based on the closure method and matrix product method. However, in the same paper, they raised an open question whether such an algorithm exists for the general GAP problem. In this paper, we answer their question by developing the first work efficient and sublinear time GAP algorithm based on the closure method and Nested Dataflow method. We also improve the time bounds of classic work efficient, cache oblivious and cache efficient algorithms for the 1D problem and GAP problem, respectively.


Convolutional Neural Networks Towards Arduino Navigation of Indoor Environments. In this paper we propose a number of tested ways in which a low budget demo car could be made to navigate an indoor environment. Canny Edge Detection, Supervised Floor Detection and Imitation Learning were used separately and are contrasted in their effectiveness. The equipment used in this paper approximated an autonomous robot configured to work with a mobile device for image processing. This paper does not provide definitive solutions and simply illustrates the approaches taken to successfully achieve autonomous navigation of indoor environments. The successes and failures of all approaches were recorded and elaborated on to give the reader an insight into the construction of such an autonomous robot.


Fixed point theorems of various nonexpansive actions of semitopological semigroups on weakly weak compact convex sets. Let S be a right reversible semitopological semigroup, and let operatorname LUC (S) be the space of left uniformly continuous functions on S . Suppose that operatorname LUC (S) has a left invariant mean. Let K be a weakly compact convex subset of a Banach space. We show that there always exists a common fixed point for any jointly weakly continuous and super asymptotically nonexpansive action of S on K . Several variances involving the weak compactness, the RNP, the distality of K and or the left reversibility of S are also provided.


Online Page Migration with ML Advice. We consider online algorithms for the em page migration problem that use predictions, potentially imperfect, to improve their performance. The best known online algorithms for this problem, due to Westbrook'94 and Bienkowski et al'17, have competitive ratios strictly bounded away from 1. In contrast, we show that if the algorithm is given a prediction of the input sequence, then it can achieve a competitive ratio that tends to 1 as the prediction error rate tends to 0 . Specifically, the competitive ratio is equal to 1 O(q) , where q is the prediction error rate. We also design a fallback option'' that ensures that the competitive ratio of the algorithm for em any input sequence is at most O(1 q) . Our result adds to the recent body of work that uses machine learning to improve the performance of classic'' algorithms.


Spatiotemporal Relationship Reasoning for Pedestrian Intent Prediction. Reasoning over visual data is a desirable capability for robotics and vision based applications. Such reasoning enables forecasting of the next events or actions in videos. In recent years, various models have been developed based on convolution operations for prediction or forecasting, but they lack the ability to reason over spatiotemporal data and infer the relationships of different objects in the scene. In this paper, we present a framework based on graph convolution to uncover the spatiotemporal relationships in the scene for reasoning about pedestrian intent. A scene graph is built on top of segmented object instances within and across video frames. Pedestrian intent, defined as the future action of crossing or not crossing the street, is a very crucial piece of information for autonomous vehicles to navigate safely and more smoothly. We approach the problem of intent prediction from two different perspectives and anticipate the intention to cross within both pedestrian centric and location centric scenarios. In addition, we introduce a new dataset designed specifically for autonomous driving scenarios in areas with dense pedestrian populations the Stanford TRI Intent Prediction (STIP) dataset. Our experiments on STIP and another benchmark dataset show that our graph modeling framework is able to predict the intention to cross of the pedestrians with an accuracy of 79.10 on STIP and 79.28 on rev Joint Attention for Autonomous Driving (JAAD) dataset up to one second earlier than when the actual crossing happens. These results outperform the baseline and previous work. Please refer to http stip.stanford.edu for the dataset and code.


Isotopic and vibrational level dependence of H 2 dissociation by electron impact. The low energy electron impact dissociation of molecular hydrogen has been a source of disagreement between various calculations and measurements for decades. Excitation of the ground state of H 2 into the dissociative b 3 Sigma u state is now well understood, with the most recent measurements being in excellent agreement with the molecular convergent close coupling (MCCC) calculations of both integral and differential cross sections (2018 Phys. Rev. A 98 062704). However, in the absence of similar measurements for vibrationally excited or isotopically substituted H 2 , cross sections for dissociation of these species must be determined by theory alone. We have identified large discrepancies between MCCC calculations and the recommended R matrix cross sections for dissociation of vibrationally excited H 2 , D 2 , T 2 , HD, HT, and DT (2002 Plasma Phys. Contr. F. 44 1263 1276,2217 2230), with disagreement in both the isotope effect and dependence on initial vibrational level. Here we investigate the source of the discrepancies, and discuss the consequences for plasma models which have incorporated the previously recommended data.


Local Facial Makeup Transfer via Disentangled Representation. Facial makeup transfer aims to render a non makeup face image in an arbitrary given makeup one while preserving face identity. The most advanced method separates makeup style information from face images to realize makeup transfer. However, makeup style includes several semantic clear local styles which are still entangled together. In this paper, we propose a novel unified adversarial disentangling network to further decompose face images into four independent components, i.e., personal identity, lips makeup style, eyes makeup style and face makeup style. Owing to the further disentangling of makeup style, our method can not only control the degree of global makeup style, but also flexibly regulate the degree of local makeup styles which any other approaches can't do. For makeup removal, different from other methods which regard makeup removal as the reverse process of makeup, we integrate the makeup transfer with the makeup removal into one uniform framework and obtain multiple makeup removal results. Extensive experiments have demonstrated that our approach can produce more realistic and accurate makeup transfer results compared to the state of the art methods.


Multilevel Density Functional Theory. We introduce a novel density based multilevel approach in density functional theory. In this multilevel density functional theory (MLDFT), the system is partitioned in an active and an inactive fragment, and all interactions are retained between the two parts. In MLDFT, the Kohn Sham equations are solved in the MO basis for the active part only, while keeping the inactive density frozen. This results in a reduction of computational cost. We outline the theory and implementation, and discuss applications to aqueous solutions of methyloxirane and glycidol.


Curve Classes on Calabi Yau Complete Intersections in Toric Varieties. We prove the Integral Hodge Conjecture for curve classes on smooth varieties of dimension at least three with nef anticanonical divisor constructed as a complete intersection of ample hypersurfaces in a smooth toric variety. In particular, this includes the case of smooth anticanonical hypersurfaces in toric Fano varieties. In fact, using results of Casagrande and the toric MMP, we prove that in each case, H 2(X, mathbb Z ) is generated by classes of rational curves.


A canonical embedding of textbf Aut textbf hol ( bf mathbb C n ) . The group text Aut text hol ( mathbb C n) of self biholomorphisms of mathbb C n consists of affine maps if n 1 , but in higher dimensions it is a large object that has not been described explicitly. Despite the intricacies involved when n 1 , surprisingly every F in text Aut text hol ( mathbb C n) is uniquely determined inside the group by only two data, of infinitesimal and global nature the 1 jet of F at 0 , and the complex Hessian of a certain plurisubharmonic function associated to F . If n 1 this global datum is zero for all F , which is then determined solely by its 1 jet at 0 , and one recovers text Aut text hol ( mathbb C) text Aff ( mathbb C) cong mathbb C times mathbb C . Our main result, formulated as the existence of a canonical embedding of text Aut text hol ( mathbb C n) , also singles out a natural candidate for moduli space of text Aut text hol ( mathbb C n) , for all n 1 .


EdNet A Large Scale Hierarchical Dataset in Education. With advances in Artificial Intelligence in Education (AIEd) and the ever growing scale of Interactive Educational Systems (IESs), data driven approach has become a common recipe for various tasks such as knowledge tracing and learning path recommendation. Unfortunately, collecting real students' interaction data is often challenging, which results in the lack of public large scale benchmark dataset reflecting a wide variety of student behaviors in modern IESs. Although several datasets, such as ASSISTments, Junyi Academy, Synthetic and STATICS, are publicly available and widely used, they are not large enough to leverage the full potential of state of the art data driven models and limits the recorded behaviors to question solving activities. To this end, we introduce EdNet, a large scale hierarchical dataset of diverse student activities collected by Santa, a multi platform self study solution equipped with artificial intelligence tutoring system. EdNet contains 131,441,538 interactions from 784,309 students collected over more than 2 years, which is the largest among the ITS datasets released to the public so far. Unlike existing datasets, EdNet provides a wide variety of student actions ranging from question solving to lecture consumption and item purchasing. Also, EdNet has a hierarchical structure where the student actions are divided into 4 different levels of abstractions. The features of EdNet are domain agnostic, allowing EdNet to be extended to different domains easily. The dataset is publicly released under Creative Commons Attribution NonCommercial 4.0 International license for research purposes. We plan to host challenges in multiple AIEd tasks with EdNet to provide a common ground for the fair comparison between different state of the art models and encourage the development of practical and effective methods.


Logarithmic resolution via weighted toroidal blow ups. Let X be a fs logarithmic scheme which admits a strict closed embedding into a logarithmically smooth scheme Y over a field k of characteristic zero. We construct a simple and fast procedure to functorial logarithmic resolution of X , where the end result is in particular a stack theoretic modification X' rightarrow X such that X' is logarithmically smooth over k . In particular, if X is a finite type k scheme embedded in a smooth k scheme Y , the procedure not only shares the same desirable features as the 'dream resolution algorithm' of Abramovich Temkin Wlodarczyk (arXiv 1906.07106), but also accounts for a key feature of Hironaka's Main Theorem I, which was not addressed in arXiv 1906.07106. As a consequence, we recover a different and simpler approach to Hironaka's resolution of singularities in characteristic zero.