A genomic dominion with regulatory dependencies on human specific single nucleotide changes in Modern Humans. Gene set enrichment analyses of 8,405 genes linked with 35,074 human specific (hs) regulatory single nucleotide changes (SNCs) revealed the staggering breadth of significant associations with morphological structures, physiological processes, and pathological conditions of Modern Humans. Significant enrichment traits include more than 1,000 anatomically distinct regions of the adult human brain, many different types of human cells and tissues, more than 200 common human disorders and more than 1,000 records of rare diseases. Thousands of genes connected with regulatory hsSNCs have been identified in this contribution, which represent essential genetic elements of the autosomal inheritance and survival of species phenotypes a total of 1,494 genes linked with either autosomal dominant or recessive inheritance as well as 2,273 genes associated with premature death, embryonic lethality, as well as pre , peri , neo , and post natal lethality of both complete and incomplete penetrance. Therefore, thousands of heritable traits and critical genes impacting the offspring survival appear under the human specific regulatory control in genomes of Modern Humans. These observations highlight the remarkable translational opportunities afforded by the discovery of genetic regulatory loci harboring hsSNCs that are fixed in humans, distinct from other primates, and located in differentially accessible (DA) chromatin regions during human brain development.


Cross lingual Contextualized Topic Models with Zero shot Learning. Many data sets (e.g., reviews, forums, news, etc.) exist parallelly in multiple languages. They all cover the same content, but the linguistic differences make it impossible to use traditional, bag of word based topic models. Models have to be either single language or suffer from a huge, but extremely sparse vocabulary. Both issues can be addressed by transfer learning. In this paper, we introduce a zero shot cross lingual topic model. Our model learns topics on one language (here, English), and predicts them for unseen documents in different languages (here, Italian, French, German, and Portuguese). We evaluate the quality of the topic predictions for the same document in different languages. Our results show that the transferred topics are coherent and stable across languages, which suggests exciting future research directions.


Don't Worry About the Weather Unsupervised Condition Dependent Domain Adaptation. Modern models that perform system critical tasks such as segmentation and localization exhibit good performance and robustness under ideal conditions (i.e. daytime, overcast) but performance degrades quickly and often catastrophically when input conditions change. In this work, we present a domain adaptation system that uses light weight input adapters to pre processes input images, irrespective of their appearance, in a way that makes them compatible with off the shelf computer vision tasks that are trained only on inputs with ideal conditions. No fine tuning is performed on the off the shelf models, and the system is capable of incrementally training new input adapters in a self supervised fashion, using the computer vision tasks as supervisors, when the input domain differs significantly from previously seen domains. We report large improvements in semantic segmentation and topological localization performance on two popular datasets, RobotCar and BDD.


Topology optimization on two dimensional manifolds. This paper implements topology optimization on two dimensional manifolds. In this paper, the material interpolation is implemented on a material parameter in the partial differential equation used to describe a physical field, when this physical field is defined on a two dimensional manifold the material density is used to formulate a mixed boundary condition of the physical field and implement the penalization between two different types of boundary conditions, when this physical field is defined on a three dimensional domain with its boundary conditions defined on the two dimensional manifold corresponding a surface or an interface of this three dimensional domain. Based on the homeomorphic property of two dimensional manifolds, typical two dimensional manifolds, e.g., sphere, torus, M " o bius strip and Klein bottle, are included in the numerical tests, which are provided for the problems on fluidic mechanics, heat transfer and electromagnetics.


Shimon the Rapper A Real Time System for Human Robot Interactive Rap Battles. We present a system for real time lyrical improvisation between a human and a robot in the style of hip hop. Our system takes vocal input from a human rapper, analyzes the semantic meaning, and generates a response that is rapped back by a robot over a musical groove. Previous work with real time interactive music systems has largely focused on instrumental output, and vocal interactions with robots have been explored, but not in a musical context. Our generative system includes custom methods for censorship, voice, rhythm, rhyming and a novel deep learning pipeline based on phoneme embeddings. The rap performances are accompanied by synchronized robotic gestures and mouth movements. Key technical challenges that were overcome in the system are developing rhymes, performing with low latency and dataset censorship. We evaluated several aspects of the system through a survey of videos and sample text output. Analysis of comments showed that the overall perception of the system was positive. The model trained on our hip hop dataset was rated significantly higher than our metal dataset in coherence, rhyme quality, and enjoyment. Participants preferred outputs generated by a given input phrase over outputs generated from unknown keywords, indicating that the system successfully relates its output to its input.


HeRTA Heaviside Real Time Analysis. We investigate the mathematical properties of event bound functions as they are used in the worst case response time analysis and utilization tests. We figure out the differences and similarities between the two approaches. Based on this analysis, we derive a more general form do describe events and event bounds. This new unified approach gives clear new insights in the investigation of real time systems, simplifies the models and will support algebraic proofs in future work. In the end, we present a unified analysis which allows the algebraic definition of any scheduler. Introducing such functions to the real time scheduling theory will lead two a more systematic way to integrate new concepts and applications to the theory. Last but not least, we show how the response time analysis in dynamic scheduling can be improved.


Results on some partition functions arising from certain relations involving the Rogers Ramanujan continued fractions. Relations involving the Rogers Ramanujan continued fractions R(q), R(q 3 ), and R(q 4) are used to find new generating functions and congruences modulo 5 and 25 for 3 core, 4 core, 4 regular, and colored partition functions.


Single Domain Multiple Decompositions for Particle in Cell simulations. As a multi purpose Particle In Cell (PIC) code, Smilei gathers many different features in a single software. Combining some of them is challenging. In particular, spectral solvers and patch based load balancing have a priori non compatible requirements. This paper introduces the Single Domain Multiple Decompositions (SDMD) method in order to address this issue. To do so, different domain decompositions are used for fields and particles operations. This approach allows to keep small domains for particles, necessary for a good load balancing, while having large domains for the fields. It proves beneficial in mitigating synchronization costs and gives the opportunity to introduce more paralellism in the PIC algorithm on top of providing structures compatible with spectral solvers.


Probabilistic Jacobian based Saliency Maps Attacks. Neural network classifiers (NNCs) are known to be vulnerable to malicious adversarial perturbations of inputs including those modifying a small fraction of the input features named sparse or L 0 attacks. Effective and fast L 0 attacks, such as the widely used Jacobian based Saliency Map Attack (JSMA) are practical to fool NNCs but also to improve their robustness. In this paper, we show that penalising saliency maps of JSMA by the output probabilities and the input features of the NNC allows to obtain more powerful attack algorithms that better take into account each input's characteristics. This leads us to introduce improved versions of JSMA, named Weighted JSMA (WJSMA) and Taylor JSMA (TJSMA), and demonstrate through a variety of white box and black box experiments on three different datasets (MNIST, CIFAR 10 and GTSRB), that they are both significantly faster and more efficient than the original targeted and non targeted versions of JSMA. Experiments also demonstrate, in some cases, very competitive results of our attacks in comparison with the Carlini Wagner (CW) L 0 attack, while remaining, like JSMA, significantly faster (WJSMA and TJSMA are more than 50 times faster than CW L 0 on CIFAR 10). Therefore, our new attacks provide good trade offs between JSMA and CW for L 0 real time adversarial testing on datasets such as the ones previously cited. Codes are publicly available through the link https github.com probabilistic jsmas probabilistic jsmas.


On variation of eigenvalues of birth and death matrices and random walk matrices. The purpose of this note is twofold firstly to improve the known results on variation of extreme eigenvalues of birth and death matrices and random walk matrices and secondly to progress towards the solution of a thirty years old open problem concerning the variation of eigenvalues of these matrices. Keywords Birth and death matrices, random walk matrices, eigenvalues, monotonicity


Improved Handling of Motion Blur in Online Object Detection. We wish to detect specific categories of objects, for online vision systems that will run in the real world. Object detection is already very challenging. It is even harder when the images are blurred, from the camera being in a car or a hand held phone. Most existing efforts either focused on sharp images, with easy to label ground truth, or they have treated motion blur as one of many generic corruptions. Instead, we focus especially on the details of egomotion induced blur. We explore five classes of remedies, where each targets different potential causes for the performance gap between sharp and blurred images. For example, first deblurring an image changes its human interpretability, but at present, only partly improves object detection. The other four classes of remedies address multi scale texture, out of distribution testing, label generation, and conditioning by blur type. Surprisingly, we discover that custom label generation aimed at resolving spatial ambiguity, ahead of all others, markedly improves object detection. Also, in contrast to findings from classification, we see a noteworthy boost by conditioning our model on bespoke categories of motion blur. We validate and cross breed the different remedies experimentally on blurred COCO images and real world blur datasets, producing an easy and practical favorite model with superior detection rates.


Harmonic Convolutional Networks based on Discrete Cosine Transform. Convolutional neural networks (CNNs) learn filters in order to capture local correlation patterns in feature space. We propose to learn these filters as combinations of preset spectral filters defined by the Discrete Cosine Transform (DCT). Our proposed DCT based harmonic blocks replace conventional convolutional layers to produce partially or fully harmonic versions of new or existing CNN architectures. Using DCT energy compaction properties, we demonstrate how the harmonic networks can be efficiently compressed by truncating high frequency information in harmonic blocks thanks to the redundancies in the spectral domain. We report extensive experimental validation demonstrating benefits of the introduction of harmonic blocks into state of the art CNN models in image classification, object detection and semantic segmentation applications.


