Adding an Abstraction Barrier to ZF Set Theory. Much mathematical writing exists that is, explicitly or implicitly, based on set theory, often Zermelo Fraenkel set theory (ZF) or one of its variants. In ZF, the domain of discourse contains only sets, and hence every mathematical object must be a set. Consequently, in ZF, with the usual encoding of an ordered pair langle a, b rangle , formulas like a in langle a, b rangle have truth values, and operations like mathcal P ( langle a, b rangle) have results that are sets. Such 'accidental theorems' do not match how people think about the mathematics and also cause practical difficulties when using set theory in machine assisted theorem proving. In contrast, in a number of proof assistants, mathematical objects and concepts can be built of type theoretic stuff so that many mathematical objects can be, in essence, terms of an extended typed lambda calculus. However, dilemmas and frustration arise when formalizing mathematics in type theory. Motivated by problems of formalizing mathematics with (1) purely set theoretic and (2) type theoretic approaches, we explore an option with much of the flexibility of set theory and some of the useful features of type theory. We present ZFP a modification of ZF that has ordered pairs as primitive, non set objects. ZFP has a more natural and abstract axiomatic definition of ordered pairs free of any notion of representation. This paper presents axioms for ZFP, and a proof in ZF (machine checked in Isabelle ZF) of the existence of a model for ZFP, which implies that ZFP is consistent if ZF is. We discuss the approach used to add this abstraction barrier to ZF.


Robust Odometry and Mapping for Multi LiDAR Systems with Online Extrinsic Calibration. Combining multiple LiDARs enables a robot to maximize its perceptual awareness of environments and obtain sufficient measurements, which is promising for simultaneous localization and mapping (SLAM). This paper proposes a system to achieve robust and simultaneous extrinsic calibration, odometry, and mapping for multiple LiDARs. Our approach starts with measurement preprocessing to extract edge and planar features from raw measurements. After a motion and extrinsic initialization procedure, a sliding window based multi LiDAR odometry runs onboard to estimate poses with online calibration refinement and convergence identification. We further develop a mapping algorithm to construct a global map and optimize poses with sufficient features together with a method to model and reduce data uncertainty. We validate our approach's performance with extensive experiments on ten sequences (4.60km total length) for the calibration and SLAM and compare them against the state of the art. We demonstrate that the proposed work is a complete, robust, and extensible system for various multi LiDAR setups. The source code, datasets, and demonstrations are available at https ram lab.com file site m loam.


SpanBERT Improving Pre training by Representing and Predicting Spans. We present SpanBERT, a pre training method that is designed to better represent and predict spans of text. Our approach extends BERT by (1) masking contiguous random spans, rather than random tokens, and (2) training the span boundary representations to predict the entire content of the masked span, without relying on the individual token representations within it. SpanBERT consistently outperforms BERT and our better tuned baselines, with substantial gains on span selection tasks such as question answering and coreference resolution. In particular, with the same training data and model size as BERT large, our single model obtains 94.6 and 88.7 F1 on SQuAD 1.1 and 2.0, respectively. We also achieve a new state of the art on the OntoNotes coreference resolution task (79.6 F1), strong performance on the TACRED relation extraction benchmark, and even show gains on GLUE.


Spectra of locally matrix algebras. We describe spectra of associative (not necessarily unital and not necessarily countable dimensional) locally matrix algebras. We determine all possible spectra of locally matrix algebras and give a new proof of Dixmier Baranov Theorem. As an application of our description of spectra we determine embeddings of locally matrix algebras.


Silting Modules over Triangular Matrix Rings. Let Lambda, Gamma be rings and R left( begin array cc Lambda 0 M Gamma end array right) the triangular matrix ring with M a ( Gamma, Lambda) bimodule. Let X be a right Lambda module and Y a right Gamma module. We prove that (X, 0) oplus (Y otimes Gamma M, Y) is a silting right R module if and only if both X Lambda and Y Gamma are silting modules and Y otimes Gamma M is generated by X . Furthermore, we prove that if Lambda and Gamma are finite dimensional algebras over an algebraically closed field and X Lambda and Y Gamma are finitely generated, then (X, 0) oplus (Y otimes Gamma M, Y) is a support tau tilting R module if and only if both X Lambda and Y Gamma are support tau tilting modules, Hom Lambda(Y otimes Gamma M, tau X) 0 and Hom Lambda(e Lambda, Y otimes Gamma M) 0 with e the maximal idempotent such that Hom Lambda(e Lambda, X) 0 .


Fuzzy approach on modelling cyber attacks patterns on data transfer in industrial control systems. Cybersecurity of industrial control system is a very complex and challenging research topic, due to the integration of these systems in national critical infrastructures. The control systems are now interconnected in industrial networks and frequently to the Internet. In this context they are becoming targets of various cyber attacks conducted by malicious people such as hackers, script kiddies, industrial spies and even foreign armies and intelligence agencies. In this paper the authors propose a way to model the most frequent attacker profiles and to estimate the success rate of an attack conducted in given conditions. The authors use a fuzzy approach for generating attacker profiles based on attacker attributes such as knowledge, technical resources and motivation. The attack success rate is obtained by using another fuzzy inference system that analyzes the attacker profile and system intrinsic characteristics.


Cell Type Identification from Single Cell Transcriptomic Data via Semi supervised Learning. Cell type identification from single cell transcriptomic data is a common goal of single cell RNA sequencing (scRNAseq) data analysis. Neural networks have been employed to identify cell types from scRNAseq data with high performance. However, it requires a large mount of individual cells with accurate and unbiased annotated types to build the identification models. Unfortunately, labeling the scRNAseq data is cumbersome and time consuming as it involves manual inspection of marker genes. To overcome this challenge, we propose a semi supervised learning model to use unlabeled scRNAseq cells and limited amount of labeled scRNAseq cells to implement cell identification. Firstly, we transform the scRNAseq cells to "gene sentences", which is inspired by similarities between natural language system and gene system. Then genes in these sentences are represented as gene embeddings to reduce data sparsity. With these embeddings, we implement a semi supervised learning model based on recurrent convolutional neural networks (RCNN), which includes a shared network, a supervised network and an unsupervised network. The proposed model is evaluated on macosko2015, a large scale single cell transcriptomic dataset with ground truth of individual cell types. It is observed that the proposed model is able to achieve encouraging performance by learning on very limited amount of labeled scRNAseq cells together with a large number of unlabeled scRNAseq cells.


Detecting Generic Music Features with Single Layer Feedforward Network using Unsupervised Hebbian Computation. With the ever increasing number of digital music and vast music track features through popular online music streaming software and apps, feature recognition using the neural network is being used for experimentation to produce a wide range of results across a variety of experiments recently. Through this work, the authors extract information on such features from a popular open source music corpus and explored new recognition techniques, by applying unsupervised Hebbian learning techniques on their single layer neural network using the same dataset. The authors show the detailed empirical findings to simulate how such an algorithm can help a single layer feedforward network in training for music feature learning as patterns. The unsupervised training algorithm enhances their proposed neural network to achieve an accuracy of 90.36 for successful music feature detection. For comparative analysis against similar tasks, authors put their results with the likes of several previous benchmark works. They further discuss the limitations and thorough error analysis of their work. The authors hope to discover and gather new information about this particular classification technique and its performance, and further understand future potential directions and prospects that could improve the art of computational music feature recognition.


How Gamification Affects Software Developers Cautionary Evidence from a Natural Experiment on GitHub. We examine how the behavior of software developers changes in response to removing gamification elements from GitHub, an online platform for collaborative programming and software development. We find that the unannounced removal of daily activity streak counters from the user interface (from user profile pages) was followed by significant changes in behavior. Long running streaks of activity were abandoned and became less common. Weekend activity decreased and days in which developers made a single contribution became less common. Synchronization of streaking behavior in the platform's social network also decreased, suggesting that gamification is a powerful channel for social influence. Focusing on a set of software developers that were publicly pursuing a goal to make contributions for 100 days in a row, we find that some of these developers abandon this quest following the removal of the public streak counter. Our findings provide evidence for the significant impact of gamification on the behavior of developers on large collaborative programming and software development platforms. They urge caution gamification can steer the behavior of software developers in unexpected and unwanted directions.


ASTRAL Adversarial Trained LSTM CNN for Named Entity Recognition. Named Entity Recognition (NER) is a challenging task that extracts named entities from unstructured text data, including news, articles, social comments, etc. The NER system has been studied for decades. Recently, the development of Deep Neural Networks and the progress of pre trained word embedding have become a driving force for NER. Under such circumstances, how to make full use of the information extracted by word embedding requires more in depth research. In this paper, we propose an Adversarial Trained LSTM CNN (ASTRAL) system to improve the current NER method from both the model structure and the training process. In order to make use of the spatial information between adjacent words, Gated CNN is introduced to fuse the information of adjacent words. Besides, a specific Adversarial training method is proposed to deal with the overfitting problem in NER. We add perturbation to variables in the network during the training process, making the variables more diverse, improving the generalization and robustness of the model. Our model is evaluated on three benchmarks, CoNLL 03, OntoNotes 5.0, and WNUT 17, achieving state of the art results. Ablation study and case study also show that our system can converge faster and is less prone to overfitting.


Sequence to Sequence Natural Language to Humanoid Robot Sign Language. This paper presents a study on natural language to sign language translation with human robot interaction application purposes. By means of the presented methodology, the humanoid robot TEO is expected to represent Spanish sign language automatically by converting text into movements, thanks to the performance of neural networks. Natural language to sign language translation presents several challenges to developers, such as the discordance between the length of input and output data and the use of non manual markers. Therefore, neural networks and, consequently, sequence to sequence models, are selected as a data driven system to avoid traditional expert system approaches or temporal dependencies limitations that lead to limited or too complex translation systems. To achieve these objectives, it is necessary to find a way to perform human skeleton acquisition in order to collect the signing input data. OpenPose and skeletonRetriever are proposed for this purpose and a 3D sensor specification study is developed to select the best acquisition hardware.


