Generating the mapping class group of a nonorientable surface by three torsions. We prove that the mapping class group mathcal M (N g) of a closed nonorientable surface of genus g different than 4 is generated by three torsion elements. Moreover, for every even integer k ge 12 and g of the form g pk 2q(k 1) or g pk 2q(k 1) 1 , where p,q are non negative integers and p is odd, mathcal M (N g) is generated by three conjugate elements of order k . Analogous results are proved for the subgroup of mathcal M (N g) generated by Dehn twists.


Quantitative non divergence and Diophantine approximation on manifolds. The goal of this survey is to discuss the Quantitative non Divergence estimate on the space of lattices and present a selection of its applications. The topics covered include extremal manifolds, Khintchine Groshev type theorems, rational points lying close to manifolds and badly approximable points on manifolds. The main emphasis is on the role of the Quantitative non Divergence estimate in the aforementioned topics within the theory of Diophantine approximation, and therefore this paper should not be regarded as a comprehensive overview of the area.


Implementing choreography extraction. Choreography extraction deals with the generation of a choreography (a global description of communication behaviour) from a set of local process behaviours. In this work, we implement a previously proposed theory for extraction and show that, in spite of its theoretical exponential complexity, it is usable in practice. We discuss the data structures needed for an efficient implementation, introduce some optimizations, and perform a systematic practical evaluation.


Index Based Scheduling for Parallel State Machine Replication. State Machine Replication (SMR) is a fundamental approach to designing service with fault tolerance. However, its requirement for the deterministic execution of transactions often results in single threaded replicas, which cannot fully exploit the multicore capabilities of today's processors. Therefore, parallel SMR has become a hot topic of recent research. The basic idea behind it is that independent transactions can be executed in parallel, while dependent transactions must be executed in their relative order to ensure consistency among replicas. The dependency detection of existing parallel SMR methods is mainly based on pairwise transaction comparison or batch comparison. These methods cannot simultaneously guarantee both effective detection and concurrent execution. Moreover, the scheduling process cannot execute concurrently, which introduces extra scheduling overhead as well. In order to further reduce scheduling overhead and ensure the parallel execution of transactions, we propose an efficient scheduler based on a specific index structure. The index is composed of a Bloom Filter and the associated transaction queues, which provides an efficient dependency detection and preserve necessary dependency information respectively. Based on the index structure, we further devise an elaborated concurrent scheduling process. The experimental results show that the proposed scheduler is more efficient, scalable and robust than the comparison methods.


Stability conditions and moduli spaces for Kuznetsov components of Gushel Mukai varieties. We prove the existence of Bridgeland stability conditions on the Kuznetsov components of Gushel Mukai varieties, and describe the structure of moduli spaces of Bridgeland semistable objects in these categories in the even dimensional case. As applications, we construct a new infinite series of unirational locally complete families of polarized hyperk " a hler varieties of K3 type, and characterize Hodge theoretically when the Kuznetsov component of an even dimensional Gushel Mukai variety is equivalent to the derived category of a K3 surface.


Drone LAMS A Drone based Face Detection Dataset with Large Angles and Many Scenarios. This work presented a new drone based face detection dataset Drone LAMS in order to solve issues of low performance of drone based face detection in scenarios such as large angles which was a predominant working condition when a drone flies high. The proposed dataset captured images from 261 videos with over 43k annotations and 4.0k images with pitch or yaw angle in the range of 90 deg to 90 deg . Drone LAMS showed significant improvement over currently available drone based face detection datasets in terms of detection performance, especially with large pitch and yaw angle. Detailed analysis of how key factors, such as duplication rate, annotation method, etc., impact dataset performance was also provided to facilitate further usage of a drone on face detection.


Mathematical model of a flow of reacting substances in a channel of network. Complex systems often have features that can be modeled by advanced mathematical tools 1 . Of special interests are the features of complex systems that have a network structure as such systems are important for modeling technological and social processes 3, 4 . In our previous research we have discussed the flow of a single substance in a channel of network. It may happen however that two substances flow in the same channel of network. In addition the substances may react and then the question arises about the distribution of the amounts of the substances in the segments of the channel. A study of the dynamics of the flow of the substances as well as a study of the distribution of the substances is presented in this paper on the base of a discrete time model of flow of substances in the nodes of a channel of a network.


Global solutions near homogeneous steady states in a multi dimensional population model with both predator and prey taxis. We study the system begin align label prob star tag star begin cases u t D 1 Delta u chi 1 nabla cdot (u nabla v) u( lambda 1 mu 1 u a 1 v) v t D 2 Delta v chi 2 nabla cdot (v nabla u) v( lambda 2 mu 2 v a 2 u) end cases end align (inter alia) for D 1, D 2, chi 1, chi 2, lambda 1, lambda 2, mu 1, mu 2, a 1, a 2 0 in smooth, bounded domains Omega subset mathbb R n , n in 1, 2, 3 . Without any further restrictions on these parameters, we prove that there exists a constant stable steady state (u star, v star) in 0, infty) 2 , meaning that there is varepsilon 0 such that, if u 0, v 0 in W 2, 2 ( Omega) are nonnegative with partial nu u 0 partial nu v 0 0 in the sense of traces and begin align u 0 u star W 2,2 ( Omega) v 0 v star W 2,2 ( Omega) varepsilon, end align then there exists a global classical solution (u, v) of eqref prob star with initial data u 0, v 0 converging to (u star, v star) in W 2, 2 ( Omega) . Moreover, the convergence rate is exponential, except for the case lambda 2 mu 1 lambda 1 a 2 , where it is is only algebraical.