16 vertex graphs with automorphism groups A 4 and A 5 from icosahedron. The article deals with the problem of finding vertex minimal graphs with a given automorphism group. We exhibit two undirected 16 vertex graphs having automorphism groups A 4 and A 5 . It improves the Babai's bound for A 4 and the graphical regular representation bound for A 5 . The graphs are constructed using projectivisation of the vertex face graph of icosahedron.


Alternating Stationary Iterative Methods Based on Double Splittings. Matrix double splitting iterations are simple in implementation while solving real non singular (rectangular) linear systems. In this paper, we present two Alternating Double Splitting (ADS) schemes formulated by two double splittings and then alternating the respective iterations. The convergence conditions are then discussed along with comparative analysis. The set of double splittings used in each ADS schemes induce a preconditioned system which helps in showing the convergence of the ADS schemes. We also show that the classes of matrices for which one ADS scheme is better than the other are mutually exclusive. Numerical experiments confirm the proposed ADS schemes are superior to the existing methods in actual implementation. Though the problems are considered in the rectangular matrix settings, the same problems are even new in non singular matrix settings.


Spread of Tweets in Climate Discussions. Characterising the spreading of ideas within echo chambers is essential for understanding polarisation. In this paper, we explore the characteristics of popular and viral content in climate change discussions on Twitter around the 2019 announcement of the Nobel Peace Prize, where we find the retweet network of users to be polarised into two well separated groups of activists and sceptics. Operationalising popularity as the number of retweets and virality as the spreading probability inferred using an independent cascade model, we find that the viral themes echo and differ from the popular themes in interesting ways. Most importantly, we find that the most viral themes in the two groups reflect different types of bonds that tie the community together, yet both function to enhance ingroup connections while repulsing outgroup engagement. With this, our study sheds light, from an information spreading perspective, on the formation and upkeep of echo chambers in climate discussions.


Dual Refinement Feature Pyramid Networks for Object Detection. FPN is a common component used in object detectors, it supplements multi scale information by adjacent level features interpolation and summation. However, due to the existence of nonlinear operations and the convolutional layers with different output dimensions, the relationship between different levels is much more complex, the pixel wise summation is not an efficient approach. In this paper, we first analyze the design defects from pixel level and feature map level. Then, we design a novel parameter free feature pyramid networks named Dual Refinement Feature Pyramid Networks (DRFPN) for the problems. Specifically, DRFPN consists of two modules Spatial Refinement Block (SRB) and Channel Refinement Block (CRB). SRB learns the location and content of sampling points based on contextual information between adjacent levels. CRB learns an adaptive channel merging method based on attention mechanism. Our proposed DRFPN can be easily plugged into existing FPN based models. Without bells and whistles, for two stage detectors, our model outperforms different FPN based counterparts by 1.6 to 2.2 AP on the COCO detection benchmark, and 1.5 to 1.9 AP on the COCO segmentation benchmark. For one stage detectors, DRFPN improves anchor based RetinaNet by 1.9 AP and anchor free FCOS by 1.3 AP when using ResNet50 as backbone. Extensive experiments verifies the robustness and generalization ability of DRFPN. The code will be made publicly available.


Existence of a Variational Principle for PDEs with Symmetries and Current Conservation. We prove that under certain assumptions a partial differential equation can be derived from a variational principle. It is well known from Noether's theorem that symmetries of a variational functional lead to conservation laws of the corresponding Euler Lagrange equation. We reverse this statement and prove that a differential equation which satisfies sufficiently many symmetries and corresponding conservation laws leads to a variational functional whose Euler Lagrange equation is the given differential equation.


On the generalization of the construction of quantum codes from Hermitian self orthogonal codes. Many q ary stabilizer quantum codes can be constructed from Hermitian self orthogonal q 2 ary linear codes. This result can be generalized to q 2 m ary linear codes, m 1 . We give a result for easily obtaining quantum codes from that generalization. As a consequence we provide several new binary stabilizer quantum codes which are records according to cite codet and new q ary ones, with q neq 2 , improving others in the literature.


A note on nonradial nodal solutions to the H 'enon problem in the disc. In this paper we consider some nodal solutions of the H 'enon problem in the unit disc with Dirichlet boundary conditions and we show that they are quasiradial, that is to say they are nonradial, they have two nodal regions and their nodal line does not touch the boundary of the disc.


Onsager Symmetry Obeyed in Athermal Mesoscopic Systems Two Phase Flow in Porous Media. We compute the fluid flow time correlation functions of incompressible, immiscible two phase flow in porous media using a 2D network model. Given a properly chosen representative elementary volume, the flow rate distributions are Gaussian and the integrals of time correlation functions of the flows are found to converge to a finite value. The integrated cross correlations become symmetric, obeying Onsager's reciprocal relations. These findings support the proposal of a non equilibrium thermodynamic description for two phase flow in porous media.


Some non spectral DT operators in finite von Neumann algebras. Given a DT operator Z whose Brown measure is radially symmetric and has a certain concentration property, it is shown that Z is not spectral in the sense of Dunford. This is accomplished by showing that the angles between certain complementary Haagerup Schultz projections of Z are zero. New estimates on norms and traces of powers of algebra valued circular operators over commutative C algebras are also proved.


Importance of Secure Software Development Processes and Tools for Developers. In this research paper of secure software systems, authors have discussed what the proper development process is when it comes to creating a secure software, which will be suited for developers and relevent stakeholders alike. Secure Software Development Process for Developers is of crucial importance for software engineers as more and more software based devices are becoming commonly available, and cloud services are evolving which require for the software to be constantly connected to the internet. With this in mind, Secure Software Development needs to be transformed to something most developers can rely upon to make applied software safe and have the capability to mitigate against potential attacks by hackers. Furthermore, in this paper, existing Secure Software Development Process ideas and implementations are reviewed and investigated using the research paper pool available online. Thereafter, an approach is proposed to enhance the security aspect in software development process to resolve security issues. Lastly, the paper concludes with final remarks on practical implementation of security features in software development phases for production of secure and reliable software programs and systems.


An algorithm for non convex off the grid sparse spike estimation with a minimum separation constraint. Theoretical results show that sparse off the grid spikes can be estimated from (possibly compressive) Fourier measurements under a minimum separation assumption. We propose a practical algorithm to minimize the corresponding non convex functional based on a projected gradient descent coupled with an initialization procedure. We give qualitative insights on the theoretical foundations of the algorithm and provide experiments showing its potential for imaging problems.


An Information Theoretic Proof of the Streaming Switching Lemma for Symmetric Encryption. Motivated by a fundamental paradigm in cryptography, we consider a recent variant of the classic problem of bounding the distinguishing advantage between a random function and a random permutation. Specifically, we consider the problem of deciding whether a sequence of q values was sampled uniformly with or without replacement from N , where the decision is made by a streaming algorithm restricted to using at most s bits of internal memory. In this work, the distinguishing advantage of such an algorithm is measured by the KL divergence between the distributions of its output as induced under the two cases. We show that for any s Omega( log N) the distinguishing advantage is upper bounded by O(q cdot s N) , and even by O(q cdot s N log N) when q leq N 1 epsilon for any constant epsilon 0 where it is nearly tight with respect to the KL divergence.


HHMM at SemEval 2019 Task 2 Unsupervised Frame Induction using Contextualized Word Embeddings. We present our system for semantic frame induction that showed the best performance in Subtask B.1 and finished as the runner up in Subtask A of the SemEval 2019 Task 2 on unsupervised semantic frame induction (QasemiZadeh et al., 2019). Our approach separates this task into two independent steps verb clustering using word and their context embeddings and role labeling by combining these embeddings with syntactical features. A simple combination of these steps shows very competitive results and can be extended to process other datasets and languages.


Mathematical models and methods for crowd dynamics control. In this survey we consider mathematical models and methods recently developed to control crowd dynamics, with particular emphasis on egressing pedestrians. We focus on two control strategies The first one consists in using special agents, called leaders, to steer the crowd towards the desired direction. Leaders can be either hidden in the crowd or recognizable as such. This strategy heavily relies on the power of the social influence (herding effect), namely the natural tendency of people to follow group mates in situations of emergency or doubt. The second one consists in modify the surrounding environment by adding in the walking area multiple obstacles optimally placed and shaped. The aim of the obstacles is to naturally force people to behave as desired. Both control strategies discussed in this paper aim at reducing as much as possible the intervention on the crowd. Ideally the natural behavior of people is kept, and people do not even realize they are being led by an external intelligence. Mathematical models are discussed at different scales of observation, showing how macroscopic (fluid dynamic) models can be derived by mesoscopic (kinetic) models which, in turn, can be derived by microscopic (agent based) models.


Continuous Motion Planning with Temporal Logic Specifications using Deep Neural Networks. In this paper, we propose a model free reinforcement learning method to synthesize control policies for motion planning problems with continuous states and actions. The robot is modelled as a labeled discrete time Markov decision process (MDP) with continuous state and action spaces. Linear temporal logics (LTL) are used to specify high level tasks. We then train deep neural networks to approximate the value function and policy using an actor critic reinforcement learning method. The LTL specification is converted into an annotated limit deterministic B "uchi automaton (LDBA) for continuously shaping the reward so that dense rewards are available during training. A na "ive way of solving a motion planning problem with LTL specifications using reinforcement learning is to sample a trajectory and then assign a high reward for training if the trajectory satisfies the entire LTL formula. However, the sampling complexity needed to find such a trajectory is too high when we have a complex LTL formula for continuous state and action spaces. As a result, it is very unlikely that we get enough reward for training if all sample trajectories start from the initial state in the automata. In this paper, we propose a method that samples not only an initial state from the state space, but also an arbitrary state in the automata at the beginning of each training episode. We test our algorithm in simulation using a car like robot and find out that our method can learn policies for different working configurations and LTL specifications successfully.


