Gluing vertex algebras. We relate commutative algebras in braided tensor categories to braid reversed tensor equivalences, motivated by vertex algebra representation theory. First, for mathcal C a braided tensor category, we give a detailed construction of the canonical algebra in mathcal C boxtimes mathcal C text rev if mathcal C is semisimple but not necessarily finite or rigid, then bigoplus X in text Irr ( mathcal C ) X' boxtimes X is a commutative algebra, with X' a representing object for text Hom mathcal C ( bullet otimes mathcal C X, mathbf 1 mathcal C ) . Conversely, let A bigoplus i in I U i boxtimes V i be a simple commutative algebra in mathcal U boxtimes mathcal V with mathcal U semisimple and rigid but not necessarily finite, and mathcal V rigid but not necessarily semisimple. If the unit objects of mathcal U and mathcal V form a commuting pair in A , we show there is a braid reversed equivalence between subcategories of mathcal U and mathcal V sending U i to V i . When mathcal U and mathcal V are module categories for simple vertex operator algebras U and V , we glue U and V along mathcal U boxtimes mathcal V via a map tau text Irr ( mathcal U ) rightarrow text Obj ( mathcal V ) such that tau(U) V to create A bigoplus X in text Irr ( mathcal U ) X' otimes tau(X) . Thus under certain conditions, tau extends to a braid reversed equivalence between mathcal U and mathcal V if and only if A is a simple conformal vertex algebra extending U otimes V . As examples, we glue Kazhdan Lusztig categories at generic levels to obtain new vertex algebras extending the tensor product of two affine vertex algebras, and we prove braid reversed equivalences between certain module categories for affine vertex algebras and W algebras at admissible levels.


A state redistribution algorithm for finite volume schemes on cut cell meshes. In this paper we develop a new technique, called textit state redistribution , that allows the use of explicit time stepping when approximating solutions to hyperbolic conservation laws on embedded boundary grids. State redistribution is a postprocessing technique applied after each time step or stage of the base finite volume scheme, using a time step that is proportional to the volume of the full cells. The idea is to stabilize the cut cells by temporarily merging them into larger, possibly overlapping neighborhoods, then replacing the cut cell values with a stabilized value that maintains conservation and accuracy. We present examples of state redistribution using two base schemes MUSCL and a second order Method of Lines finite volume scheme. State redistribution is used to compute solutions to several standard test problems in gas dynamics on cut cell meshes, with both smooth and discontinuous solutions. We show that our method does not reduce the accuracy of the base scheme and that it successfully captures shocks in a non oscillatory manner.


On the interplay between CPE metrics, vacuum static spaces and sigma 2 singular spaces. We call CPE metrics the critical points of the total scalar curvature functional restricted to the space of metrics with constant scalar curvature of unitary volume. In this short note, we give a necessary and sufficient condition for a CPE metric to be Einstein in therms of sigma 2 singular spaces. Such a result improves our understanding about CPE metrics and Besse's conjecture with a new geometric point of view. Moreover, we prove that the CPE condition can be replaced by the related vacuum static space condition to characterize closed Einstein manifolds in terms of sigma 2 singular spaces.


Vaccination strategies against COVID 19 and the diffusion of anti vaccination views. Miss information is usually adjusted to fit distinct narratives and can propagate rapidly through communities of interest, which work as echo chambers, cause reinforcement and foster confirmation bias. False beliefs, once adopted, are rarely corrected. Amidst the COVID 19 crisis, pandemic deniers and people who oppose wearing face masks or quarantines have already been a substantial aspect of the development of the pandemic. With a potential vaccine for COVID 19, different anti vaccine narratives will be created and, likely, adopted by large population groups, with critical consequences. Here, we analyse epidemic spreading and optimal vaccination strategies, measured with the average years of life lost, in two network topologies (scale free and small world) assuming full adherence to vaccine administration. We consider the spread of anti vaccine views in the network, using a similar diffusion model as the one used in epidemics, which are adopted based on a persuasiveness parameter of anti vaccine views. Results show that even if an anti vaccine narrative has a small persuasiveness, a large part of the population will be rapidly exposed to them. Assuming that all individuals are equally likely to adopt anti vaccine views after being exposed, more central nodes in the network are more exposed and therefore are more likely to adopt them. Comparing years of life lost, anti vaccine views could have a significant cost not only on those who share them, since the core social benefits of a limited vaccination strategy (reduction of susceptible hosts, network disruptions and slowing the spread of the disease) are substantially shortened.


Disentangling Homophemes in Lip Reading using Perplexity Analysis. The performance of automated lip reading using visemes as a classification schema has achieved less success compared with the use of ASCII characters and words largely due to the problem of different words sharing identical visemes. The Generative Pre Training transformer is an effective autoregressive language model used for many tasks in Natural Language Processing, including sentence prediction and text classification. This paper proposes a new application for this model and applies it in the context of lip reading, where it serves as a language model to convert visual speech in the form of visemes, to language in the form of words and sentences. The network uses the search for optimal perplexity to perform the viseme to word mapping and is thus a solution to the one to many mapping problem that exists whereby various words that sound different when spoken look identical. This paper proposes a method to tackle the one to many mapping problem when performing automated lip reading using solely visual cues in two separate scenarios the first scenario is where the word boundary, that is, the beginning and the ending of a word, is unknown and the second scenario is where the boundary is known. Sentences from the benchmark BBC dataset "Lip Reading Sentences in the Wild"(LRS2), are classified with a character error rate of 10.7 and a word error rate of 18.0 . The main contribution of this paper is to propose a method of predicting words through the use of perplexity analysis when only visual cues are present, using an autoregressive language model.


Kernel for Kt free edge deletion. In the K t free edge deletion problem, the input is a graph G and an integer k , and the goal is to decide whether there is a set of at most k edges of G whose removal results a graph with no clique of size t . In this paper we give a kernel to this problem with O(k t 1 ) vertices and edges.


Infinitesimal Center Problem on zero cycles and the composition conjecture. We study the analogue of the classical infinitesimal center problem in the plane, but for zero cycles. We define the displacement function in this context and prove that it is identically zero if and only if the deformation has a composition factor. That is, we prove that here the composition conjecture is true, in contrast with the tangential center problem on zero cycles. Finally, we give examples of applications of our results.


Analytic and rational sections of relative semi abelian varieties. The hyperbolicity statements for subvarieties and complements of hypersurfaces in abelian varieties admit arithmetic analogues, due to Faltings (and Vojta for the semi abelian case). In Atti Accad. Naz. Lincei Rend. Lincei Mat. Appl. 29 (2018) by the second author, an analogy between the analytic and arithmetic theories was shown to hold also at proof level, namely in a proof of Raynaud's theorem (Manin Mumford Conjecture). The first aim of this paper is to extend to the relative setting the above mentioned hyperbolicity results. We shall be concerned with analytic sections of a relative (semi )abelian scheme over an affine algebraic curve. These sections form a group while the group of rational sections (the Mordell Weil group) has been widely studied, little investigation has been pursued so far on the group of the analytic sections. We take the opportunity of developing some basic structure of this apparently new theory, defining a notion of height or order functions for the analytic sections, by means of Nevanlinna theory.


Performance Tuning and Scaling Enterprise Blockchain Applications. Blockchain scalability can be complicated and costly. As enterprises begin to adopt blockchain technology to solve business problems, there are valid concerns if blockchain applications can support the transactional demands of production systems. In fact, the multiple distributed components and protocols that underlie blockchain applications makes performance optimization a non trivial task. Blockchain performance optimization and scalability require a methodology to reduce complexity and cost. Furthermore, existing performance results often lack the requirements, load, and infrastructure of a production application. In this paper, we first develop a methodical approach to performance tuning enterprise blockchain applications to increase performance and transaction capacity. The methodology is applied to an enterprise blockchain based application (leveraging Hyperledger Fabric) for performance tuning and optimization with the goal of bridging the gap between laboratory and production deployed system performance. We then present extensive results and analysis of our performance testing for on premise and cloud deployments, in which we were able to scale the application from 30 to 3000 TPS without forking the Hyperledger Fabric source code and maintaining a reasonable infrastructure footprint. We also provide blockchain application and platform recommendations for performance improvement.


Three dimensional Simultaneous Shape and Pose Estimation for Extended Objects Using Spherical Harmonics. We propose a new recursive method for simultaneous estimation of both the pose and the shape of a three dimensional extended object. The key idea of the presented method is to represent the shape of the object using spherical harmonics, similar to the way Fourier series can be used in the two dimensional case. This allows us to derive a measurement equation that can be used within the framework of nonlinear filters such as the UKF. We provide both simulative and experimental evaluations of the novel techniques.


Geometric algorithms for predicting resilience and recovering damage in neural networks. Biological neural networks have evolved to maintain performance despite significant circuit damage. To survive damage, biological network architectures have both intrinsic resilience to component loss and also activate recovery programs that adjust network weights through plasticity to stabilize performance. Despite the importance of resilience in technology applications, the resilience of artificial neural networks is poorly understood, and autonomous recovery algorithms have yet to be developed. In this paper, we establish a mathematical framework to analyze the resilience of artificial neural networks through the lens of differential geometry. Our geometric language provides natural algorithms that identify local vulnerabilities in trained networks as well as recovery algorithms that dynamically adjust networks to compensate for damage. We reveal striking vulnerabilities in commonly used image analysis networks, like MLP's and CNN's trained on MNIST and CIFAR10 respectively. We also uncover high performance recovery paths that enable the same networks to dynamically re adjust their parameters to compensate for damage. Broadly, our work provides procedures that endow artificial systems with resilience and rapid recovery routines to enhance their integration with IoT devices as well as enable their deployment for critical applications.