On the Behaviour of Differential Evolution for Problems with Dynamic Linear Constraints. Evolutionary algorithms have been widely applied for solving dynamic constrained optimization problems (DCOPs) as a common area of research in evolutionary optimization. Current benchmarks proposed for testing these problems in the continuous spaces are either not scalable in problem dimension or the settings for the environmental changes are not flexible. Moreover, they mainly focus on non linear environmental changes on the objective function. While the dynamism in some real world problems exists in the constraints and can be emulated with linear constraint changes. The purpose of this paper is to introduce a framework which produces benchmarks in which a dynamic environment is created with simple changes in linear constraints (rotation and translation of constraint's hyperplane). Our proposed framework creates dynamic benchmarks that are flexible in terms of number of changes, dimension of the problem and can be applied to test any objective function. Different constraint handling techniques will then be used to compare with our benchmark. The results reveal that with these changes set, there was an observable effect on the performance of the constraint handling techniques.


Dependency Based Neural Representations for Classifying Lines of Programs. We investigate the problem of classifying a line of program as containing a vulnerability or not using machine learning. Such a line level classification task calls for a program representation which goes beyond reasoning from the tokens present in the line. We seek a distributed representation in a latent feature space which can capture the control and data dependencies of tokens appearing on a line of program, while also ensuring lines of similar meaning have similar features. We present a neural architecture, Vulcan, that successfully demonstrates both these requirements. It extracts contextual information about tokens in a line and inputs them as Abstract Syntax Tree (AST) paths to a bi directional LSTM with an attention mechanism. It concurrently represents the meanings of tokens in a line by recursively embedding the lines where they are most recently defined. In our experiments, Vulcan compares favorably with a state of the art classifier, which requires significant preprocessing of programs, suggesting the utility of using deep learning to model program dependence information.


Local Banach space dichotomies and ergodic spaces. We prove a local version of Gowers' Ramsey type theorem Ann. Math. 156 (2002) , as well as local versions both of the Banach space first dichotomy (the "unconditional HI" dichotomy) of Gowers Ann. Math. 156 (2002) and of the third dichotomy (the "minimal tight" dichotomy) due to Ferenczi Rosendal J. Funct. Anal. 257 (2009) . This means that we obtain versions of these dichotomies restricted to certain families of subspaces called D families, of which several concrete examples are given. As a main example, non Hilbertian spaces form D families therefore versions of the above properties for non Hilbertian spaces appear in new Banach space dichotomies. As a consequence we obtain new information on the number of subspaces of non Hilbertian Banach spaces, making some progress towards the "ergodic" conjecture of Ferenczi Rosendal and towards a question of Johnson.


Cyber Autonomy Automating the Hacker Self healing, self adaptive, automatic cyber defense systems and their impact to the industry, society and national security. This paper sets the context for the urgency for cyber autonomy, and the current gaps of the cyber security industry. A novel framework proposing four phases of maturity for full cyber autonomy will be discussed. The paper also reviews new and emerging cyber security automation techniques and tools, and discusses their impact on society, the perceived cyber security skills gap shortage and national security. We will also be discussing the delicate balance between national security, human rights and ethics, and the potential demise of the manual penetration testing industry in the face of automation.


The Erd H o s Hajnal conjecture for three colors and multiple forbidden patterns. Erd H o s and Szekeres's quantitative version of Ramsey's theorem asserts that any complete graph on n vertices that is edge colored with two colors has a monochromatic clique on at least 1 2log(n) vertices. The famous Erd H o s Hajnal conjecture asserts that forbidding fixed color patterns ensures larger monochromatic cliques. Specifically, it claims that for any fixed integer k and any clique K on k vertices edge colored with two colors, there is a positive constant a such that in any complete n vertex graph edge colored with two colors that does not contain a copy of K, there is a monochromatic clique on at least n a vertices. We consider edge colorings with three colors. For a family H of triangles, each colored with colors from r, b, y , Forb(n,H) denotes a family of edge colorings of the complete n vertex graph using colors from r, b, y and containing none of the colorings from H. Let h 2(n, H) be the maximum q such that any coloring from Forb(n, H) has a clique on at least q vertices using at most two colors. We provide bounds on h 2(n, H) for all families H consisting of at most three triangles. For most of them, our bounds are asymptotically tight. This extends a result of Fox, Grinshpun, and Pach, who determined h 2(n, H) for H consisting of a rainbow triangle, and confirms the multicolor Erd H o s Hajnal conjecture for these sets of patterns.


SparseTrain Exploiting Dataflow Sparsity for Efficient Convolutional Neural Networks Training. Training Convolutional Neural Networks (CNNs) usually requires a large number of computational resources. In this paper, textit SparseTrain is proposed to accelerate CNN training by fully exploiting the sparsity. It mainly involves three levels of innovations activation gradients pruning algorithm, sparse training dataflow, and accelerator architecture. By applying a stochastic pruning algorithm on each layer, the sparsity of back propagation gradients can be increased dramatically without degrading training accuracy and convergence rate. Moreover, to utilize both textit natural sparsity (resulted from ReLU or Pooling layers) and textit artificial sparsity (brought by pruning algorithm), a sparse aware architecture is proposed for training acceleration. This architecture supports forward and back propagation of CNN by adopting 1 Dimensional convolution dataflow. We have built a simple compiler to map CNNs topology onto textit SparseTrain , and a cycle accurate architecture simulator to evaluate the performance and efficiency based on the synthesized design with 14nm FinFET technologies. Evaluation results on AlexNet ResNet show that textit SparseTrain could achieve about 2.7 times speedup and 2.2 times energy efficiency improvement on average compared with the original training process.


Self orthogonal tau tilting modules and tilting modules. Let Lambda be an artin algebra and T a tau tilting Lambda module. We prove that T is a tilting module if and only if rm Ext Lambda i (T, Fac T) 0 for all i geq 1 , where Fac T is the full subcategory consisting of modules generated by T . Consequently, a tau tilting module T of finite projective dimension is a tilting module if and only if rm Ext Lambda i (T, T) 0 for all i geq 1 . Moreover, we also give an example to show that a support tau tilting but not tau tilting module M of finite projective dimension satisfying rm Ext Lambda i (M, M) 0 for all i geq1 need not be a partial tilting module.


Minimization based formulations of inverse problems and their regularization. The conventional way of formulating inverse problems such as identification of a (possibly infinite dimensional) parameter, is via some forward operator, which is the concatenation of the observation operator with the parameter to state map for the underlying model. Recently, all at once formulations have been considered as an alternative to this reduced formulation, avoiding the use of a parameter to state map, which would sometimes lead to too restrictive conditions. Here the model and the observation are considered simultaneously as one large system with the state and the parameter as unknowns. A still more general formulation of inverse problems, containing both the reduced and the all at once formulation, but also the well known and highly versatile so called variational approach (also called Kohn Vogelius functional approach) as special cases, is to formulate the inverse problem as a minimization problem instead of an equation for the state and parameter. Regularization can be incorporated via imposing constraints and or adding regularization terms to the objective. In this paper, after giving a motivation by formulating the electrical impedance tomography (EIT) problem by means of the classical Kohn Vogelius functional, we will dwell on the regularization aspects for such variational formulations in an abstract setting. Indeed, combination of regularization by constraints and by penalization leads to new methods that are applicable without solving forward problems. In particular, for the EIT problem we will consider a method employing box constraints in a very natural manner to incorporate the discrepancy principle for regularization parameter choice as well as a priori information on the searched for conductivity.


A Fast Differential Grouping Algorithm for Large Scale Black Box Optimization. Decomposition plays a significant role in cooperative co evolution which shows great potential in large scale black box optimization. However, current popular decomposition algorithms generally require to sample and evaluate a large number of solutions for interdependency detection, which is very time consuming. To address this issue, this study proposes a new decomposition algorithm named fast differential grouping (FDG). FDG first identifies the type of an instance by detecting the interdependencies of a few pairs of variable subsets selected according to certain rules, and thus can rapidly complete the decomposition of a fully separable or nonseparable instance. For an identified partially separable instance, FDG converts the key decomposition process into a search process in a binary tree by taking corresponding variable subsets as tree nodes. This enables it to directly deduce the interdependency related to a child node by reutilizing the solutions sampled for corresponding parent and brother nodes. To support the above operations, this study designs a normalized variable subset oriented interdependency indicator, which can adaptively generate decomposition thresholds according to its distribution and thus enhances decomposition accuracy. Computational complexity analysis and experimental results verify that FDG outperforms popular decomposition algorithms. Further tests indicate that FDG embedded in a cooperative co evolution framework can achieve highly competitive optimization results as compared with some state of the art algorithms for large scale black box optimization.


A Stochastic Variance reduced Accelerated Primal dual Method for Finite sum Saddle point Problems. In this paper, we propose a variance reduced primal dual algorithm with Bregman distance for solving convex concave saddle point problems with finite sum structure and nonbilinear coupling function. This type of problems typically arises in machine learning and game theory. Based on some standard assumptions, the algorithm is proved to converge with oracle complexity of O left( frac sqrt n epsilon right) and O left( frac n sqrt epsilon frac 1 epsilon 1.5 right) using constant and non constant parameters, respectively where n is the number of function components. Compared with existing methods, our framework yields a significant improvement over the number of required primal dual gradient samples to achieve epsilon accuracy of the primal dual gap. We tested our method for solving a distributionally robust optimization problem to show the effectiveness of the algorithm.


On the upper tail problem for random hypergraphs. The upper tail problem in a random graph asks to estimate the probability that the number of copies of some fixed subgraph in an Erd H o s R 'enyi random graph exceeds its expectation by some constant factor. There has been much exciting recent progress on this problem. We study the corresponding problem for hypergraphs, for which less is known about the large deviation rate. We present new phenomena in upper tail large deviations for sparse random hypergraphs that are not seen in random graphs. We conjecture a formula for the large deviation rate, i.e., the first order asymptotics of the log probability that the number of copies of fixed subgraph H in a sparse Erd H o s R 'enyi random k uniform hypergraph exceeds its expectation by a constant factor. This conjecture turns out to be significantly more intricate compared to the case for graphs. We verify our conjecture when the fixed subgraph H being counted is a clique, as well as when H is the 3 uniform 6 vertex 4 edge hypergraph consisting of alternating faces of an octahedron, where new techniques are required.


Statistical Model Checking of Human Robot Interaction Scenarios. Robots are soon going to be deployed in non industrial environments. Before society can take such a step, it is necessary to endow complex robotic systems with mechanisms that make them reliable enough to operate in situations where the human factor is predominant. This calls for the development of robotic frameworks that can soundly guarantee that a collection of properties are verified at all times during operation. While developing a mission plan, robots should take into account factors such as human physiology. In this paper, we present an example of how a robotic application that involves human interaction can be modeled through hybrid automata, and analyzed by using statistical model checking. We exploit statistical techniques to determine the probability with which some properties are verified, thus easing the state space explosion problem. The analysis is performed using the Uppaal tool. In addition, we used Uppaal to run simulations that allowed us to show non trivial time dynamics that describe the behavior of the real system, including human related variables. Overall, this process allows developers to gain useful insights into their application and to make decisions about how to improve it to balance efficiency and user satisfaction.


Dense images of the power maps for a disconnected real algebraic group. Let G be a complex algebraic group defined over mathbb R , which is not necessarily Zariski connected. In this article, we study the density of the images of the power maps g to g k , k in mathbb N , on real points of G , i.e., G( mathbb R) equipped with the real topology. As a result, we extend a theorem of P. Chatterjee on surjectivity of the power map for the set of semisimple elements of G( mathbb R) . We also characterize surjectivity of the power map for a disconnected group G( mathbb R) . The results are applied in particular to describe the image of the exponential map of G( mathbb R).


A Feynman Kac approach for Logarithmic Sobolev Inequalities. This note presents a method based on Feynman Kac semigroups for logarithmic Sobolev inequalities. It follows the recent work of Bonnefont and Joulin on intertwining relations for diffusion operators, formerly used for spectral gap inequalities, and related to perturbation techniques. In particular, it goes beyond the Bakry 'E mery criterion and allows to investigate high dimensional effects on the optimal logarithmic Sobolev constant.The method is illustrated on particular examples (namely Subbotin distributions and double well potentials), for which explicit dimension free bounds on the latter constant are provided. We eventually discuss a brief comparison with the Holley Stroock approach.


MultiWOZ 2.1 A Consolidated Multi Domain Dialogue Dataset with State Corrections and State Tracking Baselines. MultiWOZ 2.0 (Budzianowski et al., 2018) is a recently released multi domain dialogue dataset spanning 7 distinct domains and containing over 10,000 dialogues. Though immensely useful and one of the largest resources of its kind to date, MultiWOZ 2.0 has a few shortcomings. Firstly, there is substantial noise in the dialogue state annotations and dialogue utterances which negatively impact the performance of state tracking models. Secondly, follow up work (Lee et al., 2019) has augmented the original dataset with user dialogue acts. This leads to multiple co existent versions of the same dataset with minor modifications. In this work we tackle the aforementioned issues by introducing MultiWOZ 2.1. To fix the noisy state annotations, we use crowdsourced workers to re annotate state and utterances based on the original utterances in the dataset. This correction process results in changes to over 32 of state annotations across 40 of the dialogue turns. In addition, we fix 146 dialogue utterances by canonicalizing slot values in the utterances to the values in the dataset ontology. To address the second problem, we combined the contributions of the follow up works into MultiWOZ 2.1. Hence, our dataset also includes user dialogue acts as well as multiple slot descriptions per dialogue state slot. We then benchmark a number of state of the art dialogue state tracking models on the MultiWOZ 2.1 dataset and show the joint state tracking performance on the corrected state annotations. We are publicly releasing MultiWOZ 2.1 to the community, hoping that this dataset resource will allow for more effective models across various dialogue subproblems to be built in the future.


Algorithms and System Architecture for Immediate Personalized News Recommendations. Personalization plays an important role in many services, just as news does. Many studies have examined news personalization algorithms, but few have considered practical environments. This paper provides algorithms and system architecture for generating immediate personalized news in a practical environment. Immediacy means changes in news trends and user interests are reflected in recommended news lists quickly. Since news trends and user interests rapidly change, immediacy is critical in news personalization applications. We develop algorithms and system architecture to realize immediacy. Our algorithms are based on collaborative filtering of user clusters and evaluate news articles using click through rate and decay scores based on the time elapsed since the user's last access. Existing studies have not fully discussed system architecture, so a major contribution of this paper is that we demonstrate a system architecture and realize our algorithms and a configuration example implemented on top of Amazon Web Services. We evaluate the proposed method both offline and online. The offline experiments are conducted through a real world dataset from a commercial news delivery service, and online experiments are conducted via A B testing on production environments. We confirm the effectiveness of our proposed method and also that our system architecture can operate in large scale production environments.


Gender gaps in urban mobility. The use of public transportation or simply moving about in streets are gendered issues. Women and girls often engage in multi purpose, multi stop trips in order to do household chores, work, and study ('trip chaining'). Women headed households are often more prominent in urban settings and they tend to work more in low paid informal jobs than men, with limited access to transportation subsidies. Here we present recent results on urban mobility from a gendered perspective by uniquely combining a wide range of datasets, including commercial sources of telecom and open data. We explored urban mobility of women and men in the greater metropolitan area of Santiago, Chile, by analyzing the mobility traces extracted from the Call Detail Records (CDRs) of a large cohort of anonymized mobile phone users over a period of 3 months. We find that, taking into account the differences in users' calling behaviors, women move less than men, visiting less unique locations and distributing their time less equally among such locations. By mapping gender differences in mobility over the 52 comunas of Santiago, we find a higher mobility gap to be correlated with socio economic indicators, such as a lower average income, and with the lack of public and private transportation options. Such results provide new insights for policymakers to design more gender inclusive transportation plans in the city of Santiago.


Incorporating Trip Chaining within Online Demand Estimation. Time dependent Origin Destination (OD) demand flows are fundamental inputs for Dynamic Traffic Assignment (DTA) systems and real time traffic management. This work introduces a novel state space framework to estimate these demand flows in an online context. Specifically, we propose to explicitly include trip chaining behavior within the state space formulation, which is solved using the well established Kalman Filtering technique. While existing works already consider structural information and recursive behavior within the online demand estimation problem, this information has been always considered at the OD level. In this study, we introduce this structural information by explicitly representing trip chaining within the estimation framework. The advantage is twofold. First, all trips belonging to the same tour can be jointly calibrated. Second, given the estimation during a certain time interval, a prediction of the structural deviation over the whole day can be obtained without the need to run additional simulations. The effectiveness of the proposed methodology is demonstrated first on a toy network and then on a large real world network. Results show that the model improves the prediction performance with respect to a conventional Kalman Filtering approach. We also show that, on the basis of the estimation of the morning commute, the model can be used to predict the evening commute without need of running additional simulations.


KILT a Benchmark for Knowledge Intensive Language Tasks. Challenging problems such as open domain question answering, fact checking, slot filling and entity linking require access to large, external knowledge sources. While some models do well on individual tasks, developing general models is difficult as each task might require computationally expensive indexing of custom knowledge sources, in addition to dedicated infrastructure. To catalyze research on models that condition on specific information in large textual resources, we present a benchmark for knowledge intensive language tasks (KILT). All tasks in KILT are grounded in the same snapshot of Wikipedia, reducing engineering turnaround through the re use of components, as well as accelerating research into task agnostic memory architectures. We test both task specific and general baselines, evaluating downstream performance in addition to the ability of the models to provide provenance. We find that a shared dense vector index coupled with a seq2seq model is a strong baseline, outperforming more tailor made approaches for fact checking, open domain question answering and dialogue, and yielding competitive results on entity linking and slot filling, by generating disambiguated text. KILT data and code are available at https github.com facebookresearch KILT.


Continuous functionals for unbounded convergence in Banach lattices. Recently, the different types of unbounded convergences (uo, un, uaw, uaw ) in Banach lattices were studied. In this paper, we study the continuous functionals with respect to unbounded convergences. We first characterize the continuity of linear functionals for these convergences. Then we define the corresponding unbounded dual spaces and get their exact form. Based on these results, we discuss order continuity and reflexivity of Banach lattices. Some related results are obtained as well.


GradMix Multi source Transfer across Domains and Tasks. The computer vision community is witnessing an unprecedented rate of new tasks being proposed and addressed, thanks to the deep convolutional networks' capability to find complex mappings from X to Y. The advent of each task often accompanies the release of a large scale annotated dataset, for supervised training of deep network. However, it is expensive and time consuming to manually label sufficient amount of training data. Therefore, it is important to develop algorithms that can leverage off the shelf labeled dataset to learn useful knowledge for the target task. While previous works mostly focus on transfer learning from a single source, we study multi source transfer across domains and tasks (MS DTT), in a semi supervised setting. We propose GradMix, a model agnostic method applicable to any model trained with gradient based learning rule, to transfer knowledge via gradient descent by weighting and mixing the gradients from all sources during training. GradMix follows a meta learning objective, which assigns layer wise weights to the source gradients, such that the combined gradient follows the direction that minimize the loss for a small set of samples from the target dataset. In addition, we propose to adaptively adjust the learning rate for each mini batch based on its importance to the target task, and a pseudo labeling method to leverage the unlabeled samples in the target domain. We conduct MS DTT experiments on two tasks digit recognition and action recognition, and demonstrate the advantageous performance of the proposed method against multiple baselines.


Attention Gated Graph Convolutions for Extracting Drug Interaction Information from Drug Labels. Preventable adverse events as a result of medical errors present a growing concern in the healthcare system. As drug drug interactions (DDIs) may lead to preventable adverse events, being able to extract DDIs from drug labels into a machine processable form is an important step toward effective dissemination of drug safety information. In this study, we tackle the problem of jointly extracting drugs and their interactions, including interaction outcome, from drug labels. Our deep learning approach entails composing various intermediate representations including sequence and graph based context, where the latter is derived using graph convolutions (GC) with a novel attention based gating mechanism (holistically called GCA). These representations are then composed in meaningful ways to handle all subtasks jointly. To overcome scarcity in training data, we additionally propose transfer learning by pre training on related DDI data. Our model is trained and evaluated on the 2018 TAC DDI corpus. Our GCA model in conjunction with transfer learning performs at 39.20 F1 and 26.09 F1 on entity recognition (ER) and relation extraction (RE) respectively on the first official test set and at 45.30 F1 and 27.87 F1 on ER and RE respectively on the second official test set corresponding to an improvement over our prior best results by up to 6 absolute F1 points. After controlling for available training data, our model exhibits state of the art performance by improving over the next comparable best outcome by roughly three F1 points in ER and 1.5 F1 points in RE evaluation across two official test sets.


On Arthur's unitarity conjecture for split real groups. Arthur's conjectures predict the existence of some very interesting unitary representations occurring in spaces of automorphic forms. We prove the unitarity of the "Langlands element" (i.e., the one specified by Arthur) of all unipotent Arthur packets for split real groups. The proof uses Eisenstein series, Langlands' constant term formula and square integrability criterion, analytic properties of intertwining operators, and some mild arithmetic input from the theory of Dirichlet L functions, to reduce to a more combinatorial problem about intertwining operators.


Cameron Liebler sets in Hamming graphs. In this paper, we discuss Cameron Liebler sets in Hamming graphs, obtain several equivalent definitions and present all classification results.


A short proof of Greenberg's Theorem. Greenberg proved that every countable group A is isomorphic to the automorphism group of a Riemann surface, which can be taken to be compact if A is finite. We give a short and explicit algebraic proof of this for finitely generated groups A .


Stability and Complexity Analyses of Finite Difference Algorithms for the Time Fractional Diffusion Equation. Fractional differential equations (FDEs) are an extension of the theory of fractional calculus. However, due to the difficulty in finding analytical solutions, there have not been extensive applications of FDEs until recent decades. With the advent of increasing computational capacity along with advances in numerical methods, there has been increased interest in using FDEs to represent complex physical processes, where dynamics may not be as accurately captured with classical differential equations. The time fractional diffusion equation is an FDE that represents the underlying physical mechanism of anomalous diffusion. But finding tractable analytical solutions to FDEs is often much more involved than solving for the solutions of integer order differential equations, and in many cases it is not possible to frame solutions in a closed form expression that can be easily simulated or visually represented. Therefore the development of numerical methods is vital. In previous work we implemented the full 2D time fractional diffusion equation as a Forward Time Central Space finite difference equation by using the Gr " u nwald Letnikov definition of the fractional derivative. In addition, we derived an adaptive time step version that improves on calculation speed, with some tradeoff in accuracy. Here, we explore and characterize stability of these algorithms, in order to define bounds on computational parameters that are crucial for performing accurate simulations. We also analyze the time complexity of the algorithms, and describe an alternate adaptive time step approach that utilizes a linked list implementation, which yields better algorithmic efficiency.


Deep Ancient Roman Republican Coin Classification via Feature Fusion and Attention. We perform the classification of ancient Roman Republican coins via recognizing their reverse motifs where various objects, faces, scenes, animals, and buildings are minted along with legends. Most of these coins are eroded due to their age and varying degrees of preservation, thereby affecting their informative attributes for visual recognition. Changes in the positions of principal symbols on the reverse motifs also cause huge variations among the coin types. Lastly, in plane orientations, uneven illumination, and a moderate background clutter further make the classification task non trivial and challenging. To this end, we present a novel network model, CoinNet, that employs compact bilinear pooling, residual groups, and feature attention layers. Furthermore, we gathered the largest and most diverse image dataset of the Roman Republican coins that contains more than 18,000 images belonging to 228 different reverse motifs. On this dataset, our model achieves a classification accuracy of more than textbf 98 and outperforms the conventional bag of visual words based approaches and more recent state of the art deep learning methods. We also provide a detailed ablation study of our network and its generalization capability. Models and Datasets available at https github.com saeed anwar CoinNet


Improving Knowledge aware Dialogue Generation via Knowledge Base Question Answering. Neural network models usually suffer from the challenge of incorporating commonsense knowledge into the open domain dialogue systems. In this paper, we propose a novel knowledge aware dialogue generation model (called TransDG), which transfers question representation and knowledge matching abilities from knowledge base question answering (KBQA) task to facilitate the utterance understanding and factual knowledge selection for dialogue generation. In addition, we propose a response guiding attention and a multi step decoding strategy to steer our model to focus on relevant features for response generation. Experiments on two benchmark datasets demonstrate that our model has robust superiority over compared methods in generating informative and fluent dialogues. Our code is available at https github.com siat nlp TransDG.


Estimates on transition densities of subordinators with jumping density decaying in mixed polynomial orders. In this paper, we discuss estimates on transition densities for subordinators, which are global in time. We establish the sharp two sided estimates on the transition densities for subordinators whose L 'evy measures are absolutely continuous and decaying in mixed polynomial orders. Under a weaker assumption on L 'evy measures, we also obtain a precise asymptotic behaviors of the transition densities at infinity. Our results cover geometric stable subordinators, Gamma subordinators and much more.


SERS discrimination of single amino acid residue in single peptide by plasmonic nanocavities. Surface enhanced Raman spectroscopy (SERS) is a sensitive label free optical method that can provide fingerprint Raman spectra of biomolecules such as DNA, amino acids and proteins. While SERS of single DNA molecule has been recently demonstrated, Raman analysis of single protein sequence was not possible because the SERS spectra of proteins are usually dominated by signals of aromatic amino acid residues. Here, we used electroplasmonic approach to trap single gold nanoparticle in a nanohole for generating a plasmonic nanocavity between the trapped nanoparticle and the nanopore wall. The giant field generated in the nanocavity was so sensitive and localized that it enables SERS discrimination of 10 distinct amino acids at single molecule level. The obtained spectra are used to analyze the spectra of 2 biomarkers (Vasopressin and Oxytocin) made of a short sequence of 9 amino acids. Significantly, we demonstrated identification of single non aromatic amino acid residues in a single short peptide chain as well as discrimination between two peptides with sequences distinguishable in 2 specific amino acids. Our result demonstrate the high sensitivity of our method to identify single amino acid residue in a protein chain and a potential for further applications in proteomics and single protein sequencing.


Lojasiewicz exponent of a surface an intrinsic view. In this paper we observe that the L ojasiewicz exponent mathcal L 0(X) of an ADE type singularity X can be computed by means of invariants of certain ideals in the local ring mathcal O X,0 . After extending the notion of L ojasiewicz exponent to rational singularities of higher multiplicities we make a similar observation for RTP type singularities.


Stationary distributions of persistent ecological systems. We analyze ecological systems that are influenced by random environmental fluctuations. We first provide general conditions which ensure that the species coexist and the system converges to a unique invariant probability measure (stationary distribution). Since it is usually impossible to characterize this invariant probability measure analytically, we develop a powerful method for numerically approximating invariant probability measures. This allows us to shed light upon how the various parameters of the ecosystem impact the stationary distribution. We analyze different types of environmental fluctuations. At first we study ecosystems modeled by stochastic differential equations. In the second setting we look at piecewise deterministic Markov processes. These are processes where one follows a system of differential equations for a random time, after which the environmental state changes, and one follows a different set of differential equations this procedure then gets repeated indefinitely. Finally, we look at stochastic differential equations with switching, which take into account both the white noise fluctuations and the random environmental switches. As applications of our theoretical and numerical analysis, we look at competitive Lotka Volterra, Beddington DeAngelis predator prey, and rock paper scissors dynamics. We highlight new biological insights by analyzing the stationary distributions of the ecosystems and by seeing how various types of environmental fluctuations influence the long term fate of populations.


Pattern based design applied to cultural heritage knowledge graphs. Ontology Design Patterns (ODPs) have become an established and recognised practice for guaranteeing good quality ontology engineering. There are several ODP repositories where ODPs are shared as well as ontology design methodologies recommending their reuse. Performing rigorous testing is recommended as well for supporting ontology maintenance and validating the resulting resource against its motivating requirements. Nevertheless, it is less than straightforward to find guidelines on how to apply such methodologies for developing domain specific knowledge graphs. ArCo is the knowledge graph of Italian Cultural Heritage and has been developed by using eXtreme Design (XD), an ODP and test driven methodology. During its development, XD has been adapted to the need of the CH domain e.g. gathering requirements from an open, diverse community of consumers, a new ODP has been defined and many have been specialised to address specific CH requirements. This paper presents ArCo and describes how to apply XD to the development and validation of a CH knowledge graph, also detailing the (intellectual) process implemented for matching the encountered modelling problems to ODPs. Relevant contributions also include a novel web tool for supporting unit testing of knowledge graphs, a rigorous evaluation of ArCo, and a discussion of methodological lessons learned during ArCo development.


Conditional Convolutions for Instance Segmentation. We propose a simple yet effective instance segmentation framework, termed CondInst (conditional convolutions for instance segmentation). Top performing instance segmentation methods such as Mask R CNN rely on ROI operations (typically ROIPool or ROIAlign) to obtain the final instance masks. In contrast, we propose to solve instance segmentation from a new perspective. Instead of using instance wise ROIs as inputs to a network of fixed weights, we employ dynamic instance aware networks, conditioned on instances. CondInst enjoys two advantages 1) Instance segmentation is solved by a fully convolutional network, eliminating the need for ROI cropping and feature alignment. 2) Due to the much improved capacity of dynamically generated conditional convolutions, the mask head can be very compact (e.g., 3 conv. layers, each having only 8 channels), leading to significantly faster inference. We demonstrate a simpler instance segmentation method that can achieve improved performance in both accuracy and inference speed. On the COCO dataset, we outperform a few recent methods including well tuned Mask RCNN baselines, without longer training schedules needed. Code is available https github.com aim uofa adet