Point Transformer. In this work, we present Point Transformer, a deep neural network that operates directly on unordered and unstructured point sets. We design Point Transformer to extract local and global features and relate both representations by introducing the local global attention mechanism, which aims to capture spatial point relations and shape information. For that purpose, we propose SortNet, as part of the Point Transformer, which induces input permutation invariance by selecting points based on a learned score. The output of Point Transformer is a sorted and permutation invariant feature list that can directly be incorporated into common computer vision applications. We evaluate our approach on standard classification and part segmentation benchmarks to demonstrate competitive results compared to the prior work. Code is publicly available at https github.com engelnico point transformer


Compression Boosts Differentially Private Federated Learning. Federated Learning allows distributed entities to train a common model collaboratively without sharing their own data. Although it prevents data collection and aggregation by exchanging only parameter updates, it remains vulnerable to various inference and reconstruction attacks where a malicious entity can learn private information about the participants' training data from the captured gradients. Differential Privacy is used to obtain theoretically sound privacy guarantees against such inference attacks by noising the exchanged update vectors. However, the added noise is proportional to the model size which can be very large with modern neural networks. This can result in poor model quality. In this paper, compressive sensing is used to reduce the model size and hence increase model quality without sacrificing privacy. We show experimentally, using 2 datasets, that our privacy preserving proposal can reduce the communication costs by up to 95 with only a negligible performance penalty compared to traditional non private federated learning schemes.


Algebra of Concurrent Games. We introduce parallelism into the basic algebra of games to model concurrent game algebraically. Parallelism is treated as a new kind of game operation. The resulted algebra of concurrent games can be used widely to reason the parallel systems.


Aggregated occupation measures and linear programming approach to constrained impulse control problems. For a constrained optimal impulse control problem of an abstract dynamical system, we introduce the occupation measures along with aggregated occupation measures and present two associated linear programs. We prove that the two linear programs are equivalent under appropriate conditions, and each linear program gives rise to an optimal strategy in the original impulse control problem.


A new median based formula for the Black Scholes Merton Theory. The Black Scholes Merton (BSM) theory for price variation has been well established in mathematical financial engineering. However, it has been recognized that long term outcomes in practice may divert from the Black Scholes formula, which is the expected value of the stochastic process of price changes. While the expected value is expected for the long run average of infinite realizations of the same stochastic process, it may give an erroneous picture of nearly every realization when the probability distribution is skewed, as is the case for prices. Here we propose a new formula of the BSM theory, which is based on the median of the stochastic process. This formula makes a more realistic prediction for the long term outcomes than the current Black Scholes formula.


Watch and Learn Mapping Language and Noisy Real world Videos with Self supervision. In this paper, we teach machines to understand visuals and natural language by learning the mapping between sentences and noisy video snippets without explicit annotations. Firstly, we define a self supervised learning framework that captures the cross modal information. A novel adversarial learning module is then introduced to explicitly handle the noises in the natural videos, where the subtitle sentences are not guaranteed to be strongly corresponded to the video snippets. For training and evaluation, we contribute a new dataset ApartmenTour' that contains a large number of online videos and subtitles. We carry out experiments on the bidirectional retrieval tasks between sentences and videos, and the results demonstrate that our proposed model achieves the state of the art performance on both retrieval tasks and exceeds several strong baselines. The dataset can be downloaded at https github.com zyj 13 WAL.


RAMBO Repeated And Merged BloOm Filter for Ultra fast Multiple Set Membership Testing (MSMT) on Large Scale Data. Multiple Set Membership Testing (MSMT) is a well known problem in a variety of search and query applications. Given a dataset of K different sets and a query q, it aims to find all of the sets containing the query. Trivially, an MSMT instance can be reduced to K membership testing instances, each with the same q, leading to O(K) query time with a simple array of Bloom Filters. We propose a data structure called RAMBO (Repeated And Merged BloOm Filter) that achieves O( sqrt K log K) query time in expectation with an additional worst case memory cost factor of O(log K) beyond the array of Bloom Filters. Due to this, RAMBO is a very fast and accurate data structure. Apart from being embarrassingly parallel, supporting cheap updates for streaming inputs, zero false negative rate, and low false positive rate, RAMBO beats the state of the art approaches for genome indexing methods COBS (Compact bit sliced signature index), Sequence Bloom Trees (a Bloofi based implementation), HowDeSBT, SSBT, and document indexing methods like BitFunnel. The proposed data structure is simply a count min sketch type arrangement of a membership testing utility (Bloom Filter in our case). It indexes k grams and provides an approximate membership testing based search utility. The simplicity of the algorithm and embarrassingly parallel architecture allows us to index a 170 TB genome dataset in a mere 14 hours on a cluster of 100 nodes while competing methods require weeks.


Explainable Deep Classification Models for Domain Generalization. Conventionally, AI models are thought to trade off explainability for lower accuracy. We develop a training strategy that not only leads to a more explainable AI system for object classification, but as a consequence, suffers no perceptible accuracy degradation. Explanations are defined as regions of visual evidence upon which a deep classification network makes a decision. This is represented in the form of a saliency map conveying how much each pixel contributed to the network's decision. Our training strategy enforces a periodic saliency based feedback to encourage the model to focus on the image regions that directly correspond to the ground truth object. We quantify explainability using an automated metric, and using human judgement. We propose explainability as a means for bridging the visual semantic gap between different domains where model explanations are used as a means of disentagling domain specific information from otherwise relevant features. We demonstrate that this leads to improved generalization to new domains without hindering performance on the original domain.


Finite Blaschke products over quaternions unitary realizations and zero structure. We consider power series over the skew field mathbb H of real quaternions which are analogous to finite Blaschke products in the classical complex setting. Several intrinsic characteriztions of such series are given in terms of their coefficients as well as in terms of their left and right values. We also discuss the zero structure of finite Blaschke products including left right zeros and their various multiplicities. We show how to construct a finite Blaschke product with prescribed zero structure. In particular, given a quaternion polynomial p with all zeros less then one in modulus, we explicitly construct a power series R with quaternion coefficients with no zeros such that pR is a finite Blaschke product.


On Exploring Undetermined Relationships for Visual Relationship Detection. In visual relationship detection, human notated relationships can be regarded as determinate relationships. However, there are still large amount of unlabeled data, such as object pairs with less significant relationships or even with no relationships. We refer to these unlabeled but potentially useful data as undetermined relationships. Although a vast body of literature exists, few methods exploit these undetermined relationships for visual relationship detection. In this paper, we explore the beneficial effect of undetermined relationships on visual relationship detection. We propose a novel multi modal feature based undetermined relationship learning network (MF URLN) and achieve great improvements in relationship detection. In detail, our MF URLN automatically generates undetermined relationships by comparing object pairs with human notated data according to a designed criterion. Then, the MF URLN extracts and fuses features of object pairs from three complementary modals visual, spatial, and linguistic modals. Further, the MF URLN proposes two correlated subnetworks one subnetwork decides the determinate confidence, and the other predicts the relationships. We evaluate the MF URLN on two datasets the Visual Relationship Detection (VRD) and the Visual Genome (VG) datasets. The experimental results compared with state of the art methods verify the significant improvements made by the undetermined relationships, e.g., the top 50 relation detection recall improves from 19.5 to 23.9 on the VRD dataset.


Covapixels. We propose and discuss the summarization of superpixel type image tiles patches using mean and covariance information. We refer to the resulting objects as covapixels.


On Extremal Index of Max Stable Random Fields. For a given stationary max stable random field X(t),t in Z d the corresponding generalised Pickands constant coincides with the classical extremal index theta which always exists. In this contribution we discuss necessary and sufficient conditions for theta to be 0, positive or equal to 1 and also show that theta is equal to the so called block extremal index. Further, we consider some general functional indices of X and prove that for a large class of functionals they coincide with theta . Our study of max stable and stationary random fields is important since the formulas are valid with obvious modifications for the candidate extremal index of multivariate regularly varying random fields.


Categorical anomaly detection in heterogeneous data using minimum description length clustering. Fast and effective unsupervised anomaly detection algorithms have been proposed for categorical data based on the minimum description length (MDL) principle. However, they can be ineffective when detecting anomalies in heterogeneous datasets representing a mixture of different sources, such as security scenarios in which system and user processes have distinct behavior patterns. We propose a meta algorithm for enhancing any MDL based anomaly detection model to deal with heterogeneous data by fitting a mixture model to the data, via a variant of k means clustering. Our experimental results show that using a discrete mixture model provides competitive performance relative to two previous anomaly detection algorithms, while mixtures of more sophisticated models yield further gains, on both synthetic datasets and realistic datasets from a security scenario.


Additive Grothendieck pretopologies and presentations of tensor categories. We define a notion on preadditive categories which plays a role similar to the notion of a Grothendieck pretopology on an unenriched category. Each such additive pretopology defines an additive Grothendieck topology and suffices to define the sheaf category. This new notion allows us to study the noetherian and subcanonical nature of topologies, to describe easily the meet of a family of topologies and to identify useful universal properties of the sheaf category. As our main application we derive in which ways one can present a tensor category and show that such presentations lead to remarkable universal properties.


