Visual Chirality. How can we tell whether an image has been mirrored? While we understand the geometry of mirror reflections very well, less has been said about how it affects distributions of imagery at scale, despite widespread use for data augmentation in computer vision. In this paper, we investigate how the statistics of visual data are changed by reflection. We refer to these changes as "visual chirality", after the concept of geometric chirality the notion of objects that are distinct from their mirror image. Our analysis of visual chirality reveals surprising results, including low level chiral signals pervading imagery stemming from image processing in cameras, to the ability to discover visual chirality in images of people and faces. Our work has implications for data augmentation, self supervised learning, and image forensics.


The Dabkowski Sahi invariant and 4 moves for links. Dabkowski and Sahi defined an invariant of a link in the 3 sphere, which is preserved under 4 moves. This invariant is a quotient of the fundamental group of the complement of the link. It is generally difficult to distinguish the Dabkowski Sahi invariants of given links. In this paper, we give a necessary condition for the existence of an isomorphism between the Dabkowski Sahi invariant of a link and that of the corresponding trivial link. Using this condition, we provide a practical obstruction to a link to be trivial up to 4 moves.


Gr "obner geometry for skew symmetric matrix Schubert varieties. Matrix Schubert varieties are the orbits of B times B acting on all n times n matrices, where B is the group of invertible lower triangular matrices. Extending work of Fulton, Knutson and Miller identified a Gr "obner basis for the prime ideals of these varieties. They also showed that the corresponding initial ideals are Stanley Reisner ideals of shellable simplicial complexes, and derived a related primary decomposition in terms of reduced pipe dreams. These results lead to a geometric proof of the Billey Jockusch Stanley formula for a Schubert polynomial, among many other applications. We define skew symmetric matrix Schubert varieties to be the nonempty intersections of matrix Schubert varieties with the subspace of skew symmetric matrices. In analogy with Knutson and Miller's work, we describe a natural generating set for the prime ideals of these varieties. We then compute a related Gr "obner basis. Using these results, we identify a primary decomposition for the corresponding initial ideals involving certain fpf involution pipe dreams. We show that these initial ideals are likewise the Stanley Reisner ideals of shellable simplicial complexes. As an application, we give a geometric proof of an explicit generating function for symplectic Grothendieck polynomials. Our methods differ from Knutson and Miller's and can be used to give new proofs of some of their results, as we explain at the end of this article.


Simultaneous generation of two THz waves with bulk LiNbO3 and four THz waves with PPLN by coupled optical parametric generation. We present a theoretical research concerning simultaneous generation of two terahertz (THz) waves with bulk LiNbO3 and four THz waves with periodically poled LiNbO3 (PPLN) by coupled optical parametric generation (COPG). First, we investigate collinear phase matching of COPG generating two orthogonally polarized THz waves with two types of phase matching of o e e and o e o with bulk LiNbO3. The two orthogonally polarized THz waves are generated from stimulated polariton scattering (SPS) with A1 and E symmetric transverse optical (TO) modes in bulk LiNbO3, respectively. Then, we find that perturbations of phase mismatch for o e e and o e o can be compensated by a same grating vector of PPLN. As a result, four THz waves are simultaneously generated with a PPLN crystal and a pump laser. We calculate third order nonlinear optical coefficients of o e o generating THz waves from E symmetric TO modes. The intensities of four THz waves are calculated by solving coupled wave equations. The calculation results demonstrate that the COPG generating four THz waves have high photon conversion efficiencies.


On the number of gaps of sequences with Poissonian Pair Correlations. A sequence (x n) on the torus is said to have Poissonian pair correlations if 1 le i neq j le N x i x j le s N 2sN(1 o(1)) for all reals s 0 , as N to infty . It is known that, if (x n) has Poissonian pair correlations, then the number g(n) of different gap lengths between neighboring elements of x 1, ldots,x n cannot be bounded along every index subsequence (n t) . First, we improve this by showing that the maximum among the multiplicities of the neighboring gap lengths of x 1, ldots,x n is o(n) , as n to infty . Furthermore, we show that, for every function f mathbf N to mathbf N with lim n f(n) infty , there exists a sequence (x n) with Poissonian pair correlations and such that g(n) le f(n) for all sufficiently large n . This answers negatively a question posed by G. Larcher.


The Sum of Squares function in the ring mathbb Z n . We consider the sum of squares function in the ring mathbb Z n . We determine formulae in a number of cases when n is a power of a prime.


UnQovering Stereotyping Biases via Underspecified Questions. While language embeddings have been shown to have stereotyping biases, how these biases affect downstream question answering (QA) models remains unexplored. We present UNQOVER, a general framework to probe and quantify biases through underspecified questions. We show that a naive use of model scores can lead to incorrect bias estimates due to two forms of reasoning errors positional dependence and question independence. We design a formalism that isolates the aforementioned errors. As case studies, we use this metric to analyze four important classes of stereotypes gender, nationality, ethnicity, and religion. We probe five transformer based QA models trained on two QA datasets, along with their underlying language models. Our broad study reveals that (1) all these models, with and without fine tuning, have notable stereotyping biases in these classes (2) larger models often have higher bias and (3) the effect of fine tuning on bias varies strongly with the dataset and the model size.


Do we need a Contact Tracing App?. The goal of this paper is to shed some light on the usefulness of a contact tracing smartphone app for the containment of the COVID 19 pandemic. We review the basics of contact tracing during the spread of a virus, we contextualize the numbers to the case of COVID 19 and we analyse the state of the art for proximity detection using Bluetooth Low Energy. Our contribution is to assess if there is scientific evidence of the benefit of a contact tracing app in slowing down the spread of the virus using present technologies. Our conclusion is that such evidence is lacking, and we should re think the introduction of such a privacy invasive measure.


AMALGUM A Free, Balanced, Multilayer English Web Corpus. We present a freely available, genre balanced English web corpus totaling 4M tokens and featuring a large number of high quality automatic annotation layers, including dependency trees, non named entity annotations, coreference resolution, and discourse trees in Rhetorical Structure Theory. By tapping open online data sources the corpus is meant to offer a more sizable alternative to smaller manually created annotated data sets, while avoiding pitfalls such as imbalanced or unknown composition, licensing problems, and low quality natural language processing. We harness knowledge from multiple annotation layers in order to achieve a "better than NLP" benchmark and evaluate the accuracy of the resulting resource.


An observable time series based SLAM algorithm for deforming environment. In this paper, we study the back end of simultaneous localization and mapping (SLAM) problem in deforming environment, where robot localizes itself and tracks multiple non rigid soft surface using its onboard sensor measurements. An elaborate analysis is conducted on conventional deformation modelling method, Embedded Deformation (ED) graph. We demonstrate and prove that the ED graph widely used in such scenarios is unobservable and leads to multiple solutions unless suitable priors are provided. Example as well as theoretical prove are provided to show the ambiguity of ED graph and camera pose. In modelling non rigid scenario with ED graph, motion priors of the deforming environment is essential to separate robot pose and deforming environment. The conclusion can be extrapolated to any free form deformation formulation. In solving the observability, this research proposes a preliminary deformable SLAM approach to estimate robot pose in complex environments that exhibits regular motion. A strategy that approximates deformed shape using a linear combination of several previous shapes is proposed to avoid the ambiguity in robot movement and rigid and non rigid motions of the environment. Fisher information matrix rank analysis with a base case is discussed to prove the effectiveness. Moreover, the proposed algorithm is validated extensively on Monte Carlo simulations and real experiments. It is demonstrated that the new algorithm significantly outperforms conventional rigid SLAM and ED based SLAM especially in scenarios where there is large deformation.


Reinforcement Learning without Ground Truth State. To perform robot manipulation tasks, a low dimensional state of the environment typically needs to be estimated. However, designing a state estimator can sometimes be difficult, especially in environments with deformable objects. An alternative is to learn an end to end policy that maps directly from high dimensional sensor inputs to actions. However, if this policy is trained with reinforcement learning, then without a state estimator, it is hard to specify a reward function based on high dimensional observations. To meet this challenge, we propose a simple indicator reward function for goal conditioned reinforcement learning we only give a positive reward when the robot's observation exactly matches a target goal observation. We show that by relabeling the original goal with the achieved goal to obtain positive rewards (Andrychowicz et al., 2017), we can learn with the indicator reward function even in continuous state spaces. We propose two methods to further speed up convergence with indicator rewards reward balancing and reward filtering. We show comparable performance between our method and an oracle which uses the ground truth state for computing rewards. We show that our method can perform complex tasks in continuous state spaces such as rope manipulation from RGB D images, without knowledge of the ground truth state.


Graph Optimal Transport for Cross Domain Alignment. Cross domain alignment between two sets of entities (e.g., objects in an image, words in a sentence) is fundamental to both computer vision and natural language processing. Existing methods mainly focus on designing advanced attention mechanisms to simulate soft alignment, with no training signals to explicitly encourage alignment. The learned attention matrices are also dense and lacks interpretability. We propose Graph Optimal Transport (GOT), a principled framework that germinates from recent advances in Optimal Transport (OT). In GOT, cross domain alignment is formulated as a graph matching problem, by representing entities into a dynamically constructed graph. Two types of OT distances are considered (i) Wasserstein distance (WD) for node (entity) matching and (ii) Gromov Wasserstein distance (GWD) for edge (structure) matching. Both WD and GWD can be incorporated into existing neural network models, effectively acting as a drop in regularizer. The inferred transport plan also yields sparse and self normalized alignment, enhancing the interpretability of the learned model. Experiments show consistent outperformance of GOT over baselines across a wide range of tasks, including image text retrieval, visual question answering, image captioning, machine translation, and text summarization.