Simulation of sympathetic cooling an optically levitated magnetic nanoparticle via coupling to a cold atomic gas. A proposal for cooling the translational motion of optically levitated magnetic nanoparticles is presented. The theoretical cooling scheme involves the sympathetic cooling of a ferromagnetic YIG nanosphere with a spin polarized atomic gas. Particle atom cloud coupling is mediated through the magnetic dipole dipole interaction. When the particle and atom oscillations are small compared to their separation, the interaction potential becomes dominantly linear which allows the particle to exchange energy with the N atoms. While the atoms are continuously Doppler cooled, energy is able to be removed from the nanoparticle's motion as it exchanges energy with the atoms. The rate at which energy is removed from the nanoparticle's motion was studied for three species of atoms (Dy, Cr, Rb) by simulating the full N 1 equations of motion and was found to depend on system parameters with scalings that are consistent with a simplified model. The nanoparticle's damping rate due to sympathetic cooling is competitive with and has the potential to exceed commonly employed cooling methods.


Rast A Language for Resource Aware Session Types. Traditional session types prescribe bidirectional communication protocols for concurrent computations, where well typed programs are guaranteed to adhere to the protocols. However, simple session types cannot capture properties beyond the basic type of the exchanged messages. In response, recent work has extended session types with refinements from linear arithmetic, capturing intrinsic attributes of processes and data. These refinements then play a central role in describing sequential and parallel complexity bounds on session typed programs. The Rast language provides an open source implementation of session typed concurrent programs extended with arithmetic refinements as well as ergometric and temporal types to capture work and span of program execution. To further support generic programming, Rast also enhances arithmetically refined session types with recently developed nested parametric polymorphism. Type checking relies on Cooper's algorithm for quantifier elimination in Presburger arithmetic with a few significant optimizations, and a heuristic extension to nonlinear constraints. Rast furthermore includes a reconstruction engine so that most program constructs pertaining the layers of refinements and resources are inserted automatically. We provide a variety of examples to demonstrate the expressivity of the language.