AutoMSC Automatic Assignment of Mathematics Subject Classification Labels. Authors of research papers in the fields of mathematics, and other math heavy disciplines commonly employ the Mathematics Subject Classification (MSC) scheme to search for relevant literature. The MSC is a hierarchical alphanumerical classification scheme that allows librarians to specify one or multiple codes for publications. Digital Libraries in Mathematics, as well as reviewing services, such as zbMATH and Mathematical Reviews (MR) rely on these MSC labels in their workflows to organize the abstracting and reviewing process. Especially, the coarse grained classification determines the subject editor who is responsible for the actual reviewing process. In this paper, we investigate the feasibility of automatically assigning a coarse grained primary classification using the MSC scheme, by regarding the problem as a multi class classification machine learning task. We find that our method achieves an (F 1) score of over 77 , which is remarkably close to the agreement of zbMATH and MR ((F 1) score of 81 ). Moreover, we find that the method's confidence score allows for reducing the effort by 86 compared to the manual coarse grained classification effort while maintaining a precision of 81 for automatically classified articles.


Fair Tree Connection Games with Topology Dependent Edge Cost. How do rational agents self organize when trying to connect to a common target? We study this question with a simple tree formation game which is related to the well known fair single source connection game by Anshelevich et al. (FOCS'04) and selfish spanning tree games by Gourv es and Monnot (WINE'08). In our game agents correspond to nodes in a network that activate a single outgoing edge to connect to the common target node (possibly via other nodes). Agents pay for their path to the common target, and edge costs are shared fairly among all agents using an edge. The main novelty of our model is dynamic edge costs that depend on the in degree of the respective endpoint. This reflects that connecting to popular nodes that have increased internal coordination costs is more expensive since they can charge higher prices for their routing service. In contrast to related models, we show that equilibria are not guaranteed to exist, but we prove the existence for infinitely many numbers of agents. Moreover, we analyze the structure of equilibrium trees and employ these insights to prove a constant upper bound on the Price of Anarchy as well as non trivial lower bounds on both the Price of Anarchy and the Price of Stability. We also show that in comparison with the social optimum tree the overall cost of an equilibrium tree is more fairly shared among the agents. Thus, we prove that self organization of rational agents yields on average only slightly higher cost per agent compared to the centralized optimum, and at the same time, it induces a more fair cost distribution. Moreover, equilibrium trees achieve a beneficial trade off between a low height and low maximum degree, and hence these trees might be of independent interest from a combinatorics point of view. We conclude with a discussion of promising extensions of our model.


Refractive index mediated plasmon hybridization in an array of aluminium nanoparticles. The arrangement of plasmonic nanoparticles in a non symmetrical environment can feature the far field and or near field interactions depending on the distance between the objects. In this work, we study the hybridization of three intrinsic plasmonic modes (dipolar, quadrupolar and hexapolar modes) sustained by one elliptical aluminium nanocylinder, as well as behavior of the hybridized modes when the nanoparticles are organized in array or when the refractive index of the surrounding medium is changed. The position and the intensity of these hybridized modes were shown to be affected by the near field and far field interactions between the nanoparticles. In this work, two hybridized modes were tuned in the UV spectral range to spectrally coincide with the intrinsic interband excitation and emission bands of ZnO nanocrystals. The refractive index of the ZnO nanocrystals layer influences the positions of the plasmonic modes and increases the role of the superstrate medium, which in turn results in the appearance of two separate modes in the small spectral region. Hence, the enhancement of ZnO nanocrystals photoluminescence benefits from the simultaneous excitation and emission enhancements.


COVID 19 pandemic a mobility dependent SEIR model with undetected cases in Italy, Europe and US. OBJECTIVES to describe the first wave of the COVID 19 pandemic with a focus on undetected cases and to evaluate different post lockdown scenarios. DESIGN the study introduces a SEIR compartmental model, taking into account the region specific fraction of undetected cases, the effects of mobility restrictions, and the personal protective measures adopted, such as wearing a mask and washing hands frequently. SETTING AND PARTICIPANTS the model is experimentally validated with data of all the Italian regions, some European countries, and the US. MAIN OUTCOME MEASURES the accuracy of the model results is measured through the mean absolute percentage error (MAPE) and Lewis criteria fitting parameters are in good agreement with previous literature. RESULTS the epidemic curves for different countries and the amount of undetected and asymptomatic cases are estimated, which are likely to represent the main source of infections in the near future. The model is applied to the Hubei case study, which is the first place to relax mobility restrictions. Results show different possible scenarios. Mobility and the adoption of personal protective measures greatly influence the dynamics of the infection, determining either a huge and rapid secondary epidemic peak or a more delayed and manageable one. CONCLUSIONS mathematical models can provide useful insights for healthcare decision makers to determine the best strategy in case of future outbreaks.


Investigations on c (almost) perfect nonlinear functions. In a prior paper cite EFRST20 , two of us, along with P. Ellingsen, P. Felke and A. Tkachenko, 1defined a new (output) multiplicative differential, and the corresponding c differential uniformity, which has the potential of extending differential cryptanalysis. Here, we continue the work, by looking at some APN functions through the mentioned concept and showing that their c differential uniformity increases significantly, in some cases.


A categorification of the quantum Lefschetz principle. The quantum Lefschetz formula explains how virtual fundamental classes (or structure sheaves) of moduli stacks of stable maps behave when passing from an ambient target scheme to the zero locus of a section. It is only valid under special assumptions (genus 0 , regularity of the section and convexity of the bundle). In this paper, we give a general statement at the geometric level removing these assumptions, using derived geometry. Through a study of the structure sheaves of derived zero loci we deduce a categorification of the formula in the infty categories of quasi coherent sheaves. We also prove that Manolache's virtual pullbacks can be constructed as derived pullbacks, and use them to get back the classical Quantum Lefschetz formula when the hypotheses are satisfied.


Existence, regularity, asymptotic decay and radiality of solutions to some extension problems. Supposing only that displaystyle lim t to 0 frac f(t) t 0 and displaystyle lim t to infty frac f(t) t p 0 , for some p in left(1, frac N 1 N 1 right) , we prove that solutions to the extension problem begin equation left begin array rcll Delta u m 2u 0, mbox in mathbb R N 1 frac partial u partial x (0,y) f(u(0,y)), y in mathbb R N , end array right. end equation and also to the extension Hartree problem begin equation left begin aligned Delta u m 2u 0, mbox in mathbb R N 1 , displaystyle frac partial u partial x (0,y) V infty u(0,y) left( frac 1 y N alpha F(u(0,y)) right)f(u(0,y)) mbox in mathbb R N end aligned right. end equation are radially symmetric in mathbb R N . In the last problem, V infty 0 is a constant and F the primitive of f . Under the same hypotheses, regularity and exponential decay of solutions to the first problem is also proved and, supposing the traditional Ambrosetti Rabinowitz condition, also existence of a ground state solution.


Multi Objective Bayesian Optimization for Accelerator Tuning. Particle accelerators require constant tuning during operation to meet beam quality, total charge and particle energy requirements for use in a wide variety of physics, chemistry and biology experiments. Maximizing the performance of an accelerator facility often necessitates multi objective optimization, where operators must balance trade offs between multiple objectives simultaneously, often using limited, temporally expensive beam observations. Usually, accelerator optimization problems are solved offline, prior to actual operation, with advanced beamline simulations and parallelized optimization methods (NSGA II, Swarm Optimization). Unfortunately, it is not feasible to use these methods for online multi objective optimization, since beam measurements can only be done in a serial fashion, and these optimization methods require a large number of measurements to converge to a useful solution.Here, we introduce a multi objective Bayesian optimization scheme, which finds the full Pareto front of an accelerator optimization problem efficiently in a serialized manner and is thus a critical step towards practical online multi objective optimization in accelerators.This method uses a set of Gaussian process surrogate models, along with a multi objective acquisition function, which reduces the number of observations needed to converge by at least an order of magnitude over current methods.We demonstrate how this method can be modified to specifically solve optimization challenges posed by the tuning of accelerators.This includes the addition of optimization constraints, objective preferences and costs related to changing accelerator parameters.


Boundary entropy spectra as finite subsums. In this paper we provide a concrete construction of Furstenberg entropy values of tau boundaries of the group mathbb Z frac 1 p 1 , ldots, frac 1 p l rtimes p 1 n 1 cdots p l n l , , n i in mathbb Z by choosing an appropriate random walk tau . We show that the boundary entropy spectrum can be realized as the subsum set for any given finite sequence of positive numbers.


A Probabilistic Analysis of the Neumann Series Iteration. Given a random matrix A with eigenvalues between 1 and 1, we analyze the number of iterations needed to solve the linear equation (I A)x b with the Neumann series iteration. We give sufficient conditions for convergence of an upper bound of the iteration count in distribution. Specifically, our results show that when the scaled extreme eigenvalues of A converge in distribution, this scaled upper bound on the number of iterations will converge to the reciprocal of the limiting distribution of the largest eigenvalue.


On Multitype Random Forests with a Given Degree Sequence, the Total Population of Branching Forests and Enumerations of Multitype Forests. The degree sequence (N i,j (k),1 leq i,j leq d,k geq 0) of a multitype forest with d types, is the number of individuals type i , having k children type j . We construct a multitype forest sampled uniformly from all multitype forest with a given degree sequence (MFGDS). For this, we use an extension of the Ballot Theorem by (Chaumont and Liu, 2016), and generalize the Vervaat transform (Vervaat, 1979) to multidimensional discrete exchangeable increment processes. We prove that MFGDS are extensions of multitype Galton Watson (MGW) forests, since mixing the laws of the former, one obtains MGW forests with fixed sizes by type (CMGW). We also obtain the law of the total population by types in a MGW forest, generalizing Otter Dwass formula (Otter 1949, Dwass 1969). We apply this to obtain enumerations of plane, labeled and binary multitype forests having fixed roots and individuals by types. We give an algorithm to simulate certain CMGW forests, generalizing the unitype case of (Devroye, 2012).