Arithmetic progressions of Carmichael numbers in a reduced residue class. Fix coprime natural numbers a,q . Assuming the Prime k tuple Conjecture, we show that there exist arbitrarily long arithmetic progressions of Carmichael numbers, each of which lies in the reduced residue class a mod q and is a product of three distinct prime numbers.


Specification and Automated Analysis of Inter Parameter Dependencies in Web APIs. Web services often impose inter parameter dependencies that restrict the way in which two or more input parameters can be combined to form valid calls to the service. Unfortunately, current specification languages for web services like the OpenAPI Specification (OAS) provide no support for the formal description of such dependencies, which makes it hardly possible to automatically discover and interact with services without human intervention. In this article, we present an approach for the specification and automated analysis of inter parameter dependencies in web APIs. We first present a domain specific language, called Inter parameter Dependency Language (IDL), for the specification of dependencies among input parameters in web services. Then, we propose a mapping to translate an IDL document into a constraint satisfaction problem (CSP), enabling the automated analysis of IDL specifications using standard CSP based reasoning operations. Specifically, we present a catalogue of nine analysis operations on IDL documents allowing to compute, for example, whether a given request satisfies all the dependencies of the service. Finally, we present a tool suite including an editor, a parser, an OAS extension, a constraint programming aided library, and a test suite supporting IDL specifications and their analyses. Together, these contributions pave the way for a new range of specification driven applications in areas such as code generation and testing.


Exploring families of energy dissipation landscapes via tilting three types of EDP convergence. We introduce two new concepts of convergence of gradient systems ( mathbf Q, mathcal E varepsilon, mathcal R varepsilon) to a limiting gradient system ( mathbf Q, mathcal E 0, mathcal R 0) . These new concepts are called EDP convergence with tilting' and contact EDP convergence with tilting'. Both are based on the Energy Dissipation Principle (EDP) formulation of solutions of gradient systems, and can be seen as refinements of the Gamma convergence for gradient flows first introduced by Sandier and Serfaty. The two new concepts are constructed in order to avoid the unnatural' limiting gradient structures that sometimes arise as limits in EDP convergence. EDP convergence with tilting is a strengthening of EDP convergence by requiring EDP convergence for a full family of tilted' copies of ( mathbf Q, mathcal E varepsilon, mathcal R varepsilon) . It avoids unnatural limiting gradient structures, but many interesting systems are non convergent according to this concept. Contact EDP convergence with tilting is a relaxation of EDP convergence with tilting, and still avoids unnatural limits but applies to a broader class of sequences ( mathbf Q, mathcal E varepsilon, mathcal R varepsilon) . In this paper we define these concepts, study their properties, and connect them with classical EDP convergence. We illustrate the different concepts on a number of test problems.


Reg R CNN Lesion Detection and Grading under Noisy Labels. For the task of concurrently detecting and categorizing objects, the medical imaging community commonly adopts methods developed on natural images. Current state of the art object detectors are comprised of two stages the first stage generates region proposals, the second stage subsequently categorizes them. Unlike in natural images, however, for anatomical structures of interest such as tumors, the appearance in the image (e.g., scale or intensity) links to a malignancy grade that lies on a continuous ordinal scale. While classification models discard this ordinal relation between grades by discretizing the continuous scale to an unordered bag of categories, regression models are trained with distance metrics, which preserve the relation. This advantage becomes all the more important in the setting of label confusions on ambiguous data sets, which is the usual case with medical images. To this end, we propose Reg R CNN, which replaces the second stage classification model of a current object detector with a regression model. We show the superiority of our approach on a public data set with 1026 patients and a series of toy experiments. Code will be available at github.com MIC DKFZ RegRCNN.


Effects of heterogeneous self protection awareness on resource epidemic coevolution dynamics. Recent studies have demonstrated that the allocation of individual resources has a significant influence on the dynamics of epidemic spreading. In the real scenario, individuals have a different level of awareness for self protection when facing the outbreak of an epidemic. To investigate the effects of the heterogeneous self awareness distribution on the epidemic dynamics, we propose a resource epidemic coevolution model in this paper. We first study the effects of the heterogeneous distributions of node degree and self awareness on the epidemic dynamics on artificial networks. Through extensive simulations, we find that the heterogeneity of self awareness distribution suppresses the outbreak of an epidemic, and the heterogeneity of degree distribution enhances the epidemic spreading. Next, we study how the correlation between node degree and self awareness affects the epidemic dynamics. The results reveal that when the correlation is positive, the heterogeneity of self awareness restrains the epidemic spreading. While, when there is a significant negative correlation, strong heterogeneous or strong homogeneous distribution of the self awareness is not conducive for disease suppression. We find an optimal heterogeneity of self awareness, at which the disease can be suppressed to the most extent. Further research shows that the epidemic threshold increases monotonously when the correlation changes from most negative to most positive, and a critical value of the correlation coefficient is found. When the coefficient is below the critical value, an optimal heterogeneity of self awareness exists otherwise, the epidemic threshold decreases monotonously with the decline of the self awareness heterogeneity. At last, we verify the results on four typical real world networks and find that the results on the real world networks are consistent with those on the artificial network.


Phish IRIS A New Approach for Vision Based Brand Prediction of Phishing Web Pages via Compact Visual Descriptors. Phishing, a continuously growing cyber threat, aims to obtain innocent users' credentials by deceiving them via presenting fake web pages which mimic their legitimate targets. To date, various attempts have been carried out in order to detect phishing pages. In this study, we treat the problem of phishing web page identification as an image classification task and propose a machine learning augmented pure vision based approach which extracts and classifies compact visual features from web page screenshots. For this purpose, we employed several MPEG7 and MPEG7 like compact visual descriptors (SCD, CLD, CEDD, FCTH and JCD) to reveal color and edge based discriminative visual cues. Throughout the feature extraction process we have followed two different schemes working on either whole screenshots in a "holistic" manner or equal sized "patches" constructing a coarse to fine "pyramidal" representation. Moreover, for the task of image classification, we have built SVM and Random Forest based machine learning models. In order to assess the performance and generalization capability of the proposed approach, we have collected a mid sized corpus covering 14 distinct brands and involving 2852 samples. According to the conducted experiments, our approach reaches up to 90.5 F1 score via SCD. As a result, compared to other studies, the suggested approach presents a lightweight schema serving competitive accuracy and superior feature extraction and inferring speed that enables it to be used as a browser plugin.


Local Constancy of Intersection Numbers. We prove that, in certain situations, intersection numbers on formal schemes that come in profinite families vary locally constantly in the parameter. To this end, we define the product S times M of a profinite set S with a locally noetherian formal scheme M and study intersections thereon. Our application is to the Arithmetic Fundamental Lemma of W. Zhang where the result helps to remove a restriction in its recent proof, cf. arXiv 1909.02697.


Comparison of AATR and WTEC indices in the studies of the level of ionospheric disturbance. A comparative statistical analysis of AATR and WTEC indices was conducted based on data from the ISTP SB RAS GNSS receivers network. It is shown that at high levels of ionospheric disturbance (for WTEC 0.1 TECU), the AATR index is proportional to the WTEC index with a factor of 1.5min 1 . At small levels of ionospheric disturbance (for WTEC 0.1 TECU), this proportionality is violated. It is shown that the contribution of daily dynamics of the background ionosphere to the AATR index is higher than to the WTEC index. This leads to a higher sensitivity of the WTEC index to disturbances. This also leads to violating the proportionality between WTEC and AATR indices at low levels of ionospheric disturbance. It is shown that at high latitudes the dynamics of the WTEC and AATR indices correlate significantly with the level of geomagnetic disturbance Kp. At mid latitudes, the contribution of solar radiation variations (F10.7 index) and vertical seismic variations exceeds the influence of Kp variations. The program for calculating WTEC indices, used in the paper is put into open access.


New Bounds on the Biplanar and k Planar Crossing Numbers. The biplanar crossing number of a graph G is the minimum number of crossings over all possible drawings of the edges of G in two disjoint planes. We present new bounds on the biplanar crossing number of complete graphs and complete bipartite graphs. In particular, we prove that the biplanar crossing number of complete bipartite graphs can be approximated to within a factor of 3 , improving over the best previously known approximation factor of 4.03 . For complete graphs, we provide a new approximation factor of 3.17 , improving over the best previous factor of 4.34 . We provide similar improved approximation factors for the k planar crossing number of complete graphs and complete bipartite graphs, for any positive integer k . We also investigate the relation between (ordinary) crossing number and biplanar crossing number of general graphs in more depth, and prove that any graph with a crossing number of at most 10 is biplanar.


Mutations on COVID 19 diagnostic targets. Effective, sensitive, and reliable diagnostic reagents are of paramount importance for combating the ongoing coronavirus disease 2019 (COVID 19) pandemic at a time there is no preventive vaccine nor specific drug available for severe acute respiratory syndrome coronavirus 2 (SARS CoV 2). It would be an absolute tragedy if currently used diagnostic reagents are undermined in any manner. Based on the genotyping of 7818 SARS CoV 2 genome samples collected up to May 1, 2020, we reveal that essentially all of the current COVID 19 diagnostic targets have had mutations. We further show that SARS CoV 2 has the most devastating mutations on the targets of various nucleocapsid (N) gene primers and probes, which have been unfortunately used by countries around the world to diagnose COVID 19. Our findings explain what has seriously gone wrong with a specific diagnostic reagent made in China. To understand whether SARS CoV 2 genes have mutated unevenly, we have computed the mutation ratio and mutation h index of all SARS CoV genes, indicating that the N gene is the most non conservative gene in the SARS CoV 2 genome. Our findings enable researchers to target the most conservative SARS CoV 2 genes and proteins for the design and development of COVID 19 diagnostic reagents, preventive vaccines, and therapeutic medicines.