Rainbow matchings in edge colored simple graphs. There has been much research on the topic of finding a large rainbow matching (with no two edges having the same color) in a properly edge colored graph, where a proper edge coloring is a coloring of the edge set such that no same colored edges are incident. Bar 'at, Gy 'arf 'as, and S 'ark "ozy conjectured that in every proper edge coloring of a multigraph (with parallel edges allowed, but not loops) with 2q colors where each color appears at least q times, there is always a rainbow matching of size q . Recently, Aharoni, Berger, Chudnovsky, Howard, and Seymour proved a relaxation of the conjecture with 3q 2 colors. Our main result proves that 2q o(q) colors are enough if the graph is simple, confirming the conjecture asymptotically for simple graphs. This question restricted to simple graphs was considered before by Aharoni and Berger. We also disprove one of their conjectures regarding the lower bound on the number of colors one needs in the conjecture of Bar 'at, Gy 'arf 'as, and S 'ark "ozy for the class of simple graphs. Our methods are inspired by the randomized algorithm proposed by Gao, Ramadurai, Wanless, and Wormald to find a rainbow matching of size q in a graph that is properly edge colored with q colors, where each color class contains q o(q) edges. We consider a modified version of their algorithm, with which we are able to prove a generalization of their statement with a slightly better error term in o(q) . As a by product of our techniques, we obtain a new asymptotic version of the Brualdi Ryser Stein Conjecture.