On good approximations and Bowen Series expansion. We consider the continued fraction expansion of real numbers under the action of a non uniform lattice in PSL(2,R) and prove metric relations between the convergents and a natural geometric notion of good approximations.


Fast Thresholded SC Flip Decoding of Polar Codes. SC Flip (SCF) decoding algorithm shares the attention with the common polar code decoding approaches due to its low complexity and improved error correction performance. However, the inefficient criterion for locating the correct bit flipping position in SCF decoding limits its improvements. Due to its improved bit flipping criterion, Thresholded SCF (TSCF) decoding algorithm exhibits a superior error correction performance and lower computational complexity than SCF decoding. However, the parameters of TSCF decoding depend on multiple channel and code parameters, and are obtained via Monte Carlo simulations. Our main goal is to realize TSCF decoding as a practical polar decoder implementation. To this end, we first realize an approximated threshold value that is independent of the code parameters and precomputations. The proposed approximation has negligible error correction performance degradation on the TSCF decoding. Then, we validate an alternative approach for forming a critical set that does not require precomputations, which also paves the way to the implementation of the Fast TSCF decoder. Compared to the existing fast SCF implementations, the proposed Fast TSCF decoder has 0.24 to 0.41 dB performance gain at frame error rate of 10 3 , without any extra cost. Compared to the TSCF decoding, Fast TSCF does not depend on precomputations and requires 87 fewer decoding steps. Finally, implementation results in TSMC 65nm CMOS technology show that the Fast TSCF decoder is 20 and 82 more area efficient than the state of the art fast SCF and fast SC List decoder architectures, respectively.


Simplicial homeomorphs and trace bounded hypergraphs. Our first main result is a uniform bound, in every dimension k in mathbb N , on the topological Tur 'an numbers of k dimensional simplicial complexes for each k in mathbb N , there is a lambda k ge k 2k 2 such that for any k complex mathcal S , every k complex on n ge n 0( mathcal S ) vertices with at least n k 1 lambda k facets contains a homeomorphic copy of mathcal S . This was previously known only in dimensions one and two, both by highly dimension specific arguments the existence of lambda 1 is a result of Mader from 1967, and the existence of lambda 2 was suggested by Linial in 2006 and recently proved by Keevash Long Narayanan Scott. We deduce this geometric fact from a purely combinatorial result about trace bounded hypergraphs, where an r partite r graph H with partite classes V 1, V 2, dots, V r is said to be d trace bounded if for each 2 le i le r , all the vertices of V i have degree at most d in the trace of H on V 1 cup V 2 cup dots cup V i . Our second main result is the following estimate for the Tur 'an numbers of degenerate trace bounded hypergraphs for all r ge 2 and d in mathbb N , there is an alpha r,d ge (5rd) 1 r such that for any d trace bounded r partite r graph H , every r graph on n ge n 0(H) vertices with at least n r alpha r,d edges contains a copy of H . This strengthens a result of Conlon Fox Sudakov from 2009 who showed that such a bound holds for r partite r graphs H satisfying the stronger hypothesis that the vertex degrees in all but one of its partite classes are bounded (in H , as opposed to in its traces).


Targeted particle delivery via vortex ring reconnection. A conceptual model for targeted particle delivery is proposed using controlled vortex ring reconnection. Entrained particles can be efficiently transported within the core of the vortex ring which is propelled via self induction. A pair of these particle transporting vortices travelling in the streamwise direction along parallel trajectories will mutually interact resulting in vortex reconnection. The reconnection causes a topological change to the vortex rings which is accompanied by a rapid repulsion in a perpendicular plane to the direction of travel effectively, transporting the particles to the desired delivery site on the sidewalls. This work explains the physics of the process and the considerations for targeted delivery.


ERNIE 2.0 A Continual Pre training Framework for Language Understanding. Recently, pre trained models have achieved state of the art results in various language understanding tasks, which indicates that pre training on large scale corpora may play a crucial role in natural language processing. Current pre training procedures usually focus on training the model with several simple tasks to grasp the co occurrence of words or sentences. However, besides co occurring, there exists other valuable lexical, syntactic and semantic information in training corpora, such as named entity, semantic closeness and discourse relations. In order to extract to the fullest extent, the lexical, syntactic and semantic information from training corpora, we propose a continual pre training framework named ERNIE 2.0 which builds and learns incrementally pre training tasks through constant multi task learning. Experimental results demonstrate that ERNIE 2.0 outperforms BERT and XLNet on 16 tasks including English tasks on GLUE benchmarks and several common tasks in Chinese. The source codes and pre trained models have been released at https github.com PaddlePaddle ERNIE.


Coalgebraic Reasoning with Global Assumptions in Arithmetic Modal Logics. We establish a generic upper bound ExpTime for reasoning with global assumptions (also known as TBoxes) in coalgebraic modal logics. Unlike earlier results of this kind, our bound does not require a tractable set of tableau rules for the instance logics, so that the result applies to wider classes of logics. Examples are Presburger modal logic, which extends graded modal logic with linear inequalities over numbers of successors, and probabilistic modal logic with polynomial inequalities over probabilities. We establish the theoretical upper bound using a type elimination algorithm. We also provide a global caching algorithm that potentially avoids building the entire exponential sized space of candidate states, and thus offers a basis for practical reasoning. This algorithm still involves frequent fixpoint computations we show how these can be handled efficiently in a concrete algorithm modelled on Liu and Smolka's linear time fixpoint algorithm. Finally, we show that the upper complexity bound is preserved under adding nominals to the logic, i.e. in coalgebraic hybrid logic.


Variational discretization approach applied to an optimal control problem with bounded measure controls. We consider a parabolic optimal control problem with an initial measure control. The cost functional consists of a tracking term corresponding to the observation of the state at final time. Instead of a regularization term in the cost functional, we follow an approach by E. Casas and K. Kunisch and consider a bound on the measure norm of the initial control. The variational discretization of the problem together with the optimality conditions induce maximal discrete sparsity of the initial control, i.e. Dirac measures in space. We present numerical experiments to illustrate our approach.


Brno Urban Dataset The New Data for Self Driving Agents and Mapping Tasks. Autonomous driving is a dynamically growing field of research, where quality and amount of experimental data is critical. Although several rich datasets are available these days, the demands of researchers and technical possibilities are evolving. Through this paper, we bring a new dataset recorded in Brno, Czech Republic. It offers data from four WUXGA cameras, two 3D LiDARs, inertial measurement unit, infrared camera and especially differential RTK GNSS receiver with centimetre accuracy which, to the best knowledge of the authors, is not available from any other public dataset so far. In addition, all the data are precisely timestamped with sub millisecond precision to allow wider range of applications. At the time of publishing of this paper, recordings of more than 350 km of rides in varying environment are shared at https github.com RoboticsBUT Brno Urban Dataset.


Estimates of formal solutions for some generalized moment partial differential equations. Using increasing sequences of real numbers, we generalize the idea of formal moment differentiation first introduced by W. Balser and M. Yoshino. Slight departure from the concept of Gevrey sequences enables us to include a wide variety of operators in our study. Basing our approach on tools such as the Newton polygon and divergent formal norms, we obtain estimates for formal solutions of certain families of generalized linear moment partial differential equations with constant and time variable coefficients.


Rational spectral methods for PDEs involving fractional Laplacian in unbounded domains. Many PDEs involving fractional Laplacian are naturally set in unbounded domains with underlying solutions decay very slowly, subject to certain power laws. Their numerical solutions are under explored. This paper aims at developing accurate spectral methods using rational basis (or modified mapped Gegenbauer functions) for such models in unbounded domains. The main building block of the spectral algorithms is the explicit representations for the Fourier transform and fractional Laplacian of the rational basis, derived from some useful integral identites related to modified Bessel functions. With these at our disposal, we can construct rational spectral Galerkin and direct collocation schemes by pre computing the associated fractional differentiation matrices. We obtain optimal error estimates of rational spectral approximation in the fractional Sobolev spaces, and analyze the optimal convergence of the proposed Galerkin scheme. We also provide ample numerical results to show that the rational method outperforms the Hermite function approach.


Tailoring optical pulling forces with composite microspheres. Optical pulling forces or tractor beams can pull particles against light propagation by redirecting the incident photons forward. This is typically achieved using Bessel beams with very small half cone angles, which considerably limits its applicability. One can circumvent such issue by using a superposition of plane waves. In order to investigate optical pulling forces exerted by a pair of non colinear plane waves, we develop a theoretical framework based on Mie theory, Debye potentials and Wigner rotation matrices. We apply this framework to calculate the optical pulling force on metallo dielectric composite particles, which we put forward as an alternative material platform to optimize and tailor tractor beams. Indeed we demonstrate that by adding a few plasmonic inclusions to low refractive index dielectric particles of arbitrary sizes, we are able to produce polarization dependent optical pulling forces that cannot occur in the corresponding homogeneous particles. Altogether our findings not only provide innovative theoretical methods to compute optical pulling forces, but also provide new strategies to tailor and optimize them, paving the way to increase their applicability.