A modular characterization of supersolvable lattices. We characterize supersolvable lattices in terms of a certain modular type relation. McNamara and Thomas earlier characterized this class of lattices as those graded lattices having a maximal chain that consists of left modular elements. Our characterization replaces the condition of gradedness with a second modularity condition on the maximal chain of left modular elements.


L 2 bounded singular integrals on a purely unrectifiable set in mathbb R d . We construct an example of a purely unrectifiable measure mu in mathbb R d for which the singular integrals associated to the kernels displaystyle K(x) frac P 2k 1 (x) x 2k d , with k geq 1 and P 2k 1 a homogeneous harmonic polynomial of degree 2k 1 , are bounded in L 2( mu) . This contrasts starkly with the results concerning the Riesz kernel displaystyle frac x x d in mathbb R d .


The double traveling salesman problem with partial last in first out loading constraints. In this paper, we introduce the Double Traveling Salesman Problem with Partial Last In First Out Loading Constraints (DTSPPL). It is a pickup and delivery single vehicle routing problem, where all pickup operations must be performed before any delivery one because the pickup and delivery areas are geographically separated. The vehicle collects items in the pickup area and loads them into its container, a horizontal stack. After performing all pickup operations, the vehicle begins delivering the items in the delivery area. Loading and unloading operations must obey a partial Last In First Out (LIFO) policy, i.e., a version of the LIFO policy that may be violated within a given reloading depth. The objective of the DTSPPL is to minimize the total cost, which involves the total distance traveled by the vehicle and the number of items that are unloaded and then reloaded due to violations of the standard LIFO policy. We formally describe the DTSPPL through two Integer Linear Programming (ILP) formulations and propose a heuristic algorithm based on the Biased Random Key Genetic Algorithm (BRKGA) to find high quality solutions. The performance of the proposed solution approaches is assessed over a broad set of instances. Computational results have shown that both ILP formulations have been able to solve only the smaller instances, whereas the BRKGA obtained good quality solutions for almost all instances, requiring short computational times.


An Active Sense and Avoid System for Flying Robots in Dynamic Environments. This paper investigates a novel active sensing based obstacle avoidance paradigm for flying robots in dynamic environments. Instead of fusing multiple sensors to enlarge the field of view (FOV), we introduce an alternative approach that utilizes a stereo camera with an independent rotational DOF to sense the obstacles actively. In particular, the sensing direction is planned heuristically by multiple objectives, including tracking dynamic obstacles, observing the heading direction, and exploring the previously unseen area. With the sensing result, a flight path is then planned based on real time sampling and uncertainty aware collision checking in the state space, which constitutes an active sense and avoid (ASAA) system. Experiments in both simulation and the real world demonstrate that this system can well cope with dynamic obstacles and abrupt goal direction changes. Since only one stereo camera is utilized, this system provides a low cost and effective approach to overcome the FOV limitation in visual navigation.


Divisibility of torsion subgroups of abelian surfaces over number fields. Let A be a 2 dimensional abelian variety defined over a number field K . Fix a prime number ell and suppose A( mathbb F p) equiv 0 pmod ell 2 for a set of primes mathfrak p subset mathcal O K of density 1. When ell 2 Serre has shown that there does not necessarily exist a K isogenous A' such that A'(K) mathrm tors equiv 0 pmod 4 . We extend those results to all odd ell and classify the abelian varieties that fail this divisibility principle for torsion in terms of the image of the mod ell 2 representation.


On optimal recovery in L 2 . We prove that the optimal error of recovery in the L 2 norm of functions from a class bF can be bounded above by the value of the Kolmogorov width of bF in the uniform norm. We demonstrate on a number of examples of bF from classes of functions with mixed smoothness that the obtained inequality provides a powerful tool for estimating errors of optimal recovery.


Code Coverage Aware Test Generation Using Constraint Solver. Code coverage has been used in the software testing context mostly as a metric to assess a generated test suite's quality. Recently, code coverage analysis is used as a white box testing technique for test optimization. Most of the research activities focus on using code coverage for test prioritization and selection within automated testing strategies. Less effort has been paid in the literature to use code coverage for test generation. This paper introduces a new Code Coverage based Test Case Generation (CCTG) concept that changes the current practices by utilizing the code coverage analysis in the test generation process. CCTG uses the code coverage data to calculate the input parameters' impact for a constraint solver to automate the generation of effective test suites. We applied this approach to a few real world case studies. The results showed that the new test generation approach could generate effective test cases and detect new faults.


TTNet Real time temporal and spatial video analysis of table tennis. We present a neural network TTNet aimed at real time processing of high resolution table tennis videos, providing both temporal (events spotting) and spatial (ball detection and semantic segmentation) data. This approach gives core information for reasoning score updates by an auto referee system. We also publish a multi task dataset OpenTTGames with videos of table tennis games in 120 fps labeled with events, semantic segmentation masks, and ball coordinates for evaluation of multi task approaches, primarily oriented on spotting of quick events and small objects tracking. TTNet demonstrated 97.0 accuracy in game events spotting along with 2 pixels RMSE in ball detection with 97.5 accuracy on the test part of the presented dataset. The proposed network allows the processing of downscaled full HD videos with inference time below 6 ms per input tensor on a machine with a single consumer grade GPU. Thus, we are contributing to the development of real time multi task deep learning applications and presenting approach, which is potentially capable of substituting manual data collection by sports scouts, providing support for referees' decision making, and gathering extra information about the game process.


USE Net incorporating Squeeze and Excitation blocks into U Net for prostate zonal segmentation of multi institutional MRI datasets. Prostate cancer is the most common malignant tumors in men but prostate Magnetic Resonance Imaging (MRI) analysis remains challenging. Besides whole prostate gland segmentation, the capability to differentiate between the blurry boundary of the Central Gland (CG) and Peripheral Zone (PZ) can lead to differential diagnosis, since tumor's frequency and severity differ in these regions. To tackle the prostate zonal segmentation task, we propose a novel Convolutional Neural Network (CNN), called USE Net, which incorporates Squeeze and Excitation (SE) blocks into U Net. Especially, the SE blocks are added after every Encoder (Enc USE Net) or Encoder Decoder block (Enc Dec USE Net). This study evaluates the generalization ability of CNN based architectures on three T2 weighted MRI datasets, each one consisting of a different number of patients and heterogeneous image characteristics, collected by different institutions. The following mixed scheme is used for training testing (i) training on either each individual dataset or multiple prostate MRI datasets and (ii) testing on all three datasets with all possible training testing combinations. USE Net is compared against three state of the art CNN based architectures (i.e., U Net, pix2pix, and Mixed Scale Dense Network), along with a semi automatic continuous max flow model. The results show that training on the union of the datasets generally outperforms training on each dataset separately, allowing for both intra cross dataset generalization. Enc USE Net shows good overall generalization under any training condition, while Enc Dec USE Net remarkably outperforms the other methods when trained on all datasets. These findings reveal that the SE blocks' adaptive feature recalibration provides excellent cross dataset generalization when testing is performed on samples of the datasets used during training.


Large singular solutions for conformal Q curvature equations on mathbb S n . In this paper, we study the existence of positive functions K in C 1( mathbb S n) such that the conformal Q curvature equation begin equation label 001 P m (v) K v frac n 2m n 2m on mathbb S n equation has a singular positive solution v whose singular set is a single point, where m is an integer satisfying 1 leq m n 2 and P m is the intertwining operator of order 2m . More specifically, we show that when n geq 2m 4 , every positive function in C 1( mathbb S n) can be approximated in the C 1( mathbb S n) norm by a positive function K in C 1( mathbb S n) such that the conformal Q curvature equation has a singular positive solution whose singular set is a single point. Moreover, such a solution can be constructed to be arbitrarily large near its singularity. This is in contrast to the well known results of Lin cite Lin1998 and Wei Xu cite Wei1999 which show that the conformal Q curvature equation, with K identically a positive constant on mathbb S n , n 2m , does not exist a singular positive solution whose singular set is a single point.


Learning Predicates as Functions to Enable Few shot Scene Graph Prediction. Scene graph prediction classifying the set of objects and predicates in a visual scene requires substantial training data. However, most predicates only occur a handful of times making them difficult to learn. We introduce the first scene graph prediction model that supports few shot learning of predicates. Existing scene graph generation models represent objects using pretrained object detectors or word embeddings that capture semantic object information at the cost of encoding information about which relationships they afford. So, these object representations are unable to generalize to new few shot relationships. We introduce a framework that induces object representations that are structured according to their visual relationships. Unlike past methods, our framework embeds objects that afford similar relationships closer together. This property allows our model to perform well in the few shot setting. For example, applying the 'riding' predicate transformation to 'person' modifies the representation towards objects like 'skateboard' and 'horse' that enable riding. We generate object representations by learning predicates trained as message passing functions within a new graph convolution framework. The object representations are used to build few shot predicate classifiers for rare predicates with as few as 1 labeled example. We achieve a 5 shot performance of 22.70 recall 50, a 3.7 increase when compared to strong transfer learning baselines.