Equations of linear subvarieties of strata of differentials. For a linear subvariety M of a stratum of meromorphic differentials, we investigate its closure in the multi scale compactification constructed by Bainbridge Chen Gendron Grushevsky M "oller. We prove various restrictions on the type of defining linear equations in period coordinates for M near its boundary, and prove that the closure is locally a toric variety. As applications, we give a fundamentally new proof of a generalization of the cylinder deformation theorem of Wright to the case of meromorphic strata, and construct a smooth compactification of the Hurwitz space of covers of the Riemann sphere.


TDRE A Tensor Decomposition Based Approach for Relation Extraction. Extracting entity pairs along with relation types from unstructured texts is a fundamental subtask of information extraction. Most existing joint models rely on fine grained labeling scheme or focus on shared embedding parameters. These methods directly model the joint probability of multi labeled triplets, which suffer from extracting redundant triplets with all relation types. However, each sentence may contain very few relation types. In this paper, we first model the final triplet extraction result as a three order tensor of word to word pairs enriched with each relation type. And in order to obtain the sentence contained relations, we introduce an independent but joint training relation classification module. The tensor decomposition strategy is finally utilized to decompose the triplet tensor with predicted relational components which omits the calculations for unpredicted relation types. According to effective decomposition methods, we propose the Tensor Decomposition based Relation Extraction (TDRE) approach which is able to extract overlapping triplets and avoid detecting unnecessary entity pairs. Experiments on benchmark datasets NYT, CoNLL04 and ADE datasets demonstrate that the proposed method outperforms existing strong baselines.


Symmetrical 2 extensions of the 3 dimensional grid. I. For a positive integer d , a connected graph Gamma is a symmetrical 2 extension of the d dimensional grid Lambda d if there exists a vertex tran sitive group G of automorphisms of Gamma and its imprimitivity system sigma with blocks of order 2 such that there exists an isomorphism varphi of the quotient graph Gamma sigma onto Lambda d . The tuple ( Gamma, G, sigma, varphi) with specified components is called a realization of the symmetrical 2 extension Gamma of the grid Lambda d . Two realizations ( Gamma 1, G 1, sigma 1, varphi 1) and ( Gamma 2, G 2, sigma 2, varphi 2) are called equivalent if there exists an isomorphism of the graph Gamma 1 onto Gamma 2 which maps sigma 1 onto sigma 2 . V. Trofimov proved that, up to equivalence, there are only finitely many realizations of symmetrical 2 extensions of Lambda d for each positive integer d . E. Konovalchik and K. Kostousov found all, up to equivalence, realizations of symmetrical 2 extensions of the grid Lambda 2 . In this work we found all, up to equivalence, realizations ( Gamma, G, sigma, varphi) of symmetrical 2 extensions of the grid Lambda 3 for which only the trivial automorphism of Gamma preserves all blocks of sigma (we prove that there are 5573 such realizations, and that among corresponding graphs Gamma there are 5350 pairwise non isomorphic).


Secure Collaborative Training and Inference for XGBoost. In recent years, gradient boosted decision tree learning has proven to be an effective method of training robust models. Moreover, collaborative learning among multiple parties has the potential to greatly benefit all parties involved, but organizations have also encountered obstacles in sharing sensitive data due to business, regulatory, and liability concerns. We propose Secure XGBoost, a privacy preserving system that enables multiparty training and inference of XGBoost models. Secure XGBoost protects the privacy of each party's data as well as the integrity of the computation with the help of hardware enclaves. Crucially, Secure XGBoost augments the security of the enclaves using novel data oblivious algorithms that prevent access side channel attacks on enclaves induced via access pattern leakage.


Minimal Separators in Graphs. The Known Menger's theorem states that in a finite graph, the size of a minimum separator set of any pair of vertices is equal to the maximum number of disjoint paths that can be found between these two vertices. In this paper, we study the minimal separators of two non adjacent vertices in a finite graph, and we give a new elementary proof of Menger's theorem.


Can Marton Coding Alone Ensure Individual Secrecy?. For communications in the presence of eavesdroppers, random components are often used in code design to camouflage information from eavesdroppers. In broadcast channels without eavesdroppers, Marton error correcting coding comprises random components which allow correlation between auxiliary random variables representing independent messages. In this paper, we study if Marton coding alone can ensure individual secrecy in the two receiver discrete memoryless broadcast channel with a passive eavesdropper. Our results show that in accordance to the principle of Wyner secrecy coding, this is possible and Marton coding alone guarantees individual secrecy. However, this comes with a penalty of requiring stricter channel conditions.


Infinite co minimal pairs involving lacunary sequences and generalisations to higher dimensions. The study of minimal complements in a group or a semigroup was initiated by Nathanson. The notion of minimal complements and being a minimal complement leads to the notion of co minimal pairs which was considered in a prior work of the authors. In this article, we study which type of subsets in the integers and free abelian groups of higher rank can be a part of a co minimal pair. We show that a majority of lacunary sequences have this property. From the conditions established, one can show that any infinite subset of any finitely generated abelian group has uncountably many subsets which is a part of a co minimal pair. Further, the uncountable collection of sets can be chosen so that they satisfy certain algebraic properties.


The charmed string self supporting loops through air drag. The string shooter experiment uses counter rotating pulleys to propel a closed string forward. Its steady state exhibits a transition from a gravity dominated regime at low velocity towards a high velocity regime where the string takes the form of a self supporting loop. Here we show that this loop of light string is not suspended in the air due to inertia, but through the hydrodynamic drag exerted by the surrounding fluid, namely air. We investigate this drag experimentally and theoretically for a smooth long cylinder moving along its axis. We then derive the equations describing the shape of the string loop in the limit of vanishing string radius. The solutions present a critical point, analogous to a hydraulic jump, separating a supercritical zone where the wave velocity is smaller than the rope velocity, from a subcritical zone where waves propagate faster than the rope velocity. This property could be leveraged to create a white hole analogue similar to what has been demonstrated using surface waves on a flowing fluid. Loop solutions that are regular at the critical point are derived, discussed and compared to the experiment. In the general case, however, the critical point turns out to be the locus of a sharp turn of the string, which is modelled theoretically as a discontinuity. The hydrodynamic regularisation of this geometrical singularity, which involves non local and added mass effects, is discussed based on dimensional analysis.


Characterization of Sobolev spaces by their Fourier coefficients in axisymmetric domains. Using Fourier series representations of functions on axisymmetric domains, we find weighted Sobolev norms of the Fourier coefficients of a function that yield norms equivalent to the standard Sobolev norms of the function. This characterization is universal in the sense that the equivalence constants are independent of the domain. In particular it is uniform whether the domain contains a part of its axis of rotation or is disjoint from, but maybe arbitrarily close to, the axis. Our characterization using step weighted norms involving the distance to the axis is different from the one obtained earlier in the book Bernardi, Dauge, Maday "Spectral methods for axisymmetric domains", Gauthier Villars, 1999 , which involves trace conditions and is domain dependent. We also provide a complement for non cylindrical domains of the proof given in loc. cit. .


Benchmarking Image Retrieval for Visual Localization. Visual localization, i.e., camera pose estimation in a known scene, is a core component of technologies such as autonomous driving and augmented reality. State of the art localization approaches often rely on image retrieval techniques for one of two tasks (1) provide an approximate pose estimate or (2) determine which parts of the scene are potentially visible in a given query image. It is common practice to use state of the art image retrieval algorithms for these tasks. These algorithms are often trained for the goal of retrieving the same landmark under a large range of viewpoint changes. However, robustness to viewpoint changes is not necessarily desirable in the context of visual localization. This paper focuses on understanding the role of image retrieval for multiple visual localization tasks. We introduce a benchmark setup and compare state of the art retrieval representations on multiple datasets. We show that retrieval performance on classical landmark retrieval recognition tasks correlates only for some but not all tasks to localization performance. This indicates a need for retrieval approaches specifically designed for localization tasks. Our benchmark and evaluation protocols are available at https github.com naver kapture localization.


Equitable Allocation of Healthcare Resources with Fair Cox Models. Healthcare programs such as Medicaid provide crucial services to vulnerable populations, but due to limited resources, many of the individuals who need these services the most languish on waiting lists. Survival models, e.g. the Cox proportional hazards model, can potentially improve this situation by predicting individuals' levels of need, which can then be used to prioritize the waiting lists. Providing care to those in need can prevent institutionalization for those individuals, which both improves quality of life and reduces overall costs. While the benefits of such an approach are clear, care must be taken to ensure that the prioritization process is fair or independent of demographic information based harmful stereotypes. In this work, we develop multiple fairness definitions for survival models and corresponding fair Cox proportional hazards models to ensure equitable allocation of healthcare resources. We demonstrate the utility of our methods in terms of fairness and predictive accuracy on two publicly available survival datasets.