Machine Generation and Detection of Arabic Manipulated and Fake News. Fake news and deceptive machine generated text are serious problems threatening modern societies, including in the Arab world. This motivates work on detecting false and manipulated stories online. However, a bottleneck for this research is lack of sufficient data to train detection models. We present a novel method for automatically generating Arabic manipulated (and potentially fake) news stories. Our method is simple and only depends on availability of true stories, which are abundant online, and a part of speech tagger (POS). To facilitate future work, we dispense with both of these requirements altogether by providing AraNews, a novel and large POS tagged news dataset that can be used off the shelf. Using stories generated based on AraNews, we carry out a human annotation study that casts light on the effects of machine manipulation on text veracity. The study also measures human ability to detect Arabic machine manipulated text generated by our method. Finally, we develop the first models for detecting manipulated Arabic news and achieve state of the art results on Arabic fake news detection (macro F1 70.06). Our models and data are publicly available.


Automatic Conversion from Flip flop to 3 phase Latch based Designs. Latch based designs have many benefits over their flip flop based counterparts but have limited use partially because most RTL specifications are flop centric and automatic conversion of FF to latch based designs is challenging. Conventional conversion algorithms target master slave latch based designs with two non overlapping clocks. This paper presents a novel automated design flow that converts flip flop to 3 phase latch based designs. The resulting circuits have the same performance as the master slave based designs but require significantly less latches. Our experimental results demonstrate the potential for savings in the number of latches (21.3 ), area (5.8 ), and power (16.3 ) on a variety of ISCAS, CEP, and CPU benchmark circuits, compared to the master slave conversions.


DDR ID Dual Deep Reconstruction Networks Based Image Decomposition for Anomaly Detection. One pivot challenge for image anomaly (AD) detection is to learn discriminative information only from normal class training images. Most image reconstruction based AD methods rely on the discriminative capability of reconstruction error. This is heuristic as image reconstruction is unsupervised without incorporating normal class specific information. In this paper, we propose an AD method called dual deep reconstruction networks based image decomposition (DDR ID). The networks are trained by jointly optimizing for three losses the one class loss, the latent space constrain loss and the reconstruction loss. After training, DDR ID can decompose an unseen image into its normal class and the residual components, respectively. Two anomaly scores are calculated to quantify the anomalous degree of the image in either normal class latent space or reconstruction image space. Thereby, anomaly detection can be performed via thresholding the anomaly score. The experiments demonstrate that DDR ID outperforms multiple related benchmarking methods in image anomaly detection using MNIST, CIFAR 10 and Endosome datasets and adversarial attack detection using GTSRB dataset.


Decomposing a matrix into two submatrices with extremely small operator norm. We give sufficient conditions on a matrix A ensuring the existence of a partition of this matrix into two submatrices with extremely small norm of the image of any vector. Under some weak conditions on a matrix A we obtain a partition of A with the extremely small (1,q) norm of submatrices.


A Generic Efficient Biased Optimizer for Consensus Protocols. Consensus is one of the most fundamental distributed computing problems. In particular, it serves as a building block in many replication based fault tolerant systems and in particular in multiple recent blockchain solutions. Depending on its exact variant and other environmental assumptions, solving consensus requires multiple communication rounds. Yet, there are known optimistic protocols that guarantee termination in a single communication round under favorable conditions. In this paper we present a generic optimizer than can turn any consensus protocol into an optimized protocol that terminates in a single communication round whenever all nodes start with the same predetermined value and no Byzantine failures occur (although node crashes are allowed). This is regardless of the network timing assumptions and additional oracle capabilities assumed by the base consensus protocol being optimized. In the case of benign failures, our optimizer works whenever the number of faulty nodes f n 2 . For Byzantine behavior, our optimizer's resiliency depends on the validity variant sought. In the case of classical validity, it can accommodate f n 4 Byzantine failures. With the more recent external validity function assumption, it works whenever f n 3 . Either way, our optimizer only relies on oral messages, thereby imposing very light weight crypto requirements.


Weak damping for the Korteweg de Vries equation. For more than 20 years, the Korteweg de Vries equation has been intensively explored from the mathematical point of view. Regarding control theory, when adding an internal force term in this equation, it is well known that the Korteweg de Vries equation is exponentially stable in a bounded domain. In this work, we propose a weak forcing mechanism, with a lower cost than that already existing in the literature, to achieve the result of the global exponential stability to the Korteweg de Vries equation.


Organic Building Generation in Minecraft. This paper presents a method for generating floor plans for structures in Minecraft (Mojang 2009). Given a 3D space, it will auto generate a building to fill that space using a combination of constrained growth and cellular automata. The result is a series of organic looking buildings complete with rooms, windows, and doors connecting them. The method is applied to the Generative Design in Minecraft (GDMC) competition to auto generate buildings in Minecraft, and the results are discussed.


Zeroth Order Stochastic Block Coordinate Type Methods for Nonconvex Optimization. We study (constrained) nonconvex (composite) optimization problems where the decision variables vector can be split into blocks of variables. Random block projection is a popular technique to handle this kind of problem for its remarkable reduction of the computational cost from the projection. However, this powerful method has not been proposed for the situation that first order information is prohibited and only zeroth order information is available. In this paper, we propose to develop different classes of zeroth order stochastic block coordinate type methods. Zeroth order block coordinate descent (ZS BCD) is proposed for solving unconstrained nonconvex optimization problem. For composite optimization, we establish the zeroth order stochastic block mirror descent (ZS BMD) and its associated two phase method to achieve the complexity bound for finding ( epsilon, Lambda) solution. Furthermore, we also establish zeroth order stochastic block coordinate conditional gradient (ZS BCCG) method for nonconvex (composite) optimization. By implementing ZS BCCG method, in each iteration, only (approximate) linear programming subproblem needs to be solved on a random block instead of a rather costly projection subproblem on the whole decision space, in contrast to the existing traditional stochastic approximation methods. In what follows, an approximate ZS BCCG method and corresponding two phase ZS BCCG method are proposed. This is also the first time that a two phase BCCG method has been developed to achieve the ( epsilon, Lambda) solution of nonconvex composite optimization problem. To the best of our knowledge, the proposed results in this paper are new in stochastic nonconvex (composite) optimization literature.


Shape theorem for a one dimensional growing particle system with a bounded number of occupants per site. We consider a one dimensional discrete space birth process with a bounded number of particle per site. Under the assumptions of the finite range of interaction, translation invariance, and non degeneracy, we prove a shape theorem. We also derive a limiting estimate and an exponential estimate on the fluctuations of the position of the rightmost particle.


Strip Pooling Rethinking Spatial Pooling for Scene Parsing. Spatial pooling has been proven highly effective in capturing long range contextual information for pixel wise prediction tasks, such as scene parsing. In this paper, beyond conventional spatial pooling that usually has a regular shape of NxN, we rethink the formulation of spatial pooling by introducing a new pooling strategy, called strip pooling, which considers a long but narrow kernel, i.e., 1xN or Nx1. Based on strip pooling, we further investigate spatial pooling architecture design by 1) introducing a new strip pooling module that enables backbone networks to efficiently model long range dependencies, 2) presenting a novel building block with diverse spatial pooling as a core, and 3) systematically comparing the performance of the proposed strip pooling and conventional spatial pooling techniques. Both novel pooling based designs are lightweight and can serve as an efficient plug and play module in existing scene parsing networks. Extensive experiments on popular benchmarks (e.g., ADE20K and Cityscapes) demonstrate that our simple approach establishes new state of the art results. Code is made available at https github.com Andrew Qibin SPNet.


Efficient calculation of the mutual inductance of arbitrarily oriented circular filaments via a generalisation of the Kalantarov Zeitlin method. In this article, we present a new analytical formulation for calculation of the mutual inductance between two circular filaments arbitrarily oriented with respect to each other, as an alternative to Grover 1 and Babic 2 expressions reported in 1944 and 2010, respectively. The formula is derived via a generalisation of the Kalantarov Zeitlin method, which showed that the calculation of mutual inductance between a circular primary filament and any other secondary filament having an arbitrary shape and any desired position with respect to the primary filament is reduced to a line integral. In particular, the obtained formula provides a solution for the singularity issue arising in the Grover and Babic formulas for the case when the planes of the primary and secondary circular filaments are mutually perpendicular. The efficiency and flexibility of the Kalantarov Zeitlin method allow us to extend immediately the application of the obtained result to a case of the calculation of the mutual inductance between a primary circular filament and its projection on a tilted plane. Newly developed formulas have been successfully validated through a number of examples available in the literature, and by a direct comparison with the results of calculation performed by the FastHenry software.


World Consistent Video to Video Synthesis. Video to video synthesis (vid2vid) aims for converting high level semantic inputs to photorealistic videos. While existing vid2vid methods can achieve short term temporal consistency, they fail to ensure the long term one. This is because they lack knowledge of the 3D world being rendered and generate each frame only based on the past few frames. To address the limitation, we introduce a novel vid2vid framework that efficiently and effectively utilizes all past generated frames during rendering. This is achieved by condensing the 3D world rendered so far into a physically grounded estimate of the current frame, which we call the guidance image. We further propose a novel neural network architecture to take advantage of the information stored in the guidance images. Extensive experimental results on several challenging datasets verify the effectiveness of our approach in achieving world consistency the output video is consistent within the entire rendered 3D world. https nvlabs.github.io wc vid2vid


Harmonic Models and Bernoullicity. We give many examples of algebraic actions which are factors of Bernoulli shifts. These include certain harmonic models over left orderable groups of large enough growth, as well as algebraic actions associated to certain lopsided elements in any left orderable group. For many of our examples, the acting group is amenable so these actions are Bernoulli (and not just a factor of a Bernoulli), but there is no obvious Bernoulli partition.