Effect of the charge distribution of virus coat proteins on the length of packaged RNAs. Single stranded RNA viruses efficiently encapsulate their genome into a protein shell called the capsid. Electrostatic interactions between the positive charges in the capsid protein's N terminal tail and the negatively charged genome have been postulated as the main driving force for virus assembly. Recent experimental results indicate that the N terminal tail with the same number of charges and same lengths package different amounts of RNA, which reveals that electrostatics alone cannot explain all the observed outcomes of the RNA self assembly experiments. Using a mean field theory, we show that the combined effect of genome configurational entropy and electrostatics can explain to some extent the amount of packaged RNA with mutant proteins where the location and number of charges on the tails are altered. Understanding the factors contributing to the virus assembly could promote the attempt to block viral infections or to build capsids for gene therapy applications.


A Survey on Complex Question Answering over Knowledge Base Recent Advances and Challenges. Question Answering (QA) over Knowledge Base (KB) aims to automatically answer natural language questions via well structured relation information between entities stored in knowledge bases. In order to make KBQA more applicable in actual scenarios, researchers have shifted their attention from simple questions to complex questions, which require more KB triples and constraint inference. In this paper, we introduce the recent advances in complex QA. Besides traditional methods relying on templates and rules, the research is categorized into a taxonomy that contains two main branches, namely Information Retrieval based and Neural Semantic Parsing based. After describing the methods of these branches, we analyze directions for future research and introduce the models proposed by the Alime team.


Dynamics of threshold solutions for energy critical NLS with inverse square potential. We consider the focusing energy critical NLS with inverse square potential in dimension d 3, 4, 5 with the details given in d 3 and remarks on results in other dimensions. Solutions on the energy surface of the ground state are characterized. We prove that solutions with kinetic energy less than that of the ground state must scatter to zero or belong to the stable unstable manifolds of the ground state. In the latter case they converge to the ground state exponentially in the energy space as t to infty or t to infty . (In 3 dim without radial assumption, this holds under the compactness assumption of non scattering solutions on the energy surface.) When the kinetic energy is greater than that of the ground state, we show that all radial H 1 solutions blow up in finite time, with the only two exceptions in the case of 5 dim which belong to the stable unstable manifold of the ground state. The proof relies on the detailed spectral analysis, local invariant manifold theory, and a global Virial analysis.


The embedding problem for Markov matrices. Characterizing whether a Markov process of discrete random variables has an homogeneous continuous time realization is a hard problem. In practice, this problem reduces to deciding when a given Markov matrix can be written as the exponential of some rate matrix (a Markov generator). This is an old question known in the literature as the embedding problem (Elfving37), which has been only solved for matrices of size 2 times 2 or 3 times 3 . In this paper, we address this problem and related questions and obtain results in two different lines. First, for matrices of any size, we give a bound on the number of Markov generators in terms of the spectrum of the Markov matrix. Based on this, we establish a criterion for deciding whether a generic Markov matrix (different eigenvalues) is embeddable and propose an algorithm that lists all its Markov generators. Then, motivated and inspired by recent results on substitution models of DNA, we focus in the 4 times 4 case and completely solve the embedding problem for any Markov matrix. The solution in this case is more concise as the embeddability is given in terms of a single condition.


Braided Hopf Crossed Modules Through Simplicial Structures. Any simplicial Hopf algebra involves 2n different projections between the Hopf algebras H n,H n 1 for each n geq 1 . The word projection, here meaning a tuple partial colon H n to H n 1 and i colon H n 1 to H n of Hopf algebra morphisms, such that partial , i mathrm id . Given a Hopf algebra projection ( partial colon I to H,i) in a braided monoidal category mathfrak C , one can obtain a new Hopf algebra structure living in the category of Yetter Drinfeld modules over H , due to Radford's theorem. The underlying set of this Hopf algebra is obtained by an equalizer which only defines a sub algebra (not a sub coalgebra) of I in mathfrak C . In fact, this is a braided Hopf algebra since the category of Yetter Drinfeld modules over a Hopf algebra with an invertible antipode is braided monoidal. To apply Radford's theorem in a simplicial Hopf algebra successively, we require some extra functorial properties of Yetter Drinfeld modules. Furthermore, this allows us to model Majid's braided Hopf crossed module notion from the perspective of a simplicial structure.


Cauchy Stieltjes kernels families and free multiplicative convolution. In this paper, we determine the effect of the free multiplicative convolution on the pseudo variance function of a Cauchy Stieltjes kernel family. We then use the machinery of variance functions to establish some limit theorems related to this type of convolution and involving the free additive convolution and the boolean additive convolution.


On the radius of analyticity of solutions to semi linear parabolic systems. We study the radius of analyticity R(t) in space, of strong solutions to systems of scale invariant semi linear parabolic equations. It is well known that near the initial time, R(t)t frac12 is bounded from below by a positive constant. In this paper we prove that displaystyle liminf t rightarrow 0 R(t)t frac12 infty , and assuming higher regularity for the initial data, we obtain an improved lower bound near time zero. As an application, we prove that for any global solution u in C( 0, infty) H frac12 ( R 3)) of the Navier Stokes equations, there holds displaystyle liminf t rightarrow infty R(t)t frac12 infty .


Partial Actions of a Hopf algebra on its base field and the corresponding partial smash product algebra. We introduce the concept of a lambda Hopf algebra as a Hopf algebra obtained as the partial smash product algebra of a Hopf algebra and its base field, and show that every Hopf algebra is a lambda Hopf algebra. Moreover, a method to compute partial actions of a given Hopf algebra on its base field is developed and, as an application, we exhibit all partial actions of such type for some families of Hopf algebras.


Painting with Hue, Saturation, and Brightness Control by Nanoscale 3D Printing. Varying only the in plane or out of plane dimensions of nanostructures produces a wide range of colourful elements in metasurfaces and thin films. However, achieving shades of grey and control of colour saturation remains challenging. Here, we introduce a hybrid approach to colour generation based on the tuning of nanostructure geometry in all three dimensions. Through two photon polymerization lithography, we systematically investigated colour generation from the simple single nanopillar geometry made of low refractive index material realizing grayscale and full colour palettes with control of hue, saturation, brightness through tuning of height, diameter, and periodicity of nanopillars. Arbitrary colourful and grayscale images were painted by mapping desired prints to precisely controllable parameters during 3D printing. We extend our understanding of the scattering properties of the low refractive index nanopillar to demonstrate grayscale inversion and colour desaturation, with steganography at the level of single nanopillars.


Probabilistic Visual Navigation with Bidirectional Image Prediction. Humans can robustly follow a visual trajectory defined by a sequence of images (i.e. a video) regardless of substantial changes in the environment or the presence of obstacles. We aim at endowing similar visual navigation capabilities to mobile robots solely equipped with a RGB fisheye camera. We propose a novel probabilistic visual navigation system that learns to follow a sequence of images with bidirectional visual predictions conditioned on possible navigation velocities. By predicting bidirectionally (from start towards goal and vice versa) our method extends its predictive horizon enabling the robot to go around unseen large obstacles that are not visible in the video trajectory. Learning how to react to obstacles and potential risks in the visual field is achieved by imitating human teleoperators. Since the human teleoperation commands are diverse, we propose a probabilistic representation of trajectories that we can sample to find the safest path. Integrated into our navigation system, we present a novel localization approach that infers the current location of the robot based on the virtual predicted trajectories required to reach different images in the visual trajectory. We evaluate our navigation system quantitatively and qualitatively in multiple simulated and real environments and compare to state of the art baselines.Our approach outperforms the most recent visual navigation methods with a large margin with regard to goal arrival rate, subgoal coverage rate, and success weighted by path length (SPL). Our method also generalizes to new robot embodiments never used during training.


Biomedical Knowledge Graph Refinement with Embedding and Logic Rules. Currently, there is a rapidly increasing need for high quality biomedical knowledge graphs (BioKG) that provide direct and precise biomedical knowledge. In the context of COVID 19, this issue is even more necessary to be highlighted. However, most BioKG construction inevitably includes numerous conflicts and noises deriving from incorrect knowledge descriptions in literature and defective information extraction techniques. Many studies have demonstrated that reasoning upon the knowledge graph is effective in eliminating such conflicts and noises. This paper proposes a method BioGRER to improve the BioKG's quality, which comprehensively combines the knowledge graph embedding and logic rules that support and negate triplets in the BioKG. In the proposed model, the BioKG refinement problem is formulated as the probability estimation for triplets in the BioKG. We employ the variational EM algorithm to optimize knowledge graph embedding and logic rule inference alternately. In this way, our model could combine efforts from both the knowledge graph embedding and logic rules, leading to better results than using them alone. We evaluate our model over a COVID 19 knowledge graph and obtain competitive results.


Capturing Broadband Light in a Compact Bound State in the Continuum. Trapping and storing light for arbitrary time lengths in open cavities is a major goal of nanophotonics, with potential applications ranging from energy harvesting to optical information processing. Unfortunately, however, the resonance lifetime of conventional open resonators remains finite even in the limit of vanishing material absorption, as a result of radiation loss. In this context, bound states in the continuum (BiCs) have provided a unique way to achieve unbounded resonance lifetimes despite the presence of compatible radiation channels. However, physical constraints such as reciprocity, linearity, and delay bandwidth limits prevent the possibility to externally excite such ideal bound states and make them interact with broadband sources. Here, we overcome these limitations and theoretically demonstrate that subwavelength open resonators undergoing a suitable temporal modulation can efficiently capture a broadband incident wave into a nonradiating eigenmode of the structure, leading to the first example of a BiC that is accessible to broadband light. Our findings unveil the dynamic capabilities of bound states in the continuum and extend their reach and potential impact for different applications.