Topologizable and power bounded weighted composition operators on spaces of distributions. We study topologizability and power boundedness of weigh ted composition operators on (certain subspaces of) mathscr D '(X) for an open subset X of mathbb R d . For the former property we derive a characterization in terms of the symbol and the weight of the weighted composition operator, while for the latter property necessary and sufficient conditions on the weight and the symbol are presented. Moreover, for an unweighted composition operator a characterization of power boundedness in terms of the symbol is derived for the special case of a bijective symbol.


Overlay Indexes Efficiently Supporting Aggregate Range Queries and Authenticated Data Structures in Off the Shelf Databases. Commercial off the shelf DataBase Management Systems (DBMSes) are highly optimized to process a wide range of queries by means of carefully designed indexing and query planning. However, many aggregate range queries are usually performed by DBMSes using sequential scans, and certain needs, like storing Authenticated Data Structures (ADS), are not supported at all. Theoretically, these needs could be efficiently fulfilled adopting specific kinds of indexing, which however are normally ruled out in DBMSes design. We introduce the concept of overlay index an index that is meant to be stored in a standard database, alongside regular data and managed by regular software, to complement DBMS capabilities. We show a data structure, that we call DB tree, that realizes an overlay index to support a wide range of custom aggregate range queries as well as ADSes, efficiently. All DB trees operations can be performed by executing a small number of queries to the DBMS, that can be issued in parallel in one or two query rounds, and involves a logarithmic amount of data. We experimentally evaluate the efficiency of DB trees showing that our approach is effective, especially if data updates are limited.


Integration by parts formulae for degenerate diffusion measures on path spaces and diffeomorphism groups. Integration by parts formulae are given for a class of measures on the space of paths of a smooth manifold M determined by the laws of degenerate diffusions. The mother of such formulae, on the path space of diffeomorphism group of M is shown to arise from a quasi invariance property of measures determined by stochastic flows. From this the other formulae are derived by filtering out redundant noise using an associated LeJan Watanabe connection.


Probabilistic 3D Multi Object Tracking for Autonomous Driving. 3D multi object tracking is a key module in autonomous driving applications that provides a reliable dynamic representation of the world to the planning module. In this paper, we present our on line tracking method, which made the first place in the NuScenes Tracking Challenge, held at the AI Driving Olympics Workshop at NeurIPS 2019. Our method estimates the object states by adopting a Kalman Filter. We initialize the state covariance as well as the process and observation noise covariance with statistics from the training set. We also use the stochastic information from the Kalman Filter in the data association step by measuring the Mahalanobis distance between the predicted object states and current object detections. Our experimental results on the NuScenes validation and test set show that our method outperforms the AB3DMOT baseline method by a large margin in the Average Multi Object Tracking Accuracy (AMOTA) metric.


On transience of frogs on Galton Watson trees. We consider a random interacting particle system, known as the frog model, on infinite Galton Watson trees allowing offspring zero and one. The system starts with one awake particle (frog) at the root of the tree and a random number of sleeping particles at the other vertices. Awake frogs move according to simple random walk on the tree and as soon as they encounter sleeping frogs, those will wake up and move independently according to simple random walk. The frog model is called transient, if there are almost surely only finitely many particles returning to the root. In this paper we prove a zero one law for transience of the frog model and show the existence of a transient phase for certain classes of Galton Watson trees.


GuidedStyle Attribute Knowledge Guided Style Manipulation for Semantic Face Editing. Although significant progress has been made in synthesizing high quality and visually realistic face images by unconditional Generative Adversarial Networks (GANs), there still lacks of control over the generation process in order to achieve semantic face editing. In addition, it remains very challenging to maintain other face information untouched while editing the target attributes. In this paper, we propose a novel learning framework, called GuidedStyle, to achieve semantic face editing on StyleGAN by guiding the image generation process with a knowledge network. Furthermore, we allow an attention mechanism in StyleGAN generator to adaptively select a single layer for style manipulation. As a result, our method is able to perform disentangled and controllable edits along various attributes, including smiling, eyeglasses, gender, mustache and hair color. Both qualitative and quantitative results demonstrate the superiority of our method over other competing methods for semantic face editing. Moreover, we show that our model can be also applied to different types of real and artistic face editing, demonstrating strong generalization ability.


Partially Observable Concurrent Kleene Algebra. We introduce partially observable concurrent Kleene algebra (POCKA), an algebraic framework to reason about concurrent programs with control structures, such as conditionals and loops. POCKA enables reasoning about programs that can access variables and values, which we illustrate through concrete examples. We prove that POCKA is a sound and complete axiomatisation of a model of partial observations, and show the semantics passes an important check for sequential consistency.


Three steps mixing for general random walks on the hypercube at criticality. We introduce a general class of random walks on the N hypercube, study cut off for the mixing time, and provide several types of representation for the transition probabilities. We observe that for a sub class of these processes with long range (i.e. non local) there exists a critical value of the range that allows an "almost perfect" mixing in at most three steps. In other words, the total variation distance between the three steps transition and the stationary distribution decreases geometrically in N , which is the dimension of the hypercube. In some cases, the walk mixes almost perfectly in exactly two steps. Notice that a well known result (Theorem 1 in Diaconis and Shahshahani (1986)) shows that there exist no random walk on Abelian groups (such as the hypercube) which mixes perfectly in exactly two steps.


On Davenport Expansions, Popov's formula, and Fine's query. We establish an explicit connection between a Davenport expansion and the Popov sum. Asymptotic analysis follows as a result of these formulas. New solutions to a query of N.J. Fine are offered, and a proof of Davenport expansions is detailed.


Theta blocks related to root systems. Gritsenko, Skoruppa and Zagier associated to a root system R a theta block vartheta R , which is a Jacobi form of lattice index. We classify the theta blocks vartheta R of q order 1 and show that their Gritsenko lift is a strongly reflective Borcherds product of singular weight, which is related to Conway's group operatorname Co 0 . As a corollary we obtain a proof of the theta block conjecture by Gritsenko, Poor and Yuen for the pure theta blocks obtained as specializations of the functions vartheta R .


False News Detection on Social Media. Social media has become a major information platform where people consume and share news. However, it has also enabled the wide dissemination of false news, i.e., news posts published on social media that are verifiably false, causing significant negative effects on society. In order to help prevent further propagation of false news on social media, we set up this competition to motivate the development of automated real time false news detection approaches. Specifically, this competition includes three sub tasks false news text detection, false news image detection and false news multi modal detetcion, which aims to motivate participants to further explore the efficiency of multiple modalities in detecting false news and reasonable fusion approaches of multi modal contents. To better support this competition, we also construct and publicize a multi modal data repository about False News on Weibo Social platform(MCG FNeWS ) to help evaluate the performance of different approaches from participants.


The fundamental theorem of finite semidistributive lattices. We prove a Fundamental Theorem of Finite Semidistributive Lattices (FTFSDL), modelled on Birkhoff's Fundamental Theorem of Finite Distributive Lattices. Our FTFSDL is of the form "A poset L is a finite semidistributive lattice if and only if there exists a set Sha with some additional structure, such that L is isomorphic to the admissible subsets of Sha ordered by inclusion in this case, Sha and its additional structure are uniquely determined by L." The additional structure on Sha is a combinatorial abstraction of the notion of torsion pairs from representation theory and has geometric meaning in the case of posets of regions of hyperplane arrangements. We show how the FTFSDL clarifies many constructions in lattice theory, such as canonical join representations and passing to quotients, and how the semidistributive property interacts with other major classes of lattices. Many of our results also apply to infinite lattices.


Birational sequences and the tropical Grassmannian. We introduce iterated sequences for Grassmannians, a new class of Fang Fourier Littelmanns' birational sequences and explain how they give rise to points in text trop ( text Gr (k, mathbb C n)) , Speyer Sturmfels' tropical Grassmannian. For text Gr (2, mathbb C n) we show that the associated valuations induce toric degenerations. We describe recursively the vertices of the corresponding Newton Okounkov polytopes, which are particular vertices of a hypercube and hence integral. We show further that every toric degeneration of text Gr (2, mathbb C n ) constructed using the tropical Grassmannian can be recovered by iterated sequences.


Energy and RF Cavity Phase Symmetry Enforcement in Multi turn ERL Models. In a multipass energy recovery linac (ERL), each cavity must regain all energy expended from beam acceleration during beam deceleration, and the beam should achieve specific energy targets during each loop that returns it to the linac. For full energy recovery, and for every returning beam to meet loop energy requirements, we must specify and maintain the phase and voltage of cavity fields in addition to selecting adequate flight times. These parameters are found with a full scale numerical optimization program. If we impose symmetry in time and energy during acceleration and deceleration, fewer parameters are needed, simplifying the optimization. As an example, we present symmetric models of the Cornell BNL ERL Test Accelerator (CBETA) with solutions that satisfy the optimization targets of loop energy and zero cavity loading. An identical cavity design and nearly uniform linac layout make CBETA a potential candidate for symmetric operation.


Ginkgo A Modern Linear Operator Algebra Framework for High Performance Computing. In this paper, we present Ginkgo, a modern C math library for scientific high performance computing. While classical linear algebra libraries act on matrix and vector objects, Ginkgo's design principle abstracts all functionality as "linear operators", motivating the notation of a "linear operator algebra library". Ginkgo's current focus is oriented towards providing sparse linear algebra functionality for high performance GPU architectures, but given the library design, this focus can be easily extended to accommodate other algorithms and hardware architectures. We introduce this sophisticated software architecture that separates core algorithms from architecture specific back ends and provide details on extensibility and sustainability measures. We also demonstrate Ginkgo's usability by providing examples on how to use its functionality inside the MFEM and deal.ii finite element ecosystems. Finally, we offer a practical demonstration of Ginkgo's high performance on state of the art GPU architectures.