The Frequency of Elliptic Curves Over mathbb Q i with Fixed Torsion. Mazur's Theorem states that there are precisely 15 possibilities for the torsion subgroup of an elliptic curve defined over the rational numbers. It was previously shown by Harron and Snowden that the number of isomorphism classes of elliptic curves of height up to X that have a specific torsion subgroup G is on the order of X 1 d(G) , for some positive d(G) depending on G . We compute d(G) for these groups over mathbb Q i . Furthermore, in a collection of recent papers it was proven that there are 9 more possibilities for the torsion subgroup in the base field mathbb Q i . We compute the value of d(G) for these new groups.


Designing the Next Generation of Intelligent Personal Robotic Assistants for the Physically Impaired. The physically impaired commonly have difficulties performing simple routine tasks without relying on other individuals who are not always readily available and thus make them strive for independence. While their impaired abilities can in many cases be augmented (to certain degrees) with the use of assistive technologies, there has been little attention to their applications in embodied AI with assistive technologies. This paper presents the modular framework, architecture, and design of the mid fidelity prototype of MARVIN an artificial intelligence powered robotic assistant designed to help the physically impaired in performing simple day to day tasks. The prototype features a trivial locomotion unit and also utilizes various state of the art neural network architectures for specific modular components of the system. These components perform specialized functions, such as automatic speech recognition, object detection, natural language understanding, speech synthesis, etc. We also discuss the constraints, challenges encountered, potential future applications and improvements towards succeeding prototypes.


On the Optimality of Gauss's Algorithm over Euclidean Imaginary Quadratic Fields. In this paper, we continue our previous work on the reduction of algebraic lattices over imaginary quadratic fields for the special case when the lattice is spanned over a two dimensional basis. In particular, we show that the algebraicvariant of Gauss algorithm returns a basis that corresponds to the successive minima of the lattice in polynomial time if the chosen ring is Euclidean.


Radon Concentration Potential in Bibala Municipality Water Consequences for Public Consumption. The primary motivation for this work is the evaluation of the radon concentration in portable water for human consumption in Bibala, a municipality in Angola, where granitic rocks are common, and contain a high concentration of uranium that can be mobilized in underground water. Radon is the largest contributor of radioactive pollution in underground water.Its concentration in water, represents a public health risk due to the fact that the gas can easily escape into the air, adding to the total indoor concentration of radon.On the other hand, ingestion of water with a high radon concentration represents an additional risk to the stomach. Measurements of radon concentration, in Bibala municipality's water, were performed on 16 samples obtained from wells of various depths and analyzed with DURRIDGEs' RAD7 equipment. Measured concentrations are in the range from 39.5 to 202 Bq L , with 2 of the recovered samples presenting values over 100 Bq L.


Reconfigurable all dielectric metalens with diffraction limited performance. Active metasurfaces, whose optical properties can be modulated post fabrication, have emerged as an intensively explored field in recent years. The efforts to date, however, still face major performance limitations in tuning range, optical quality, and efficiency especially for non mechanical actuation mechanisms. In this paper, we introduce an active metasurface platform combining phase tuning covering the full 2 pi range and diffraction limited performance using an all dielectric, low loss architecture based on optical phase change materials (O PCMs). We present a generic design principle enabling switching of metasurfaces between two arbitrary phase profiles and propose a new figure of merit (FOM) tailored for active meta optics. We implement the approach to realize a high performance varifocal metalens operating at 5.2 mu m wavelength. The metalens is constructed using Ge2Sb2Se4Te1 (GSST), an O PCM with a large refractive index contrast ( Delta n 1) and unique broadband low loss characteristics in both amorphous and crystalline states. The reconfigurable metalens features focusing efficiencies above 20 at both states for linearly polarized light and a record large switching contrast ratio of 29.5 dB. We further validated aberration free imaging using the metalens at both optical states, which represents the first experimental demonstration of a non mechanical active metalens with diffraction limited performance.


Risk Sensitive Markov Decision Processes with Combined Metrics of Mean and Variance. This paper investigates the optimization problem of an infinite stage discrete time Markov decision process (MDP) with a long run average metric considering both mean and variance of rewards together. Such performance metric is important since the mean indicates average returns and the variance indicates risk or fairness. However, the variance metric couples the rewards at all stages, the traditional dynamic programming is inapplicable as the principle of time consistency fails. We study this problem from a new perspective called the sensitivity based optimization theory. A performance difference formula is derived and it can quantify the difference of the mean variance combined metrics of MDPs under any two different policies. The difference formula can be utilized to generate new policies with strictly improved mean variance performance. A necessary condition of the optimal policy and the optimality of deterministic policies are derived. We further develop an iterative algorithm with a form of policy iteration, which is proved to converge to local optima both in the mixed and randomized policy space. Specially, when the mean reward is constant in policies, the algorithm is guaranteed to converge to the global optimum. Finally, we apply our approach to study the fluctuation reduction of wind power in an energy storage system, which demonstrates the potential applicability of our optimization method.


Development of a new sixth order accurate compact scheme for two and three dimensional Helmholtz equation. In this work, a new compact sixth order accurate finite difference scheme for the two and three dimensional Helmholtz equation is presented. The main significance of the proposed scheme is that its sixth order leading truncation error term does not explicitly depend on the associated wave number. This makes the scheme robust to work for the Helmholtz equation even with large wave numbers. The convergence analysis of the new scheme is given. Numerical results for various benchmark test problems are given to support the theoretical estimates. These numerical results confirm the accuracy and robustness of the proposed scheme.


The topological K theory of crystallographic groups with holonomy mathbb Z 2 . In this note we present a complete computation of the topological K theory of the reduced C algebra of a semidirect product of the form Gamma mathbb Z n rtimes rho mathbb Z 2 with no further assumptions about of the conjugacy action rho . For this, we use some results for mathbb Z 2 equivariant K theory proved by Rosenberg and previous results of Davis and Luck when the conjugacy action rho is free outside the origin.


Around the variational principle for metric mean dimension. We study variational principles for metric mean dimension. First we prove that in the variational principle of Lindenstrauss and Tsukamoto it suffices to take supremum over ergodic measures. Second we derive a variational principle for metric mean dimension involving growth rates of measure theoretic entropy of partitions decreasing in diameter which holds in full generality and in particular does not necessitate the assumption of tame growth of covering numbers. The expressions involved are a dynamical version of Renyi information dimension. Third we derive a new expression for Geiger Koch information dimension rate for ergodic shift invariant measures. Finally we develop a lower bound for metric mean dimension in terms of Brin Katok local entropy.


Modular categories with transitive Galois actions. In this paper, we study modular categories whose Galois group actions on their simple objects are transitive. We show that such modular categories admit unique factorization into prime transitive factors. The representations of SL 2( mathbb Z ) associated with transitive modular categories are proven to be minimal and irreducible. Together with the Verlinde formula, we characterize prime transitive modular categories as the Galois conjugates of the adjoint subcategory of the quantum group modular category mathcal C ( mathfrak sl 2,p 2) for some prime p 3 . As a consequence, we completely classify transitive modular categories. Transitivity of super modular categories can be similarly defined. A unique factorization of any transitive super modular category into s simple transitive factors is obtained, and the split transitive super modular categories are completely classified.


Sum Rank BCH Codes and Cyclic Skew Cyclic Codes. In this work, cyclic skew cyclic codes and sum rank BCH codes are introduced. Cyclic skew cyclic codes are characterized as left ideals of a suitable non commutative finite ring, constructed using skew polynomials on top of polynomials (or vice versa). Single generators of such left ideals are found, and they are used to construct generator matrices of the corresponding codes. The notion of defining set is introduced, using pairs of roots of skew polynomials on top of poynomials. A lower bound (called sum rank BCH bound) on the minimum sum rank distance is given for cyclic skew cyclic codes whose defining set contains certain consecutive pairs. Sum rank BCH codes, with prescribed minimum sum rank distance, are then defined as the largest cyclic skew cyclic codes whose defining set contains such consecutive pairs. The defining set of a sum rank BCH code is described, and a lower bound on its dimension is obtained. Thanks to it, tables are provided showing that sum rank BCH codes beat previously known codes for the sum rank metric for binary 2 times 2 matrices (i.e., codes whose codewords are lists of 2 times 2 binary matrices, for a wide range of list lengths that correspond to the code length). Finally, a decoder for sum rank BCH codes up to half their prescribed distance is obtained.


Vanishing of the Brauer group of a del Pezzo surface of degree 4. We explicitly construct a del Pezzo surface X of degree 4 over a field k such that operatorname H 1(k, operatorname Pic overline X) is isomorphic to mathbb ZZ 2 mathbb Z while operatorname Br X operatorname Br k is trivial. This proves that the algorithm to compute the Brauer group in VAV cannot be generalized in some cases.


Injectivity almost everywhere for weak limits of Sobolev homeomorphisms. Let Omega subset mathbb R n be an open set and let f in W 1,p ( Omega, mathbb R n) be a weak (sequential) limit of Sobolev homeomorphisms. Then f is injective almost everywhere for p n 1 both in the image and in the domain. For p leq n 1 we construct a strong limit of homeomorphisms such that the preimage of a point is a continuum for every point in a set of positive measure in the image and a topological image of a point is a continuum for every point in a set of positive measure in the domain.