Quantifying the robustness of topological slow light. Low dimensional nanostructured materials can guide light propagating with very low group velocity vg. However, this slow light is significantly sensitive to unwanted imperfections in the critical dimensions of the nanostructure. The backscattering mean free path, xi, the average ballistic propagation length along the waveguide, quantifies the robustness of slow light against this type of structural disorder. This figure of merit determines the crossover between acceptable slow light transmission affected by minimal scattering losses and a strong backscattering induced destructive interference when xi exceeds the waveguide length L. Here, we calculate the backscattering mean free path for a topological photonic waveguide for a specific and determined amount of disorder and, equally relevant, for a fixed value of the group index ng which is the slowdown factor of the group velocity with respect to the speed of light in vacuum. These two figures of merit, xi and ng, should be taken into account when quantifying the robustness of topological and conventional (non topological) slow light transport at the nanoscale. Otherwise, any claim on a better performance of topological guided light over conventional one is not justified.


Image Completion and Extrapolation with Contextual Cycle Consistency. Image Completion refers to the task of filling in the missing regions of an image and Image Extrapolation refers to the task of extending an image at its boundaries while keeping it coherent. Many recent works based on GAN have shown progress in addressing these problem statements but lack adaptability for these two cases, i.e. the neural network trained for the completion of interior masked images does not generalize well for extrapolating over the boundaries and vice versa. In this paper, we present a technique to train both completion and extrapolation networks concurrently while benefiting each other. We demonstrate our method's efficiency in completing large missing regions and we show the comparisons with the contemporary state of the art baseline.


Single shot 3D multi person pose estimation in complex images. In this paper, we propose a new single shot method for multi person 3D human pose estimation in complex images. The model jointly learns to locate the human joints in the image, to estimate their 3D coordinates and to group these predictions into full human skeletons. The proposed method deals with a variable number of people and does not need bounding boxes to estimate the 3D poses. It leverages and extends the Stacked Hourglass Network and its multi scale feature learning to manage multi person situations. Thus, we exploit a robust 3D human pose formulation to fully describe several 3D human poses even in case of strong occlusions or crops. Then, joint grouping and human pose estimation for an arbitrary number of people are performed using the associative embedding method. Our approach significantly outperforms the state of the art on the challenging CMU Panoptic and a previous single shot method on the MuPoTS 3D dataset. Furthermore, it leads to good results on the complex and synthetic images from the newly proposed JTA Dataset.


Feshbach projection XMCQDPT2 model for metastable electronic states. Autoionizing electronic states are common intermediates in processes initiated by electron impact or high energy radiation. These states belong to the continuous spectrum of the Hamiltonian, and as such cannot be treated with methods developed for bound electronic states. Here we propose a new model for describing metastable electronic states, which combines discretized Feshbach projection formalism and multireference perturbation theory and exploits absorbing potential to generate the basis of the coupled valence state and continuum. The results of benchmark calculations for a series of shape resonances in polyatomic molecules are in good agreement with experimental and theoretical reference values.


DeLighT Deep and Light weight Transformer. We introduce a deep and light weight transformer, DeLighT, that delivers similar or better performance than standard transformer based models with significantly fewer parameters. DeLighT more efficiently allocates parameters both (1) within each Transformer block using the DeLighT transformation, a deep and light weight transformation, and (2) across blocks using block wise scaling, which allows for shallower and narrower DeLighT blocks near the input and wider and deeper DeLighT blocks near the output. Overall, DeLighT networks are 2.5 to 4 times deeper than standard transformer models and yet have fewer parameters and operations. Experiments on benchmark machine translation and language modeling tasks show that DeLighT matches or improves the performance of baseline Transformers with 2 to 3 times fewer parameters on average. Our source code is available at url https github.com sacmehta delight


Effects of resolution inhomogeneity in large eddy simulation. Large Eddy Simulation (LES) of turbulence in complex geometries is often conducted using strongly inhomogeneous resolution. The issues associated with resolution inhomogeneity are related to the noncommutativity of the filtering and differentiation operators, which introduces a commutation term into the governing equations. Neglect of this commutation term gives rise to commutation error. While the commutation error is well recognized, it is often ignored in practice. Moreover, the commutation error arising from the implicit part of the filter (i.e., projection onto the underlying discretization) has not been well investigated. Modeling the commutator between numerical projection and differentiation is crucial for correcting errors induced by resolution inhomogeneity in practical LES settings, which typically rely solely on implicit filtering. Here, we employ a multiscale asymptotic analysis to investigate the characteristics of the commutator. This provides a statistical description of the commutator, which can serve as a target for the statistical characteristics of a commutator model. Further, we investigate how commutation error manifests in simulation and demonstrate its impact on the convection of a packet of homogeneous isotropic turbulence through an inhomogeneous grid. A connection is made between the commutation error and the propagation properties of the underlying numerics. A modeling approach for the commutator is proposed that is applicable to LES with filters that include projections to the discrete solution space and that respects the numerical properties of the LES evolution equation. It may also be useful in addressing other LES modeling issues such as discretization error.


Continuous Quivers of Type A (II) The Auslander Reiten Space. This work is the sequel to Continuous Quivers of Type A (I). In this paper we define the Auslander Reiten space of a continuous type A quiver, which generalizes the Auslander Reiten quiver of type A n quivers. We prove that extensions, kernels, and cokernels of representations of type A mathbb R can be described by lines and rectangles in a way analogous to representations of type A n . We provide a similar description for distinguished triangles in the bounded derived category whose first and third terms are indecomposable. Furthermore, we provide a complete classification of Auslander Reiten sequences in the category of finitely generated representations of A mathbb R . This is part of a longer work the other papers in this series are with Kiyoshi Igusa and Gordana Todorov. The goal of this series is to generalize cluster categories, clusters, and mutation for type A n quivers to continuous versions for type A mathbb R quivers. (Added Section 5 to version 2.)


A probabilistic view on the long time behaviour of growth fragmentation semigroups with bounded fragmentation rates. The growth fragmentation equation models systems of particles that grow and reproduce as time passes. An important question concerns the asymptotic behaviour of its solutions. Bertoin and Watson ( 2018 ) developed a probabilistic approach relying on the Feynman Kac formula, that enabled them to answer to this question for sublinear growth rates. This assumption on the growth ensures that microscopic particles remain microscopic. In this work, we go further in the analysis, assuming bounded fragmentations and allowing arbitrarily small particles to reach macroscopic mass in finite time. We establish necessary and sufficient conditions on the coefficients of the equation that ensure Malthusian behaviour with exponential speed of convergence to the asymptotic profile. Furthermore, we provide an explicit expression of the latter.


Verified Secure Compilation for Mixed Sensitivity Concurrent Programs. Proving only over source code that programs do not leak sensitive data leaves a gap between reasoning and reality that can only be filled by accounting for the behaviour of the compiler. Furthermore, software does not always have the luxury of limiting itself to single threaded computation with resources statically dedicated to each user to ensure the confidentiality of their data. This results in mixed sensitivity concurrent programs, which might reuse memory shared between their threads to hold data of different sensitivity levels at different times for such programs, a compiler must preserve the value dependent coordination of such mixed sensitivity reuse despite the impact of concurrency. Here we demonstrate, using Isabelle HOL, that it is feasible to verify that a compiler preserves noninterference, the strictest kind of confidentiality property, for mixed sensitivity concurrent programs. First, we present notions of refinement that preserve a concurrent value dependent notion of noninterference that we have designed to support such programs. As proving noninterference preserving refinement can be considerably more complex than the standard refinements typically used to verify semantics preserving compilation, our notions include a decomposition principle that separates the semantics preservation from security preservation concerns. Second, we demonstrate that these refinement notions are applicable to verified secure compilation, by exercising them on a single pass compiler for mixed sensitivity concurrent programs that synchronise using mutex locks, from a generic imperative language to a generic RISC style assembly language. Finally, we execute our compiler on a nontrivial mixed sensitivity concurrent program modelling a real world use case, thus preserving its source level noninterference properties down to an assembly level model automatically. (Full abstract in paper)


Corrector estimates for higher order linearizations in stochastic homogenization of nonlinear uniformly elliptic equations. Corrector estimates constitute a key ingredient in the derivation of optimal convergence rates via two scale expansion techniques in homogenization theory of random uniformly elliptic equations. The present work follows up in terms of corrector estimates on the recent work of Fischer and Neukamm (arXiv 1908.02273) which provides a quantitative stochastic homogenization theory of nonlinear uniformly elliptic equations under a spectral gap assumption. We establish optimal order estimates (with respect to the scaling in the ratio between the microscopic and the macroscopic scale) for higher order linearized correctors. A rather straightforward consequence of the corrector estimates is the higher order regularity of the associated homogenized monotone operator.


An ASP based Approach for Attractor Enumeration in Synchronous and Asynchronous Boolean Networks. Boolean networks are conventionally used to represent and simulate gene regulatory networks. In the analysis of the dynamic of a Boolean network, the attractors are the objects of a special attention. In this work, we propose a novel approach based on Answer Set Programming (ASP) to express Boolean networks and simulate the dynamics of such networks. Our work focuses on the identification of the attractors, it relies on the exhaustive enumeration of all the attractors of synchronous and asynchronous Boolean networks. We applied and evaluated the proposed approach on real biological networks, and the obtained results indicate that this novel approach is promising.


Creative Procedural Knowledge Extraction From Web Design Tutorials. Complex design tasks often require performing diverse actions in a specific order. To (semi )autonomously accomplish these tasks, applications need to understand and learn a wide range of design procedures, i.e., Creative Procedural Knowledge (CPK). Prior knowledge base construction and mining have not typically addressed the creative fields, such as design and arts. In this paper, we formalize an ontology of CPK using five components goal, workflow, action, command and usage and extract components' values from online design tutorials. We scraped 19.6K tutorial related webpages and built a web application for professional designers to identify and summarize CPK components. The annotated dataset consists of 819 unique commands, 47,491 actions, and 2,022 workflows and goals. Based on this dataset, we propose a general CPK extraction pipeline and demonstrate that existing text classification and sequence to sequence models are limited in identifying, predicting and summarizing complex operations described in heterogeneous styles. Through quantitative and qualitative error analysis, we discuss CPK extraction challenges that need to be addressed by future research.