Availability Based Production Predicts Speakers' Real time Choices of Mandarin Classifiers. Speakers often face choices as to how to structure their intended message into an utterance. Here we investigate the influence of contextual predictability on the encoding of linguistic content manifested by speaker choice in a classifier language. In English, a numeral modifies a noun directly (e.g., three computers). In classifier languages such as Mandarin Chinese, it is obligatory to use a classifier (CL) with the numeral and the noun (e.g., three CL.machinery computer, three CL.general computer). While different nouns are compatible with different specific classifiers, there is a general classifier "ge" (CL.general) that can be used with most nouns. When the upcoming noun is less predictable, the use of a more specific classifier would reduce surprisal at the noun thus potentially facilitate comprehension (predicted by Uniform Information Density, Levy Jaeger, 2007), but the use of that more specific classifier may be dispreferred from a production standpoint if accessing the general classifier is always available (predicted by Availability Based Production Bock, 1987 Ferreira Dell, 2000). Here we use a picture naming experiment showing that Availability Based Production predicts speakers' real time choices of Mandarin classifiers.


Two layer Thermally Driven Turbulence Mechanisms for Interface Breakup. It is commonly accepted that the breakup criteria of drops or bubbles in turbulence is governed by surface tension and inertia. However, also it buoyancy can play an important role at breakup. In order to better understand this role, here we numerically study Rayleigh B 'enard convection for two immiscible fluid layers, in order to identify the effects of buoyancy on interface breakup. We explore the parameter space spanned by the Weber number 5 leq We leq 5000 (the ratio of inertia to surface tension) and the density ratio between the two fluids 0.001 leq Lambda leq 1 , at fixed Rayleigh number Ra 10 8 and Prandtl number Pr 1 . At low We , the interface undulates due to plumes. When We is larger than a critical value, the interface eventually breaks up. Depending on Lambda , two breakup types are observed The first type occurs at small Lambda ll 1 (e.g. air water systems) when local filament thicknesses exceed the Hinze length scale. The second, strikingly different, type occurs at large Lambda with roughly 0.5 Lambda le 1 (e.g. oil water systems) The layers undergo a periodic overturning caused by buoyancy overwhelming surface tension. For both types the breakup criteria can be derived from force balance arguments and show good agreement with the numerical results.


Muon tomography of a reinforced concrete block first experimental proof of concept. Quality assurance and condition assessment of concrete structures is an important topic world wide due to the ageing infrastructure and increasing traffic demands. Common topics include, but are not limited to, localisation of rebar or tendon ducts, geometrical irregularities, cracks, voids, honeycombing or other flaws. Non destructive techniques such as ultrasound or radar have found regular, successful practical application but sometimes suffer from limited resolution and accuracy, imaging artefacts or restrictions in detecting certain features. Until the 1980s X ray transmission was used in case of special demands and showed a resolution much higher than other NDT techniques. However, due to safety concerns and cost issues, this method is almost never used anymore. Muon tomography has received much attention recently. Novel detectors for cosmic muons and tomographic imaging algorithms have opened up new fields of application, such as the investigation of freight containers for contraband or the assessment of the contents of radioactive waste containers. But Muon imaging also has the potential to fill some of the gaps currently existing in concrete NDT. As a first step towards practical use and as a proof of concept we used an existing system to image the interior of a reference reinforced 600 kg concrete block. Even with a yet not optimized setup for this kind of investigation, the muon imaging results show more resolution and less distortion compared to ultrasonic and radar imaging. The data acquisition takes more time and signals contain more noise, but the images allowed to detect the same important features that are visible in conventional high energy x ray tomography. In our experiment, we have shown the tremendous potential of muon imaging for concrete inspection. The next steps include the development of mobile detectors and optimising acquisition and imaging parameters.


Bi functional Structural Luneburg Lens for Broadband Structural Wave Cloaking and Waveguide. In this paper, we explore the concept of structural Luneburg Lens (SLL) as a design framework for performing dynamic structural tailoring to obtain a structural wave cloak and a structural waveguide. The SLL is a graded refractive index lens, which is realized by using a variable thickness structure defined in a thin plate. Due to the thickness variation of the plate, the refractive index decreases radially from the centre to the outer surface of the lens. By taking advantage of the unique capabilities of SLL for flexural wave focusing and collimation, we develop a structural wave cloak and waveguide based on cascaded SLLs. The cascaded SLL design enables the integration of functional devices into thin walled structures while preserving the structural characteristics. Analytical, numerical, and experimental studies are carried out to characterize the performance of the SLL cloak and the SLL waveguide. The results demonstrate that that these cascaded SLL devices exhibit excellent performance for structural wave cloaking and waveguiding over a broadband operating frequency range.


Global recovery of a time dependent coefficient for the wave equation from a single measurement. We consider the formally determined inverse problem of recovering an unknown time dependent potential function from the knowledge of the restriction of the solution of the wave equation to a small subset, subject to a single external source. We show that one can determine the potential function, up to the natural obstruction for the problem, by using a single source placed in the exterior of the spacetime domain and subsequently measuring the solution in a small neighborhood outside of the spacetime domain. The approach is based on considering a dense collection of light rays and constructing a source function that combines a countable collection of sources that each generates a wave packet near a light ray in the collection. We show that measuring the solution corresponding to that single source simultaneously determines the light ray transform along all the light rays in the collection. The result then follows from injectivity of the light ray transform. Our proof also provides a reconstruction algorithm.


Unsupervised Multi Modal Image Registration via Geometry Preserving Image to Image Translation. Many applications, such as autonomous driving, heavily rely on multi modal data where spatial alignment between the modalities is required. Most multi modal registration methods struggle computing the spatial correspondence between the images using prevalent cross modality similarity measures. In this work, we bypass the difficulties of developing cross modality similarity measures, by training an image to image translation network on the two input modalities. This learned translation allows training the registration network using simple and reliable mono modality metrics. We perform multi modal registration using two networks a spatial transformation network and a translation network. We show that by encouraging our translation network to be geometry preserving, we manage to train an accurate spatial transformation network. Compared to state of the art multi modal methods our presented method is unsupervised, requiring no pairs of aligned modalities for training, and can be adapted to any pair of modalities. We evaluate our method quantitatively and qualitatively on commercial datasets, showing that it performs well on several modalities and achieves accurate alignment.


Cognitive and motor compliance in intentional human robot interaction. Embodiment and subjective experience in human robot interaction are important aspects to consider when studying both natural cognition and adaptive robotics to human environments. Although several researches have focused on nonverbal communication and collaboration, the study of autonomous physical interaction has obtained less attention. From the perspective of neurorobotics, we investigate the relation between intentionality, motor compliance, cognitive compliance, and behavior emergence. We propose a variational model inspired by the principles of predictive coding and active inference to study intentionality and cognitive compliance, and an intermittent control concept for motor deliberation and compliance based on torque feed back. Our experiments with the humanoid Torobo portrait interesting perspectives for the bio inspired study of developmental and social processes.


Semantic Foreground Inpainting from Weak Supervision. Semantic scene understanding is an essential task for self driving vehicles and mobile robots. In our work, we aim to estimate a semantic segmentation map, in which the foreground objects are removed and semantically inpainted with background classes, from a single RGB image. This semantic foreground inpainting task is performed by a single stage convolutional neural network (CNN) that contains our novel max pooling as inpainting (MPI) module, which is trained with weak supervision, i.e., it does not require manual background annotations for the foreground regions to be inpainted. Our approach is inherently more efficient than the previous two stage state of the art method, and outperforms it by a margin of 3 IoU for the inpainted foreground regions on Cityscapes. The performance margin increases to 6 IoU, when tested on the unseen KITTI dataset. The code and the manually annotated datasets for testing are shared with the research community at https github.com Chenyang Lu semantic foreground inpainting.


The (s,s d, dots,s pd) core partitions and the rational Motzkin paths. In this paper, we propose an (s d,d) abacus for (s,s d, dots,s pd) core partitions and establish a bijection between the (s,s d, dots,s pd) core partitions and the rational Motzkin paths of type (s d, d) . This result not only gives a lattice path interpretation of the (s,s d, dots,s pd) core partitions but also counts them with a closed formula. Also we enumerate (s,s 1, dots,s p) core partitions with k corners and self conjugate (s,s 1, dots,s p) core partitions.


A Neural Grammatical Error Correction System Built On Better Pre training and Sequential Transfer Learning. Grammatical error correction can be viewed as a low resource sequence to sequence task, because publicly available parallel corpora are limited. To tackle this challenge, we first generate erroneous versions of large unannotated corpora using a realistic noising function. The resulting parallel corpora are subsequently used to pre train Transformer models. Then, by sequentially applying transfer learning, we adapt these models to the domain and style of the test set. Combined with a context aware neural spellchecker, our system achieves competitive results in both restricted and low resource tracks in ACL 2019 BEA Shared Task. We release all of our code and materials for reproducibility.


Multi GPU Acceleration of the iPIC3D Implicit Particle in Cell Code. iPIC3D is a widely used massively parallel Particle in Cell code for the simulation of space plasmas. However, its current implementation does not support execution on multiple GPUs. In this paper, we describe the porting of iPIC3D particle mover to GPUs and the optimization steps to increase the performance and parallel scaling on multiple GPUs. We analyze the strong scaling of the mover on two GPU clusters and evaluate its performance and acceleration. The optimized GPU version which uses pinned memory and asynchronous data prefetching outperform their corresponding CPU versions by 5 10x on two different systems equipped with NVIDIA K80 and V100 GPUs.