RFBNet Deep Multimodal Networks with Residual Fusion Blocks for RGB D Semantic Segmentation. RGB D semantic segmentation methods conventionally use two independent encoders to extract features from the RGB and depth data. However, there lacks an effective fusion mechanism to bridge the encoders, for the purpose of fully exploiting the complementary information from multiple modalities. This paper proposes a novel bottom up interactive fusion structure to model the interdependencies between the encoders. The structure introduces an interaction stream to interconnect the encoders. The interaction stream not only progressively aggregates modality specific features from the encoders but also computes complementary features for them. To instantiate this structure, the paper proposes a residual fusion block (RFB) to formulate the interdependences of the encoders. The RFB consists of two residual units and one fusion unit with gate mechanism. It learns complementary features for the modality specific encoders and extracts modality specific features as well as cross modal features. Based on the RFB, the paper presents the deep multimodal networks for RGB D semantic segmentation called RFBNet. The experiments on two datasets demonstrate the effectiveness of modeling the interdependencies and that the RFBNet achieved state of the art performance.


Calculations of P and T odd interaction constants of alkaline earth monofluorides using KRCI method. We have reported the results of ab initio calculations of parity and time reversal odd interaction constants for the ground state of alkaline earth monofluorides. The Kramers restricted configuration interaction method limited to single and double excitations in conjunction with the quadruple zeta quality basis sets have been employed to perform these 4 component relativistic calculations. The results are compared with the existing semi empirical and other theoretical results, wherever available.


Transformer Interpretability Beyond Attention Visualization. Self attention techniques, and specifically Transformers, are dominating the field of text processing and are becoming increasingly popular in computer vision classification tasks. In order to visualize the parts of the image that led to a certain classification, existing methods either rely on the obtained attention maps or employ heuristic propagation along the attention graph. In this work, we propose a novel way to compute relevancy for Transformer networks. The method assigns local relevance based on the Deep Taylor Decomposition principle and then propagates these relevancy scores through the layers. This propagation involves attention layers and skip connections, which challenge existing methods. Our solution is based on a specific formulation that is shown to maintain the total relevancy across layers. We benchmark our method on very recent visual Transformer networks, as well as on a text classification problem, and demonstrate a clear advantage over the existing explainability methods.


A Differentiable Ranking Metric Using Relaxed Sorting Operation for Top K Recommender Systems. A recommender system generates personalized recommendations for a user by computing the preference score of items, sorting the items according to the score, and filtering top K items with high scores. While sorting and ranking items are integral for this recommendation procedure, it is nontrivial to incorporate them in the process of end to end model training since sorting is nondifferentiable and hard to optimize with gradient descent. This incurs the inconsistency issue between existing learning objectives and ranking metrics of recommenders. In this work, we present DRM (differentiable ranking metric) that mitigates the inconsistency and improves recommendation performance by employing the differentiable relaxation of ranking metrics. Via experiments with several real world datasets, we demonstrate that the joint learning of the DRM objective upon existing factor based recommenders significantly improves the quality of recommendations, in comparison with other state of the art recommendation methods.


Contact Process under heavy tailed renewals on finite graphs. We investigate a non Markovian analogue of the Harris contact process in a finite connected graph G (V,E) an individual is attached to each site x in V, and it can be infected or healthy the infection propagates to healthy neighbors just as in the usual contact process, according to independent exponential times with a fixed rate lambda 0 however, the recovery times for an individual are given by the points of a renewal process attached to its timeline, whose waiting times have distribution mu such that mu(t,infty) t alpha L(t), where 1 2 alpha 1 and L is a slowly varying function the renewal processes are assumed to be independent for different sites. We show that, starting with a single infected individual, if V 2 (2 alpha 1) (1 alpha)(2 alpha) , then the infection does not survive for any lambda and if V 1 (1 alpha), then, for every lambda, the infection has positive probability to survive


A Bipartite Graph That Is Not the gamma Graph of a Bipartite Graph. For a graph G (V, E) , the gamma graph of G is the graph whose vertex set is the collection of minimum dominating sets, or gamma sets of G , and two gamma sets are adjacent if they differ by a single vertex and the two different vertices are adjacent in G . An open question in gamma graphs is whether every bipartite graph is the gamma graph of some bipartite graph. We answer this question in the negative by demonstrating that K 2, 3 is not the gamma graph of any bipartite graph.


Scaled Fixed Point Algorithm for Computing the Matrix Square Root. This paper addresses the numerical solution of the matrix square root problem. Two fixed point iterations are proposed by rearranging the nonlinear matrix equation A X 2 0 and incorporating a positive scaling parameter. The proposals only need to compute one matrix inverse and at most two matrix multiplications per iteration. A global convergence result is established. The numerical comparisons versus some existing methods from the literature, on several test problems, demonstrate the efficiency and effectiveness of our proposals.


Lyapunov Exponent of Rank One Matrices Ergodic Formula and Inapproximability of the Optimal Distribution. The Lyapunov exponent corresponding to a set of square matrices mathcal A A 1, dots, A n and a probability distribution p over 1, dots, n is lambda( mathcal A ,p) lim k to infty frac 1 k , mathbb E log A sigma k cdots A sigma 2 A sigma 1 , where sigma i are i.i.d. according to p . This quantity is of fundamental importance to control theory since it determines the asymptotic convergence rate e lambda( mathcal A ,p) of the stochastic linear dynamical system x k 1 A sigma k x k . This paper investigates the following "design problem" given mathcal A , compute the distribution p minimizing lambda( mathcal A ,p) . Our main result is that it is NP hard to decide whether there exists a distribution p for which lambda( mathcal A ,p) 0 , i.e. it is NP hard to decide whether this dynamical system can be stabilized. This hardness result holds even in the "simple"' case where mathcal A contains only rank one matrices. Somewhat surprisingly, this is in stark contrast to the Joint Spectral Radius the deterministic kindred of the Lyapunov exponent for which the analogous optimization problem for rank one matrices is known to be exactly computable in polynomial time. To prove this hardness result, we first observe via Birkhoff's Ergodic Theorem that the Lyapunov exponent of rank one matrices admits a simple formula and in fact is a quadratic form in p . Hardness of the design problem is shown through a reduction from the Independent Set problem. Along the way, simple examples are given illustrating that p mapsto lambda( mathcal A ,p) is neither convex nor concave in general. We conclude with extensions to continuous distributions, exchangeable processes, Markov processes, and stationary ergodic processes.