Hybrid MoS 2 gap mode metasurfaces photodetectors. Two dimensional molybdenum disulfide (MoS 2 ) featuring atomically thin thickness and unique electronic structure with favorable bandgap has been widely recognized as an attractive new material for the development of the next generation of ultra compact, light weight optoelectronic components. In parallel, the recently emerged metasurfaces have demonstrated exceptional controllability over electromagnetic field within ultra compact subwavelength dimension offering an unprecedented approach to improve the performance of optoelectronic devices. In this work, we are proposing an integration of metasurfaces with 2D semiconductor materials to achieve polarization sensitive, fast response photodetectors. The reported devices are among the most compact hybrid MoS2 gap plasmon metasurface detectors. Relying on the significant electromagnetic field confinement provided by the metasurfaces to enhance light absorption and to reduce the surface states, which generally limit the photo generated carriers lifetime, we measured enhanced photocurrent and a fast detection speed. Moreover, the strong optical anisotropy introduced by the metasurfaces is used to efficiently control the polarization sensitivity of the photodetector. This work provides a feasible and effective solution to improve the performance of two dimensional materials based photodetectors.


Layered Graph Embedding for Entity Recommendation using Wikipedia in the Yahoo! Knowledge Graph. In this paper, we describe an embedding based entity recommendation framework for Wikipedia that organizes Wikipedia into a collection of graphs layered on top of each other, learns complementary entity representations from their topology and content, and combines them with a lightweight learning to rank approach to recommend related entities on Wikipedia. Through offline and online evaluations, we show that the resulting embeddings and recommendations perform well in terms of quality and user engagement. Balancing simplicity and quality, this framework provides default entity recommendations for English and other languages in the Yahoo! Knowledge Graph, which Wikipedia is a core subset of.


Discovering Opioid Use Patterns from Social Media for Relapse Prevention. The United States is currently experiencing an unprecedented opioid crisis, and opioid overdose has become a leading cause of injury and death. Effective opioid addiction recovery calls for not only medical treatments, but also behavioral interventions for impacted individuals. In this paper, we study communication and behavior patterns of patients with opioid use disorder (OUD) from social media, intending to demonstrate how existing information from common activities, such as online social networking, might lead to better prediction, evaluation, and ultimately prevention of relapses. Through a multi disciplinary and advanced novel analytic perspective, we characterize opioid addiction behavior patterns by analyzing opioid groups from Reddit.com including modeling online discussion topics, analyzing text co occurrence and correlations, and identifying emotional states of people with OUD. These quantitative analyses are of practical importance and demonstrate innovative ways to use information from online social media, to create technology that can assist in relapse prevention.


Step by step solving schemes based on scalar auxiliary variable and invariant energy quadratization approaches for gradient flows. In this paper, we propose several novel numerical techniques to deal with nonlinear terms in gradient flows. These step by step solving schemes, termed 3S SAV and 3S IEQ schemes, are based on recently popular scalar auxiliary variable (SAV) and invariant energy quadratization (IEQ) approaches. In these constructed numerical methods, the phase function phi and auxiliary variable can be calculated step by step. Compared with the traditional SAV IEQ approaches, there are many advantages for the novel 3S SAV 3S IEQ schemes. Firstly, we do not need the restriction of the bounded from below of the nonlinear free energy potential density function. Secondly, the auxiliary variable combined with nonlinear function can be treated totally explicitly in the 3S SAV 3S IEQ approaches. Specially, for solving the discrete scheme based on IEQ approach, the linear system usually involves variable coefficients which change at each time step. However, the discrete scheme based on 3S IEQ approach leads to linear equation with constant coefficients. Two comparative studies of traditional SAV IEQ and 3S SAV 3S IEQ approaches are considered to show the accuracy and efficiency. Finally, we present various 2D numerical simulations to demonstrate the stability and accuracy.


Applying the Isabelle Insider Framework to Airplane Security. Avionics is one of the fields in which verification methods have been pioneered and brought a new level of reliability to systems used in safety critical environments. Tragedies, like the 2015 insider attack on a German airplane, in which all 150 people on board died, show that safety and security crucially depend not only on the well functioning of systems but also on the way how humans interact with the systems. Policies are a way to describe how humans should behave in their interactions with technical systems, formal reasoning about such policies requires integrating the human factor into the verification process. In this paper, we report on our work on using logical modelling and analysis of infrastructure models and policies with actors to scrutinize security policies in the presence of insiders. We model insider attacks on airplanes in the Isabelle Insider framework. This application motivates the use of an extension of the framework with Kripke structures and the temporal logic CTL to enable reasoning on dynamic system states. Furthermore, we illustrate that Isabelle modelling and invariant reasoning reveal subtle security assumptions. We summarize by providing a methodology for the development of policies that satisfy stated properties.


Asynchronous Runtime with Distributed Manager for Task based Programming Models. Parallel task based programming models, like OpenMP, allow application developers to easily create a parallel version of their sequential codes. The standard OpenMP 4.0 introduced the possibility of describing a set of data dependences per task that the runtime uses to order the tasks execution. This order is calculated using shared graphs, which are updated by all threads in exclusive access using synchronization mechanisms (locks) to ensure the dependence management correctness. The contention in the access to these structures becomes critical in many core systems because several threads may be wasting computation resources waiting their turn. This paper proposes an asynchronous management of the runtime structures, like task dependence graphs, suitable for task based programming model runtimes. In such organization, the threads request actions to the runtime instead of doing them directly. The requests are then handled by a distributed runtime manager (DDAST) which does not require dedicated resources. Instead, the manager uses the idle threads to modify the runtime structures. The paper also presents an implementation, analysis and performance evaluation of such runtime organization. The performance results show that the proposed asynchronous organization outperforms the speedup obtained by the original runtime for different benchmarks and different many core architectures.


On finite totally 2 closed groups. An abstract group G is called totally 2 closed if H H (2), Omega for any set Omega with G cong H leq rm Sym ( Omega) , where H (2), Omega is the largest subgroup of rm Sym ( Omega) whose orbits on Omega times Omega are the same orbits of H . In this paper, we classify the finite soluble totally 2 closed groups. We also prove that the Fitting subgroup of a totally 2 closed group is a totally 2 closed group. Finally, we prove that a finite insoluble totally 2 closed group G of minimal order with non trivial Fitting subgroup has shape Z cdot X , with Z Z(G) cyclic, and X is a finite group with a unique minimal normal subgroup, which is nonabelian.


The effects of collisions on the generation and suppression of temperature anisotropies and the Weibel instability. The expansion of plasma with non parallel temperature and density gradients, and the generation of magnetic field via the Biermann battery is modeled using particle in cell simulations that include collisional effects via Monte Carlo methods. A scaling of the degree of collisionality shows that an anisotropy can be produced, and drive the Weibel instability, for gradient scales shorter than the mean free path. For larger collision rates, the Biermann battery dominates as the cause of magnetic field generation. When the most energetic particles remain collisionless, the Nernst effect causes the Biermann field to be dragged with the heat flux, piled up, and enhanced.


Relatively geometric actions on CAT(0) cube complexes. We develop the foundations of the theory of relatively geometric actions of relatively hyperbolic groups on CAT(0) cube complexes, a notion introduced in our previous work 5 . In the relatively geometric setting we prove full relatively quasi convex subgroups are convex compact an analog of Agol's Theorem and a version of Haglund Wise's Canonical Completion and Retraction.


Efficient and Effective ER with Progressive Blocking. Blocking is a mechanism to improve the efficiency of Entity Resolution (ER) which aims to quickly prune out all non matching record pairs. However, depending on the distributions of entity cluster sizes, existing techniques can be either (a) too aggressive, such that they help scale but can adversely affect the ER effectiveness, or (b) too permissive, potentially harming ER efficiency. In this paper, we propose a new methodology of progressive blocking (pBlocking) to enable both efficient and effective ER, which works seamlessly across different entity cluster size distributions. pBlocking is based on the insight that the effectiveness efficiency trade off is revealed only when the output of ER starts to be available. Hence, pBlocking leverages partial ER output in a feedback loop to refine the blocking result in a data driven fashion. Specifically, we bootstrap pBlocking with traditional blocking methods and progressively improve the building and scoring of blocks until we get the desired trade off, leveraging a limited amount of ER results as a guidance at every round. We formally prove that pBlocking converges efficiently ( O(n log 2 n) time complexity, where n is the total number of records). Our experiments show that incorporating partial ER output in a feedback loop can improve the efficiency and effectiveness of blocking by 5x and 60 respectively, improving the overall F score of the entire ER process up to 60 .


Mean field Markov decision processes with common noise and open loop controls. We develop an exhaustive study of Markov decision process (MDP) under mean field interaction both on states and actions in the presence of common noise, and when optimization is performed over open loop controls on infinite horizon. Such model, called CMKV MDP for conditional McKean Vlasov MDP, arises and is obtained here rigorously with a rate of convergence as the asymptotic problem of N cooperative agents controlled by a social planner influencer that observes the environment noises but not necessarily the individual states of the agents. We highlight the crucial role of relaxed controls and randomization hypothesis for this class of models with respect to classical MDP theory. We prove the correspondence between CMKV MDP and a general lifted MDP on the space of probability measures, and establish the dynamic programming Bellman fixed point equation satisfied by the value function, as well as the existence of optimal randomized feedback controls. The arguments of proof involve an original measurable optimal coupling for the Wasserstein distance. This provides a procedure for learning strategies in a large population of interacting collaborative agents. MSC Classification 90C40, 49L20.