Space time registration based model reduction of parameterized one dimensional hyperbolic PDEs. We propose a model reduction procedure for rapid and reliable solution of parameterized hyperbolic partial differential equations. Due to the presence of parameter dependent shock waves and contact discontinuities, these problems are extremely challenging for traditional model reduction approaches based on linear approximation spaces. The main ingredients of the proposed approach are (i) an adaptive space time registration based data compression procedure to align local features in a fixed reference domain, (ii) a space time Petrov Galerkin (minimum residual) formulation for the computation of the mapped solution, and (iii) a hyper reduction procedure to speed up online computations. We present numerical results for a Burgers model problem and a shallow water model problem, to empirically demonstrate the potential of the method.


hp VPINNs Variational Physics Informed Neural Networks With Domain Decomposition. We formulate a general framework for hp variational physics informed neural networks (hp VPINNs) based on the nonlinear approximation of shallow and deep neural networks and hp refinement via domain decomposition and projection onto space of high order polynomials. The trial space is the space of neural network, which is defined globally over the whole computational domain, while the test space contains the piecewise polynomials. Specifically in this study, the hp refinement corresponds to a global approximation with local learning algorithm that can efficiently localize the network parameter optimization. We demonstrate the advantages of hp VPINNs in accuracy and training cost for several numerical examples of function approximation and solving differential equations.


On the minima of positive definite binary hamiltonian forms. Let A be a definite quaternion algebra over mathbb Q , with discriminant D A , and O a maximal order of A . We show that the minimum of the positive definite hamiltonian binary forms over O with discrimiminant 1 is sqrt D A . When the different of O is principal, we provide an explicit form representing this minimum, and when O is principal, we give the list of the equivalence classes of all such forms. We also give criteria and algorithms to determine when the different of O is principal.


Dynamics of an Intra host Diffusive Pathogen Infection Model. In this paper, we first propose a diffusive pathogen infection model with general incidence rate which incorporates cell to cell transmission. By applying the theory of monotone dynamical systems, we prove that the model admits the global threshold dynamics in terms of the basic reproduction number ( mathcal R 0 ), which is defined by the spectral radius of the next generation operator. Then, we derive a discrete counterpart of the continuous model by nonstandard finite difference scheme. The results show that the discrete model preserves the positivity and boundedness of solutions in order to ensure the well posedness of the problem. Moreover, this method preserves all equilibria of the original continuous model. By constructing appropriate Lyapunov functionals for both models, we show that the global threshold dynamics is completely determined by the basic reproduction number. Further, with the help of sensitivity analysis we also have identified the most sensitive parameters which effectively contribute to change the disease dynamics. Finally, we conclude the paper by an example and numerical simulations to improve and generalize some known results.


Majorization Minimization Based Levenberg Marquardt Method for Constrained Nonlinear Least Squares. A new Levenberg Marquardt (LM) method for solving nonlinear least squares problems with convex constraints is described. Various versions of the LM method have been proposed, their main differences being in the choice of a damping parameter. In this paper, we propose a new rule for updating the parameter so as to achieve both global and local convergence even under the presence of a convex constraint set. The key to our results is a new perspective of the LM method from majorization minimization methods. Specifically, we show that if the damping parameter is set in a specific way, the objective function of the standard subproblem in LM methods becomes an upper bound on the original objective function under certain standard assumptions. Our method solves a sequence of the subproblems approximately using an (accelerated) projected gradient method. It finds an epsilon stationary point after O( epsilon 2 ) computation and achieves local quadratic convergence for zero residual problems under a local error bound condition. Numerical results on compressed sensing show that our method converges faster in many cases than existing LM methods and the projected gradient method.


A comparative study of the behaviour of forsterite melts under atmospheric and sub atmospheric conditions. The study is focussed towards understanding the difference in behaviour of forsterite droplets subjected to sub atmospheric conditions. Melt droplets, 1.5 2.5 mm in diameter, are made to crystallize under levitated conditions. The spherule is initially superheated by about 250oC above its liquids temperature, for both atmospheric and sub atmospheric conditions, and then, subsequently cooled at different cooling rates. Crystallization of molten droplets was observed from their hypercooled states in all the cases. It was found that the level of undercooling was more ( 150K 200K) for sub atmospheric cases. In addition, the degree of recalescence was also found to be higher. However, the varying cooling rates did not produce any considerable effect on the level of undercooling or, even, the degree of recalescence. For better insight into the dynamics of crystallization, in situ visualization of the recalescence process was made possible by use of high speed camera. A clear difference in the growth mechanisms was observed. The role of cooling rate in affecting crystallization was seen as the difference in the growth of the crystal front from a clear rim front, in high cooling rates, to a faded irregularly shaped crystal front, in low cooling rates. Two proper crystal fronts were observed in all the cases, which correspond to surface and volumetric crystallizations. It was observed that the molten droplets, under sub atmospheric conditions, undergo high rate of volumetric crystallization, which is marked by the sightings of surface textures during the recalescence process. High speed camera images of recalescence provided direct observational proof of the delay in volumetric crystallization, compared to surface crystallization.


Exploring Semi Automatic Map Labeling. Label placement in maps is a very challenging task that is critical for the overall map quality. Most previous work focused on designing and implementing fully automatic solutions, but the resulting visual and aesthetic quality has not reached the same level of sophistication that skilled human cartographers achieve. We investigate a different strategy that combines the strengths of humans and algorithms. In our proposed method, first an initial labeling is computed that has many well placed labels but is not claiming to be perfect. Instead it serves as a starting point for an expert user who can then interactively and locally modify the labeling where necessary. In an iterative human in the loop process alternating between user modifications and local algorithmic updates and refinements the labeling can be tuned to the user's needs. We demonstrate our approach by performing different possible modification steps in a sample workflow with a prototypical interactive labeling editor. Further, we report computational performance results from a simulation experiment in QGIS, which investigates the differences between exact and heuristic algorithms for semi automatic map labeling. To that end, we compare several alternatives for recomputing the labeling after local modifications and updates, as a major ingredient for an interactive labeling editor.


Identifying and Explaining Discriminative Attributes. Identifying what is at the center of the meaning of a word and what discriminates it from other words is a fundamental natural language inference task. This paper describes an explicit word vector representation model (WVM) to support the identification of discriminative attributes. A core contribution of the paper is a quantitative and qualitative comparative analysis of different types of data sources and Knowledge Bases in the construction of explainable and explicit WVMs (i) knowledge graphs built from dictionary definitions, (ii) entity attribute relationships graphs derived from images and (iii) commonsense knowledge graphs. Using a detailed quantitative and qualitative analysis, we demonstrate that these data sources have complementary semantic aspects, supporting the creation of explicit semantic vector spaces. The explicit vector spaces are evaluated using the task of discriminative attribute identification, showing comparable performance to the state of the art systems in the task (F1 score 0.69), while delivering full model transparency and explainability.


'Etale cohomology of arithmetic schemes and zeta values of arithmetic surfaces. In this paper, we give an approach to the zeta values of a (proper regular) arithmetic scheme X at the integers r d dim(X), using 'etale cohomology of X with Q p(r) and Z p(r) coefficients.


Bright and Efficient Perovskite Light Emitting Electrochemical Cells Leveraging Ionic Additives. Perovskite light emitting diodes (PeLEDs) have drawn considerable attention for their favorable optoelectronic properties. Perovskite light emitting electrochemical cells (PeLECs) devices that utilize mobile ions have recently been reported but have yet to reach the performance of the best PeLEDs. We leveraged a poly(ethylene oxide) electrolyte and lithium dopant in CsPbBr3 thin films to produce PeLECs of improved brightness and efficiency. In particular, we found that a single layer PeLEC from CsPbBr3 PEO LiPF6 with 0.5 wt. LiPF6 produced highly efficient (22 cd A) and bright ( 15000 cd m2) electroluminescence. To understand this improved performance among PeLECs, we characterized these perovskite thin films with photoluminescence (PL) spectroscopy, scanning electron microscopy (SEM), atomic force microscopy (AFM), X ray photoelectron spectroscopy (XPS), and X ray diffraction (XRD). These studies revealed that this optimal LiPF6 concentration improves electrical double layer formation, reduces the occurrence of voids, charge traps, and pinholes, and increases grain size and packing density.


CellOS Zero touch Softwarized Open Cellular Networks. Current cellular networks rely on closed and inflexible infrastructure tightly controlled by a handful of vendors. Their configuration requires vendor support and lengthy manual operations, which prevent Telco Operators (TOs) from unlocking the full network potential and from performing fine grained performance optimization, especially on a per user basis. To address these key issues, this paper introduces CellOS, a fully automated optimization and management framework for cellular networks that requires negligible intervention ("zero touch"). CellOS leverages softwarization and automatic optimization principles to bridge Software Defined Networking (SDN) and cross layer optimization. Unlike state of the art SDN inspired solutions for cellular networking, CellOS (i) Hides low level network details through a general virtual network abstraction (ii) allows TOs to define high level control objectives to dictate the desired network behavior without requiring knowledge of optimization techniques, and (iii) automatically generates and executes distributed control programs for simultaneous optimization of heterogeneous control objectives on multiple network slices. CellOS has been implemented and evaluated on an indoor testbed with two different LTE compliant implementations OpenAirInterface and srsLTE. We further demonstrated CellOS capabilities on the long range outdoor POWDER RENEW PAWR 5G platform. Results from scenarios with multiple base stations and users show that CellOS is platform independent and self adapts to diverse network deployments. Our investigation shows that CellOS outperforms existing solutions on key metrics, including throughput (up to 86 improvement), energy efficiency (up to 84 ) and fairness (up to 29 ).