On the breakdown of regular solutions with finite energy for 3D degenerate compressible Navier Stokes equations. In this paper, the three dimensional (3D) isentropic compressible Navier Stokes equations with degenerate viscosities ( textbf ICND ) is considered in both the whole space and the periodic domain. First, for the corresponding Cauchy problem, when shear and bulk viscosity coefficients are both given as a constant multiple of the density's power ( rho delta with 0 delta 1 ), based on some elaborate analysis of this system's intrinsic singular structures, we show that the L infty norm of the deformation tensor D(u) and the L 6 norm of nabla rho delta 1 control the possible breakdown of regular solutions with far field vacuum. This conclusion means that if a solution with far field vacuum of the textbf ICND system is initially regular and loses its regularity at some later time, then the formation of singularity must be caused by losing the bound of D(u) or nabla rho delta 1 as the critical time approaches. Second, under the additional assumption that the shear and second viscosities (respectively mu( rho) and lambda( rho) ) satisfy the BD relation lambda( rho) 2( mu'( rho) rho mu( rho)) , if we consider the corresponding problem in some periodic domain and the initial density is away from the vacuum, it can be proved that the possible breakdown of classical solutions can be controlled only by the L infty norm of D(u) . It is worth pointing out that, except the conclusions mentioned above, another purpose of the current paper is to show how to understand the intrinsic singular structures of the fluid system considered now, and then how to develop the corresponding nonlinear energy estimates in the specially designed energy space with singular weights for the unique regular solution with finite energy.


Geometric phase predicts locomotion performance in undulating living systems across scales. Self propelling organisms locomote via the generation of patterns of self deformation. Despite the diversity of body plans and the complex challenges of integrating electrical, chemical, and mechanical signals to achieve such shape changes, in steady forward movement, limbless systems across scales and environments often use traveling waves of axial body bending. However, delineating how parameters (wave amplitudes, frequencies) lead to high locomotor performance (e.g. speed, stability, energy) remains challenging. Here we show that a geometric framework developed in the last decades by theoretical physicists and control engineers that replaces complex calculation with a diagrammatic scheme is well suited to the discovery and comparison of optimal patterns of wave dynamics in living systems across scales. We focus on a regime of undulatory locomotion, that of highly damped environments which is applicable not only to small organism movement in viscous fluids but also to animals moving in frictional fluids (sand) and on frictional ground. We find that the traveling wave dynamics used by mm scale nematode worms and cm scale desert dwelling snakes and lizards can be described by sinusoidal time variation of the amplitudes of two sinuous like modes. These near circular paths in a self deformation space enclose near maximal surface integral (geometric phase) across two decades in body length. Thus, the introduction of techniques from differential geometry into living systems can assist in the growth of comparative neuromechanics, allowing comparison of self deformation dynamics across taxa and providing hypotheses for function at lower levels of organization.


Asymptotic ast distribution of permuted Haar unitary matrices. We study Haar unitary random matrices with permuted entries. For a sequence of permutations left( sigma N right) N , where sigma N acts on N times N matrices we identify conditions under which the ast distribution of permuted Haar unitary matrices U N sigma N is asymptotically circular and free from the unpermuted sequence U N . We show that this convergence takes place in the almost sure sense. Moreover we show that our conditions on the sequence of permutations are generic in the sense that are almost surely satisfied by a sequence of random permutations.


A New Combinatorial Coded Design for Heterogeneous Distributed Computing. Coded Distributed Computing (CDC) introduced by Li et al. in 2015 offers an efficient approach to trade computing power to reduce the communication load in general distributed computing frameworks such as MapReduce and Spark. In particular, increasing the computation load in the Map phase by a factor of r can create coded multicasting opportunities to reduce the communication load in the Shuffle phase by the same factor. However, the CDC scheme is designed for the homogeneous settings, where the storage, computation load and communication load on the computing nodes are the same. In addition, it requires an exponentially large number of input files (data batches), reduce functions and multicasting groups relative to the number of nodes to achieve the promised gain. We address the CDC limitations by proposing a novel CDC approach based on a combinatorial design, which accommodates heterogeneous networks where nodes have varying storage and computing capabilities. In addition, the proposed approach requires an exponentially less number of input files compared to the original CDC scheme proposed by Li et al. Meanwhile, the resulting computation communication trade off maintains the multiplicative gain compared to conventional uncoded unicast and asymptotically achieves the optimal performance proposed by Li et al.


Grounding Conversations with Improvised Dialogues. Effective dialogue involves grounding, the process of establishing mutual knowledge that is essential for communication between people. Modern dialogue systems are not explicitly trained to build common ground, and therefore overlook this important aspect of communication. Improvisational theater (improv) intrinsically contains a high proportion of dialogue focused on building common ground, and makes use of the yes and principle, a strong grounding speech act, to establish coherence and an actionable objective reality. We collect a corpus of more than 26,000 yes and turns, transcribing them from improv dialogues and extracting them from larger, but more sparsely populated movie script dialogue corpora, via a bootstrapped classifier. We fine tune chit chat dialogue systems with our corpus to encourage more grounded, relevant conversation and confirm these findings with human evaluations.


Ferromagnetic contamination of Ultra Low Field NMR sample containers. Quantification of the problem and possible solutions. The presence of a weak remanence in Ultra Low Field (ULF) NMR sample containers is investigated on the basis of proton precession. The high sensitivity magnetometer used for the NMR detection, enables simultaneously the measurement of the static field produced in the sample proximity by ferromagnetic contaminants. The presence of the latter is studied by high resolution chemical analyses of the surface, based on X ray fluorescence spectroscopy and secondary ions mass spectroscopy. Methodologies to reduce the contamination are explored and characterized. This study is of relevance in any ULF NMR experiment, as in the ULF regime spurious ferromagnetism becomes easily a dominant cause of artefacts.


Fair and Truthful Mechanisms for Dichotomous Valuations. We consider the problem of allocating a set on indivisible items to players with private preferences in an efficient and fair way. We focus on valuations that have dichotomous marginals, in which the added value of any item to a set is either 0 or 1, and aim to design truthful allocation mechanisms (without money) that maximize welfare and are fair. For the case that players have submodular valuations with dichotomous marginals, we design such a deterministic truthful allocation mechanism. The allocation output by our mechanism is Lorenz dominating, and consequently satisfies many desired fairness properties, such as being envy free up to any item (EFX), and maximizing the Nash Social Welfare (NSW). We then show that our mechanism with random priorities is envy free ex ante, while having all the above properties ex post. Furthermore, we present several impossibility results precluding similar results for the larger class of XOS valuations. To gauge the robustness of our positive results, we also study epsilon dichotomous valuations, in which the added value of any item to a set is either non positive, or in the range 1, 1 epsilon . We show several impossibility results in this setting, and also a positive result for players that have additive epsilon dichotomous valuations with sufficiently small epsilon , we design a randomized truthful mechanism with strong ex post guarantees. For rho frac 1 1 epsilon , the allocations that it produces generate at least a rho fraction of the maximum welfare, and enjoy rho approximations for various fairness properties, such as being envy free up to one item (EF1), and giving each player at least her maximin share.


MLCask Efficient Management of Component Evolution in Collaborative Data Analytics Pipelines. With the ever increasing adoption of machine learning for data analytics, maintaining a machine learning pipeline is becoming more complex as both the datasets and trained models evolve with time. In a collaborative environment, the changes and updates due to pipeline evolution often cause cumbersome coordination and maintenance work, raising the costs and making it hard to use. Existing solutions, unfortunately, do not address the version evolution problem, especially in a collaborative environment where non linear version control semantics are necessary to isolate operations made by different user roles. The lack of version control semantics also incurs unnecessary storage consumption and lowers efficiency due to data duplication and repeated data pre processing, which are avoidable. In this paper, we identify two main challenges that arise during the deployment of machine learning pipelines, and address them with the design of versioning for an end to end analytics system MLCask. The system supports multiple user roles with the ability to perform Git like branching and merging operations in the context of the machine learning pipelines. We define and accelerate the metric driven merge operation by pruning the pipeline search tree using reusable history records and pipeline compatibility information. Further, we design and implement the prioritized pipeline search, which gives preference to the pipelines that probably yield better performance. The effectiveness of MLCask is evaluated through an extensive study over several real world deployment cases. The performance evaluation shows that the proposed merge operation is up to 7.8x faster and saves up to 11.9x storage space than the baseline method that does not utilize history records.


Variational Analysis of Landscape Elevation and Drainage Networks. Landscapes evolve toward surfaces with complex networks of channels and ridges in response to climatic and tectonic forcing. Here we analyze variational principles giving rise to minimalist models of landscape evolution as a system of partial differential equations that capture the essential dynamics of sediment and water balances. Our results show that in the absence of diffusive soil transport, the steady state surface extremizes the average domain elevation. Depending on the exponent m of specific drainage area in the erosion term, the critical surfaces are either minima (0 m 1) or maxima (m 1), with m 1 corresponding to a saddle point. Our results establish a connection between Landscape Evolution Models (LEMs) and Optimal Channel Networks (OCNs) and elucidate the role of diffusion in the governing variational principles.


Startup Unicorn Growth Valuation. How do you value companies which have IPOed recently? How do you compare them amongst their peers? Valuing companies using a linear extrapolation of their revenues and profits leads to an ingenious method to benchmark stocks against each other. Here we present such a method, dubbed the growth average U1.


On the general position number of complementary prisms. The general position number rm gp (G) of a graph G is the cardinality of a largest set of vertices S such that no element of S lies on a geodesic between two other elements of S . The complementary prism G overline G of G is the graph formed from the disjoint union of G and its complement overline G by adding the edges of a perfect matching between them. It is proved that rm gp (G overline G ) le n(G) 1 if G is connected and rm gp (G overline G ) le n(G) if G is disconnected. Graphs G for which rm gp (G overline G ) n(G) 1 holds, provided that both G and overline G are connected, are characterized. A sharp lower bound on rm gp (G overline G ) is proved. If G is a connected bipartite graph or a split graph then rm gp (G overline G ) in n(G), n(G) 1 . Connected bipartite graphs and block graphs for which rm gp (G overline G ) n(G) 1 holds are characterized. A family of block graphs is constructed in which the rm gp number of their complementary prisms is arbitrary smaller than their order.


Infinitesimal dilogarithm on curves over truncated polynomial rings. Let C be a smooth and projective curve over the truncated polynomial ring k m k t (t m), where k is a field of characteristic 0. Using a candidate for the motivic cohomology group rm H 3 pazocal M (C, mathbb Q (3)) based on the Bloch complex of weight 3, we construct regulators to k for every m r 2m. Specializing this construction, we obtain an invariant rho m,r (f wedge g wedge h) of rational functions f, g and h on C. The current work is a twofold generalization of our work on the infinitesimal Chow dilogarithm we sheafify the previous construction and therefore do not restrict ourselves to triples of rational functions and we construct the regulator for any m r 2m, rather than only for m 2. We also define regulators of cycles, which we expect to give a complete set of invariants for the infinitesimal part of rm CH 2 (k m ,3). This generalizes Park's work, where the additive Chow cycles, namely the case of cycles close to 0, is handled for r m 1. In this paper, we generalize the reciprocity theorem to pairs of cycles which are the same modulo (t m) and for any m r 2m. We expect the theory of the paper to give regulators on categories of motives over rings with nilpotents.


Parallel sequence tagging for concept recognition. Background Named Entity Recognition (NER) and Normalisation (NEN) are core components of any text mining system for biomedical texts. In a traditional concept recognition pipeline, these tasks are combined in a serial way, which is inherently prone to error propagation from NER to NEN. We propose a parallel architecture, where both NER and NEN are modeled as a sequence labeling task, operating directly on the source text. We examine different harmonisation strategies for merging the predictions of the two classifiers into a single output sequence. Results We test our approach on the recent Version 4 of the CRAFT corpus. In all 20 annotation sets of the concept annotation task, our system outperforms the pipeline system reported as a baseline in the CRAFT shared task 2019. Conclusions Our analysis shows that the strengths of the two classifiers can be combined in a fruitful way. However, prediction harmonisation requires individual calibration on a development set for each annotation set. This allows achieving a good trade off between established knowledge (training set) and novel information (unseen concepts). Availability and Implementation Source code freely available for download at https github.com OntoGene craft st. Supplementary data are available at arXiv online.


Approximate Aggregate Queries Under Additive Inequalities. We consider the problem of evaluating certain types of functional aggregation queries on relational data subject to additive inequalities. Such aggregation queries, with a smallish number of additive inequalities, arise naturally commonly in many applications, particularly in learning applications. We give a relatively complete categorization of the computational complexity of such problems. We first show that the problem is NP hard, even in the case of one additive inequality. Thus we turn to approximating the query. Our main result is an efficient algorithm for approximating, with arbitrarily small relative error, many natural aggregation queries with one additive inequality. We give examples of natural queries that can be efficiently solved using this algorithm. In contrast, we show that the situation with two additive inequalities is quite different, by showing that it is NP hard to evaluate simple aggregation queries, with two additive inequalities, with any bounded relative error.


The perceptions of social and information privacy risks of Inflammatory Bowel Disease patients using social media platforms for health related support. With hundreds of thousands of individuals using social media to discuss health concerns, sensitive personal data is self disclosed on these platforms every day. Previous research indicates an understanding of social privacy concerns by patients with chronic illnesses, but there is a lack of understanding in the perception of information privacy concerns. Qualitative interviews were conducted with 38 patients with inflammatory bowel disease (IBD) using social media platforms to engage with online communities. Using thematic analysis, we identified that patients typically demonstrate the privacy and risk dual calculus for perceived social privacy concerns. Patients demonstrate mixed knowledge of what data is collected and how it is used by social media platforms and often described their platform use as a trade off between the unknown information privacy risks and the therapeutic affordances of engaging with the online community (the privacy calculus). Our findings illustrate the different levels of understanding between social and information privacy and the impacts on how individuals take agency over their personal data. We conclude with the suggestion for future research to further understand the relationship between knowledge, information privacy concerns and mitigating actions in the online health community context.


Contrast to noise ratio analysis of microscopic diffusion anisotropy indices in q space trajectory imaging. Diffusion anisotropy in diffusion tensor imaging (DTI) is commonly quantified with normalized diffusion anisotropy indices (DAIs). Most often, the fractional anisotropy (FA) is used, but several alternative DAIs have been introduced in attempts to maximize the contrast to noise ratio (CNR) in diffusion anisotropy maps. Examples include the scaled relative anisotropy (sRA), the gamma variate anisotropy index (GV), the surface anisotropy (UAsurf), and the lattice index (LI). With the advent of multidimensional diffusion encoding it became possible to determine the presence of microscopic diffusion anisotropy in a voxel, which is theoretically independent of orientation coherence. In accordance with DTI, the microscopic anisotropy is typically quantified by the microscopic fractional anisotropy (uFA). In this work, in addition to the uFA, the four microscopic diffusion anisotropy indices (uDAIs) usRA, uGV, uUAsurf, and uLI are defined in analogy to the respective DAIs by means of the average diffusion tensor and the covariance tensor. Simulations with three representative distributions of microscopic diffusion tensors revealed distinct CNR differences when differentiating between isotropic and microscopically anisotropic diffusion. q Space trajectory imaging (QTI) was employed to acquire brain in vivo maps of all indices. For this purpose, a 15 min protocol featuring linear, planar, and spherical tensor encoding was used. The resulting maps were of good quality and exhibited different contrasts, e.g. between gray and white matter. This indicates that it may be beneficial to use more than one uDAI in future investigational studies.


Importing Relationships into a Running Graph Database Using Parallel Processing. Importing relationships into a running graph database using multiple threads running concurrently is a difficult task, as multiple threads cannot write information to the same node at the same time. Here we present an algorithm in which relationships are sorted into bins, then imported such that no two threads ever access the same node concurrently. When this algorithm was implemented as a procedure to run on the Neo4j graph database, it reduced the time to import relationships by up to 69 when 32 threads were used.


uPredict A User Level Profiler Based Predictive Framework for Single VM Applications in Multi Tenant Clouds. Most existing studies on performance prediction for virtual machines (VMs) in multi tenant clouds are at system level and generally require access to performance counters in Hypervisors. In this work, we propose uPredict, a user level profiler based performance predictive framework for single VM applications in multi tenant clouds. Here, three micro benchmarks are specially devised to assess the contention of CPUs, memory and disks in a VM, respectively. Based on measured performance of an application and micro benchmarks, the application and VM specific predictive models can be derived by exploiting various regression and neural network based techniques. These models can then be used to predict the application's performance using the in situ profiled resource contention with the micro benchmarks. We evaluated uPredict extensively with representative benchmarks from PARSEC, NAS Parallel Benchmarks and CloudSuite, on both a private cloud and two public clouds. The results show that the average prediction errors are between 9.8 to 17 for various predictive models on the private cloud with high resource contention, while the errors are within 4 on public clouds. A smart load balancing scheme powered by uPredict is presented and can effectively reduce the execution and turnaround times of the considered application by 19 and 10 , respectively.


BATS Binary ArchitecTure Search. This paper proposes Binary ArchitecTure Search (BATS), a framework that drastically reduces the accuracy gap between binary neural networks and their real valued counterparts by means of Neural Architecture Search (NAS). We show that directly applying NAS to the binary domain provides very poor results. To alleviate this, we describe, to our knowledge, for the first time, the 3 key ingredients for successfully applying NAS to the binary domain. Specifically, we (1) introduce and design a novel binary oriented search space, (2) propose a new mechanism for controlling and stabilising the resulting searched topologies, (3) propose and validate a series of new search strategies for binary networks that lead to faster convergence and lower search times. Experimental results demonstrate the effectiveness of the proposed approach and the necessity of searching in the binary space directly. Moreover, (4) we set a new state of the art for binary neural networks on CIFAR10, CIFAR100 and ImageNet datasets. Code will be made available https github.com 1adrianb binary nas


Coupled convection and internal gravity waves excited in water around its density maximum at 4 deg C. Coupled mixed convective and stratified systems are common in natural flows. To study experimentally the associated dynamics, we use a singular property of water its non linear equation of state is characterised by a maximum density close to 4 circ C. By heating the top of a tank at 35 circ C and cooling the bottom at 0 circ C, a two layer configuration spontaneously appears. The convective motion in the bottom layer consists mostly of a large scale circulation and rising cold plumes. This turbulent flow generates propagating internal gravity waves in the upper stably stratified layer. PIV measurements are performed and spectral characteristics of the convection and internal gravity waves are presented. An horizontal large scale reversing flow in the stratified layer is observed which is viscously driven by a third, intermediate layer. This buffer layer is located between the convective and stratified layers and is thermally coupled with the convective one, hence sustaining a strong horizontal shear. Three dimensional direct numerical simulations with geometry and physical parameters close to the experimental ones corroborate our experimental results.


Measuring scheduling efficiency of RNNs for NLP applications. Recurrent neural networks (RNNs) have shown state of the art results for speech recognition, natural language processing, image captioning and video summarizing applications. Many of these applications run on low power platforms, so their energy efficiency is extremely important. We observed that cache oblivious RNN scheduling during inference typically results in 30 50x more data transferred on and off the CPU than the application's working set size. This can potentially impact its energy efficiency. This paper presents a new metric called Data Reuse Efficiency to gauge the RNN scheduling efficiency of a platform and shows the factors that influence the DRE value. Additionally, this paper discusses an optimization to improve reuse in RNNs and highlights the positive impact of this optimization on the total amount of memory read from or written to the memory controller (and, hence, the DRE value) during the execution of an RNN application for a mobile SoC.


Stable and isoperimetric regions in some weighted manifolds with boundary. In a Riemannian manifold with a smooth positive function that weights the associated Hausdorff measures we study stable sets, i.e., second order minima of the weighted perimeter under variations preserving the weighted volume. By assuming local convexity of the boundary and certain behaviour of the Bakry 'Emery Ricci tensor we deduce rigidity properties for stable sets by using deformations constructed from parallel vector fields tangent to the boundary. As a consequence, we completely classify the stable sets in some Riemannian cylinders Omega times mathbb R with product weights. Finally, we also establish uniqueness results showing that any minimizer of the weighted perimeter for fixed weighted volume is bounded by a horizontal slice Omega times t .


Branch and Bound Method for Just in Time Optimization of Radar Search Patterns. Electronic phased array radars offer new possibilities for radar search pattern optimization by using bi dimensional beam forming and beam steering. Radar search pattern optimization can be approximated as a set cover problem and solved using integer programming, while accounting for localized clutter and terrain masks in detection constraints. We present a set cover problem approximation for time budget minimization of radar search patterns, under constraints of range, detection probability and direction specific scan update rates. Branch Bound is a classical optimization procedure for solving combinatorial problems. It is known mainly as an exact algorithm, but features interesting characteristics, making it particularly fit for solving optimization problems in real time applications and producing just in time solutions.


Planar Tur 'an Number of the Theta 6 . Let F be a graph. The planar Tur 'an number of F , denoted by text ex mathcal P (n,F) , is the maximum number of edges in an n vertex planar graph containing no copy of F as a subgraph. Let Theta k denote the family of Theta graphs on k geq 4 vertices, that is, a graph obtained by joining a pair of non consecutive vertices of a k cycle with an edge. Y. Lan, et.al. determined sharp upper bound for text ex mathcal P (n, Theta 4) and text ex mathcal P (n, Theta 5) . Moreover, they obtained an upper bound for text ex mathcal P (n, Theta 6) . They proved that, text ex mathcal P (n, Theta 6) leq frac 18 7 n frac 36 7 . In this paper, we improve their result by giving a bound which is sharp. In particular, we prove that text ex mathcal P (n, Theta 6) leq frac 18 7 n frac 48 7 and demonstrate that there are infinitely many n for which there exists a Theta 6 free planar graph G on n vertices, which attains the bound.


On Distribution depend SDEs with singular drifts. We investigate the well posedness of distribution dependent SDEs with singular coefficients. Existence is proved when the diffusion coefficient satisfies some non degeneracy and mild regularity assumptions, and the drift coefficient satisfies an integrability condition and a continuity condition with respect to the (generalized) total variation distance. Uniqueness is also obtained under some additional Lipschitz type continuity assumptions.


A short proof of two shuffling theorems for tilings and a weighted generalization. Recently, Lai and Rohatgi discovered a shuffling theorem for lozenge tilings of doubly dented hexagons, which generalized the earlier work of Ciucu. Later, Lai proved an analogous theorem for centrally symmetric tilings, which generalized some other previous work of Ciucu. In this paper, we give a unified proof of these two shuffling theorems, which also covers the weighted case. Unlike the original proofs, our arguments do not use the graphical condensation method but instead rely on a well known tiling enumeration formula due to Cohn, Larsen, and Propp. Fulmek independently found a similar proof of Lai and Rohatgi's original shuffling theorem. Our proof also gives a combinatorial explanation for Ciucu's recent conjecture relating the total number and the number of centrally symmetric lozenge tilings.


Arov Krein entropy functionals and indefinite interpolation problems. We generalize the notion of the Arov Krein entropy functional for the case of generalized Nevanlinna functions and obtain a representation of these functionals on solutions of indefinite interpolation problems. The case of indefinite Caratheodory problem and application to Szeg H o limit formula for this nonclassical case are considered in greater detail.


Global controllability tests for geometric hybrid control systems. Hybrid systems are characterized by having an interaction between continuous dynamics and discrete events. The contribution of this paper is to provide hybrid systems with a novel geometric formulation so that controls can be added. Using this framework we describe some new global controllability tests for hybrid control systems exploiting the geometry and the topology of the set of jump points, where the instantaneous change of dynamics take place. Controllability is understood as the existence of a feasible trajectory for the system joining any two given points. As a result we describe examples where none of the continuous control systems are controllable, but the associated hybrid system is controllable because of the characteristics of the jump set.


New Directions in International Masterclasses. International Masterclasses (IMC) have developed since their introduction in 2005. Masterclasses for International Day of Women and Girls in Science (IDWGS) and World Wide Data Day (W2D2) are innovations that began two years ago and are going well. With IDWGS masterclasses, a new pathway has been opened for high school girls to be encouraged in physics. W2D2 establishes new ways to bring masterclass activities directly to high school classrooms. New masterclass measurements beyond those for the LHC have been developed and tested, notably the MINERvA neutrino masterclass, which is the first IMC offering in neutrino physics and the first based on a Fermilab experiment. In the MINERvA measurement, students are able to study interactions of a neutrino beam with carbon nuclei, using conservation of momentum to draw conclusions. Other masterclass measurements related to Belle II and medical imaging are also in the testing stage. More neutrino masterclasses are in development as well, especially for MicroBooNE. A longer term goal is the creation of a DUNE masterclass measurement as that facility reaches the data taking stage.


Mahler's method in several variables and finite automata. We develop a theory of linear Mahler systems in several variables from the perspective of transcendence and algebraic independence, which also includes the possibility of dealing with several systems associated with sufficiently independent matrix transformations. Our main results go far beyond the existing literature, also surpassing those of two unpublished preprints the authors made available on the arXiv in 2018. The main new feature is that they apply now without any restriction on the matrices defining the corresponding Mahler systems. As a consequence, we settle several problems concerning expansions of numbers in multiplicatively independent bases. For instance, we prove that no irrational real number can be automatic in two multiplicatively independent integer bases, and we give a new proof and a broad algebraic generalization of Cobham's theorem in automata theory. We also provide a new proof and a multivariate generalization of Nishioka's theorem, a landmark result in Mahler's method.


Multimodal Dialogue State Tracking By QA Approach with Data Augmentation. Recently, a more challenging state tracking task, Audio Video Scene Aware Dialogue (AVSD), is catching an increasing amount of attention among researchers. Different from purely text based dialogue state tracking, the dialogue in AVSD contains a sequence of question answer pairs about a video and the final answer to the given question requires additional understanding of the video. This paper interprets the AVSD task from an open domain Question Answering (QA) point of view and proposes a multimodal open domain QA system to deal with the problem. The proposed QA system uses common encoder decoder framework with multimodal fusion and attention. Teacher forcing is applied to train a natural language generator. We also propose a new data augmentation approach specifically under QA assumption. Our experiments show that our model and techniques bring significant improvements over the baseline model on the DSTC7 AVSD dataset and demonstrate the potentials of our data augmentation techniques.


Women in ISIS Propaganda A Natural Language Processing Analysis of Topics and Emotions in a Comparison with Mainstream Religious Group. Online propaganda is central to the recruitment strategies of extremist groups and in recent years these efforts have increasingly extended to women. To investigate ISIS' approach to targeting women in their online propaganda and uncover implications for counterterrorism, we rely on text mining and natural language processing (NLP). Specifically, we extract articles published in Dabiq and Rumiyah (ISIS's online English language publications) to identify prominent topics. To identify similarities or differences between these texts and those produced by non violent religious groups, we extend the analysis to articles from a Catholic forum dedicated to women. We also perform an emotional analysis of both of these resources to better understand the emotional components of propaganda. We rely on Depechemood (a lexical base emotion analysis method) to detect emotions most likely to be evoked in readers of these materials. The findings indicate that the emotional appeal of ISIS and Catholic materials are similar