Universality of Automorphisms on the Ball of Bounded Holomorphic Functions on the Polydisk. Given a sequence of automorphisms of the polydisk, we show that the associated composition semigroup homomorphisms on the ball of bounded holomorphic functions on the polydisk admit a universal inner function if a certain condition on the automorphisms are satisfied.


Towards Hosting Bound State in Continuum in Specialty Optical Microcavity. We exploit the interaction between supported proximity resonances in an open non uniformly pumped optical microcavity to host a Bound State in Continuum (BIC). Using the modeling of the S matrix, we study the coupling between the interacting states forming a BIC. We report the divergence of Quality Factor (Q factor) of one of the interacting states, numerically demonstrated with the appropriate tuning of the spatial variation of unequal gain loss within the system whose stability has been discussed in terms of the Petermann factor at the point of BIC. Such high lifetime has been marked as a signature of BIC.


Solvability of a class of singular fourth order equations of Monge Amp ere type. We study the solvability of the second boundary value problem for a class of highly singular fourth order equations of Monge Amp ere type. They arise in the approximation of convex functionals subject to a convexity constraint using Abreu type equations. Both the Legendre transform and partial Legendre transform are used in our analysis. In two dimensions, we establish global solutions to the second boundary value problem for highly singular Abreu equations where the right hand sides are of q Laplacian type for all q 1 . We show that minimizers of variational problems with a convexity constraint in two dimensions that arise from the Rochet Chon 'e model in the monopolist's problem in economics with q power cost can be approximated in the uniform norm by solutions of the Abreu equation for a full range of q .


Performance Comparison of Quasi Delay Insensitive Asynchronous Adders. In this technical note, we provide a comparison of the design metrics of various quasi delay insensitive (QDI) asynchronous adders, where the adders correspond to diverse architectures. QDI adders are robust, and the objective of this technical note is to point to those QDI adders which are suitable for low power energy and less area. This information could be valuable for a resource constrained low power VLSI design scenario. Non QDI adders are excluded from the comparison since they are not robust although they may have optimized design metrics. All the QDI adders were realized using a 32 28nm CMOS process.


Embedded Index Coding. Motivated by applications in distributed storage and distributed computation, we introduce embedded index coding (EIC). EIC is a type of distributed index coding in which nodes in a distributed system act as both senders and receivers of information. We show how embedded index coding is related to index coding in general, and give characterizations and bounds on the communication costs of optimal embedded index codes. We also define task based EIC, in which each sending node encodes and sends data blocks independently of the other nodes. Task based EIC is more computationally tractable and has advantages in applications such as distributed storage, in which senders may complete their broadcasts at different times. Finally, we give heuristic algorithms for approximating optimal embedded index codes, and demonstrate empirically that these algorithms perform well.


Tune modulation effects in the High Luminosity Large Hadron Collider. Several transverse noise sources, such as power supply ripples, can potentially act as an important limiting mechanism for the luminosity production of the Large Hadron Collider (LHC) and its future High Luminosity upgrade (HL LHC). In the presence of non linearities, depending on the spectral components of the power supply noise and the nature of the source, such a mechanism can increase the diffusion of the particles in the distribution through the excitation of sideband resonances in the vicinity of the ones driven by the lattice non linearities. For the HL LHC, due to the reduction of the beam size in the Interaction Points (IP) of the high luminosity experiments (IP1 and 5), increased sensitivity to noise effects is anticipated for the quadrupoles of the inner triplets. The modulation that may arise from the power supply ripples will be combined with the tune modulation that intrinsically emerges from the coupling of the transverse and longitudinal plane for off momentum particles through chromaticity. To this end, the aim of this paper is to study the impact of tune modulation effects on the transverse beam motion resulting from the interplay between quadrupolar power supply ripples and synchro betatron coupling. A power supply noise threshold for acceptable performance is estimated with single particle tracking simulations by investigating the impact of different modulation frequencies and amplitudes on the Dynamic Aperture. The excitation of sideband resonances due to the modulation is demonstrated with frequency maps and the higher sensitivity to specific modulation frequencies is explained. Finally, a power supply noise spectrum consisting of several tones is considered in the simulations to determine whether the presence of power supply ripples in the quadrupoles of the inner triplet will limit the luminosity production in the HL LHC era.


Rate Adaptation and Latency in Heterogeneous IoT Networks. This paper studies the effect of rate adaptation in time slotted Internet of things (IoT) networks. For a given time slot duration and packets size, rate adaptation necessitates packet fragmentation to fit the time slot duration. Accounting for the quality and time resolution of the underlying traffic, this paper characterizes the tradeoff between transmission rate and packet latency in IoT networks. Using tools from stochastic geometry and queueing theory, a novel mathematical framework is developed for static and dynamic rate adaptation schemes. The results show that there is an optimal static rate that minimizes latency, which depends on the network parameters. Furthermore, the dynamic rate is shown to be resilient to different variations in the network parameters without sacrificing packet latency.


Incremental Learning from Low labelled Stream Data in Open Set Video Face Recognition. Deep Learning approaches have brought solutions, with impressive performance, to general classification problems where wealthy of annotated data are provided for training. In contrast, less progress has been made in continual learning of a set of non stationary classes, mainly when applied to unsupervised problems with streaming data. Here, we propose a novel incremental learning approach which combines a deep features encoder with an Open Set Dynamic Ensembles of SVM, to tackle the problem of identifying individuals of interest (IoI) from streaming face data. From a simple weak classifier trained on a few video frames, our method can use unsupervised operational data to enhance recognition. Our approach adapts to new patterns avoiding catastrophic forgetting and partially heals itself from miss adaptation. Besides, to better comply with real world conditions, the system was designed to operate in an open set setting. Results show a benefit of up to 15 F1 score increase respect to non adaptive state of the art methods.


On a rank unimodality conjecture of Morier Genoud and Ovsienko. Let alpha (a,b,...) be a composition. Consider the associated poset F(alpha), called a fence, whose covering relations are x 1 x 2 ... x a 1 x a 2 ... x a b 1 x a b 2 ... . We study the associated distributive lattice L(alpha) consisting of all lower order ideals of F(alpha). These lattices are important in the theory of cluster algebras and their rank generating functions can be used to define q analogues of rational numbers. In particular, we make progress on a recent conjecture of Morier Genoud and Ovsienko that L(alpha) is rank unimodal. We show that if one of the parts of alpha is greater than the sum of the others, then the conjecture is true. We conjecture that L(alpha) enjoys the stronger properties of having a nested chain decomposition and having a rank sequence which is either top or bottom interlacing, the latter being a recently defined property of sequences. We verify that these properties hold for compositions with at most three parts and for what we call d divided posets, generalizing work of Claussen and simplifying a construction of Gansner.


Hundred Drones Land in a Minute. Currently, drone research and development has received significant attention worldwide. Particularly, delivery services employ drones as it is a viable method to improve delivery efficiency by using a several unmanned drones. Research has been conducted to realize complete automation of drone control for such services. However, regarding the takeoff and landing port of the drones, conventional methods have focused on the landing operation of a single drone, and the continuous landing of multiple drones has not been realized. To address this issue, we propose a completely novel port system, "EAGLES Port," that allows several drones to continuously land and takeoff in a short time. Experiments verified that the landing time efficiency of the proposed port is ideally 7.5 times higher than that of conventional vertical landing systems. Moreover, the system can tolerate 270 mm of horizontal positional error, 30 deg of angular error in the drone's approach ( 40 deg with the proposed gate mechanism), and up to 1.9 m s of drone's approach speed. This technology significantly contributes to the scalability of drone usage. Therefore, it is critical for the development of a future drone port for the landing of automated drone swarms.


Central limit theorem for mesoscopic eigenvalue statistics of the free sum of matrices. We consider random matrices of the form H N A N U N B N U N , where A N , B N are two N by N deterministic Hermitian matrices and U N is a Haar distributed random unitary matrix. We establish a universal Central Limit Theorem for the linear eigenvalue statistics of H N on all mesoscopic scales inside the regular bulk of the spectrum. The proof is based on studying the characteristic function of the linear eigenvalue statistics, and consists of two main steps (1) generating Ward identities using the left translation invariance of the Haar measure, along with a local law for the resolvent of H N and analytic subordination properties of the free additive convolution, allow us to derive an explicit formula for the derivative of the characteristic function (2) a local law for two point product functions of resolvents is derived using a partial randomness decomposition of the Haar measure. We also prove the corresponding results for orthogonal conjugations.


Confederated Machine Learning on Horizontally and Vertically Separated Medical Data for Large Scale Health System Intelligence. Health information is generally fragmented across silos. Though it is technically feasible to unite data for analysis in a manner that underpins a rapid learning healthcare system, privacy concerns and regulatory barriers limit data centralization. Machine learning can be conducted in a federated manner on patient datasets with the same set of variables, but separated across sites of care. But federated learning cannot handle the situation where different data types for a given patient are separated vertically across different organizations and when patient ID matching across different institutions is difficult. We call methods that enable machine learning model training on data separated by two or more degrees confederated machine learning. We proposed and evaluated a confederated learning to training machine learning model to stratify the risk of several diseases among when data are horizontally separated by individual, vertically separated by data type, and separated by identity without patient ID matching.