Zero shot Neural Passage Retrieval via Domain targeted Synthetic Question Generation. A major obstacle to the wide spread adoption of neural retrieval models is that they require large supervised training sets to surpass traditional term based techniques, which are constructed from raw corpora. In this paper, we propose an approach to zero shot learning for passage retrieval that uses synthetic question generation to close this gap. The question generation system is trained on general domain data, but is applied to documents in the targeted domain. This allows us to create arbitrarily large, yet noisy, question passage relevance pairs that are domain specific. Furthermore, when this is coupled with a simple hybrid term neural model, first stage retrieval performance can be improved further. Empirically, we show that this is an effective strategy for building neural passage retrieval models in the absence of large training corpora. Depending on the domain, this technique can even approach the accuracy of supervised models.


Gabriel Quillen embedding for n exact categories. Our first aim is to provide an analog of the Gabriel Quillen embedding theorem for n exact categories. Also we give an example of an n exact category that is not an n cluster tilting subcategory, and we suggest two possible ways for realizing n exact categories as n cluster tilting subcategory.


On the Feynman Kac Formula. In this article, given y 0, eta) rightarrow H a continuous map into a Hilbert space H we study the equation hat y(t) e int 0 tc(s, hat y) y(t) where c(s, cdot) is a given potential' on C( 0, eta),H) . Applying the transformation y rightarrow hat y to the solutions of the SPDE and PDE underlying a diffusion, we study the Feynman Kac formula.


Attribute Driven Spontaneous Motion in Unpaired Image Translation. Current image translation methods, albeit effective to produce high quality results in various applications, still do not consider much geometric transform. We in this paper propose the spontaneous motion estimation module, along with a refinement part, to learn attribute driven deformation between source and target domains. Extensive experiments and visualization demonstrate effectiveness of these modules. We achieve promising results in unpaired image translation tasks, and enable interesting applications based on spontaneous motion.


Towards active processes for teaching and learning. We discuss parallels between students and teachers in the process of pedagogical reform. Reform aims for students to develop their own process for becoming independent learners, and to gain personal ownership. Likewise teachers can develop their own personally owned reform process if they have the encouragement and freedom to take individual initiative. We argue that tools, such as text materials, technology, etc., are merely objects that should be kept in perspective as secondary within an overarching ever ongoing process. And we discuss how melding teacher freedom with collaboration can foster far reaching change.


An alternative construction of equivariant Tamagawa numbers. We propose a new formulation of the equivariant Tamagawa number conjecture (ETNC) for non commutative coefficients. We remove Picard groupoids, determinant functors, virtual objects and relative K groups. Our Tamagawa numbers lie in an idele group instead of any kind of K group. Our formulation is proven equivalent to the one of Burns Flach.


Understanding complexity via network theory a gentle introduction. Network theory provides tools which are particularly appropriate for assessing the complex interdependencies that characterise our modern connected world. This article presents an introduction to network theory, in a way that doesn't require a strong mathematical background. We explore how network theory unveils commonalities in the interdependency profiles of various systems, ranging from biological, to social, and artistic domains. Our aim is to enable an intuitive understanding while conveying the fundamental principles and aims of complexity science. Additionally, various network theoretic tools are discussed, and numerous references for more advanced materials are provided.


Plane bipolar orientations and quadrant walks. Bipolar orientations of planar maps have recently attracted some interest in combinatorics, probability theory and theoretical physics. Plane bipolar orientations with n edges are known to be counted by the n th Baxter number b(n) , which can be defined by a linear recurrence relation with polynomial coefficients. Equivalently, the associated generating function sum n b(n)t n is D finite. In this paper, we address a much refined enumeration problem, where we record for every r the number of faces of degree r . When these degrees are bounded, we show that the associated generating function is given as the constant term of a multivariate rational series, and thus is still D finite. We also provide detailed asymptotic estimates for the corresponding numbers. The methods used earlier to count all plane bipolar orientations, regardless of their face degrees, do not generalize easily to record face degrees. Instead, we start from a recent bijection, due to Kenyon et al., that sends bipolar orientations onto certain lattice walks confined to the first quadrant. Due to this bijection, the study of bipolar orientations meets the study of walks confined to a cone, which has been extremely active in the past 15 years. Some of our proofs rely on recent developments in this field, while others are purely bijective. Our asymptotic results also involve probabilistic arguments.


Reading Between the Demographic Lines Resolving Sources of Bias in Toxicity Classifiers. The censorship of toxic comments is often left to the judgment of imperfect models. Perspective API, a creation of Google technology incubator Jigsaw, is perhaps the most widely used toxicity classifier in industry the model is employed by several online communities including The New York Times to identify and filter out toxic comments with the goal of preserving online safety. Unfortunately, Google's model tends to unfairly assign higher toxicity scores to comments containing words referring to the identities of commonly targeted groups (e.g., "woman,'' "gay,'' etc.) because these identities are frequently referenced in a disrespectful manner in the training data. As a result, comments generated by marginalized groups referencing their identities are often mistakenly censored. It is important to be cognizant of this unintended bias and strive to mitigate its effects. To address this issue, we have constructed several toxicity classifiers with the intention of reducing unintended bias while maintaining strong classification performance.


Column2Vec Structural Understanding via Distributed Representations of Database Schemas. We present Column2Vec, a distributed representation of database columns based on column metadata. Our distributed representation has several applications. Using known names for groups of columns (i.e., a table name), we train a model to generate an appropriate name for columns in an unnamed table. We demonstrate the viability of our approach using schema information collected from open source applications on GitHub.


The type semigroup, comparison and almost finiteness for ample groupoids. We prove that a minimal second countable ample groupoid has dynamical comparison if and only if its type semigroup is almost unperforated. Moreover, we investigate to what extent a not necessarily minimal almost finite groupoid has an almost unperforated type semigroup. Finally, we build a bridge between coarse geometry and topological dynamics by characterizing almost finiteness of the coarse groupoid in terms of a new coarsely invariant property for metric spaces, which might be of independent interest in coarse geometry. As a consequence, we are able to construct new examples of almost finite principal groupoids lacking other desirable properties, such as amenability or even a T menability. This behaviour is in stark contrast to the case of principal transformation groupoids associated to group actions.


Distance Geometry and Data Science. Data are often represented as graphs. Many common tasks in data science are based on distances between entities. While some data science methodologies natively take graphs as their input, there are many more that take their input in vectorial form. In this survey we discuss the fundamental problem of mapping graphs to vectors, and its relation with mathematical programming. We discuss applications, solution methods, dimensional reduction techniques and some of their limits. We then present an application of some of these ideas to neural networks, showing that distance geometry techniques can give competitive performance with respect to more traditional graph to vector mappings.


Reactive Supervision A New Method for Collecting Sarcasm Data. Sarcasm detection is an important task in affective computing, requiring large amounts of labeled data. We introduce reactive supervision, a novel data collection method that utilizes the dynamics of online conversations to overcome the limitations of existing data collection techniques. We use the new method to create and release a first of its kind large dataset of tweets with sarcasm perspective labels and new contextual features. The dataset is expected to advance sarcasm detection research. Our method can be adapted to other affective computing domains, thus opening up new research opportunities.


DL IAPS and PJSO A Path Speed Decoupled Trajectory Optimization and its Application in Autonomous Driving. This paper presents a free space trajectory optimization algorithm of autonomous driving vehicle, which decouples the collision free trajectory planning problem into a Dual Loop Iterative Anchoring Path Smoothing (DL IAPS) and a Piece wise Jerk Speed Optimization (PJSO). The work leads to remarkable driving performance improvements including more precise collision avoidance, higher control feasibility and better driving comfort, as those are often hard to realize in other existing path speed decoupled trajectory optimization methods. Our algorithm's efficiency, robustness and adaptiveness to complex driving scenarios have been validated by both simulations and real on road tests.


Argument Identification in Public Comments from eRulemaking. Administrative agencies in the United States receive millions of comments each year concerning proposed agency actions during the eRulemaking process. These comments represent a diversity of arguments in support and opposition of the proposals. While agencies are required to identify and respond to substantive comments, they have struggled to keep pace with the volume of information. In this work we address the tasks of identifying argumentative text, classifying the type of argument claims employed, and determining the stance of the comment. First, we propose a taxonomy of argument claims based on an analysis of thousands of rules and millions of comments. Second, we collect and semi automatically bootstrap annotations to create a dataset of millions of sentences with argument claim type annotation at the sentence level. Third, we build a system for automatically determining argumentative spans and claim type using our proposed taxonomy in a hierarchical classification model.


A class of quasilinear second order partial differential equations which describe spherical or pseudospherical surfaces. Second order partial differential equations which describe spherical surfaces (ss) or pseudospherical surfaces (pss) are considered. These equations are equivalent to the structure equations of a metric with Gaussian curvature K 1 or K 1 , respectively, and they can be seen as the compatibility condition of an associated su(2) valued or sl(2, R) valued linear problem, also referred to as a zero curvature representation. Under certain assumptions we give a complete and explicit classiffcation of equations of the form z tt A(z, z x , z t) z xx B(z, z x , z t ) z xt C(z, z x , z t) describing pss or ss, in terms of some arbitrary differentiable functions. Several examples of such equations are provided by choosing the arbitrary functions. In particular, well known equations which describe pseudospherical surfaces, such as the short pulse and the constant astigmatism equations, as well as their generalizations and their spherical analogues are included in the paper.