LCD Line Clustering and Description for Place Recognition. Current research on visual place recognition mostly focuses on aggregating local visual features of an image into a single vector representation. Therefore, high level information such as the geometric arrangement of the features is typically lost. In this paper, we introduce a novel learning based approach to place recognition, using RGB D cameras and line clusters as visual and geometric features. We state the place recognition problem as a problem of recognizing clusters of lines instead of individual patches, thus maintaining structural information. In our work, line clusters are defined as lines that make up individual objects, hence our place recognition approach can be understood as object recognition. 3D line segments are detected in RGB D images using state of the art techniques. We present a neural network architecture based on the attention mechanism for frame wise line clustering. A similar neural network is used for the description of these clusters with a compact embedding of 128 floating point numbers, trained with triplet loss on training data obtained from the InteriorNet dataset. We show experiments on a large number of indoor scenes and compare our method with the bag of words image retrieval approach using SIFT and SuperPoint features and the global descriptor NetVLAD. Trained only on synthetic data, our approach generalizes well to real world data captured with Kinect sensors, while also providing information about the geometric arrangement of instances.


An Adaptive Savitsky Golay Filter for Smoothing Finite Element Computation. The smoothing technique of Savitzky and Golay is extended to data defined on multidimensional meshes. A smoothness increasing accuracy conserving (SIAC) filter is defined that is suitable for use with finite element computation.


A Logical Characterization of Constant Depth Circuits over the Reals. In this paper we give an Immerman's Theorem for real valued computation. We define circuits operating over real numbers and show that families of such circuits of polynomial size and constant depth decide exactly those sets of vectors of reals that can be defined in first order logic on R structures in the sense of Cucker and Meer. Our characterization holds both non uniformily as well as for many natural uniformity conditions.


Treating Interference as Noise is Optimal for Covert Communication over Interference Channels. We study the covert communication over K user discrete memoryless interference channels (DM ICs) with a warden. It is assumed that the warden's channel output distribution induced by K "off" input symbols, which are sent when no communication occurs, is not a convex combination of those induced by any other combination of input symbols (otherwise, the square root law does not hold). We derive the exact covert capacity region and show that a simple point to point based scheme with treating interference as noise is optimal. In addition, we analyze the secret key length required for the reliable and covert communication with the desired rates, and present a channel condition where a secret key between each user pair is unnecessary. The results are extended to the Gaussian case and the case with multiple wardens.


Bivariables and V 'en 'ereau polynomials. We study a family of polynomials introduced by Daigle and Freudenburg, which contains the famous V 'en 'ereau polynomials and defines mathbb A 2 fibrations over mathbb A 2 . According to the Dolgachev Weisfeiler conjecture, every such fibration should have the structure of a locally trivial mathbb A 2 bundle over mathbb A 2 . We follow an idea of Kaliman and Zaidenberg to show that these fibrations are locally trivial mathbb A 2 bundles over the punctured plane, all of the same specific form X f , depending on an element f in k a pm 1 ,b pm 1 x . We then introduce the notion of bivariables and show that the set of bivariables is in bijection with the set of locally trivial bundles X f that are trivial. This allows us to give another proof of Lewis's result stating that the second V 'en 'ereau polynomial is a variable and also to trivialise other elements of the family X f . We hope that the terminology and methods developed here may lead to future study of the whole family X f .


n pure submodules of modules. Let R be a commutative ring, M an R module. In this paper, we will introduce the concept of n pure submodules of M as a generalization of pure submodules and obtain some related results.


Third order open mapping theorems and applications to the end point map. This paper is devoted to a third order study of the end point map in sub Riemannian geometry. We first prove third order open mapping results for maps from a Banach space into a finite dimensional manifold. In a second step, we compute the third order term in the Taylor expansion of the end point map and we specialize the abstract theory to the study of length minimality of sub Riemannian strictly singular curves. We conclude with the third order analysis of a specific strictly singular extremal that is not length minimizing.


Learning When to Switch Composing Controllers to Traverse a Sequence of Terrain Artifacts. Legged robots often use separate control policiesthat are highly engineered for traversing difficult terrain suchas stairs, gaps, and steps, where switching between policies isonly possible when the robot is in a region that is commonto adjacent controllers. Deep Reinforcement Learning (DRL)is a promising alternative to hand crafted control design,though typically requires the full set of test conditions to beknown before training. DRL policies can result in complex(often unrealistic) behaviours that have few or no overlappingregions between adjacent policies, making it difficult to switchbehaviours. In this work we develop multiple DRL policieswith Curriculum Learning (CL), each that can traverse asingle respective terrain condition, while ensuring an overlapbetween policies. We then train a network for each destinationpolicy that estimates the likelihood of successfully switchingfrom any other policy. We evaluate our switching methodon a previously unseen combination of terrain artifacts andshow that it performs better than heuristic methods. Whileour method is trained on individual terrain types, it performscomparably to a Deep Q Network trained on the full set ofterrain conditions. This approach allows the development ofseparate policies in constrained conditions with embedded priorknowledge about each behaviour, that is scalable to any numberof behaviours, and prepares DRL methods for applications inthe real world


Using Dynamic Analysis to Generate Disjunctive Invariants. Program invariants are important for defect detection, program verification, and program repair. However, existing techniques have limited support for important classes of invariants such as disjunctions, which express the semantics of conditional statements. We propose a method for generating disjunctive invariants over numerical domains, which are inexpressible using classical convex polyhedra. Using dynamic analysis and reformulating the problem in non standard "max plus" and "min plus" algebras, our method constructs hulls over program trace points. Critically, we introduce and infer a weak class of such invariants that balances expressive power against the computational cost of generating nonconvex shapes in high dimensions. Existing dynamic inference techniques often generate spurious invariants that fit some program traces but do not generalize. With the insight that generating dynamic invariants is easy, we propose to verify these invariants statically using k inductive SMT theorem proving which allows us to validate invariants that are not classically inductive. Results on difficult kernels involving nonlinear arithmetic and abstract arrays suggest that this hybrid approach efficiently generates and proves correct program invariants.


Using Local Experiences for Global Motion Planning. Sampling based planners are effective in many real world applications such as robotics manipulation, navigation, and even protein modeling. However, it is often challenging to generate a collision free path in environments where key areas are hard to sample. In the absence of any prior information, sampling based planners are forced to explore uniformly or heuristically, which can lead to degraded performance. One way to improve performance is to use prior knowledge of environments to adapt the sampling strategy to the problem at hand. In this work, we decompose the workspace into local primitives, memorizing local experiences by these primitives in the form of local samplers, and store them in a database. We synthesize an efficient global sampler by retrieving local experiences relevant to the given situation. Our method transfers knowledge effectively between diverse environments that share local primitives and speeds up the performance dramatically. Our results show, in terms of solution time, an improvement of multiple orders of magnitude in two traditionally challenging high dimensional problems compared to state of the art approaches.


Tree approximation in quasi trees. In this paper we investigate the geometric properties of quasi trees, and prove some equivalent criteria. We give a general construction of a tree that approximates the ends of a geodesic space, and use this to prove that every quasi tree is (1,C) quasi isometric to a simplicial tree. As a consequence we show that Gromov's Tree Approximation Lemma for hyperbolic spaces can be improved in the case of quasi trees to give a uniform approximation for any set of points, independent of cardinality. From this we show that having uniform tree approximation for finite subsets is equivalent to being able to uniformly approximate the entire space by a tree. As another consequence we note that the boundary of a quasi tree is isometric to the boundary of its approximating tree under a certain choice of visual metric, and that this gives a natural extension of the standard metric on the boundary of a tree.


Learning to Collide An Adaptive Safety Critical Scenarios Generating Method. Long tail and rare event problems become crucial when autonomous driving algorithms are applied in the real world. For the purpose of evaluating systems in challenging settings, we propose a generative framework to create safety critical scenarios for evaluating specific task algorithms. We first represent the traffic scenarios with a series of autoregressive building blocks and generate diverse scenarios by sampling from the joint distribution of these blocks. We then train the generative model as an agent (or a generator) to investigate the risky distribution parameters for a given driving algorithm being evaluated. We regard the task algorithm as an environment (or a discriminator) that returns a reward to the agent when a risky scenario is generated. Through the experiments conducted on several scenarios in the simulation, we demonstrate that the proposed framework generates safety critical scenarios more efficiently than grid search or human design methods. Another advantage of this method is its adaptiveness to the routes and parameters.


Deep ocean inertial subrange small bandwidth coherence and Ozmidov frequency separation. The inertial subrange of turbulence in a density stratified environment is the transition from internal waves to isotropic turbulence, but it is unclear how to interpret its extension to anisotropic stratified turbulence. Knowledge about stratified turbulence is relevant for the dispersal of suspended matter in geophysical flows, such as in most of the ocean. For studying internal wave induced ocean turbulence moored high resolution temperature (T )sensors are used. Spectra from observations on episodic quasi convective internal wave breaking above a steep slope of large seamount Josephine in the Northeast Atlantic demonstrate an inertial subrange that can be separated in two parts A large scale part with relatively coherent portions adjacent to less coherent portions, and a small scale part that is smoothly continuous (to within standard error). The separation is close to the Ozmidov frequency, and coincides with the transition from anisotropic quasi deterministic stratified turbulence to isotropic stochastic inertial convective motions as inferred from a comparison of vertical and horizontal co spectra. These observations contrast with T sensor observations of shear dominated internal wave breaking in an equally turbulent environment above the slope of a small Mid Atlantic ridge crest, which demonstrate a stochastic inertial subrange throughout.