Semisimplification for Subgroups of Reductive Algebraic Groups. Let G be a reductive algebraic group possibly non connected over a field k and let H be a subgroup of G . If G GL n then there is a degeneration process for obtaining from H a completely reducible subgroup H' of G one takes a limit of H along a cocharacter of G in an appropriate sense. We generalise this idea to arbitrary reductive G using the notion of G complete reducibility and results from geometric invariant theory over non algebraically closed fields due to the authors and Herpel. Our construction produces a G completely reducible subgroup H' of G , unique up to G(k) conjugacy, which we call a k semisimplification of H . This gives a single unifying construction which extends various special cases in the literature (in particular, it agrees with the usual notion for G GL n and with Serre's " G analogue" of semisimplification for subgroups of G(k) ). We also show that under some extra hypotheses, one can pick H' in a more canonical way using the Tits Centre Conjecture for spherical buildings and or the theory of optimal destabilising cocharacters introduced by Hesselink, Kempf and Rousseau.


Constrained Decoding for Computationally Efficient Named Entity Recognition Taggers. Current state of the art models for named entity recognition (NER) are neural models with a conditional random field (CRF) as the final layer. Entities are represented as per token labels with a special structure in order to decode them into spans. Current work eschews prior knowledge of how the span encoding scheme works and relies on the CRF learning which transitions are illegal and which are not to facilitate global coherence. We find that by constraining the output to suppress illegal transitions we can train a tagger with a cross entropy loss twice as fast as a CRF with differences in F1 that are statistically insignificant, effectively eliminating the need for a CRF. We analyze the dynamics of tag co occurrence to explain when these constraints are most effective and provide open source implementations of our tagger in both PyTorch and TensorFlow.


Maximum principle for stochastic recursive optimal control problem under model uncertainty. In this paper, we consider a stochastic recursive optimal control problem under model uncertainty. In this framework, the cost function is described by solutions of a family of backward stochastic differential equations. With the help of the linearization techniques and weak convergence methods, we derive the corresponding stochastic maximum principle. Moreover, a linear quadratic robust control problem is also studied.


Existence of least energy positive solutions to Schr " o dinger systems with mixed competition and cooperation terms the critical case. In this paper we investigate the existence of solutions to the following Schr " o dinger system in the critical case begin equation Delta u i lambda i u i u i sum j 1 d beta ij u j 2 text in Omega, quad u i 0 text on partial Omega, qquad i 1,...,d. end equation Here, Omega subset mathbb R 4 is a smooth bounded domain, d geq 2 , lambda 1 ( Omega) lambda i 0 and beta ii 0 for every i , beta ij beta ji for i neq j , where lambda 1 ( Omega) is the first eigenvalue of Delta with Dirichlet boundary conditions. Under the assumption that the components are divided into m groups, and that beta ij geq 0 (cooperation) whenever components i and j belong to the same group, while beta ij 0 or beta ij is positive and small (competition or weak cooperation) for components i and j belonging to different groups, we establish the existence of nonnegative solutions with m nontrivial components, as well as classification results. Moreover, under additional assumptions on beta ij , we establish existence of least energy positive solutions in the case of mixed cooperation and competition. The proof is done by induction on the number of groups, and requires new estimates comparing energy levels of the system with those of appropriate sub systems. In the case Omega mathbb R 4 and lambda 1 ldots lambda m 0 , we present new nonexistence results. This paper can be seen as the counterpart of Soave Tavares, J. Differential Equations 261 (2016), 505 537 in the critical case, while extending and improving some results from Chen Zou, Arch. Ration. Mech. Anal. 205 (2012), 515 551 , Guo Luo Zou, Nonlinearity 31 (2018), 314 339 .


Perfectly reflecting guided mode resonant photonic lattices possessing Mie modal memory. Resonant periodic nanostructures provide perfect reflection across small or large spectral bandwidths depending on the choice of materials and design parameters. This effect has been known for decades, observed theoretically and experimentally via one dimensional and two dimensional structures commonly known as resonant gratings, metamaterials, and metasurfaces. The physical cause of this extraordinary phenomenon is guided mode resonance mediated by lateral Bloch modes excited by evanescent diffraction orders in the subwavelength regime. In recent years, hundreds of papers have declared Fabry Perot or Mie resonance to be basis of the perfect reflection possessed by periodic metasurfaces. Treating a simple one dimensional cylindrical rod lattice, here we show clearly and unambiguously that Mie resonance does not cause perfect reflection. In fact, the spectral placement of the Bloch mode mediated zero order reflectance is primarily controlled by the lattice period by way of its direct effect on the homogenized effective medium refractive index of the lattice. In general, perfect reflection appears away from Mie resonance. However, when the lateral leaky mode field profiles approach the isolated particle Mie field profiles, the resonance locus tends towards the Mie resonance wavelength. The fact that the lattice fields remember the isolated particle fields is referred here as Mie modal memory. On erasure of the Mie memory by an index matched sublayer, we show that perfect reflection survives with the resonance locus approaching the homogenized effective medium waveguide locus. The results presented here will aid in clarifying the physical basis of general resonant photonic lattices.


Exploring the Role of Argument Structure in Online Debate Persuasion. Online debate forums provide users a platform to express their opinions on controversial topics while being exposed to opinions from diverse set of viewpoints. Existing work in Natural Language Processing (NLP) has shown that linguistic features extracted from the debate text and features encoding the characteristics of the audience are both critical in persuasion studies. In this paper, we aim to further investigate the role of discourse structure of the arguments from online debates in their persuasiveness. In particular, we use the factor graph model to obtain features for the argument structure of debates from an online debating platform and incorporate these features to an LSTM based model to predict the debater that makes the most convincing arguments. We find that incorporating argument structure features play an essential role in achieving the better predictive performance in assessing the persuasiveness of the arguments in online debates.


Identifying and characterizing ZMap scans a cryptanalytic approach. Network scanning tools play a major role in Internet security. They are used by both network security researchers and malicious actors to identify vulnerable machines exposed on the Internet. ZMap is one of the most common probing tools for high speed Internet wide scanning. We present novel identification methods based on the IPv4 iteration process of ZMap. These methods can be used to identify ZMap scans with a small number of addresses extracted from the scan. We conduct an experimental evaluation of these detection methods on synthetic, network telescope, and backbone traffic. We manage to identify 28.5 of the ZMap scans in real world traffic. We then perform an in depth characterization of these scans regarding, for example, targeted prefix and probing speed.


Evacuation of equilateral triangles by mobile agents of limited communication range. We consider the problem of evacuating k geq 2 mobile agents from a unit sided equilateral triangle through an exit located at an unknown location on the perimeter of the triangle. The agents are initially located at the centroid of the triangle and they can communicate with other agents at distance at most r with 0 leq r leq 1 . An agent can move at speed at most one, and finds the exit only when it reaches the point where the exit is located. The agents can collaborate in the search for the exit. The goal of the em evacuation problem is to minimize the evacuation time, defined as the worst case time for em all the agents to reach the exit. We propose and analyze several algorithms for the problem of evacuation by k geq 2 agents our results indicate that the best strategy to be used varies depending on the values of r and k . For two agents, we give three algorithms, each of which achieves the best performance for different sub ranges of r in the range 0 leq r leq 1 . Finally, we show that for any r , evacuation of k 6 2 lceil( frac 1 r 1) rceil agents can be done in time 1 sqrt 3 3 , which is optimal in terms of time, and asymptotically optimal in terms of the number of agents.


Numerical Solution of Inverse Problems by Weak Adversarial Networks. We consider a weak adversarial network approach to numerically solve a class of inverse problems, including electrical impedance tomography and dynamic electrical impedance tomography problems. We leverage the weak formulation of PDE in the given inverse problem, and parameterize the solution and the test function as deep neural networks. The weak formulation and the boundary conditions induce a minimax problem of a saddle function of the network parameters. As the parameters are alternatively updated, the network gradually approximates the solution of the inverse problem. We provide theoretical justifications on the convergence of the proposed algorithm. Our method is completely mesh free without any spatial discretization, and is particularly suitable for problems with high dimensionality and low regularity on solutions. Numerical experiments on a variety of test inverse problems demonstrate the promising accuracy and efficiency of our approach.


Polynomial Superlevel Set Representation of the Multistationarity Region of Chemical Reaction Networks. In this work a new representation of the multistationarity region of reaction networks is introduced using the polynomial superlevel sets. The advantages of using the polynomial superlevel set representation to the former existing representations such as CAD, the finite and the grid representations are discussed. And finally the algorithms to compute this new representation are provided. The results are given in a general mathematical formalism of parametric system of equations and therefore can be used in other applied areas.


Surface tension and the origin of the circular hydraulic jump in a thin liquid film. It was recently claimed by Bhagat et al. (J. Fluid Mech. vol. 851 (2018), R5) that the scientific literature on the circular hydraulic jump in a thin liquid film is flawed by improper treatment and severe underestimation of the influence of surface tension. Bhagat em et al. use an energy equation with a new surface energy term that is introduced without reference, and they conclude that the location of the hydraulic jump is determined by surface tension alone. We show that this approach is incorrect and derive a corrected energy equation. Proper treatment of surface tension in thin film flows is of general interest beyond hydraulic jumps, and we show that the effect of surface tension is fully contained in the Laplace pressure due to the curvature of the surface. Following the same approach as Bhagat et al., i.e., keeping only the first derivative of the surface velocity, the influence of surface tension is, for thin films, much smaller than claimed by them. We further describe the influence of viscosity in thin film flows, and we conclude by discussing the distinction between time dependent and stationary hydraulic jumps.


Coordinated Multi Point Transmission A Poisson Delaunay Triangulation Based Approach. Coordinated multi point (CoMP) transmission is a cooperating technique among base stations (BSs) in a cellular network, with outstanding capability at inter cell interference (ICI) mitigation. ICI is a dominant source of error, and has detrimental effects on system performance if not managed properly. Based on the theory of Poisson Delaunay triangulation, this paper proposes a novel analytical model for CoMP operation in cellular networks. Unlike the conventional CoMP operation that is dynamic and needs on line updating occasionally, the proposed approach enables the cooperating BS set of a user equipment (UE) to be fixed and off line determined according to the location information of BSs. By using the theory of stochastic geometry, the coverage probability and spectral efficiency of a typical UE are analyzed, and simulation results corroborate the effectiveness of the proposed CoMP scheme and the developed performance analysis.


Conic Reformulations for Kullback Leibler Divergence Constrained Distributionally Robust Optimization and Applications. In this paper, we consider a distributionally robust optimization (DRO) model in which the ambiguity set is defined as the set of distributions whose Kullback Leibler (KL) divergence to an empirical distribution is bounded. Utilizing the fact that KL divergence is an exponential cone representable function, we obtain the robust counterpart of the KL divergence constrained DRO problem as a dual exponential cone constrained program under mild assumptions on the underlying optimization problem. The resulting conic reformulation of the original optimization problem can be directly solved by a commercial conic programming solver. We specialize our generic formulation to two classical optimization problems, namely, the Newsvendor Problem and the Uncapacitated Facility Location Problem. Our computational study in an out of sample analysis shows that the solutions obtained via the DRO approach yield significantly better performance in terms of the dispersion of the cost realizations while the central tendency deteriorates only slightly compared to the solutions obtained by stochastic programming.


The Covariance Extension Equation A Riccati type Approach to Analytic Interpolation. Analytic interpolation problems with rationality and derivative constraints are ubiquitous in systems and control. This paper provides a new method for such problems, both in the scalar and matrix case, based on a non standard Riccati type equation. The rank of the solution matrix is the same as the degree of the interpolant, thus providing a natural approach to model reduction. A homotopy continuation method is presented and applied to some problems in modeling and robust control. We also address a question on the positive degree of a covariance sequence originally posed by Kalman.


The RFD and KAC quotients of the Hopf algebras of universal orthogonal quantum groups. We determine the Kac quotient and the RFD (residually finite dimensional) quotient for the Hopf algebras associated to universal orthogonal quantum groups.


MAB Malware A Reinforcement Learning Framework for Attacking Static Malware Classifiers. Modern commercial antivirus systems increasingly rely on machine learning to keep up with the rampant inflation of new malware. However, it is well known that machine learning models are vulnerable to adversarial examples (AEs). Previous works have shown that ML malware classifiers are fragile to the white box adversarial attacks. However, ML models used in commercial antivirus products are usually not available to attackers and only return hard classification labels. Therefore, it is more practical to evaluate the robustness of ML models and real world AVs in a pure black box manner. We propose a black box Reinforcement Learning (RL) based framework to generate AEs for PE malware classifiers and AV engines. It regards the adversarial attack problem as a multi armed bandit problem, which finds an optimal balance between exploiting the successful patterns and exploring more varieties. Compared to other frameworks, our improvements lie in three points. 1) Limiting the exploration space by modeling the generation process as a stateless process to avoid combination explosions. 2) Due to the critical role of payload in AE generation, we design to reuse the successful payload in modeling. 3) Minimizing the changes on AE samples to correctly assign the rewards in RL learning. It also helps identify the root cause of evasions. As a result, our framework has much higher black box evasion rates than other off the shelf frameworks. Results show it has over 74 97 evasion rate for two state of the art ML detectors and over 32 48 evasion rate for commercial AVs in a pure black box setting. We also demonstrate that the transferability of adversarial attacks among ML based classifiers is higher than the attack transferability between purely ML based and commercial AVs.