Secure Wireless Communication via Intelligent Reflecting Surface. An intelligent reflecting surface (IRS) can adaptively adjust the phase shifts of its reflecting units to strengthen the desired signal and or suppress the undesired signal. In this letter, we investigate an IRS aided secure wireless communication system where a multi antenna access point (AP) sends confidential messages to a single antenna user in the presence of a single antenna eavesdropper. In particular, we consider the challenging scenario where the eavesdropping channel is stronger than the legitimate communication channel and they are also highly correlated in space. We maximize the secrecy rate of the legitimate communication link by jointly designing the AP's transmit beamforming and the IRS's reflect beamforming. While the resultant optimization problem is difficult to solve, we propose an efficient algorithm to obtain high quality suboptimal solution for it by applying the alternating optimization and semidefinite relaxation methods. Simulation results show that the proposed design significantly improves the secrecy communication rate for the considered setup over the case without using the IRS, and outperforms a heuristic scheme.


On well posedness and singularity formation for the Euler Riesz system. In this paper, we investigate the initial value problem for the Euler Riesz system, where the interaction forcing is given by nabla( Delta) s rho for some 1 s 0 , with s 1 corresponding to the classical Euler Poisson system. We develop a functional framework to establish local in time existence and uniqueness of classical solutions for the Euler Riesz system. In this framework, the fluid density could decay fast at infinity, and the Euler Poisson system can be covered as a special case. Moreover, we prove local well posedness for the pressureless Euler Riesz system when the potential is repulsive, by observing hyperbolic nature of the system. Finally, we present sufficient conditions on the finite time blowup of classical solutions for the isentropic isothermal Euler Riesz system with either attractive or repulsive interaction forces. The proof, which is based on estimates of several physical quantities, establishes finite time blowup for a large class of initial data in particular, it is not required that the density is of compact support.


Leveraging Adversarial Training in Self Learning for Cross Lingual Text Classification. In cross lingual text classification, one seeks to exploit labeled data from one language to train a text classification model that can then be applied to a completely different language. Recent multilingual representation models have made it much easier to achieve this. Still, there may still be subtle differences between languages that are neglected when doing so. To address this, we present a semi supervised adversarial training process that minimizes the maximal loss for label preserving input perturbations. The resulting model then serves as a teacher to induce labels for unlabeled target language samples that can be used during further adversarial training, allowing us to gradually adapt our model to the target language. Compared with a number of strong baselines, we observe significant gains in effectiveness on document and intent classification for a diverse set of languages.


Calabi Yau metrics with cone singularities along intersecting complex lines the unstable case. We produce local Calabi Yau metrics on mathbf C 2 with conical singularities along three or more complex lines through the origin whose cone angles strictly violate the Troyanov condition. The tangent cone at the origin is a flat polyhedral K "ahler cone with conical singularities along two intersecting lines one with cone angle corresponding to the line with smallest cone angle, while the other forms as the collision of the remaining lines into a single conical line. Using a branched covering argument, we can construct Calabi Yau metrics with cone singularities along cuspidal curves with cone angle in the unstable range.