physics.flu-dyn cs.NA math.AP math.DS math.NA math.OC

Well conditioned ultraspherical and spectral integration methods for resolvent analysis of channel flows of Newtonian and viscoelastic fluids. Modal and nonmodal analyses of fluid flows provide fundamental insight into the early stages of transition to turbulence. Eigenvalues of the dynamical generator govern temporal growth or decay of individual modes, while singular values of the frequency response operator quantify the amplification of disturbances for linearly stable flows. In this paper, we develop well conditioned ultraspherical and spectral integration methods for frequency response analysis of channel flows of Newtonian and viscoelastic fluids. Even if a discretization method is well conditioned, we demonstrate that calculations can be erroneous if singular values are computed as the eigenvalues of a cascade connection of the frequency response operator and its adjoint. To address this issue, we utilize a feedback interconnection of the frequency response operator with its adjoint to avoid computation of inverses and facilitate robust singular value decomposition. Specifically, in contrast to conventional spectral collocation methods, the proposed method (i) produces reliable results in channel flows of viscoelastic fluids at high Weissenberg numbers ( sim 500 ) and (ii) does not require a staggered grid for the equations in primitive variables.


Counting extensions revisited. We consider rooted subgraphs in random graphs, i.e., extension counts such as (i) the number of triangles containing a given vertex or (ii) the number of paths of length three connecting two given vertices. In 1989, Spencer gave sufficient conditions for the event that, with high probability, these extension counts are asymptotically equal for all choices of the root vertices. For the important strictly balanced case, Spencer also raised the fundamental question as to whether these conditions are necessary. We answer this question by a careful second moment argument, and discuss some intriguing problems that remain open.