Vision Based Autonomous Vehicle Control using the Two Point Visual Driver Control Model. This work proposes a new self driving framework that uses a human driver control model, whose feature input values are extracted from images using deep convolutional neural networks (CNNs). The development of image processing techniques using CNNs along with accelerated computing hardware has recently enabled real time detection of these feature input values. The use of human driver models can lead to more "natural" driving behavior of self driving vehicles. Specifically, we use the well known two point visual driver control model as the controller, and we use a top down lane cost map CNN and the YOLOv2 CNN to extract feature input values. This framework relies exclusively on inputs from low cost sensors like a monocular camera and wheel speed sensors. We experimentally validate the proposed framework on an outdoor track using a 1 5th scale autonomous vehicle platform.


Rate Constrained Shaping Codes for Structured Sources. Shaping codes are used to encode information for use on channels with cost constraints. Applications include data transmission with a power constraint and, more recently, data storage on flash memories with a constraint on memory cell wear. In the latter application, system requirements often impose a rate constraint. In this paper, we study rate constrained fixed to variable length shaping codes for noiseless, memoryless costly channels and general i.i.d. sources. The analysis relies on the theory of word valued sources. We establish a relationship between the code expansion factor and minimum average symbol cost. We then determine the expansion factor that minimizes the average cost per source symbol (total cost), corresponding to a conventional optimal source code with cost. An equivalence is established between codes minimizing average symbol cost and codes minimizing total cost, and a separation theorem is proved, showing that optimal shaping can be achieved by a concatenation of optimal compression and optimal shaping for a uniform i.i.d. source. Shaping codes often incorporate, either explicitly or implicitly, some form of non equiprobable signaling. We use our results to further explore the connections between shaping codes and codes that map a sequence of i.i.d. source symbols into an output sequence of symbols that are approximately independent and distributed according to a specified target distribution, such as distribution matching (DM) codes. Optimal DM codes are characterized in terms of a new performance measure generalized expansion factor (GEF) motivated by the costly channel perspective. The GEF is used to study DM codes that minimize informational divergence and normalized informational divergence.


Gradient projection and conditional gradient methods for constrained nonconvex minimization. Minimization of a smooth function on a sphere or, more generally, on a smooth manifold, is the simplest non convex optimization problem. It has a lot of applications. Our goal is to propose a version of the gradient projection algorithm for its solution and to obtain results that guarantee convergence of the algorithm under some minimal natural assumptions. We use the Lezanski Polyak Lojasiewicz condition on a manifold to prove the global linear convergence of the algorithm. Another method well fitted for the problem is the conditional gradient (Frank Wolfe) algorithm. We examine some conditions which guarantee global convergence of full step version of the method with linear rate.


Global dissipative solutions of the defocusing isothermal Euler Langevin Korteweg equation. We construct global dissipative solutions on the torus of dimension at most three of the defocusing isothermal Euler Langevin Korteweg system, which corresponds to the Euler Korteweg system of compressible quantum fluids with an isothermal pressure law and a linear drag term with respect to the velocity. In particular, the isothermal feature prevents the energy and the BD entropy from being positive. Adapting standard approximation arguments we first show the existence of global weak solutions to the defocusing isothermal Navier Stokes Langevin Korteweg system. Introducing a relative entropy function satisfying a Gronwall type inequality we then perform the inviscid limit to obtain the existence of dissipative solutions of the Euler Langevin Korteweg system.


Population based metaheuristics for Association Rule Text Mining. Nowadays, the majority of data on the Internet is held in an unstructured format, like websites and e mails. The importance of analyzing these data has been growing day by day. Similar to data mining on structured data, text mining methods for handling unstructured data have also received increasing attention from the research community. The paper deals with the problem of Association Rule Text Mining. To solve the problem, the PSO ARTM method was proposed, that consists of three steps Text preprocessing, Association Rule Text Mining using population based metaheuristics, and text postprocessing. The method was applied to a transaction database obtained from professional triathlon athletes' blogs and news posted on their websites. The obtained results reveal that the proposed method is suitable for Association Rule Text Mining and, therefore, offers a promising way for further development.


Well posedness and Regularity for a Polyconvex Energy. We prove the existence, uniqueness, and regularity of minimizers of a polyconvex functional in two and three dimensions, which corresponds to the H 1 projection of measure preserving maps. Our result introduces a new criteria on the uniqueness of the minimizer, based on the smallness of the lagrange multiplier. No estimate on the second derivatives of the pressure is needed to get a unique global minimizer. As an application, we construct a minimizing movement scheme to construct L r solutions of the Navier Stokes equation for a short time interval.


Manifesto for Improved Foundations of Relational Model. Normalized relations extended with inherited attributes can be more faithful to reality and support logical navigation free queries, properties available at present only through specific views. Adding inherited attributes can be nonetheless always less procedural than to define any such views. Present schemes should even typically suffice for relations with foreign keys. Implementing extended relations on popular DBSs appears also simple. Relational model should evolve accordingly, for benefit of likely millions of DBAs, clients, developers.


The short term seasonal analyses between atmospheric environment and COVID 19 in epidemic areas of Cities in Australia, South Korea, and Italy. The impact of the outbreak of COVID 19 on health has been widely concerned. Disease risk assessment, prediction, and early warning have become a significant research field. Previous research suggests that there is a relationship between air quality and the disease. This paper investigated the impact of the atmospheric environment on the basic reproduction number (R 0 ) in Australia, South Korea, and Italy by using atmospheric environment data, confirmed case data, and the distributed lag non linear model (DLNM) model based on Quasi Poisson regression. The results show that the air temperature and humidity have lag and persistence on short term R 0 , and seasonal factors have an apparent decorating effect on R 0 . PM 10 is the primary pollutant that affects the excess morbidity rate. Moreover, O 3 , PM 2.5 , and SO 2 as perturbation factors have an apparent cumulative effect. These results present beneficial knowledge for correlation between environment and COVID 19, which guiding prospective analyses of disease data.