Breakdown of Liesegang precipitation bands in a simplified fast reaction limit of the Keller Rubinow model. We study solutions to the integral equation omega(x) Gamma x 2 int 0 1 K( theta) , H( omega(x theta)) , mathrm d theta where Gamma 0 , K is a weakly degenerate kernel satisfying, among other properties, K( theta) sim k , (1 theta) sigma as theta to 1 for constants k 0 and sigma in (0, log 2 3 1) , H denotes the Heaviside function, and x in 0, infty) . This equation arises from a reaction diffusion equation describing Liesegang precipitation band patterns under certain simplifying assumptions. We argue that the integral equation is an analytically tractable paradigm for the clustering of precipitation rings observed in the full model. This problem is nontrivial as the right hand side fails a Lipschitz condition so that classical contraction mapping arguments do not apply. Our results are the following. Solutions to the integral equation, which initially feature a sequence of relatively open intervals on which omega is positive ("rings") or negative ("gaps") break down beyond a finite interval 0,x in one of two possible ways. Either the sequence of rings accumulates at x ("non degenerate breakdown") or the solution cannot be continued past one of its zeroes at all ("degenerate breakdown"). Moreover, we show that degenerate breakdown is possible within the class of kernels considered. Finally, we prove existence of generalized solutions which extend the integral equation past the point of breakdown.


Binomial edge ideals and bounds for their regularity. Let G be a simple graph on n vertices and J G denote the corresponding binomial edge ideal in S K x 1, ldots, x n, y 1, ldots, y n . We prove that the Castelnuovo Mumford regularity of J G is bounded above by c(G) 1 when G is a quasi block graph or semi block graph. We give another proof of Saeedi Madani Kiani regularity upper bound conjecture for chordal graphs. We obtain the regularity of binomial edge ideals of Jahangir graphs. Later, we establish a sufficient condition for Hibi Matsuda conjecture to be true.


Linear equations on Drinfeld modules. Let L be a finite extension of the rational function field over a finite field and E be a Drinfeld module defined over L . Given finitely many L rational points on E , this paper aims to show that there is an explicit upper bound for the size of the generators of linear relations among these points. Our result can be regarded as an analogue of Masser's theorem for finitely many K rational points on an elliptic curve defined over a number field K .


Poissonian correlation of higher order differences. A sequence (x n) n 1 infty on the torus mathbb T exhibits Poissonian pair correlation if for all s geq0 , begin equation lim N to infty frac 1 N left 1 leq m neq n leq N x m x n leq frac s N right 2s. end equation It is known that this condition implies equidistribution of (x n) . We generalize this result to four fold differences if for all s 0 we have begin equation lim N to infty frac 1 N 2 left substack 1 leq m,n,k,l leq N m,n neq k,l x m x n x k x l leq frac s N 2 right 2s end equation then (x n) n 1 infty is equidistributed. This notion generalizes to higher orders, and for any k we show that a sequence exhibiting 2k fold Poissonian correlation is equidistributed. In the course of this investigation we obtain a discrepancy bound for a sequence in terms of its closeness to 2k fold Poissonian correlation. This result refines earlier bounds of Grepstad Larcher and Steinerberger in the case of pair correlation, and resolves an open question of Steinerberger.


A note on the Screaming Toes game. We investigate properties of random mappings whose core is composed of derangements as opposed to permutations. Such mappings arise as the natural framework to study the Screaming Toes game described, for example, by Peter Cameron. This mapping differs from the classical case primarily in the behaviour of the small components, and a number of explicit results are provided to illustrate these differences.


Cubic forms having matrix factorizations by Hessian matrices. Using a part of XJC correspondence by Pirio and Russo, we classify cubic forms f whose Hessian matrices induce matrix factorizations of themselves. When it defines a reduced hypersurface, it satisfies the "secant singularity" correspondence, that is, it coincides with the secant locus of its singular locus. In particular, when f is irreducible, its singular locus is either one of four Severi varieties.


On triangular similarity of nilpotent triangular matrices. Let B n (resp. U n , N n ) be the set of n times n nonsingular (resp. unit, nilpotent) upper triangular matrices. We use a novel approach to explore the B n similarity orbits in N n . The Belitski u i 's canonical form of A in N n under B n similarity is in QU n where Q is the subpermutation such that A in B n QB n . Using graph representations and U n similarity actions stablizing QU n , we obtain new properties of the Belitski u i 's canonical forms and present an efficient algorithm to find the Belitski u i 's canonical forms in N n . As consequences, we construct new Belitski u i 's canonical forms in all N n 's, list all Belitski u i 's canonical forms for n 7, 8 , and show examples of 3 nilpotent Belitski u i 's canonical forms in N n with arbitrary numbers of parameters up to operatorname O (n 2) .


ARENA A Data driven Radio Access Networks Analysis of Football Events. Mass events represent one of the most challenging scenarios for mobile networks because, although their date and time are usually known in advance, the actual demand for resources is difficult to predict due to its dependency on many different factors. Based on data provided by a major European carrier during mass events in a football stadium comprising up to 30.000 people, 16 base station sectors and 1 Km 2 area, we performed a data driven analysis of the radio access network infrastructure dynamics during such events. Given the insights obtained from the analysis, we developed ARENA, a model free deep learning Radio Access Network (RAN) capacity forecasting solution that, taking as input past network monitoring data and events context information, provides guidance to mobile operators on the expected RAN capacity needed during a future event. Our results, validated against real events contained in the dataset, illustrate the effectiveness of our proposed solution.


Maximum Coverage with Cluster Constraints An LP Based Approximation Technique. Packing problems constitute an important class of optimization problems, both because of their high practical relevance and theoretical appeal. However, despite the large number of variants that have been studied in the literature, most packing problems encompass a single tier of capacity restrictions only. For example, in the Multiple Knapsack Problem, we assign items to multiple knapsacks such that their capacities are not exceeded. But what if these knapsacks are partitioned into clusters, each imposing an additional capacity restriction on the knapsacks contained in that cluster? In this paper, we study the Maximum Coverage Problem with Cluster Constraints (MCPC), which generalizes the Maximum Coverage Problem with Knapsack Constraints (MCPK) by incorporating cluster constraints. Our main contribution is a general LP based technique to derive approximation algorithms for cluster capacitated problems. Our technique allows us to reduce the cluster capacitated problem to the respective original packing problem. By using an LP based approximation algorithm for the original problem, we can then obtain an effective rounding scheme for the problem, which only loses a small fraction in the approximation guarantee. We apply our technique to derive approximation algorithms for MCPC. To this aim, we develop an LP based frac12(1 frac1e) approximation algorithm for MCPK by adapting the pipage rounding technique. Combined with our reduction technique, we obtain a frac13(1 frac1e) approximation algorithm for MCPC. We also derive improved results for a special case of MCPC, the Multiple Knapsack Problem with Cluster Constraints (MKPC). Based on a simple greedy algorithm, our approach yields a frac13 approximation algorithm. By combining our technique with a more sophisticated iterative rounding approach, we obtain a frac12 approximation algorithm for certain special cases of MKPC.


Emora An Inquisitive Social Chatbot Who Cares For You. Inspired by studies on the overwhelming presence of experience sharing in human human conversations, Emora, the social chatbot developed by Emory University, aims to bring such experience focused interaction to the current field of conversational AI. The traditional approach of information sharing topic handlers is balanced with a focus on opinion oriented exchanges that Emora delivers, and new conversational abilities are developed that support dialogues that consist of a collaborative understanding and learning process of the partner's life experiences. We present a curated dialogue system that leverages highly expressive natural language templates, powerful intent classification, and ontology resources to provide an engaging and interesting conversational experience to every user.


AdvectiveNet An Eulerian Lagrangian Fluidic reservoir for Point Cloud Processing. This paper presents a novel physics inspired deep learning approach for point cloud processing motivated by the natural flow phenomena in fluid mechanics. Our learning architecture jointly defines data in an Eulerian world space, using a static background grid, and a Lagrangian material space, using moving particles. By introducing this Eulerian Lagrangian representation, we are able to naturally evolve and accumulate particle features using flow velocities generated from a generalized, high dimensional force field. We demonstrate the efficacy of this system by solving various point cloud classification and segmentation problems with state of the art performance. The entire geometric reservoir and data flow mimics the pipeline of the classic PIC FLIP scheme in modeling natural flow, bridging the disciplines of geometric machine learning and physical simulation.


On Search Friction of Route Discovery in Offchain Networks. Offchain networks provide a promising solution to overcome the scalability challenges of cryptocurrencies. However, design tradeoffs of offchain networks are still not well understood today. In particular, offchain networks typically rely on fees based incentives and hence require mechanisms for the efficient discovery of good routes'' routes with low fees (cost efficiency) and a high success rate of the transaction routing (effectiveness). Furthermore, the route discovery should be confidential (privacy), and e.g., not reveal information about who transacts with whom or about the transaction value. This paper provides an analysis of the search friction'' of route discovery, i.e., the costs and tradeoffs of route discovery in large scale offchain networks in which nodes behave strategically. As a case study, we consider the Lighning network and the route discovery service provided by the trampoline nodes, evaluating the tradeoff in different scenarios also empirically. Finally, we initiate the discussion of alternative charging schemes for offchain networks.


Adaptive refinement with locally linearly independent LR B splines Theory and applications. In this paper we describe an adaptive refinement strategy for LR B splines. The presented strategy ensures, at each iteration, local linear independence of the obtained set of LR B splines. This property is then exploited in two applications the construction of efficient quasi interpolation schemes and the numerical solution of elliptic problems using the isogeometric Galerkin method.