Bilaterally Mirrored Movements Improve the Accuracy and Precision of Training Data for Supervised Learning of Neural or Myoelectric Prosthetic Control. Intuitive control of prostheses relies on training algorithms to correlate biological recordings to motor intent. The quality of the training dataset is critical to run time performance, but it is difficult to label hand kinematics accurately after the hand has been amputated. We quantified the accuracy and precision of labeling hand kinematics for two different approaches 1) assuming a participant is perfectly mimicking predetermined motions of a prosthesis (mimicked training), and 2) assuming a participant is perfectly mirroring their contralateral hand during identical bilateral movements (mirrored training). We compared these approaches in non amputee individuals, using an infrared camera to track eight different joint angles of the hands in real time. Aggregate data revealed that mimicked training does not account for biomechanical coupling or temporal changes in hand posture. Mirrored training was significantly more accurate and precise at labeling hand kinematics. However, when training a modified Kalman filter to estimate motor intent, the mimicked and mirrored training approaches were not significantly different. The results suggest that the mirrored training approach creates a more faithful but more complex dataset. Advanced algorithms, more capable of learning the complex mirrored training dataset, may yield better run time prosthetic control.


BRUL E Barycenter Regularized Unsupervised Landmark Extraction. Unsupervised retrieval of image features is vital for many computer vision tasks where the annotation is missing or scarce. In this work, we propose a new unsupervised approach to detect the landmarks in images, validating it on the popular task of human face key points extraction. The method is based on the idea of auto encoding the wanted landmarks in the latent space while discarding the non essential information (and effectively preserving the interpretability). The interpretable latent space representation (the bottleneck containing nothing but the wanted key points) is achieved by a new two step regularization approach. The first regularization step evaluates transport distance from a given set of landmarks to some average value (the barycenter by Wasserstein distance). The second regularization step controls deviations from the barycenter by applying random geometric deformations synchronously to the initial image and to the encoded landmarks. We demonstrate the effectiveness of the approach both in unsupervised and semi supervised training scenarios using 300 W, CelebA, and MAFL datasets. The proposed regularization paradigm is shown to prevent overfitting, and the detection quality is shown to improve beyond the state of the art face models.


Upper tail large deviations for a class of distributions in First passage percolation. In this paper we consider the first passage percolation with identical and independent exponentially distributions, called the Eden growth model, and we study the upper tail large deviations for the first passage time rm T . Our main results prove that for any xi 0 and x neq 0 , mathbb P ( rm T (0,nx) n( mu xi)) decays as exp ( (2d xi o(1))n) with a time constant mu and a dimension d . Moreover, we extend the result to stretched exponential distributions. On the contrary, we construct a continuous distribution with a finite exponential moment where the rate function does not exist.


Online Hypergraph Matching with Delays. We study an online hypergraph matching problem with delays, motivated by ridesharing applications. In this model, users enter a marketplace sequentially, and are willing to wait up to d timesteps to be matched, after which they will leave the system in favor of an outside option. A platform can match groups of up to k users together, indicating that they will share a ride. Each group of users yields a match value depending on how compatible they are with one another. As an example, in ridesharing, k is the capacity of the service vehicles, and d is the amount of time a user is willing to wait for a driver to be matched to them. We present results for both the utility maximization and cost minimization variants of the problem. In the utility maximization setting, the optimal competitive ratio is frac 1 d whenever k geq 3 , and is achievable in polynomial time for any fixed k . In the cost minimization variation, when k 2 , the optimal competitive ratio for deterministic algorithms is frac 3 2 and is achieved by a polynomial time thresholding algorithm. When k 2 , we show that a polynomial time randomized batching algorithm is (2 frac 1 d ) log k competitive, and it is NP hard to achieve a competitive ratio better than log k O ( log log k) .


Efficient Semi External Depth First Search. As the sizes of graphs grow rapidly, currently many real world graphs can hardly be loaded in the main memory. It becomes a hot topic to compute depth first search (DFS) results, i.e., depth first order or DFS Tree, on semi external memory model. Semi external algorithms assume the main memory could at least hold a spanning tree T of a graph G, and gradually restructure T into a DFS Tree, which is non trivial. In this paper, we present a comprehensive study of semi external DFS problem. Based on our theoretical analysis of its main challenge, we introduce a new semi external DFS algorithm, named EP DFS, with a lightweight index N index. Unlike traditional algorithms, we focus on addressing such complex problem efficiently not only with less I Os, but also with simpler CPU calculation (implementation friendly) and less random I O accesses (key to efficiency). Extensive experimental evaluation is conducted on both synthetic and real graphs. The experimental results confirm that our EP DFS algorithm significantly outperforms existing algorithms.


Dynamics of the Tyson Hong Thron Novak circadian oscillator model. We study the dynamics of a circadian oscillator model which was proposed by Tyson, Hong, Thron and Novak. This model indicates a molecular mechanism for the circadian rhythm in Drosophila. After giving a detailed study of the equilibria, we further investigate the effects of the rates of mRNA degradation and synthesis. When the rate of mRNA degradation is rather fast, we prove that there are no periodic orbits in this model. When the rate of mRNA degradation is slow enough, this model is transformed into a slow fast system. Then based on the geometric singular perturbation theory, we prove the existence of canard explosion, relaxation oscillations, homoclinic heteroclinic orbits and saddle node bifurcations as the rates of mRNA degradation and synthesis change. Finally, we give the biological interpretation of the obtained results and point out that this model can be transformed into a Li 'enard like equation, which could be helpful to investigate the dynamics of the general case.


Quasi Einstein hypersurfaces of complex space forms. Based on a well known fact that there are no Einstein hypersurfaces in a non flat complex space form, in this article we study the quasi Einstein condition, which is a generalization of an Einstein metric, on the real hyersurface of a non flat complex space form. For the real hypersurface with quasi Einstein metric of a complex Euclidean space, we also give a classification. Since a gradient Ricci soliton is a special quasi Einstein metric, our results improve some conclusions of cite CK .


Compact Trilinear Interaction for Visual Question Answering. In Visual Question Answering (VQA), answers have a great correlation with question meaning and visual contents. Thus, to selectively utilize image, question and answer information, we propose a novel trilinear interaction model which simultaneously learns high level associations between these three inputs. In addition, to overcome the interaction complexity, we introduce a multimodal tensor based PARALIND decomposition which efficiently parameterizes trilinear interaction between the three inputs. Moreover, knowledge distillation is first time applied in Free form Opened ended VQA. It is not only for reducing the computational cost and required memory but also for transferring knowledge from trilinear interaction model to bilinear interaction model. The extensive experiments on benchmarking datasets TDIUC, VQA 2.0, and Visual7W show that the proposed compact trilinear interaction model achieves state of the art results when using a single model on all three datasets.


An algorithmic weakening of the Erd H o s Hajnal conjecture. We study the approximability of the Maximum Independent Set (MIS) problem in H free graphs (that is, graphs which do not admit H as an induced subgraph). As one motivation we investigate the following conjecture for every fixed graph H , there exists a constant delta 0 such that MIS can be n 1 delta approximated in H free graphs, where n denotes the number of vertices of the input graph. We first prove that a constructive version of the celebrated Erd H o s Hajnal conjecture implies ours. We then prove that the set of graphs H satisfying our conjecture is closed under the so called graph substitution. This, together with the known polynomial time algorithms for MIS in H free graphs (e.g. P 6 free and fork free graphs), implies that our conjecture holds for many graphs H for which the Erd H o s Hajnal conjecture is still open. We then focus on improving the constant delta for some graph classes we prove that the classical Local Search algorithm provides an OPT 1 frac 1 t approximation in K t,t free graphs (hence a sqrt OPT approximation in C 4 free graphs), and, while there is a simple sqrt n approximation in triangle free graphs, it cannot be improved to n frac 1 4 varepsilon for any varepsilon 0 unless NP subseteq BPP . More generally, we show that there is a constant c such that MIS in graphs of girth gamma cannot be n frac c gamma approximated. Up to a constant factor in the exponent, this matches the ratio of a known approximation algorithm by Monien and Speckenmeyer, and by Murphy. To the best of our knowledge, this is the first strong (i.e., Omega(n delta) for some delta 0 ) inapproximability result for Maximum Independent Set in a proper hereditary class.


Non triviality in a totally asymmetric one dimensional Boolean percolation model on a half line. It is well known that there are two regimes in a standard one dimensional Boolean percolation model either the entire space is covered a.s., or the covered volume fraction is strictly less than one. The aim of this work is to demonstrate that there is a third possibility in a Boolean model with totally asymmetric grains on a half line a.s. there is no unbounded component, but the covered volume fraction is one. An explicit condition is given characterizing the existence of an unbounded occupied component.


Energy Efficient Job Assignment Policy with Asymptotically Guaranteed Performance Deviation. We study a job assignment problem in a large scale server farm system with geographically deployed servers as abstracted computer components (e.g., storage, network links, and processors) that are potentially diverse. We aim to maximize the energy efficiency of the entire system by effectively controlling carried load on networked servers. A scalable, near optimal job assignment policy is proposed. The optimality is gauged as, roughly speaking, energy cost per job. Our key result is an upper bound on the deviation between the proposed policy and the asymptotically optimal energy efficiency, when job sizes are exponentially distributed and blocking probabilities are positive. Relying on Whittle relaxation and the asymptotic optimality theorem of Weber and Weiss, this bound is shown to decrease exponentially as the number of servers and the arrival rates of jobs increase arbitrarily and in proportion. In consequence, the proposed policy is asymptotically optimal and, more importantly, approaches asymptotic optimality quickly (exponentially). This suggests that the proposed policy is close to optimal even for relatively small systems (and indeed any larger systems), and this is consistent with the results of our simulations. Simulations indicate that the policy is effective, and robust to variations in job size distributions.