Singer difference sets and the projective norm graph. We demonstrate a close connection between the classic planar Singer difference sets and certain norm equation systems arising from projective norm graphs. This, on the one hand leads to a novel description of planar Singer difference sets as a subset mathcal H of mathcal N , the group of elements of norm 1 in the field extension mathbb F q 3 mathbb F q . mathcal H is given as the solution set of a simple polynomial equation, and we obtain an explicit formula expressing each non identity element of mathcal N as a product B cdot C 1 with B, C in mathcal H . The description and the definitions naturally carry over to the nonplanar and the infinite setting. On the other hand, relying heavily on the difference set properties, we also complete the proof that the projective norm graph text NG (q,4) does contain the complete bipartite graph K 4,6 for every prime power q geq 5 . This complements the property, known for more than two decades, that projective norm graphs do not contain K 4,7 (and hence provide tight lower bounds for the Tur 'an number ex(n,K 4,7 ) ).


Condition numbers of the mixed least squares total least squares problem revisited. A new closed formula for the first order perturbation estimate of the mixed least squares total least squares (MTLS) solution is presented. It is mathematically equivalent to the one by Zheng and Yang(Numer. Linear Algebra Appl. 2019 26(4) e2239). With this formula, general and structured normwise, mixed and componentwise condition numbers of the MTLS problem are derived. Perturbation bounds based on the normwise condition number, and compact forms for the upper bounds of mixed and componentwise condition numbers are also given in order for economic storage and efficient computation. It is shown that the condition numbers and perturbation bound of the TLS problem are unified in the ones of the MTLS problem.


A Combinatorial Algorithm for the Multi commodity Flow Problem. This paper researches combinatorial algorithms for the multi commodity flow problem. We relax the capacity constraints and introduce a penalty function h for each arc. If the flow exceeds the capacity on arc a , arc a would have a penalty cost. Based on the penalty function h , a new conception, equilibrium pseudo flow, is introduced. Then we design a combinatorial algorithm to obtain equilibrium pseudo flow. If the equilibrium pseudo flow is a nonzero equilibrium pseudo flow, there exists no feasible solution for the multi commodity flow problem if the equilibrium pseudo flow is a zero equilibrium pseudo flow, there exists a feasible solution for the multi commodity flow problem and the zero equilibrium pseudo flow is the feasible solution. At last, a non linear description of the multi commodity flow problem is given, whose solution is equilibrium pseudo flow. Besides, the content in this paper can be easily generalized to minimum cost multi commodity flow problem.


Not even wrong Reply to Loreau and Hector. The Loreau and Hector (2019) Comment on our paper (Pillai and Gouhier, 2019) failed to address the two core elements of our critique, both the circularity of the BEF research program, in general, and the mathematical flaws of the Loreau Hector partitioning scheme, in particular. Loreau and Hector avoided dealing with the first part of our critique by arguing against a non existent claim that all biodiversity effects could be reduced to coexistence, while the mathematical flaws in the Loreau Hector partitioning method that we described in the second part of our critique were ignored altogether. Here, we address these misconceptions and demonstrate that all of the claims that were made in our original paper hold. We conclude that (i) BEF studies need to adopt baselines that account for coexistence in order to avoid overestimating the effects of biodiversity and (ii) the LH partitioning method should not be used unless the linearity of the abundance ecosystem functioning relationship in monocultures can be verified for all species.


Generalized Focal Loss Learning Qualified and Distributed Bounding Boxes for Dense Object Detection. One stage detector basically formulates object detection as dense classification and localization. The classification is usually optimized by Focal Loss and the box location is commonly learned under Dirac delta distribution. A recent trend for one stage detectors is to introduce an individual prediction branch to estimate the quality of localization, where the predicted quality facilitates the classification to improve detection performance. This paper delves into the representations of the above three fundamental elements quality estimation, classification and localization. Two problems are discovered in existing practices, including (1) the inconsistent usage of the quality estimation and classification between training and inference and (2) the inflexible Dirac delta distribution for localization when there is ambiguity and uncertainty in complex scenes. To address the problems, we design new representations for these elements. Specifically, we merge the quality estimation into the class prediction vector to form a joint representation of localization quality and classification, and use a vector to represent arbitrary distribution of box locations. The improved representations eliminate the inconsistency risk and accurately depict the flexible distribution in real data, but contain continuous labels, which is beyond the scope of Focal Loss. We then propose Generalized Focal Loss (GFL) that generalizes Focal Loss from its discrete form to the continuous version for successful optimization. On COCO test dev, GFL achieves 45.0 AP using ResNet 101 backbone, surpassing state of the art SAPD (43.5 ) and ATSS (43.6 ) with higher or comparable inference speed, under the same backbone and training settings. Notably, our best model can achieve a single model single scale AP of 48.2 , at 10 FPS on a single 2080Ti GPU. Code and models are available at https github.com implus GFocal.


Aspects de la g 'eom 'etrie des groupes. This habilitation memoir (in French, submitted in May 2014) is made up of five chapters, each being an introduction to work of the author between 2006 and 2014. The core of the memoir consists of the first three chapters, pertaining to geometric group theory. More precisely, it is concerned with large scale geometry of groups and especially Lie groups (Chapters 1 and 2), and locally compact hyperbolic groups (Chapter 3). Chapter 4 is concerned with the study of groups through their unitary representations and their isometric actions on Hilbert spaces (Kazhdan and Haagerup properties). Finally, Chapter 5 is more concerned with "structural" group theory, studying, for a given group (discrete, or more generally locally compact), the space of its closed subgroups, or closed normal subgroups. A list of open questions is appended. While the memoir mostly surveys published papers, it also presents some unpublished corollaries in Chapter 1 about asymptotic cones of Lie groups.


Column generation for the discrete Unit Commitment problem with min stop ramping constraints. The discrete unit commitment problem with min stop ramping constraints optimizes the daily production of thermal power plants (coal, gas, fuel units). For this problem, compact Integer Linear Programming (ILP) formulations have been designed to solve exactly small instances and heuristically real size instances. This paper investigates whether Dantzig Wolfe reformulation allows to improve the previous exact method and matheuristics. The extended ILP formulation is presented with the column generation algorithm to solve its linear relaxation. The experimental results show that the Dantzig Wolfe reformulation does not improve the quality of the linear relaxation of the tightest compact ILP formulations. Computational experiments suggest also a conjecture which would explain such result the compact ILP formulation of min stop ramping constraints would be tight. Such results validate the quality of the exact methods and matheuristics based on compact ILP formulations previously designed.


Adversarial reconstruction for Multi modal Machine Translation. Even with the growing interest in problems at the intersection of Computer Vision and Natural Language, grounding (i.e. identifying) the components of a structured description in an image still remains a challenging task. This contribution aims to propose a model which learns grounding by reconstructing the visual features for the Multi modal translation task. Previous works have partially investigated standard approaches such as regression methods to approximate the reconstruction of a visual input. In this paper, we propose a different and novel approach which learns grounding by adversarial feedback. To do so, we modulate our network following the recent promising adversarial architectures and evaluate how the adversarial response from a visual reconstruction as an auxiliary task helps the model in its learning. We report the highest scores in term of BLEU and METEOR metrics on the different datasets.


Adversarial Transfer Learning for Punctuation Restoration. Previous studies demonstrate that word embeddings and part of speech (POS) tags are helpful for punctuation restoration tasks. However, two drawbacks still exist. One is that word embeddings are pre trained by unidirectional language modeling objectives. Thus the word embeddings only contain left to right context information. The other is that POS tags are provided by an external POS tagger. So computation cost will be increased and incorrect predicted tags may affect the performance of restoring punctuation marks during decoding. This paper proposes adversarial transfer learning to address these problems. A pre trained bidirectional encoder representations from transformers (BERT) model is used to initialize a punctuation model. Thus the transferred model parameters carry both left to right and right to left representations. Furthermore, adversarial multi task learning is introduced to learn task invariant knowledge for punctuation prediction. We use an extra POS tagging task to help the training of the punctuation predicting task. Adversarial training is utilized to prevent the shared parameters from containing task specific information. We only use the punctuation predicting task to restore marks during decoding stage. Therefore, it will not need extra computation and not introduce incorrect tags from the POS tagger. Experiments are conducted on IWSLT2011 datasets. The results demonstrate that the punctuation predicting models obtain further performance improvement with task invariant knowledge from the POS tagging task. Our best model outperforms the previous state of the art model trained only with lexical features by up to 9.2 absolute overall F 1 score on test set.


Approximate MMAP by Marginal Search. We present a heuristic strategy for marginal MAP (MMAP) queries in graphical models. The algorithm is based on a reduction of the task to a polynomial number of marginal inference computations. Given an input evidence, the marginals mass functions of the variables to be explained are computed. Marginal information gain is used to decide the variables to be explained first, and their most probable marginal states are consequently moved to the evidence. The sequential iteration of this procedure leads to a MMAP explanation and the minimum information gain obtained during the process can be regarded as a confidence measure for the explanation. Preliminary experiments show that the proposed confidence measure is properly detecting instances for which the algorithm is accurate and, for sufficiently high confidence levels, the algorithm gives the exact solution or an approximation whose Hamming distance from the exact one is small.


A Flexible n 2 Adversary Node Resistant and Halting Recoverable Blockchain Sharding Protocol. Blockchain sharding is a promising approach to solving the dilemma between decentralisation and high performance (transaction throughput) for blockchain. The main challenge of Blockchain sharding systems is how to reach a decision on a statement among a sub group (shard) of people while ensuring the whole population recognises this statement. Namely, the challenge is to prevent an adversary who does not have the majority of nodes globally but have the majority of nodes inside a shard. Most Blockchain sharding approaches can only reach a correct consensus inside a shard with at most n 3 evil nodes in a n node system. There is a blockchain sharding approach which can prevent an incorrect decision to be reached when the adversary does not have n 2 nodes globally. However, the system can be stopped from reaching consensus (become deadlocked) if the adversary controls a smaller number of nodes. In this paper, we present an improved Blockchain sharding approach that can withstand n 2 adversarial nodes and recover from deadlocks. The recovery is made by dynamically adjusting the number of shards and the shard size. A performance analysis suggests our approach has a high performance (transaction throughput) while requiring little bandwidth for synchronisation.


Solution of the system of two coupled first order ODEs with second degree polynomial right hand sides. The explicit solution of the initial values problem is exhibited of a subclass of the autonomous system of 2 coupled first order ODE s with second degree polynomial right hand sides, hence featuring 12 a prior arbitrary (time independent) coefficients. The solution is explicitly provided if the 12 coefficients are expressed by explicitly provided formulas in terms of 10 a prior arbitrary parameters the inverse problem to express these 10 parameters in terms of the 12 coefficients is also explicitly solved, but it is found to imply as it were, a posterior that the 12 coefficients must then satisfy 4 algebraic constraints, which are explicitly exhibited.Special sub cases are also identified the general solutions of which are completely periodic with a period independent of the initial data, or are characterized by additional restrictions on the coefficients which identify particularly interesting models.


Cross task weakly supervised learning from instructional videos. In this paper we investigate learning visual models for the steps of ordinary tasks using weak supervision via instructional narrations and an ordered list of steps instead of strong supervision via temporal annotations. At the heart of our approach is the observation that weakly supervised learning may be easier if a model shares components while learning different steps pour egg' should be trained jointly with other tasks involving pour' and egg'. We formalize this in a component model for recognizing steps and a weakly supervised learning framework that can learn this model under temporal constraints from narration and the list of steps. Past data does not permit systematic studying of sharing and so we also gather a new dataset, CrossTask, aimed at assessing cross task sharing. Our experiments demonstrate that sharing across tasks improves performance, especially when done at the component level and that our component model can parse previously unseen tasks by virtue of its compositionality.


MEC enhanced Information Freshness for Safety critical C V2X Communications. Information freshness is a status update timeliness indicator of utmost importance to several real time applications, such as connected and autonomous driving. The Ageof Information (AoI) metric is widely considered as useful to quantify the information freshness of delivered messages to the involved entities. Recently, the advent of Multi access Edge Computing (MEC) promises several performance benefits for Vehicular to Everything (V2X) communications, emphasizing on the experienced End to End (E2E) message delay. In this paper, we argue that, when it comes to safety critical use cases, such as the one of Vulnerable Road User (VRU), additional metrics can be more insightful to evaluate and address scalability issues in dense urban environments. In particular, the impact of the packet inter arrival time on the timeliness of VRU messages arriving at nearby vehicles can be directly assessed by exploiting the AoI metric. For that purpose, assuming a MEC enabled multi VRU system setting, we model the AoI and, by means of a performance comparison to the state of the art network architecture based on numerical evaluations, we provide evidence of the information freshness and system scalability enhancements offered by MEC infrastructure deployment for different system parameter settings involving a large number of connected entities.


An Approach to Regular Separability in Vector Addition Systems. We study the problem of regular separability of languages of vector addition systems with states (VASS). It asks whether for two given VASS languages K and L, there exists a regular language R that includes K and is disjoint from L. While decidability of the problem in full generality remains an open question, there are several subclasses for which decidability has been shown It is decidable for (i) one dimensional VASS, (ii) VASS coverability languages, (iii) languages of integer VASS, and (iv) commutative VASS languages. We propose a general approach to deciding regular separability. We use it to decide regular separability of an arbitrary VASS language from any language in the classes (i), (ii), and (iii). This generalizes all previous results, including (iv).


Data Augmentation for Object Detection via Progressive and Selective Instance Switching. Collection of massive well annotated samples is effective in improving object detection performance but is extremely laborious and costly. Instead of data collection and annotation, the recently proposed Cut Paste methods 12, 15 show the potential to augment training dataset by cutting foreground objects and pasting them on proper new backgrounds. However, existing Cut Paste methods cannot guarantee synthetic images always precisely model visual context, and all of them require external datasets. To handle above issues, this paper proposes a simple yet effective instance switching (IS) strategy, which generates new training data by switching instances of same class from different images. Our IS naturally preserves contextual coherence in the original images while requiring no external dataset. For guiding our IS to obtain better object performance, we explore issues of instance imbalance and class importance in datasets, which frequently occur and bring adverse effect on detection performance. To this end, we propose a novel Progressive and Selective Instance Switching (PSIS) method to augment training data for object detection. The proposed PSIS enhances instance balance by combining selective re sampling with a class balanced loss, and considers class importance by progressively augmenting training dataset guided by detection performance. The experiments are conducted on the challenging MS COCO benchmark, and results demonstrate our PSIS brings clear improvement over various state of the art detectors (e.g., Faster R CNN, FPN, Mask R CNN and SNIPER), showing the superiority and generality of our PSIS. Code and models are available at https github.com Hwang64 PSIS.


A Two step Calibration Method for Unfocused Light Field Camera Based on Projection Model Analysis. Accurately calibrating light field camera is essential to its applications. Rapid progress has been made in this area in the past decades. In this paper, detailed analysis was first performed towards the state of the art projection models for calibration which were further interpreted in three representations, including the correspondence between rays and pixels, 3D physical points and pixels and between 3D physical points and 3D signal structure of the captured light field. Based on the analysis, parameters in the projection model were grouped into direction parameter set and depth parameter set. A two step calibration method was then proposed with each step dealing with each set of parameters. The proposed method is able to reuse traditional camera calibration methods for the direction parameter set. A simply raw image based calibration of depth parameter set was further proposed. Systematic validations were conducted to evaluate the performance of the proposed calibration method. Experimental results show that the accuracy and robustness of the proposed method outperforms its counterparts under various benchmark criteria.


Lest We Forget A Dataset of Coronavirus Related News Headlines in Swiss Media. We release our COVID 19 news dataset, containing more than 10,000 links to news articles related to the Coronavirus pandemic published in the Swiss media since early January 2020. This collection can prove beneficial in mining and analysis of the reaction of the Swiss media and the COVID 19 pandemic and extracting insightful information for further research. We hope this dataset helps researchers and the public deliver results that will help analyse the pandemic and potentially lead to a better understanding of the events.


The L 2 sequential convergence of a solution to the one dimensional, mass critical NLS above the ground state. In this paper we generalize a weak sequential result of cite fan20182 to any non scattering solutions in one dimension. No symmetry assumptions are required for the initial data.