Deforming the Loss Surface to Affect the Behaviour of the Optimizer. In deep learning, it is usually assumed that the optimization process is conducted on a shape fixed loss surface. Differently, we first propose a novel concept of deformation mapping in this paper to affect the behaviour of the optimizer. Vertical deformation mapping (VDM), as a type of deformation mapping, can make the optimizer enter a flat region, which often implies better generalization performance. Moreover, we design various VDMs, and further provide their contributions to the loss surface. After defining the local M region, theoretical analyses show that deforming the loss surface can enhance the gradient descent optimizer's ability to filter out sharp minima. With visualizations of loss landscapes, we evaluate the flatnesses of minima obtained by both the original optimizer and optimizers enhanced by VDMs on CIFAR 100. The experimental results show that VDMs do find flatter regions. Moreover, we compare popular convolutional neural networks enhanced by VDMs with the corresponding original ones on ImageNet, CIFAR 10, and CIFAR 100. The results are surprising there are significant improvements on all of the involved models equipped with VDMs. For example, the top 1 test accuracy of ResNet 20 on CIFAR 100 increases by 1.46 , with insignificant additional computational overhead.


Seshadri constants of indecomposable polarized abelian varieties. The goal of this preliminary note is to introduce and study a conjectural picture on lower bounds of Seshadri constants of indecomposable polarized abelian varieties. This is inspired by some work of Debarre on the subject together with the author study of syzygies of abelian threefolds using the convex geometry of Newton Okounkov bodies.


The Changing Nature of Computational Science Software. How should software engineering be adapted for Computational Science (CS)? If we understood that, then we could better support software sustainability, verifiability, reproducibility, comprehension, and usability for CS community. For example, improving the maintainability of the CS code could lead to (a) faster adaptation of scientific project simulations to new and efficient hardware (multi core and heterogeneous systems) (b) better support for larger teams to co ordinate (through integration with interdisciplinary teams) and (c) an extended capability to model complex phenomena. In order to better understand computational science, this paper uses quantitative evidence (from 59 CS projects in Github) to check 13 published beliefs about CS. These beliefs reflect on (a) the nature of scientific challenges (b) the implications of limitations of computer hardware and (c) the cultural environment of scientific software development. What we found was, using this new data from Github, only a minority of those older beliefs can be endorsed. More than half of the pre existing beliefs are dubious, which leads us to conclude that the nature of CS software development is changing. Further, going forward, this has implications for (1) what kinds of tools we would propose to better support computational science and (2) research directions for both communities.


Information Fusion to Estimate Resilience of Dense Urban Neighborhoods. Diverse sociocultural influences in rapidly growing dense urban areas may induce strain on civil services and reduce the resilience of those areas to exogenous and endogenous shocks. We present a novel approach with foundations in computer and social sciences, to estimate the resilience of dense urban areas at finer spatiotemporal scales compared to the state of the art. We fuse multi modal data sources to estimate resilience indicators from social science theory and leverage a structured ontology for factor combinations to enhance explainability. Estimates of destabilizing areas can improve the decision making capabilities of civil governments by identifying critical areas needing increased social services.


Virtual Surfaces and Attitude Aware Planning and Behaviours for Negative Obstacle Navigation. This paper presents an autonomous navigation system for ground robots traversing aggressive unstructured terrain through a cohesive arrangement of mapping, deliberative planning and reactive behaviour modules. All systems are aware of terrain slope, visibility and vehicle orientation, enabling robots to recognize, plan and react around unobserved areas and overcome negative obstacles, slopes, steps, overhangs and narrow passageways. This is one of pioneer works to explicitly and simultaneously couple mapping, planning and reactive components in dealing with negative obstacles. The system was deployed on three heterogeneous ground robots for the DARPA Subterranean Challenge, and we present results in Urban and Cave environments, along with simulated scenarios, that demonstrate this approach.


A Hele Shaw limit without monotonicity. We study the incompressible limit of the porous medium equation with a right hand side representing either a source or a sink term, and an injection boundary condition. This model can be seen as a simplified description of non monotone motions in tumor growth and crowd motion, generalizing the congestion only motions studied in recent literature ( cite AKY , cite PQV , cite KP , cite MPQ ). We characterize the limit density, which solves a free boundary problem of Hele Shaw type in terms of the limit pressure. The novel feature of our result lies in the characterization of the limit pressure, which solves an obstacle problem at each time in the evolution


Approximation properties of multipoint boundary value problems. We consider a wide class of linear boundary value problems for systems of r th order ordinary differential equations whose solutions range over the normed complex space (C (n) ) m of n geq r times continuously differentiable functions y a,b to mathbb C m . The boundary conditions for these problems are of the most general form By q , where B is an arbitrary continuous linear operator from (C (n) ) m to mathbb C rm . We prove that the solutions to the considered problems can be approximated in (C (n) ) m by solutions to some multipoint boundary value problems. The latter problems do not depend on the right hand sides of the considered problem and are built explicitly.


Hyper RPCA Joint Maximum Correntropy Criterion and Laplacian Scale Mixture Modeling On the Fly for Moving Object Detection. Moving object detection is critical for automated video analysis in many vision related tasks, such as surveillance tracking, video compression coding, etc. Robust Principal Component Analysis (RPCA), as one of the most popular moving object modelling methods, aims to separate the temporally varying (i.e., moving) foreground objects from the static background in video, assuming the background frames to be low rank while the foreground to be spatially sparse. Classic RPCA imposes sparsity of the foreground component using l1 norm, and minimizes the modeling error via 2 norm. We show that such assumptions can be too restrictive in practice, which limits the effectiveness of the classic RPCA, especially when processing videos with dynamic background, camera jitter, camouflaged moving object, etc. In this paper, we propose a novel RPCA based model, called Hyper RPCA, to detect moving objects on the fly. Different from classic RPCA, the proposed Hyper RPCA jointly applies the maximum correntropy criterion (MCC) for the modeling error, and Laplacian scale mixture (LSM) model for foreground objects. Extensive experiments have been conducted, and the results demonstrate that the proposed Hyper RPCA has competitive performance for foreground detection to the state of the art algorithms on several well known benchmark datasets.


Trapping problem on star type graphs with applications. The trapping problem on graph (or network) as a typical focus of great interest has attracted more attention from various science fields, including applied mathematics and theoretical computer science, in the past. Here, we first study this problem on an arbitrary graph and obtain the closed form formula for calculating the theoretical lower bound of average trapping time ( ATT ), a quantity that evaluates trapping efficiency of graph in question, using methods from spectral graph theory. The results show that the choice of the trap's location has a significant influence on determining parameter ATT . As a result, we consider the problem on star type graphs, a special graph family which will be introduced shortly, with a single trap theta and then derive using probability generating functions the exact solution to quantity ATT . Our results suggest that all star type graphs have most optimal trapping efficiency by achieving the corresponding theoretical lower bounds of ATT . More importantly, we further find that a given graph is most optimal only if its underlying structure is star type when considering the trapping problem. At meantime, we also provide the upper bounds for ATT of several graphs in terms of well known Holder inequality, some of which are sharp. By using all the consequences obtained, one may be able to design better control scheme for complex networks from respect of trapping efficiency, to some extent, which are in well agreement with many other previous thoughts.


Learning Object Based State Estimators for Household Robots. A robot operating in a household makes observations of multiple objects as it moves around over the course of days or weeks. The objects may be moved by inhabitants, but not completely at random. The robot may be called upon later to retrieve objects and will need a long term object based memory in order to know how to find them. Existing work in semantic slam does not attempt to capture the dynamics of object movement. In this paper, we combine some aspects of classic techniques for data association filtering with modern attention based neural networks to construct object based memory systems that operate on high dimensional observations and hypotheses. We perform end to end learning on labeled observation trajectories to learn both the transition and observation models. We demonstrate the system's effectiveness in maintaining memory of dynamically changing objects in both simulated environment and real images, and demonstrate improvements over classical structured approaches as well as unstructured neural approaches. Additional information available at project website https yilundu.github.io obm .


Algorithms for Grey Weighted Distance Computations. With the increasing size of datasets and demand for real time response for interactive applications, improving runtime for algorithms with excessive computational requirements has become increasingly important. Many different algorithms combining efficient priority queues with various helper structures have been proposed for computing grey weighted distance transforms. Here we compare the performance of popular competitive algorithms in different scenarios to form practical guidelines easy to adopt. The label setting category of algorithms is shown to be the best choice for all scenarios. The hierarchical heap with a pointer array to keep track of nodes on the heap is shown to be the best choice as priority queue. However, if memory is a critical issue, then the best choice is the Dial priority queue for integer valued costs and the Untidy priority queue for real valued costs.


Spatial distribution of graffiti A complex network approach. Despite the great differences among cities, they face similar challenges regarding social inequality, politics and criminality. Urban art express these feelings from the citizen point of view. In particular, the drawing and painting of public surfaces may carry rich information about the time and region it was made. Existing studies have explored the spatial distribution of graffiti, but most of them considered graffiti as a whole, with no separation among the types. Also, the analyses rarely take into account the city topology. In this work, we propose to categorize the graffiti into three types simple scribbles, complex scribbles, canvases. We analyze the spatial distribution and identify the spatial bias of each type. To further analyze the spatial distribution of the types, we apply concepts from complex networks. First, regions (communities) defined by the connectivity profiles of the city network are obtained and the prevalence of each type of graffiti over these regions are analyzed. Next, a measure based on the dynamics of the network (accessibility) is calculated and compared to the distribution of the graffiti types. A case study is performed in the analysis of three different categories of graffiti in the city of Sao Paulo, Brazil. The results showed that the categories present characteristic spatial distributions. The ratio of each type per community of the network, though, does not pose significant deviations. Finally, a small positive correlation was observed between the locations of each graffiti type and the accessibility.