Deep Policy Networks for NPC Behaviors that Adapt to Changing Design Parameters in Roguelike Games. Recent advances in Deep Reinforcement Learning (DRL) have largely focused on improving the performance of agents with the aim of replacing humans in known and well defined environments. The use of these techniques as a game design tool for video game production, where the aim is instead to create Non Player Character (NPC) behaviors, has received relatively little attention until recently. Turn based strategy games like Roguelikes, for example, present unique challenges to DRL. In particular, the categorical nature of their complex game state, composed of many entities with different attributes, requires agents able to learn how to compare and prioritize these entities. Moreover, this complexity often leads to agents that overfit to states seen during training and that are unable to generalize in the face of design changes made during development. In this paper we propose two network architectures which, when combined with a emph procedural loot generation system, are able to better handle complex categorical state spaces and to mitigate the need for retraining forced by design decisions. The first is based on a dense embedding of the categorical input space that abstracts the discrete observation model and renders trained agents more able to generalize. The second proposed architecture is more general and is based on a Transformer network able to reason relationally about input and input attributes. Our experimental evaluation demonstrates that new agents have better adaptation capacity with respect to a baseline architecture, making this framework more robust to dynamic gameplay changes during development. Based on the results shown in this paper, we believe that these solutions represent a step forward towards making DRL more accessible to the gaming industry.


A numerical radius and product of semi Hilbertian operators. Let A be a positive bounded operator on a Hilbert space big( mathcal H , langle cdot, cdot rangle big) . The semi inner product langle x, y rangle A langle Ax, y rangle , x, y in mathcal H , induces a seminorm cdot A on mathcal H . Let w A(T) denote the A numerical radius of an operator T in the semi Hilbertian space big( mathcal H , cdot A big) . In this paper, for any semi Hilbertian operators T and S , we show that w A(TR) w A(SR) for all ( A rank one) semi Hilbertian operator R if and only if A 1 2 T lambda A 1 2 S for some complex unit lambda . From this result we derive a number of consequences.


48 channels 100 GHz tunable laser by integrating 16 DFB lasers with high wavelength spacing uniformity. We report a 48 channel 100 GHz tunable laser near 1550 nm by integrating 16 DFB lasers. High wavelength spacing uniformity is guaranteed by the reconstruction equivalent chirp technique, which enables a temperature tuning range below 20 Celsius degree.


RocketQA An Optimized Training Approach to Dense Passage Retrieval for Open Domain Question Answering. In open domain question answering, dense passage retrieval has become a new paradigm to retrieve relevant passages for finding answers. Typically, the dual encoder architecture is adopted to learn dense representations of questions and passages for semantic matching. However, it is difficult to effectively train a dual encoder due to the challenges including the discrepancy between training and inference, the existence of unlabeled positives and limited training data. To address these challenges, we propose an optimized training approach, called RocketQA, to improving dense passage retrieval. We make three major technical contributions in RocketQA, namely cross batch negatives, denoised hard negatives and data augmentation. The experiment results show that RocketQA significantly outperforms previous state of the art models on both MSMARCO and Natural Questions. We also conduct extensive experiments to examine the effectiveness of the three strategies in RocketQA. Besides, we demonstrate that the performance of end to end QA can be improved based on our RocketQA retriever.


Analytical methods for perfect wedge diffraction a review. The subject of diffraction of waves by sharp boundaries has been studied intensively for well over a century, initiated by groundbreaking mathematicians and physicists including Sommerfeld, Macdonald and Poincar 'e. The significance of such canonical diffraction models, and their analytical solutions, was recognised much more broadly thanks to Keller, who introduced a geometrical theory of diffraction (GTD) in the middle of the last century, and other important mathematicians such as Fock and Babich. This has led to a very wide variety of approaches to be developed in order to tackle such two and three dimensional diffraction problems, with the purpose of obtaining elegant and compact analytic solutions capable of easy numerical evaluation. The purpose of this review article is to showcase the disparate mathematical techniques that have been proposed. For ease of exposition, mathematical brevity, and for the broadest interest to the reader, all approaches are aimed at one canonical model, namely diffraction of a monochromatic scalar plane wave by a two dimensional wedge with perfect Dirichlet or Neumann boundaries. The first three approaches offered are those most commonly used today in diffraction theory, although not necessarily in the context of wedge diffraction. These are the Sommerfeld Malyuzhinets method, the Wiener Hopf technique, and the Kontorovich Lebedev transform approach. Then follows three less well known and somewhat novel methods, which would be of interest even to specialists in the field, namely the embedding method, a random walk approach, and the technique of functionally invariant solutions. Having offered the exact solution of this problem in a variety of forms, a numerical comparison between the exact solution and several powerful approximations such as GTD is performed and critically assessed.


Lie central derivations, Lie centroids and Lie stem Leibniz algebras. In this paper, we introduce the notion Lie derivation. This concept generalizes derivations for non Lie Leibniz algebras. We study these Lie derivations in the case where their image is contained in the Lie center, call them Lie central derivations. We provide a characterization of Lie stem Leibniz algebras by their Lie central derivations, and prove several properties of the Lie algebra of Lie central derivations for Lie nilpotent Leibniz algebras of class 2. We also introduce sf ID Lie derivations. A sf ID Lie derivation of a Leibniz algebra G is a Lie derivation of G in which the image is contained in the second term of the lower Lie central series of G, and that vanishes on Lie central elements. We provide an upperbound for the dimension of the Lie algebra ID Lie (G) of ID Lie derivation of G, and prove that the sets ID Lie (G) and ID Lie (G) are isomorphic for any two Lie isoclinic Leibniz algebras G and Q.


Invariable generation does not pass to finite index subgroups. Using small cancellation methods, we show that the property invariable generation does not pass to finite index subgroups, answering questions of Wiegold and Kantor Lubotzky Shalev. We further show that a finitely generated group that is invariably generated is not necessarily finitely invariably generated, answering a question of Cox. The same results were also obtained independently by Minasyan.


ZeroER Entity Resolution using Zero Labeled Examples. Entity resolution (ER) refers to the problem of matching records in one or more relations that refer to the same real world entity. While supervised machine learning (ML) approaches achieve the state of the art results, they require a large amount of labeled examples that are expensive to obtain and often times infeasible. We investigate an important problem that vexes practitioners is it possible to design an effective algorithm for ER that requires Zero labeled examples, yet can achieve performance comparable to supervised approaches? In this paper, we answer in the affirmative through our proposed approach dubbed ZeroER. Our approach is based on a simple observation the similarity vectors for matches should look different from that of unmatches. Operationalizing this insight requires a number of technical innovations. First, we propose a simple yet powerful generative model based on Gaussian Mixture Models for learning the match and unmatch distributions. Second, we propose an adaptive regularization technique customized for ER that ameliorates the issue of feature overfitting. Finally, we incorporate the transitivity property into the generative model in a novel way resulting in improved accuracy. On five benchmark ER datasets, we show that ZeroER greatly outperforms existing unsupervised approaches and achieves comparable performance to supervised approaches.


Lie groupoids and their natural transformations. We discuss natural transformations in the context of Lie groupoids, and their infinitesimal counterpart. Our main result is an integration procedure that provides smooth natural transformations between Lie groupoid morphisms.


Tangles in affine Hecke algebras. The affine Hecke algebra dot H n of type A is often presented as a quotient of the braid algebra of n braids in the annulus. This leads to diagrammatic representations in terms of braids in the annulus, subject to a quadratic relation for the simple Artin braids, as in the description by Graham and Lehrer in cite GL03 . I show here that the use of more general framed oriented n tangle diagrams in the annulus, subject to the Homfly skein relations, produces an algebra which is isomorphic to dot H n with an extended ring of coefficients. This setting allows the use of some attractive diagrams for elements of dot H n , using closed curves as well as braids, and gives neat pictures for its central elements.


Autonomous linear neutral equations with bounded Borel functions as initial data. For equations with the neutral term strictly delayed we construct the fundamental solution, derive a variation of constants formula for inhomogeneous equations, and prove growth estimates. Only unavoidable measure and integration theory, up to the Riesz Representation Theorem, is used. A key notion is pointwise convergence of bounded sequences of continuous functions.


Multiple Pursuer Multiple Evader Differential Games. In this paper an N pursuer vs. M evader team conflict is studied. The differential game of border defense is addressed and we focus on the game of degree in the region of the state space where the pursuers are able to win. This work extends classical differential game theory to simultaneously address weapon assignments and multi player pursuit evasion scenarios. Saddle point strategies that provide guaranteed performance for each team regardless of the actual strategies implemented by the opponent are devised. The players' optimal strategies require the co design of cooperative optimal assignments and optimal guidance laws. A representative measure of performance is proposed and the Value function of the game is obtained. It is shown that the Value function is continuous, continuously differentiable, and that it satisfies the Hamilton Jacobi Isaacs equation the curse of dimensionality is overcome and the optimal strategies are obtained. The cases of N M and N M are considered. In the latter case, cooperative guidance strategies are also developed in order for the pursuers to exploit their numerical advantage. This work provides a foundation to formally analyze complex and high dimensional conflicts between teams of N pursuers and M evaders by means of differential game theory.