Efficient 2D neuron boundary segmentation with local topological constraints. We present a method for segmenting neuron membranes in 2D electron microscopy imagery. This segmentation task has been a bottleneck to reconstruction efforts of the brain's synaptic circuits. One common problem is the misclassification of blurry membrane fragments as cell interior, which leads to merging of two adjacent neuron sections into one via the blurry membrane region. Human annotators can easily avoid such errors by implicitly performing gap completion, taking into account the continuity of membranes. Drawing inspiration from these human strategies, we formulate the segmentation task as an edge labeling problem on a graph with local topological constraints. We derive an integer linear program (ILP) that enforces membrane continuity, i.e. the absence of gaps. The cost function of the ILP is the pixel wise deviation of the segmentation from a priori membrane probabilities derived from the data. Based on membrane probability maps obtained using random forest classifiers and convolutional neural networks, our method improves the neuron boundary segmentation accuracy compared to a variety of standard segmentation approaches. Our method successfully performs gap completion and leads to fewer topological errors. The method could potentially also be incorporated into other image segmentation pipelines with known topological constraints.


FunGrim a symbolic library for special functions. We present the Mathematical Functions Grimoire (FunGrim), a website and database of formulas and theorems for special functions. We also discuss the symbolic computation library used as the backend and main development tool for FunGrim, and the Grim formula language used in these projects to represent mathematical content semantically.


Witt ring localized. The rings of p typical Witt vectors are interpreted as spaces of vanishing cycles for some perverse sheaves over a disc. This allows to "localize" an isomorphism emerging in Drinfeld's theory of prismatization Dr , Prop. 3.5.1, namely to express it as "an integral" of a standard exact triangle on the disc.


General Data Analytics with Applications to Visual Information Analysis A Provable Backward Compatible Semisimple Paradigm over T Algebra. We consider a novel backward compatible paradigm of general data analytics over a recently reported semisimple algebra (called t algebra). We study the abstract algebraic framework over the t algebra by representing the elements of t algebra by fix sized multi way arrays of complex numbers and the algebraic structure over the t algebra by a collection of direct product constituents. Over the t algebra, many algorithms are generalized in a straightforward manner using this new semisimple paradigm. To demonstrate the new paradigm's performance and its backward compatibility, we generalize some canonical algorithms for visual pattern analysis. Experiments on public datasets show that the generalized algorithms compare favorably with their canonical counterparts.


Path Planning Problems with Side Observations When Colonels Play Hide and Seek. Resource allocation games such as the famous Colonel Blotto (CB) and Hide and Seek (HS) games are often used to model a large variety of practical problems, but only in their one shot versions. Indeed, due to their extremely large strategy space, it remains an open question how one can efficiently learn in these games. In this work, we show that the online CB and HS games can be cast as path planning problems with side observations (SOPPP) at each stage, a learner chooses a path on a directed acyclic graph and suffers the sum of losses that are adversarially assigned to the corresponding edges and she then receives semi bandit feedback with side observations (i.e., she observes the losses on the chosen edges plus some others). We propose a novel algorithm, EXP3 OE, the first of its kind with guaranteed efficient running time for SOPPP without requiring any auxiliary oracle. We provide an expected regret bound of EXP3 OE in SOPPP matching the order of the best benchmark in the literature. Moreover, we introduce additional assumptions on the observability model under which we can further improve the regret bounds of EXP3 OE. We illustrate the benefit of using EXP3 OE in SOPPP by applying it to the online CB and HS games.