Description and classification of 2 solitary waves for nonlinear damped Klein Gordon equations. We describe completely 2 solitary waves related to the ground state of the nonlinear damped Klein Gordon equation begin equation partial tt u 2 alpha partial t u Delta u u u p 1 u 0 end equation on bf R N , for 1 leq N leq 5 and energy subcritical exponents p 2 . The description is twofold. First, we prove that 2 solitary waves with same sign do not exist. Second, we construct and classify the full family of 2 solitary waves in the case of opposite signs. Close to the sum of two remote solitary waves, it turns out that only the components of the initial data in the unstable direction of each ground state are relevant in the large time asymptotic behavior of the solution. In particular, we show that 2 solitary waves have a universal behavior the distance between the solitary waves is asymptotic to log t as t to infty . This behavior is due to damping of the initial data combined with strong interactions between the solitary waves.


Complexity of correctness for pomset logic proof nets. We show that it is coNP complete to decide whether a given proof structure of pomset logic is a correct proof net, using the graph theoretic used in a previous paper of ours (arXiv 1901.10247).


Polytopal k wedge construction and its application on quasitoric orbifolds. In this paper, we introduce polytopal k wedge operation on simple polytopes and show its effect on quasitoric orbifolds called k wedge of them. Consequently, it helps to construct infinitely many (quasi)toric orbifolds from a given one. We study the properties of blowdown of simple polytope along with the effect on its retraction sequence. We also give necessary and sufficient conditions when a blowdown preserves the simpleness of polytopes. We investigate the orbifold properties and cohomologies of polytopal k wedges as well as blowdowns of quasitoric orbifold from the old one. Moreover, we show that polytopal wedge operation in https doi.org 10.1515 forum 2018 0019 is a particular case of blowdown on quasitoric orbifold. However, interestingly polytopal k wedge of quasitoric orbifolds may not be possible to obtain from iterated polytopal wedge operation in general.


Omnidirectional Three Module Robot Design and Simulation. This paper introduces the Omnidirectional Tractable Three Module Robot for traversing inside complex pipe networks. The robot consists of three omnidirectional modules fixed 120 deg apart circumferentially which can rotate about their axis allowing holonomic motion of the robot. Holonomic motion enables the robot to overcome motion singularity when negotiating T junctions and further allows the robot to arrive in a preferred orientation while taking turns inside a pipe. The singularity region while negotiating T junctions is analyzed to formulate the geometry of the region. The design and motion capabilities are validated by conducting simulations in MSC ADAMS on a simplified lumped model of the robot.


Quasinormal mode expansion of optical far field quantities. Quasinormal mode (QNM) expansion is a popular tool to analyze light matter interaction in nanoresonators. However, expanding far field quantities such as the energy flux is an open problem because QNMs diverge with an increasing distance to the resonant systems. We introduce a theory to compute modal expansions of far field quantities rigorously. The presented approach is based on the complex eigenfrequencies of QNMs. The divergence problem is circumvented by using contour integration with an analytical continuation of the far field quantity into the complex frequency plane. We demonstrate the approach by computing the angular resolved modal energy flux in the far field of a nanophotonic device.


Funnel Transform for Straight Line Detection. Most of the classical approaches to straight line detection only deal with a binary edge image and need to use 2D interpolation operation. This paper proposes a new transform method figuratively named as funnel transform which can efficiently and rapidly detect straight lines. The funnel transform consists of three 1D Fourier transforms and one nonlinear variable metric transform (NVMT). It only needs to exploit 1D interpolation operation for achieving its NVMT, and can directly handle grayscale images by using its high pass filter property, which significantly improves the performance of the closely related approaches. Based on the slope intercept line equation, the funnel transform can more uniformly turn the straight lines formed by ridge typical and step typical edges into the local maximum points (peaks). The parameters of each line can be uniquely extracted from its corresponding peak coordinates. Additionally, each peak can be theoretically specified by a 2D delta function, which makes the peaks and lines more easily identified and detected, respectively. Theoretical analysis and experimental results demonstrate that the funnel transform has advantages including smaller computational complexity, lower hardware cost, higher detection probability, greater location precision, better parallelization properties, stronger anti occlusion and noise robustness.


HoloDetect Few Shot Learning for Error Detection. We introduce a few shot learning framework for error detection. We show that data augmentation (a form of weak supervision) is key to training high quality, ML based error detection models that require minimal human involvement. Our framework consists of two parts (1) an expressive model to learn rich representations that capture the inherent syntactic and semantic heterogeneity of errors and (2) a data augmentation model that, given a small seed of clean records, uses dataset specific transformations to automatically generate additional training data. Our key insight is to learn data augmentation policies from the noisy input dataset in a weakly supervised manner. We show that our framework detects errors with an average precision of 94 and an average recall of 93 across a diverse array of datasets that exhibit different types and amounts of errors. We compare our approach to a comprehensive collection of error detection methods, ranging from traditional rule based methods to ensemble based and active learning approaches. We show that data augmentation yields an average improvement of 20 F1 points while it requires access to 3x fewer labeled examples compared to other ML approaches.


Collisions Between Ultracold Atoms and Cold Molecules in a Dual Electrostatic Magnetic Trap. Measurements of interactions between cold molecules and ultracold atoms can allow for a detailed understanding of fundamental collision processes. These measurements can be done using various experimental geometries including where both species are in a beam, where one species is trapped, or when both species are trapped. Simultaneous trapping offers significantly longer interaction times and an associated increased sensitivity to rare collision events. However, there are significant practical challenges associated with combining atom and molecule systems, which often have competing experimental requirements. Here, we describe in detail an experimental system that allows for studies of cold collisions between ultracold atoms and cold molecules in a dual trap, where the atoms and molecules are trapped using static magnetic and electric fields, respectively. As a demonstration of the system's capabilities, we study cold collisions between ammonia ( 14 ND 3 and 15 ND 3 ) molecules and rubidium ( 87 Rb and 85 Rb) atoms.


The Long, the Short and the Random. We furnish solid evidence, both theoretical and empirical, towards the existence of a deterministic algorithm for random sparse Omega( log n) SAT instances, which computes the exact counting of satisfying assignments in sub exponential time. The algorithm uses a nice combinatorial property that every CNF formula has, which relates its number of unsatisfying assignments to the space of its monotone sub formulae.


Bisimulation Finiteness of Pushdown Systems Is Elementary. We show that in case a pushdown system is bisimulation equivalent to a finite system, there is already a bisimulation equivalent finite system whose size is elementarily bounded in the description size of the pushdown system. As a consequence we obtain that it is elementarily decidable if a given pushdown system is bisimulation equivalent to some finite system. This improves a previously best known ACKERMANN upper bound for this problem.


Adaptive Convolution for Semantic Role Labeling. Semantic role labeling (SRL) aims at elaborating the meaning of a sentence by forming a predicate argument structure. Recent researches depicted that the effective use of syntax can improve SRL performance. However, syntax is a complicated linguistic clue and is hard to be effectively applied in a downstream task like SRL. This work effectively encodes syntax using adaptive convolution which endows strong flexibility to existing convolutional networks. The existing CNNs may help in encoding a complicated structure like syntax for SRL, but it still has shortcomings. Contrary to traditional convolutional networks that use same filters for different inputs, adaptive convolution uses adaptively generated filters conditioned on syntactically informed inputs. We achieve this with the integration of a filter generation network which generates the input specific filters. This helps the model to focus on important syntactic features present inside the input, thus enlarging the gap between syntax aware and syntax agnostic SRL systems. We further study a hashing technique to compress the size of the filter generation network for SRL in terms of trainable parameters. Experiments on CoNLL 2009 dataset confirm that the proposed model substantially outperforms most previous SRL systems for both English and Chinese languages


Bringing GNU Emacs to Native Code. Emacs Lisp (Elisp) is the Lisp dialect used by the Emacs text editor family. GNU Emacs can currently execute Elisp code either interpreted or byte interpreted after it has been compiled to byte code. In this work we discuss the implementation of an optimizing compiler approach for Elisp targeting native code. The native compiler employs the byte compiler's internal representation as input and exploits libgccjit to achieve code generation using the GNU Compiler Collection (GCC) infrastructure. Generated executables are stored as binary files and can be loaded and unloaded dynamically. Most of the functionality of the compiler is written in Elisp itself, including several optimization passes, paired with a C back end to interface with the GNU Emacs core and libgccjit. Though still a work in progress, our implementation is able to bootstrap a functional Emacs and compile all lexically scoped Elisp files, including the whole GNU Emacs Lisp Package Archive (ELPA). Native compiled Elisp shows an increase of performance ranging from 2.3x up to 42x with respect to the equivalent byte code, measured over a set of small benchmarks.


On the Fourth order Schr "odinger equation in three dimensions dispersive estimates and zero energy resonances. We study the fourth order Schr "odinger operator H ( Delta) 2 V for a short range potential in three space dimensions. We provide a full classification of zero energy resonances and study the dynamic effect of each on the L 1 to L infty dispersive bounds. In all cases, we show that the natural t frac34 decay rate may be attained, though for some resonances this requires subtracting off a finite rank term, which we construct and analyze. The classification of these resonances, as well as their dynamical consequences differ from the Schr "odinger operator Delta V .


The fixed point property for (c) mappings and unbounded sets. We prove that a closed convex subset C of a real Hilbert space X has the fixed point property for (c) mappings if and only if C is bounded. Some convergence results about the iterations are obtained.