Testing the Safety of Self driving Vehicles by Simulating Perception and Prediction. We present a novel method for testing the safety of self driving vehicles in simulation. We propose an alternative to sensor simulation, as sensor simulation is expensive and has large domain gaps. Instead, we directly simulate the outputs of the self driving vehicle's perception and prediction system, enabling realistic motion planning testing. Specifically, we use paired data in the form of ground truth labels and real perception and prediction outputs to train a model that predicts what the online system will produce. Importantly, the inputs to our system consists of high definition maps, bounding boxes, and trajectories, which can be easily sketched by a test engineer in a matter of minutes. This makes our approach a much more scalable solution. Quantitative results on two large scale datasets demonstrate that we can realistically test motion planning using our simulations.


Completely bounded subcontexts of a Morita context of unital C algebras. In this paper, we answer a question of Blecher Muhly Paulsen pertaining to identifying topological invariants for completely bounded Morita equivalences of holomorphic cross section algebras. Given a certain natural subcontext of a strong Morita context of n homogeneous C algebras whose spectrum T is an annulus, Blecher Muhly Paulsen are able to estimate the norm of a lifting of the identity of a holomorphic subalgebra by a conformal invariant of the annulus and a property of the associated matrix bundle. We give a generalization of the above example in which T is a bordered Riemann surface. While constructing this generalization, we develop a sufficient criterion for when a unital completely bounded Morita equivalence can be factored into a similarity and a strong Morita equivalence.


Nonlocal elliptic problems associated with actions of discrete groups on manifolds with boundary. Given a manifold with boundary endowed with an action of a discrete group on it, we consider the algebra of operators generated by elements in the Boutet de Monvel algebra of pseudodifferential boundary value problems and shift operators acting on functions on the manifold and its boundary. Under certain conditions on the group action, we construct a Chern character for symbols of elliptic elements in this algebra with values in a de Rham type cohomology of the fixed point manifolds and obtain an index formula in terms of this Chern character.


One hundred twenty seven subsemilattices and planarity. Let L be a finite n element semilattice. We prove that if L has at least 127 cdot 2 n 8 subsemilattices, then L is planar. For n 8 , this result is sharp since there is a non planar semilattice with exactly 127 cdot 2 n 8 1 subsemilattices.


Scenarios for Educational and Game Activities using Internet of Things Data. Raising awareness among young people and changing their behavior and habits concerning energy usage and the environment is key to achieving a sustainable planet. The goal to address the global climate problem requires informing the population on their roles in mitigation actions and adaptation of sustainable behaviors. Addressing climate change and achieve ambitious energy and climate targets requires a change in citizen behavior and consumption practices. IoT sensing and related scenario and practices, which address school children via discovery, gamification, and educational activities, are examined in this paper. Use of seawater sensors in STEM education, that has not previously been addressed, is included in these educational scenaria.


Coupled reaction diffusion equations on adjacent domains. We consider a reaction diffusion system for two densities lying in adjacent domains of mathbb R N . We treat two configurations either a cylinder and its complement, or two half spaces. Diffusion and reaction heterogeneities for the two densities are considered, and an exchange occurs through the separating boundary. We study the long time behavior of the solution, and, when it converges to a positive steady state, we prove the existence of an asymptotic speed of propagation in some specific directions. Moreover, we determine how such a speed qualitatively depends with respect to several parameters appearing in the model. In the case N 2 , we compare such properties to those studied in 6 9 for a model with a line representing a road of fast diffusion at the boundary of a half plane, which can be seen as a singular limit of the problem studied here.


Social Influence and Radicalization A Social Data Analytics Study. The confluence of technological and societal advances is changing the nature of global terrorism. For example, engagement with Web, social media, and smart devices has the potential to affect the mental behavior of the individuals and influence extremist and criminal behaviors such as Radicalization. In this context, social data analytics (i.e., the discovery, interpretation, and communication of meaningful patterns in social data) and influence maximization (i.e., the problem of finding a small subset of nodes in a social network which can maximize the propagation of influence) has the potential to become a vital asset to explore the factors involved in influencing people to participate in extremist activities. To address this challenge, we study and analyze the recent work done in influence maximization and social data analytics from effectiveness, efficiency and scalability viewpoints. We introduce a social data analytics pipeline, namely iRadical, to enable analysts engage with social data to explore the potential for online radicalization. In iRadical, we present algorithms to analyse the social data as well as the user activity patterns to learn how influence flows in social networks. We implement iRadical as an extensible architecture that is publicly available on GitHub and present the evaluation results.


Convolutional Occupancy Networks. Recently, implicit neural representations have gained popularity for learning based 3D reconstruction. While demonstrating promising results, most implicit approaches are limited to comparably simple geometry of single objects and do not scale to more complicated or large scale scenes. The key limiting factor of implicit methods is their simple fully connected network architecture which does not allow for integrating local information in the observations or incorporating inductive biases such as translational equivariance. In this paper, we propose Convolutional Occupancy Networks, a more flexible implicit representation for detailed reconstruction of objects and 3D scenes. By combining convolutional encoders with implicit occupancy decoders, our model incorporates inductive biases, enabling structured reasoning in 3D space. We investigate the effectiveness of the proposed representation by reconstructing complex geometry from noisy point clouds and low resolution voxel representations. We empirically find that our method enables the fine grained implicit 3D reconstruction of single objects, scales to large indoor scenes, and generalizes well from synthetic to real data.


RH Net Improving Neural Relation Extraction via Reinforcement Learning and Hierarchical Relational Searching. Distant supervision (DS) aims to generate large scale heuristic labeling corpus, which is widely used for neural relation extraction currently. However, it heavily suffers from noisy labeling and long tail distributions problem. Many advanced approaches usually separately address two problems, which ignore their mutual interactions. In this paper, we propose a novel framework named RH Net, which utilizes Reinforcement learning and Hierarchical relational searching module to improve relation extraction. We leverage reinforcement learning to instruct the model to select high quality instances. We then propose the hierarchical relational searching module to share the semantics from correlative instances between data rich and data poor classes. During the iterative process, the two modules keep interacting to alleviate the noisy and long tail problem simultaneously. Extensive experiments on widely used NYT data set clearly show that our method significant improvements over state of the art baselines.


Deep Virtual Networks for Memory Efficient Inference of Multiple Tasks. Deep networks consume a large amount of memory by their nature. A natural question arises can we reduce that memory requirement whilst maintaining performance. In particular, in this work we address the problem of memory efficient learning for multiple tasks. To this end, we propose a novel network architecture producing multiple networks of different configurations, termed deep virtual networks (DVNs), for different tasks. Each DVN is specialized for a single task and structured hierarchically. The hierarchical structure, which contains multiple levels of hierarchy corresponding to different numbers of parameters, enables multiple inference for different memory budgets. The building block of a deep virtual network is based on a disjoint collection of parameters of a network, which we call a unit. The lowest level of hierarchy in a deep virtual network is a unit, and higher levels of hierarchy contain lower levels' units and other additional units. Given a budget on the number of parameters, a different level of a deep virtual network can be chosen to perform the task. A unit can be shared by different DVNs, allowing multiple DVNs in a single network. In addition, shared units provide assistance to the target task with additional knowledge learned from another tasks. This cooperative configuration of DVNs makes it possible to handle different tasks in a memory aware manner. Our experiments show that the proposed method outperforms existing approaches for multiple tasks. Notably, ours is more efficient than others as it allows memory aware inference for all tasks.


Symbolic Analysis of Maude Theories with Narval. Concurrent functional languages that are endowed with symbolic reasoning capabilities such as Maude offer a high level, elegant, and efficient approach to programming and analyzing complex, highly nondeterministic software systems. Maude's symbolic capabilities are based on equational unification and narrowing in rewrite theories, and provide Maude with advanced logic programming capabilities such as unification modulo user definable equational theories and symbolic reachability analysis in rewrite theories. Intricate computing problems may be effectively and naturally solved in Maude thanks to the synergy of these recently developed symbolic capabilities and classical Maude features, such as (i) rich type structures with sorts (types), subsorts, and overloading (ii) equational rewriting modulo various combinations of axioms such as associativity, commutativity, and identity and (iii) classical reachability analysis in rewrite theories. However, the combination of all of these features may hinder the understanding of Maude symbolic computations for non experienced developers. The purpose of this article is to describe how programming and analysis of Maude rewrite theories can be made easier by providing a sophisticated graphical tool called Narval that supports the fine grained inspection of Maude symbolic computations. This paper is under consideration for acceptance in TPLP.


On the theory of the nonlinear Landau damping. An exact solution of the collisionless time dependent Vlasov equation is found for the first time. By means of this solution the behavior of the Langmuir waves in the nonlinear stage is considered. The analysis is restricted by the consideration of the first nonlinear approximation keeping the second power of the electric strength. It is shown that in general the waves with finite amplitudes are not subject to damping. Only in the linear approximation, when the wave amplitude is very small, are the waves experiencing damping. It is shown that with the definite resonance conditions imposed, the waves become unstable.


Towards Kac van de Leur conjecture locality of superconformal algebras. We prove locality of superconformal algebras every pluperfect superconformal algebra is spanned by coefficients of a finite family of mutually local distributions. We also introduce quasi Poisson algebras and show that they can be used to construct all known simple superconformal algebras.