PoshakNet Framework for matching dresses from real life photos using GAN and Siamese Network. Online garment shopping has gained many customers in recent years. Describing a dress using keywords does not always yield the proper results, which in turn leads to dissatisfaction of customers. A visual search based system will be enormously beneficent to the industry. Hence, we propose a framework that can retrieve similar clothes that can be found in an image. The first task is to extract the garment from the input image (street photo). There are various challenges for that, including pose, illumination, and background clutter. We use a Generative Adversarial Network for the task of retrieving the garment that the person in the image was wearing. It has been shown that GAN can retrieve the garment very efficiently despite the challenges of street photos. Finally, a siamese based matching system takes the retrieved cloth image and matches it with the clothes in the dataset, giving us the top k matches. We take a pre trained inception ResNet v1 module as a siamese network (trained using triplet loss for face detection) and fine tune it on the shopping dataset using center loss. The dataset has been collected inhouse. For training the GAN, we use the LookBook dataset, which is publically available.


Local null controllability of a fluid rigid body interaction problem with Navier slip boundary conditions. The aim of this work is to show the local null controllability of a fluid solid interaction system by using a distributed control located in the fluid. The fluid is modeled by the incompressible Navier Stokes system with Navier slip boundary conditions and the rigid body is governed by the Newton laws. Our main result yields that we can drive the velocities of the fluid and of the structure to 0 and we can control exactly the position of the rigid body. One important ingredient consists in a new Carleman estimate for a linear fluid rigid body system with Navier boundary conditions. This work is done without imposing any geometrical conditions on the rigid body.


Demonstrating Immersive Media Delivery on 5G Broadcast and Multicast Testing Networks. This work presents eight demonstrators and one showcase developed within the 5G Xcast project. They experimentally demonstrate and validate key technical enablers for the future of media delivery, associated with multicast and broadcast communication capabilities in 5th Generation (5G). In 5G Xcast, three existing testbeds IRT in Munich (Germany), 5GIC in Surrey (UK), and TUAS in Turku (Finland), have been developed into 5G broadcast and multicast testing networks, which enables us to demonstrate our vision of a converged 5G infrastructure with fixed and mobile accesses and terrestrial broadcast, delivering immersive audio visual media content. Built upon the improved testing networks, the demonstrators and showcase developed in 5G Xcast show the impact of the technology developed in the project. Our demonstrations predominantly cover use cases belonging to two verticals Media Entertainment and Public Warning, which are future 5G scenarios relevant to multicast and broadcast delivery. In this paper, we present the development of these demonstrators, the showcase, and the testbeds. We also provide key findings from the experiments and demonstrations, which not only validate the technical solutions developed in the project, but also illustrate the potential technical impact of these solutions for broadcasters, content providers, operators, and other industries interested in the future immersive media delivery.


Computational framework for polymer synthesis to study dielectric properties using polarizable reactive molecular dynamics. The increased energy and power density required in modern electronics poses a challenge for designing new dielectric polymer materials with high energy density while maintaining low loss at high applied electric fields. Recently, an advanced computational screening method coupled with hierarchical modelling has accelerated the identification of promising high energy density materials. It is well known that the dielectric response of polymeric materials is largely influenced by their phases and local heterogeneous structures as well as operational temperature. Such inputs are crucial to accelerate the design and discovery of potential polymer candidates. However, an efficient computational framework to probe temperature dependence of the dielectric properties of polymers, while incorporating effects controlled by their morphology is still lacking. In this paper, we propose a scalable computational framework based on reactive molecular dynamics with a valence state aware polarizable charge model, which is capable of handling practically relevant polymer morphologies and simultaneously provide near quantum accuracy in estimating dielectric properties of various polymer systems. We demonstrate the predictive power of our framework on high energy density polymer systems recently identified through rational experimental theoretical co design. Our scalable and automated framework may be used for high throughput theoretical screenings of combinatorial large design space to identify next generation high energy density polymer materials.


Recovery of a Time Dependent Bottom Topography Function from the Shallow Water Equations via an Adjoint Approach. We develop an adjoint approach for recovering the topographical function included in the source term of one dimensional hyperbolic balance laws. We focus on a specific system, namely the shallow water equations, in an effort to recover the riverbed topography. The novelty of this work is the ability to robustly recover the bottom topography using only noisy boundary data from one measurement event and the inclusion of two regularization terms in the iterative update scheme. The adjoint scheme is determined from a linearization of the forward system and is used to compute the gradient of a cost function. The bottom topography function is recovered through an iterative process given by a three operator splitting method which allows the feasibility to include two regularization terms. Numerous numerical tests demonstrate the robustness of the method regardless of the choice of initial guess and in the presence of discontinuities in the solution of the forward problem.


Allen Cahn equation for the truncated Laplacian unusual phenomena. We study entire viscosity solutions of the Allen Cahn type equation for the truncated Laplacian that are either one dimensional or radial, in order to shed some light on a possible extension of the Gibbons conjecture in this degenerate elliptic setting.


Thunder cell as Source of Energetic Protons. In this article we present the following hypothesis thunder cell ejects highly energetic protons, each of which creates a tree structure of weakly ionized trajectories that can develop into a lightning channel. The tree structure and the channel have the same geometry so the mean free path of a proton corresponds to the average length of the channel between two successive nodes (branching points). We show this length is around 660 m in lower Earth atmosphere. Effects of Coulomb interaction and various outcomes of proton nucleus reaction are taken into account. A prediction of CG CC ratio that follows agrees well with the available data, but only measurements of lightning geometry can reveal whether the hypothesis is any closer to the correct explanation of the phenomenon.


A geometric proof of regularity of all anisotropic minimal surfaces in mathbb R 2 . A set of locally finite perimeter E subset mathbb R n is called an anisotropic minimal surface in an open set A if Phi(E A) le Phi(F A) for some surface energy Phi(E A) int partial E cap A nu E d mathcal H n 1 and all sets of locally finite perimeter F such that E Delta F subset subset A . In this short note we provide the details of a geometric proof verifying that all anisotropic surface minimizers in mathbb R 2 whose corresponding integrand cdot is strictly convex are locally disjoint unions of line segments. This demonstrates that, in the plane, strict convexity of cdot is both necessary and sufficient for regularity. The corresponding Bernstein theorem is also proven global anisotropic minimizers E subset mathbb R 2 are half spaces.


Derivation of an Effective Thermal Electrochemical Model for Porous Electrode Batteries using Asymptotic Homogenisation. Thermal electrochemical models for porous electrode batteries (such as lithium ion batteries) are widely used. Due to the multiple scales involved, solving the model accounting for the porous microstructure is computationally expensive, therefore effective models at the macroscale are preferable. However, these effective models are usually postulated ad hoc rather than systematically upscaled from the microscale equations. We present an effective thermal electrochemical model obtained using asymptotic homogenisation, which includes the electrochemical model at the cell level coupled with a thermal model that can be defined either at the cell or the battery level. The main aspects of the model are the consideration of thermal effects, the diffusion effects in the electrode particles, and the anisotropy of the material based on the microstructure, all of them incorporated in a systematic manner. We also compare the homogenised model with the standard electrochemical Doyle, Fuller Newman model.


Pair arithmetical equivalence for quadratic fields. Given two distinct number fields K and M , and finite order Hecke characters chi of K and eta of M respectively, we say that the pairs ( chi, K) and ( eta, M) are arithmetically equivalent if the associated L functions coincide L(s, chi, K) L(s, eta, M) . When the characters are trivial, this reduces to the question of fields with the same Dedekind zeta function, investigated by Gassman in 1926, who found such fields of degree 180, and by Perlis (1977) and others, who showed that there are no nonisomorphic fields of degree less than 7 . We construct infinitely many such pairs where the fields are quadratic. This gives dihedral automorphic forms induced from characters of different quadratic fields. We also give a classification of such characters of order 2 for the quadratic fields of our examples, all with odd class number.


H. Cartan's theory for Riemann surfaces. We generalize the H. Cartan's theory of holomorphic curves for a general open Riemann surface. Besides, a vanishing theorem for jet differentials and a Bloch's theorem for Riemann surfaces are obtained.


Certain min max values related to the p energy and packing radii of Riemannian manifolds and metric measure spaces. Grosjean proved that the (1 p) th power of the first eigenvalue of the p Laplacian on a closed Riemannian manifold converges to the twice of the inverse of the diameter of the space, as p to infty . Before this, a corresponding result for the Dirichlet first eigenvalues was also obtained by Juutinen, Lindqvist and Manfredi. We extend those results for certain k th min max value related to the p energy, where the corresponding limits are packing radii introduced by Grove Markvorsen or its variant. Furthermore, we remark that our result holds for more singular setting.


Inequalities for the derivative of Polynomials with restricted zeros. In this paper we shall use the boundary Schwarz lemma of Osserman to obtain some generalizations and refinements of some well known results concerning the maximum modulus of the polynomials with restricted zeros due to Turan, Dubinin and others.


Sylvester Gallai type theorems for quadratic polynomials. We prove Sylvester Gallai type theorems for quadratic polynomials. Specifically, we prove that if a finite collection mathcal Q , of irreducible polynomials of degree at most 2 , satisfy that for every two polynomials Q 1,Q 2 in mathcal Q there is a third polynomial Q 3 in mathcal Q so that whenever Q 1 and Q 2 vanish then also Q 3 vanishes, then the linear span of the polynomials in mathcal Q has dimension O(1) . We also prove a colored version of the theorem If three finite sets of quadratic polynomials satisfy that for every two polynomials from distinct sets there is a polynomial in the third set satisfying the same vanishing condition then all polynomials are contained in an O(1) dimensional space. This answers affirmatively two conjectures of Gupta ECCC 2014 that were raised in the context of solving certain depth 4 polynomial identities. To obtain our main theorems we prove a new result classifying the possible ways that a quadratic polynomial Q can vanish when two other quadratic polynomials vanish. Our proofs also require robust versions of a theorem of Edelstein and Kelly (that extends the Sylvester Gallai theorem to colored sets).


Practice of Streaming Processing of Dynamic Graphs Concepts, Models, and Systems. Graph processing has become an important part of various areas of computing, including machine learning, medical applications, social network analysis, computational sciences, and others. A growing amount of the associated graph processing workloads are dynamic, with millions of edges added or removed per second. Graph streaming frameworks are specifically crafted to enable the processing of such highly dynamic workloads. Recent years have seen the development of many such frameworks. However, they differ in their general architectures (with key details such as the support for the concurrent execution of graph updates and queries, or the incorporated graph data organization), the types of updates and workloads allowed, and many others. To facilitate the understanding of this growing field, we provide the first analysis and taxonomy of dynamic and streaming graph processing. We focus on identifying the fundamental system designs and on understanding their support for concurrency, and for different graph updates as well as analytics workloads. We also crystallize the meaning of different concepts associated with streaming graph processing, such as dynamic, temporal, online, and time evolving graphs, edge centric processing, models for the maintenance of updates, and graph databases. Moreover, we provide a bridge with the very rich landscape of graph streaming theory by giving a broad overview of recent theoretical related advances, and by discussing which graph streaming models and settings could be helpful in developing more powerful streaming frameworks and designs. We also outline graph streaming workloads and research challenges.


Subspace Shapes Enhancing High Dimensional Subspace Structures via Ambient Occlusion Shading. We test the hypothesis whether transforming a data matrix into a 3D shaded surface or even a volumetric display can be more appealing to humans than a scatterplot since it makes direct use of the innate 3D scene understanding capabilities of the human visual system. We also test whether 3D shaded displays can add a significant amount of information to the visualization of high dimensional data, especially when enhanced with proper tools to navigate the various 3D subspaces. Our experiments suggest that mainstream users prefer shaded displays over scatterplots for visual cluster analysis tasks after receiving training for both. Our experiments also provide evidence that 3D displays can better communicate spatial relationships, size, and shape of clusters.


Image Captioning with Sparse Recurrent Neural Network. Recurrent Neural Network (RNN) has been widely used to tackle a wide variety of language generation problems and are capable of attaining state of the art (SOTA) performance. However despite its impressive results, the large number of parameters in the RNN model makes deployment to mobile and embedded devices infeasible. Driven by this problem, many works have proposed a number of pruning methods to reduce the sizes of the RNN model. In this work, we propose an end to end pruning method for image captioning models equipped with visual attention. Our proposed method is able to achieve sparsity levels up to 97.5 without significant performance loss relative to the baseline ( 2 loss at 40x compression after fine tuning). Our method is also simple to use and tune, facilitating faster development times for neural network practitioners. We perform extensive experiments on the popular MS COCO dataset in order to empirically validate the efficacy of our proposed method.


Prototype Refinement Network for Few Shot Segmentation. Few shot segmentation targets to segment new classes with few annotated images provided. It is more challenging than traditional semantic segmentation tasks that segment known classes with abundant annotated images. In this paper, we propose a Prototype Refinement Network (PRNet) to attack the challenge of few shot segmentation. It firstly learns to bidirectionally extract prototypes from both support and query images of the known classes. Furthermore, to extract representative prototypes of the new classes, we use adaptation and fusion for prototype refinement. The step of adaptation makes the model to learn new concepts which is directly implemented by retraining. Prototype fusion is firstly proposed which fuses support prototypes with query prototypes, incorporating the knowledge from both sides. It is effective in prototype refinement without importing extra learnable parameters. In this way, the prototypes become more discriminative in low data regimes. Experiments on PASAL 5 i and COCO 20 i demonstrate the superiority of our method. Especially on COCO 20 i , PRNet significantly outperforms existing methods by a large margin of 13.1 in 1 shot setting.


A temporal multiscale approach for MR Fingerprinting. Quantitative MRI (qMRI) is becoming increasingly important for research and clinical applications, however, state of the art reconstruction methods for qMRI are computationally prohibitive. We propose a temporal multiscale approach to reduce computation times in qMRI. Instead of computing exact gradients of the qMRI likelihood, we propose a novel approximation relying on the temporal smoothness of the data. These gradients are then used in a coarse to fine (C2F) approach, for example using coordinate descent. The C2F approach was also found to improve the accuracy of solutions, compared to similar methods where no multiscaling was used.


Some remarks on Fano threefolds of index two and stability conditions. We prove that ideal sheaves of lines in a Fano threefold X of Picard rank one and index two are stable objects in the Kuznetsov component mathsf Ku (X) , with respect to the stability conditions constructed by Bayer, Lahoz, Macr i and Stellari, giving a modular description to the Hilbert scheme of lines in X . When X is a cubic threefold, we show that the Serre functor of mathsf Ku (X) preserves these stability conditions. As an application, we obtain the smoothness of non empty moduli spaces of stable objects in mathsf Ku (X) . When X is a quartic double solid, we describe a connected component of the stability manifold parametrizing stability conditions on mathsf Ku (X) .


Optimal robustness of passive discrete time systems. We construct optimally robust realizations of a given rational transfer function that represents a passive discrete time system. We link it to the solution set of linear matrix inequalities defining passive transfer functions. We also consider the problem of finding the nearest passive system to a given non passive one.


Pretrained Language Model Embryology The Birth of ALBERT. While behaviors of pretrained language models (LMs) have been thoroughly examined, what happened during pretraining is rarely studied. We thus investigate the developmental process from a set of randomly initialized parameters to a totipotent language model, which we refer to as the embryology of a pretrained language model. Our results show that ALBERT learns to reconstruct and predict tokens of different parts of speech (POS) in different learning speeds during pretraining. We also find that linguistic knowledge and world knowledge do not generally improve as pretraining proceeds, nor do downstream tasks' performance. These findings suggest that knowledge of a pretrained model varies during pretraining, and having more pretrain steps does not necessarily provide a model with more comprehensive knowledge. We will provide source codes and pretrained models to reproduce our results at https github.com d223302 albert embryology.


On the Powers of Signed Graphs. A signed graph is an ordered pair Sigma (G, sigma), where G (V,E) is the underlying graph of Sigma with a signature function sigma E rightarrow 1, 1 . In this article, we define n th power of a signed graph and discuss some properties of these powers of signed graphs. As we can define two types of signed graphs as the power of a signed graph, necessary and sufficient conditions are given for an n th power of a signed graph to be unique. Also, we characterize balanced power signed graphs.


SPECCFI Mitigating Spectre Attacks using CFI Informed Speculation. Spectre attacks and their many subsequent variants are a new vulnerability class affecting modern CPUs. The attacks rely on the ability to misguide speculative execution, generally by exploiting the branch prediction structures, to execute a vulnerable code sequence speculatively. In this paper, we propose to use Control Flow Integrity (CFI), a security technique used to stop control flow hijacking attacks, on the committed path, to prevent speculative control flow from being hijacked to launch the most dangerous variants of the Spectre attacks (Spectre BTB and Spectre RSB). Specifically, CFI attempts to constrain the possible targets of an indirect branch to a set of legal targets defined by a pre calculated control flow graph (CFG). As CFI is being adopted by commodity software (e.g., Windows and Android) and commodity hardware (e.g., Intel's CET and ARM's BTI), the CFI information becomes readily available through the hardware CFI extensions. With the CFI information, we apply CFI principles to also constrain illegal control flow during speculative execution. Specifically, our proposed defense, SPECCFI, ensures that control flow instructions target legal destinations to constrain dangerous speculation on forward control flow paths (indirect calls and branches). We augment this protection with a precise speculation aware hardware stack to constrain speculation on backward control flow edges (returns). We combine this solution with existing solutions against branch target predictor attacks (Spectre PHT) to close all known non vendor specific Spectre vulnerabilities. We show that SPECCFI results in small overheads both in terms of performance and additional hardware complexity.


Building benchmarking frameworks for supporting replicability and reproducibility spatial and textual analysis as an example. Replicability and reproducibility (R R) are critical for the long term prosperity of a scientific discipline. In GIScience, researchers have discussed R R related to different research topics and problems, such as local spatial statistics, digital earth, and metadata (Fotheringham, 2009 Goodchild, 2012 Anselin et al., 2014). This position paper proposes to further support R R by building benchmarking frameworks in order to facilitate the replication of previous research for effective and effcient comparisons of methods and software tools developed for addressing the same or similar problems. Particularly, this paper will use geoparsing, an important research problem in spatial and textual analysis, as an example to explain the values of such benchmarking frameworks.


Generalized Hukuhara Gradient Efficient Direction Method to Solve Optimization Problems with Interval valued Functions and its Application in Least Squares Problems. This article proposes a general gH gradient efficient direction method and a W gH gradient efficient method for the optimization problems with interval valued functions. The convergence analysis and the step wise algorithms of both the methods are presented. It is observed that the W gH gradient efficient method converges linearly for a strongly convex interval valued objective function. To develop the proposed methods and to study their convergence, the idea of strong convexity and sequential criteria for gH continuity of interval valued function are illustrated. In the sequel, a new definition of gH differentiability for interval valued functions is also proposed. The new definition of gH differentiability is described with the help of a newly defined concept of linear interval valued function. It is noticed that the proposed gH differentiability is superior to the existing ones. For a gH differentiable interval valued function, the relation of convexity with the gH gradient of an interval valued function and an optimality condition of an interval optimization problem are derived. For the derived optimality condition, a notion of efficient direction for interval valued functions is introduced. The idea of efficient direction is used to develop the proposed gradient methods. As an application of the proposed methods, the least square problem for interval valued data by W gH gradient efficient method is solved. The proposed method for least square problems is illustrated by a polynomial fitting and a logistic curve fitting.


A Benchmark dataset for both underwater image enhancement and underwater object detection. Underwater image enhancement is such an important vision task due to its significance in marine engineering and aquatic robot. It is usually work as a pre processing step to improve the performance of high level vision tasks such as underwater object detection. Even though many previous works show the underwater image enhancement algorithms can boost the detection accuracy of the detectors, no work specially focus on investigating the relationship between these two tasks. This is mainly because existing underwater datasets lack either bounding box annotations or high quality reference images, based on which detection accuracy or image quality assessment metrics are calculated. To investigate how the underwater image enhancement methods influence the following underwater object detection tasks, in this paper, we provide a large scale underwater object detection dataset with both bounding box annotations and high quality reference images, namely OUC dataset. The OUC dataset provides a platform for researchers to comprehensive study the influence of underwater image enhancement algorithms on the underwater object detection task.


On a Flat Triangular Form Based on the Extended Chained Form. In this paper, we present a structurally flat triangular form which is based on the extended chained form. We provide necessary and sufficient conditions for an affine input system with two inputs to be static feedback equivalent to the proposed triangular form, and thus a sufficient condition for an affine input system to be flat.


Birational geometry of singular Fano double spaces of index two. In this paper we describe the birational geometry of Fano double spaces V stackrel sigma to mathbb P M 1 of index 2 and dimension geqslant 8 with at mostquadratic singularities of rank geqslant 8 , satisfying certain additional conditions of general position we prove that these varieties have no structures of a rationally connected fibre space over a base of dimension geqslant 2 , that every birational map chi colon V dashrightarrow V' onto the total space of a Mori fibre space V' mathbb P 1 induces an isomorphism V cong V' of the blow up V of the variety V along sigma 1 (P) , where P subset mathbb P M 1 is a linear subspace of codimension 2, and that every birational map of the variety V onto a Fano variety V' with mathbb Q factorial terminal singularities and Picard number 1 is an isomorphism. We give an explicit lower estimate for the codimension of the set of varieties V with worse singularities or not satisfying the conditions of general position, quadratic in M . The proof makes use of the method of maximal singularities and the improved 4n 2 inequality for the self intersection of a mobile linear system.


Identifying Possible Rumor Spreaders on Twitter A Weak Supervised Learning Approach. Online Social Media (OSM) platforms such as Twitter, Facebook are extensively exploited by the users of these platforms for spreading the (mis)information to a large audience effortlessly at a rapid pace. It has been observed that the misinformation can cause panic, fear, and financial loss to society. Thus, it is important to detect and control the misinformation in such platforms before it spreads to the masses. In this work, we focus on rumors, which is one type of misinformation (other types are fake news, hoaxes, etc). One way to control the spread of the rumors is by identifying users who are possibly the rumor spreaders, that is, users who are often involved in spreading the rumors. Due to the lack of availability of rumor spreaders labeled dataset (which is an expensive task), we use publicly available PHEME dataset, which contains rumor and non rumor tweets information, and then apply a weak supervised learning approach to transform the PHEME dataset into rumor spreaders dataset. We utilize three types of features, that is, user, text, and ego network features, before applying various supervised learning approaches. In particular, to exploit the inherent network property in this dataset (user user reply graph), we explore Graph Convolutional Network (GCN), a type of Graph Neural Network (GNN) technique. We compare GCN results with the other approaches SVM, RF, and LSTM. Extensive experiments performed on the rumor spreaders dataset, where we achieve up to 0.864 value for F1 Score and 0.720 value for AUC ROC, shows the effectiveness of our methodology for identifying possible rumor spreaders using the GCN technique.


Improving Aspect based Sentiment Analysis with Gated Graph Convolutional Networks and Syntax based Regulation. Aspect based Sentiment Analysis (ABSA) seeks to predict the sentiment polarity of a sentence toward a specific aspect. Recently, it has been shown that dependency trees can be integrated into deep learning models to produce the state of the art performance for ABSA. However, these models tend to compute the hidden representation vectors without considering the aspect terms and fail to benefit from the overall contextual importance scores of the words that can be obtained from the dependency tree for ABSA. In this work, we propose a novel graph based deep learning model to overcome these two issues of the prior work on ABSA. In our model, gate vectors are generated from the representation vectors of the aspect terms to customize the hidden vectors of the graph based models toward the aspect terms. In addition, we propose a mechanism to obtain the importance scores for each word in the sentences based on the dependency trees that are then injected into the model to improve the representation vectors for ABSA. The proposed model achieves the state of the art performance on three benchmark datasets.


Robotic Hierarchical Graph Neurons. A novel implementation of HGN for swarm robotic behaviour control. This paper explores the use of a novel form of Hierarchical Graph Neurons (HGN) for in operation behaviour selection in a swarm of robotic agents. This new HGN is called Robotic HGN (R HGN), as it matches robot environment observations to environment labels via fusion of match probabilities from both temporal and intra swarm collections. This approach is novel for HGN as it addresses robotic observations being pseudo continuous numbers, rather than categorical values. Additionally, the proposed approach is memory and computation power conservative and thus is acceptable for use in mobile devices such as single board computers, which are often used in mobile robotic agents. This R HGN approach is validated against individual behaviour implementation and random behaviour selection. This contrast is made in two sets of simulated environments environments designed to challenge the held behaviours of the R HGN, and randomly generated environments which are more challenging for the robotic swarm than R HGN training conditions. R HGN has been found to enable appropriate behaviour selection in both these sets, allowing significant swarm performance in pre trained and unexpected environment conditions.


The exponent of the non abelian tensor square and related constructions of p groups. Let G be a finite p group. In this paper we obtain bounds for the exponent of the non abelian tensor square G otimes G and of nu(G) , which is a certain extension of G otimes G by G times G . In particular, we bound exp( nu(G)) in terms of exp( nu(G N)) and exp(N) when G admits some specific normal subgroup N . We also establish bounds for exp(G otimes G) in terms of exp(G) and either the nilpotency class or the coclass of the group G , improving some existing bounds.


Less Arbitrary waiting time. Property testing is the cheapest and most precise way of building up a test suite for your program. Especially if the datatypes enjoy nice mathematical laws. But it is also the easiest way to make it run for an unreasonably long time. We prove connection between deeply recursive data structures, and epidemic growth rate, and show how to fix the problem, and make Arbitrary instances run in linear time with respect to assumed test size.


Discovering Differential Features Adversarial Learning for Information Credibility Evaluation. A series of deep learning approaches extract a large number of credibility features to detect fake news on the Internet. However, these extracted features still suffer from many irrelevant and noisy features that restrict severely the performance of the approaches. In this paper, we propose a novel model based on Adversarial Networks and inspirited by the Shared Private model (ANSP), which aims at reducing common, irrelevant features from the extracted features for information credibility evaluation. Specifically, ANSP involves two tasks one is to prevent the binary classification of true and false information for capturing common features relying on adversarial networks guided by reinforcement learning. Another extracts credibility features (henceforth, private features) from multiple types of credibility information and compares with the common features through two strategies, i.e., orthogonality constraints and KL divergence for making the private features more differential. Experiments first on two six label LIAR and Weibo datasets demonstrate that ANSP achieves the state of the art performance, boosting the accuracy by 2.1 , 3.1 , respectively and then on four label Twitter16 validate the robustness of the model with 1.8 performance improvements.


Deterministic homogenization of elliptic equations with lower order terms. For a class of linear elliptic equations of general type with rapidly oscillating coefficients, we use the sigma convergence method to prove the homogenization result and a corrector type result. In the case of asymptotic periodic coefficients we derive the optimal convergence rates for the zero order approximation of the solution with no smoothness on the coefficients, in contrast to what has been done up to now in the literature. This follows as a result of the existence of asymptotic periodic correctors for general nonsmooth coefficients. The homogenization process is achieved through a compactness result obtained by proving a Helmholtz type decomposition theorem in case of Besicovitch spaces.


ConfigFix Interactive Configuration Conflict Resolution for the Linux Kernel. Highly configurable systems are highly complex systems, with the Linux kernel arguably being one of the most well known ones. Since 2007, it has been a frequent target of the research community, conducting empirical studies and building dedicated methods and tools for analyzing, configuring, testing, optimizing, and maintaining the kernel in the light of its vast configuration space. However, despite a large body of work, mainly bug fixes that were the result of such research made it back into the kernel's source tree. Unfortunately, Linux users still struggle with kernel configuration and resolving configuration conflicts, since the kernel largely lacks automated support. Additionally, there are technical and community requirements for supporting automated conflict resolution in the kernel, such as, for example, using a pure C based solution that uses only compatible third party libraries (if any). With the aim of contributing back to the Linux community, we present CONFIGFIX, a tooling that we integrated with the kernel configurator, that is purely implemented in C, and that is finally a working solution able to produce fixes for configuration conflicts. In this experience report, we describe our experiences ranging over a decade of building upon the large body of work from research on the Linux kernel configuration mechanisms as well as how we designed and realized CONFIGFIX while adhering to the Linux kernel's community requirements and standards. While CONFIGFIX helps Linux kernel users obtaining their desired configuration, the sound semantic abstraction we implement provides the basis for many of the above techniques supporting kernel configuration, helping researchers and kernel developers.


Learning to Retrieve Reasoning Paths over Wikipedia Graph for Question Answering. Answering questions that require multi hop reasoning at web scale necessitates retrieving multiple evidence documents, one of which often has little lexical or semantic relationship to the question. This paper introduces a new graph based recurrent retrieval approach that learns to retrieve reasoning paths over the Wikipedia graph to answer multi hop open domain questions. Our retriever model trains a recurrent neural network that learns to sequentially retrieve evidence paragraphs in the reasoning path by conditioning on the previously retrieved documents. Our reader model ranks the reasoning paths and extracts the answer span included in the best reasoning path. Experimental results show state of the art results in three open domain QA datasets, showcasing the effectiveness and robustness of our method. Notably, our method achieves significant improvement in HotpotQA, outperforming the previous best model by more than 14 points.


On Doney's striking factorization of the arc sine law. R. Doney identifies a striking factorization of the arc sine law in terms of the suprema of two independent stable processes of the same index by an elegant random walks approximation. In this paper, we provide an alternative proof and a generalization of this factorization based on the theory recently developed for the exponential functional of L 'evy processes. As a by product, we provide some interesting distributional properties for these variables and also some new examples of the factorization of the arc sine law.


Access Balancing in Storage Systems by Labeling Partial Steiner Systems. Storage architectures ranging from minimum bandwidth regenerating encoded distributed storage systems to declustered parity RAIDs can be designed using dense partial Steiner systems in order to support fast reads, writes, and recovery of failed storage units. In order to ensure good performance, popularities of the data items should be taken into account and the frequencies of accesses to the storage units made as uniform as possible. A proposed combinatorial model ranks items by popularity and assigns data items to elements in a dense partial Steiner system so that the sums of ranks of the elements in each block are as equal as possible. By developing necessary conditions in terms of independent sets, we demonstrate that certain Steiner systems must have a much larger difference between the largest and smallest block sums than is dictated by an elementary lower bound. In contrast, we also show that certain dense partial S(t, t 1, v) designs can be labeled to realize the elementary lower bound. Furthermore, we prove that for every admissible order v , there is a Steiner triple system (S(2, 3, v)) whose largest difference in block sums is within an additive constant of the lower bound.


Beyond Submodular Maximization via One Sided Smoothness. The multilinear framework has achieved the breakthrough 1 1 e approximation for maximizing a monotone submodular function subject to a matroid constraint. This framework has a continuous optimization part and a rounding part. We extend both parts to a wider array of problems. In particular, we make a conceptual contribution by identifying a family of parameterized functions. As a running example we focus on solving diversity problems max f(S) frac 1 2 sum i,j in A A ij S in mathcal M , where mathcal M is a matroid. These diversity functions have A ij geq 0 as a measure of dissimilarity of i,j , and A has 0 diagonal. The multilinear framework cannot be directly applied to the multilinear extension of such functions. We introduce a new parameter for functions F in bf C 2 which measures the approximability of the associated problem max F(x) x in P , for solvable downwards closed polytopes P . A function F is called one sided sigma smooth if frac 1 2 u T nabla 2 F(x) u leq sigma cdot frac u 1 x 1 u T nabla F(x) for all u,x geq 0 , x neq 0 . We give an Omega(1 sigma) approximation for the maximization problem of monotone, normalized one sided sigma smooth F with an additional property non positive third order partial derivatives. Using the multilinear framework and new matroid rounding techniques for quadratic objectives, we give an Omega(1 sigma 3 2 ) approximation for maximizing a sigma semi metric diversity function subject to matroid constraint. This improves upon the previous best bound of Omega(1 sigma 2) and we give evidence that it may be tight. For general one sided smooth functions, we show the continuous process gives an Omega(1 3 2 sigma ) approximation, independent of n . In this setting, by discretizing, we present a poly time algorithm for multilinear one sided sigma smooth functions.


Development of a Flexible Coupling Framework for Coastal Inundation Studies. To enable flexible model coupling in coastal inundation studies, a coupling framework based on ESMF NUOPC technology under a common modeling framework called the NOAA Environmental Modeling System (NEMS) was developed. The framework is essentially a software wrapper around atmospheric, wave and storm surge models that enables its components communicate seamlessly, and efficiently run in massively parallel environments. We implemented the coupled application including ADCIRC and unstructured WWAVEWATCHIII caps as well as NUOPC compliant caps to read Hurricane Weather Research and Forecasting Model (HWRF) generated forcing fields. We validated the coupled application for a laboratory test and a full scale inundation case of the Hurricane Ike, 2008, on a high resolution mesh covering the whole US Atlantic coast. We showed that how nonlinear interaction between surface waves and total water level results in significant enhancements and progression of the inundation and wave action into land in and around the hurricane landfall region. We also presented that how the maximum wave setup and maximum surge regions may happen at the various time and locations depending on the storm track and geographical properties of the landfall area.


Counterfactual Detection meets Transfer Learning. We can consider Counterfactuals as belonging in the domain of Discourse structure and semantics, A core area in Natural Language Understanding and in this paper, we introduce an approach to resolving counterfactual detection as well as the indexing of the antecedents and consequents of Counterfactual statements. While Transfer learning is already being applied to several NLP tasks, It has the characteristics to excel in a novel number of tasks. We show that detecting Counterfactuals is a straightforward Binary Classification Task that can be implemented with minimal adaptation on already existing model Architectures, thanks to a well annotated training data set,and we introduce a new end to end pipeline to process antecedents and consequents as an entity recognition task, thus adapting them into Token Classification.


The Statement of Mochizuki's Corollary 3.12, Initial Theta Data, and the First Two Indeterminacies. This paper does not give a proof of Mochizuki's Corollary 3.12. It is the first in a series of three papers concerning Mochizuki's Inequalities. The present paper concerns the setup of Corollary 3.12 and the first two indeterminacies, the second cite Dupuy2020c concerns log Kummer correspondences and ind3, and the third cite Dupuy2020b concerns applications to Diophantine inequalities (in the style of IUT4). These manuscripts are designed to provide enough definitions and background to give readers the ability to apply Mochizuki's statements in their own investigations. Along the way, we have faithfully simplified a number of definitions, given new auxillary definitions, and phrased the material in a way to maximize the differences between Theorem 1.10 of IUT4 and Corollary 3.12 of IUT3. It is our hope that doing so will enable creative readers to derive interesting and perhaps unforeseen consequences Mochizuki's inequality.


On the weighting field and admittance of irradiated Si sensors. In this paper the weighting field E W and the frequency dependence of the admittance Y of n p pad sensors irradiated by 24 GeV c protons to equivalent fluences in the range Phi rm eq 3 to 13 times 10 15 cm 2 are investigated. 1 D TCad simulations are used to calculate E W . For Phi rm eq 10 13 cm 2 E W depends on position and time. However, for higher Phi rm eq the time constant tau is much longer than the typical electronics readout time and E W 1 d ( d sensor thickness). It is demonstrated that the increase of the resistivity of the Si bulk with irradiation is responsible for the increase of tau . The admittance Y of irradiated pad sensors has been measured for frequencies between f 100 Hz and 1 MHz and voltages between 1 and 1000 V at 20 circ C and 30 circ C. For f 1 kHz the parallel capacitance C p shows a f dependence. A model with a position dependent resistivity is able to describe the data. It is concluded 1. The weighting field of a highly irradiated sensor is the same as the weighting field of a fully depleted sensor before irradiation. 2. Models with a position dependent resistivity describe the frequency dependence of C p for irradiated sensors.


A graph theoretic criterion for absolute irreducibility of integer valued polynomials with square free denominator. An irreducible element of a commutative ring is absolutely irreducible if no power of it has more than one (essentially different) factorization into irreducibles. In the case of the ring text Int (D) f in K x mid f(D) subseteq D , of integer valued polynomials on a principal ideal domain D with quotient field K , we give an easy to verify graph theoretic sufficient condition for an element to be absolutely irreducible and show a partial converse the condition is necessary and sufficient for polynomials with square free denominator.


Number resolved imaging of 88 Sr atoms in a long working distance optical tweezer. We demonstrate number resolved detection of individual strontium atoms in a long working distance low numerical aperture (NA 0.26) tweezer. Using a camera based on single photon counting technology, we determine the presence of an atom in the tweezer with a fidelity of 0.989(6) (and loss of 0.13(5)) within a 200 mu s imaging time. Adding continuous narrow line Sisyphus cooling yields similar fidelity, at the expense of much longer imaging times (30 ms). Under these conditions we determine whether the tweezer contains zero, one or two atoms, with a fidelity 0.8 in all cases with the high readout speed of the camera enabling real time monitoring of the number of trapped atoms. Lastly we show that the fidelity can be further improved by using a pulsed cooling imaging scheme that reduces the effect of camera dark noise.


Deformed higher rank Heisenberg Virasoro algebras. In this paper, we study a class of infinitesimal deformations of the centerless higher rank Heisenberg Virasoro algebras. Explicitly, the universal central extensions, derivations and isomorphism classes of these algebras are determined.


p adic Wan Riemann Hypothesis for mathbb Z p towers of curves. Our goal in this paper is to investigate four conjectures proposed by Daqing Wan about the stable behavior of a geometric mathbb Z p tower of curves X infty X . Let h n be the class number of the n th layer in X infty X . It is known from Iwasawa theory that there are integers mu(X infty X), lambda(X infty X) and nu(X infty X) such that the p adic valuation v p(h n) equals to mu(X infty X) p n lambda(X infty X) n nu(X infty X) for n sufficiently large. Let mathbb Q p,n be the splitting field (over mathbb Q p ) of the zeta function of n th layer in X infty X . The p adic Wan Riemann Hypothesis conjectures that the extension degree mathbb Q p,n mathbb Q p goes to infinity as n goes to infinity. After motivating and introducing the conjectures, we prove the p adic Wan Riemann Hypothesis when lambda(X infty X) is nonzero.


FILTER An Enhanced Fusion Method for Cross lingual Language Understanding. Large scale cross lingual language models (LM), such as mBERT, Unicoder and XLM, have achieved great success in cross lingual representation learning. However, when applied to zero shot cross lingual transfer tasks, most existing methods use only single language input for LM finetuning, without leveraging the intrinsic cross lingual alignment between different languages that proves essential for multilingual tasks. In this paper, we propose FILTER, an enhanced fusion method that takes cross lingual data as input for XLM finetuning. Specifically, FILTER first encodes text input in the source language and its translation in the target language independently in the shallow layers, then performs cross language fusion to extract multilingual knowledge in the intermediate layers, and finally performs further language specific encoding. During inference, the model makes predictions based on the text input in the target language and its translation in the source language. For simple tasks such as classification, translated text in the target language shares the same label as the source language. However, this shared label becomes less accurate or even unavailable for more complex tasks such as question answering, NER and POS tagging. To tackle this issue, we further propose an additional KL divergence self teaching loss for model training, based on auto generated soft pseudo labels for translated text in the target language. Extensive experiments demonstrate that FILTER achieves new state of the art on two challenging multilingual multi task benchmarks, XTREME and XGLUE.


Approximation Algorithms for Min Distance Problems. We study fundamental graph parameters such as the Diameter and Radius in directed graphs, when distances are measured using a somewhat unorthodox but natural measure the distance between u and v is the minimum of the shortest path distances from u to v and from v to u . The center node in a graph under this measure can for instance represent the optimal location for a hospital to ensure the fastest medical care for everyone, as one can either go to the hospital, or a doctor can be sent to help. By computing All Pairs Shortest Paths, all pairwise distances and thus the parameters we study can be computed exactly in tilde O (mn) time for directed graphs on n vertices, m edges and nonnegative edge weights. Furthermore, this time bound is tight under the Strong Exponential Time Hypothesis Roditty Vassilevska W. STOC 2013 so it is natural to study how well these parameters can be approximated in O(mn 1 epsilon ) time for constant epsilon 0 . Abboud, Vassilevska Williams, and Wang SODA 2016 gave a polynomial factor approximation for Diameter and Radius, as well as a constant factor approximation for both problems in the special case where the graph is a DAG. We greatly improve upon these bounds by providing the first constant factor approximations for Diameter, Radius and the related Eccentricities problem in general graphs. Additionally, we provide a hierarchy of algorithms for Diameter that gives a time accuracy trade off.


Optimal Dynamic Pricing for Binary Demands in Smart Grids A Fair and Privacy Preserving Strategy. Motivated by demand side management in smart grids, a decentralized controlled Markov chain formulation is proposed to model a homogeneous population of users with binary demands (i.e., off or on). The binary demands often arise in scheduling applications such as plug in hybrid vehicles. Normally, an independent service operator (ISO) has a finite number of options when it comes to providing the users with electricity. The options represent various incentive means, generation resources, and price profiles. The objective of the ISO is to find optimal options in order to keep the distribution of demands close to a desired level (which varies with time, in general) by imposing the minimum price on the users. A Bellman equation is developed here to identify the globally team optimal strategy. The proposed strategy is fair for all users and also protects the privacy of users. Moreover, its computational complexity increases linearly (rather than exponentially) with the number of users. A numerical example with 100 users is presented for peak load management.


PyMGRIT A Python Package for the parallel in time method MGRIT. In this paper, we introduce the Python framework PyMGRIT, which implements the multigrid reduction in time (MGRIT) algorithm for solving the (non )linear systems arising from the discretization of time dependent problems. The MGRIT algorithm is a reduction based iterative method that allows parallel in time simulations, i. e., calculating multiple time steps simultaneously in a simulation, by using a time grid hierarchy. The PyMGRIT framework features many different variants of the MGRIT algorithm, ranging from different multigrid cycle types and relaxation schemes, as well as various coarsening strategies, including time only and space time coarsening, to using different time integrators on different levels in the multigrid hierachy. PyMGRIT allows serial runs for prototyping and testing of new approaches, as well as parallel runs using the Message Passing Interface (MPI). Here, we describe the implementation of the MGRIT algorithm in PyMGRIT and present the usage from both user and developer point of views. Three examples illustrate different aspects of the package, including pure time parallelism as well as space time parallelism by coupling PyMGRIT with PETSc or Firedrake, which enable spatial parallelism through MPI.


Personalization of learning through adaptive technologies in the context of sustainable development of teachers education. The article highlights the issues of personalized learning as the global trend of the modern ICTbased educational systems development. The notion, the main stages of evolution, the main features and principles of adaptive learning systems application for teachers training are outlined. It is emphasized that the use and elaboration of the adaptive cloud based learning systems are essential to provide sustainable development of teachers education. The current trends and peculiarities of the cloud based adaptive learning systems development and approach of their implementation for teachers training are considered. The general model of the adaptive cloud based learning system structure is proposed. The main components of the model are described the issues of tools and services selection are outlined. The methods of the cloudbased learning components introduction within the adaptive systems of teacher training are considered. The current research developments of modeling and implementation of the adaptive cloud based systems are outlined.


On graded division rings. We develop the theory of group graded division ring parallel to the one by P. Cohn for (ungraded) division rings.


Decouplings for Surfaces of Zero Curvature. We extend the l 2(L p) decoupling theorem of Bourgain Demeter to the full class of developable surfaces in mathbb R 3 . This completes the l 2 decoupling theory of the zero Gaussian curvature surfaces that lack planar (or umbilic) points. Of central interest to our study is the tangent surface associated to the moment curve.


Local Uniformization of Abhyankar Valuations. We prove local uniformization of Abhyankar valuations of an algebraic function field K over a ground field k. Our result generalizes the proof of this result, with the additional assumption that the residue field of the valuation ring is separable over k, by Hagen Knaf and Franz Viktor Kuhlmann. The proof in this paper uses different methods, being inspired by the approach of Zariski and Abhyankar.


On the extension problem for semiconcave functions with fractional modulus. Consider a locally Lipschitz function u on the closure of a possibly unbounded open subset Omega of mathbb R n with C 1,1 boundary. Suppose u is semiconcave on overline Omega with a fractional semiconcavity modulus. Is it possible to extend u in a neighborhood of any boundary point retaining the same semiconcavity modulus? We show that this is indeed the case and we give two applications of this extension property. First, we derive an approximation result for semiconcave functions on closed domains. Then, we use the above extension property to study the propagation of singularities of semiconcave functions at boundary points.


Semi supervised Learning by Latent Space Energy Based Model of Symbol Vector Coupling. This paper proposes a latent space energy based prior model for semi supervised learning. The model stands on a generator network that maps a latent vector to the observed example. The energy term of the prior model couples the latent vector and a symbolic one hot vector, so that classification can be based on the latent vector inferred from the observed example. In our learning method, the symbol vector coupling, the generator network and the inference network are learned jointly. Our method is applicable to semi supervised learning in various data domains such as image, text, and tabular data. Our experiments demonstrate that our method performs well on semi supervised learning tasks.


Analysis on Riemannian foliations of bounded geometry. A leafwise Hodge decomposition was proved by Sanguiao for Riemannian foliations of bounded geometry. Its proof is explained again in terms of our study of bounded geometry for Riemannian foliations. It is used to associate smoothing operators to foliated flows, and describe their Schwartz kernels. All of this is extended to a leafwise version of the Novikov differential complex.


Fast transcription of speech in low resource languages. We present software that, in only a few hours, transcribes forty hours of recorded speech in a surprise language, using only a few tens of megabytes of noisy text in that language, and a zero resource grapheme to phoneme (G2P) table. A pretrained acoustic model maps acoustic features to phonemes a reversed G2P maps these to graphemes then a language model maps these to a most likely grapheme sequence, i.e., a transcription. This software has worked successfully with corpora in Arabic, Assam, Kinyarwanda, Russian, Sinhalese, Swahili, Tagalog, and Tamil.


Beyond Localized Graph Neural Networks An Attributed Motif Regularization Framework. We present InfoMotif, a new semi supervised, motif regularized, learning framework over graphs. We overcome two key limitations of message passing in popular graph neural networks (GNNs) localization (a k layer GNN cannot utilize features outside the k hop neighborhood of the labeled training nodes) and over smoothed (structurally indistinguishable) representations. We propose the concept of attributed structural roles of nodes based on their occurrence in different network motifs, independent of network proximity. Two nodes share attributed structural roles if they participate in topologically similar motif instances over co varying sets of attributes. Further, InfoMotif achieves architecture independence by regularizing the node representations of arbitrary GNNs via mutual information maximization. Our training curriculum dynamically prioritizes multiple motifs in the learning process without relying on distributional assumptions in the underlying graph or the learning task. We integrate three state of the art GNNs in our framework, to show significant gains (3 10 accuracy) across six diverse, real world datasets. We see stronger gains for nodes with sparse training labels and diverse attributes in local neighborhood structures.


Modurec Recommender Systems with Feature and Time Modulation. Current state of the art algorithms for recommender systems are mainly based on collaborative filtering, which exploits user ratings to discover latent factors in the data. These algorithms unfortunately do not make effective use of other features, which can help solve two well identified problems of collaborative filtering cold start (not enough data is available for new users or products) and concept shift (the distribution of ratings changes over time). To address these problems, we propose Modurec an autoencoder based method that combines all available information using the feature wise modulation mechanism, which has demonstrated its effectiveness in several fields. While time information helps mitigate the effects of concept shift, the combination of user and item features improve prediction performance when little data is available. We show on Movielens datasets that these modifications produce state of the art results in most evaluated settings compared with standard autoencoder based methods and other collaborative filtering approaches.


Multiple projection MCMC algorithms on submanifolds. We propose new Markov Chain Monte Carlo algorithms to sample probability distributions on submanifolds, which generalize previous methods by allowing the use of set valued maps in the proposal step of the MCMC algorithms. The motivation for this generalization is that the numerical solvers used to project proposed moves to the submanifold of interest may find several solutions. We show that the new algorithms indeed sample the target probability measure correctly, thanks to some carefully enforced reversibility property. We demonstrate the interest of the new MCMC algorithms on illustrative numerical examples.


Computing System Congestion Management Using Exponential Smoothing Forecasting. An overloaded computer must finish what it starts and not start what will fail or hang. A congestion management algorithm the author developed, and Siemens Corporation patented for telecom products, effectively manages traffic overload with its unique formulation of Exponential Smoothing forecasting. Siemens filed for exclusive rights to this technique in 2003 and obtained US patent US7301903B2 in 2007 with this author, an employee at the time of the filing, the sole inventor. A computer program, written in C language, which exercises the methodology is listed at the end of this document and available on GitHub.


A tight structure theorem for sumsets. Let A 0 a 0 a 1 cdots a ell 1 b be a finite set of non negative integers. We prove that the sumset NA has a certain easily described structure, provided that N geqslant b ell , as recently conjectured by Shakan and the first author. We also classify those sets A for which this bound cannot be improved.


Optimal speed in Thoroughbred horse racing. The objective of this work is to provide a mathematical analysis on how a Thoroughbred horse should regulate its speed over the course of a race to optimize performance. Because Thoroughbred horses are not capable of running the whole race at top speed, determining what pace to set and when to unleash the burst of speed is essential. Our model relies on mechanics, energetics (both aerobic and anaerobic) and motor control. It is a system of coupled ordinary differential equations on the velocity, the propulsive force and the anaerobic energy, that leads to an optimal control problem that we solve. In order to identify the parameters meaningful for Thoroughbred horses, we use velocity data on races in Chantilly (France) provided by France Galop, the French governing body of flat horse racing in France. Our numerical simulations of performance optimization then provide the optimal speed along the race, the oxygen uptake evolution in a race, as well as the energy or the propulsive force. It also predicts how the horse has to change its effort and velocity according to the topography (altitude and bending) of the track.


On the Incorporation of Box Constraints for Ensemble Kalman Inversion. The Bayesian approach to inverse problems is widely used in practice to infer unknown parameters from noisy observations. In this framework, the ensemble Kalman inversion has been successfully applied for the quantification of uncertainties in various areas of applications. In recent years, a complete analysis of the method has been developed for linear inverse problems adopting an optimization viewpoint. However, many applications require the incorporation of additional constraints on the parameters, e.g. arising due to physical constraints. We propose a new variant of the ensemble Kalman inversion to include box constraints on the unknown parameters motivated by the theory of projected preconditioned gradient flows. Based on the continuous time limit of the constrained ensemble Kalman inversion, we discuss a complete convergence analysis for linear forward problems. We adopt techniques from filtering which are crucial in order to improve the performance and establish a correct descent, such as variance inflation. These benefits are highlighted through a number of numerical examples on various inverse problems based on partial differential equations.


Input output framework for actuated boundary layers. This work extends the input output approach to the study of wall bounded shear flows manipulated using actuators common in experimental flow control studies. In particular, we adapt this powerful analytical framework to investigate the flow response to specified geometric actuation patterns (e.g., different plasma actuators) that can be applied over a range of different temporal input signals. For example, the commonly studied steady state (time averaged) flow response corresponds to a superposition of step responses in our modeling framework. The approach takes advantage of the linearity of the transfer function representation to construct the actuated flow field as a weighted superposition of the flow responses to point sources of varying intensity comprising the actuation model. We first validate the proposed method through comparisons with numerical and experimental studies of the time averaged behavior of a transitional boundary layer actuated using a dielectric barrier discharge plasma actuator operating in constricted discharge mode. The method is shown to reproduce the streamwise velocity field and the vortical structures observed downstream from the tested plasma actuator configurations. We then demonstrate that the method provides even better agreement with the steady state response of the boundary layer subject to actuation from arrays of symmetric plasma actuators arranged in both spanwise and serpentine geometries. These results indicate the utility of this extension to the widely used input output framework in analyzing the effects of certain actuation modalities that have shown promise in flow manipulation strategies for drag reduction. An important benefit of this analytical method is the low computational cost associated with its use in extensive parametric studies that would be cost prohibitive using experiments or high fidelity simulations.


An Interdisciplinary Guideline for the Production of Videos and Vision Videos by Software Professionals. Background and Motivation In recent years, the topic of applying videos in requirements engineering has been discussed and its contributions are of interesting potential. In the last 35 years, several researchers proposed approaches for applying videos in requirements engineering due to their communication richness and effectiveness. However, these approaches mainly use videos but omit the details about how to produce them. This lack of guidance is one crucial reason why videos are not an established documentation option for successful requirements communication and thus shared understanding. Software professionals are not directors and thus they do not necessarily know what constitutes a good video in general and for an existing approach. Therefore, this lack of knowledge and skills on how to produce and use videos for visual communication impedes the application of videos by software professionals in requirements engineering. How to Create Effective Videos and Vision Videos? This technical report addresses this lack of knowledge and skills by software professionals. We provide two guidelines that can be used as checklists to avoid frequent flaws in the production and use of videos respectively vision videos. Software professionals without special training should be able to follow these guidelines to achieve the basic capabilities to produce (vision) videos that are accepted by their stakeholders. These guidelines represent a core set of those capabilities in the preproduction, shooting, postproduction, and viewing of (vision) videos. We do not strive for perfection in any of these capabilities, .e.g., technical handling of video equipment, storytelling, or video editing. Instead, these guidelines support all steps of the (vision) video production and use process to a balanced way.


AVA an Automatic eValuation Approach to Question Answering Systems. We introduce AVA, an automatic evaluation approach for Question Answering, which given a set of questions associated with Gold Standard answers, can estimate system Accuracy. AVA uses Transformer based language models to encode question, answer, and reference text. This allows for effectively measuring the similarity between the reference and an automatic answer, biased towards the question semantics. To design, train and test AVA, we built multiple large training, development, and test sets on both public and industrial benchmarks. Our innovative solutions achieve up to 74.7 in F1 score in predicting human judgement for single answers. Additionally, AVA can be used to evaluate the overall system Accuracy with an RMSE, ranging from 0.02 to 0.09, depending on the availability of multiple references.


Knotted 3 balls in S 4. The unknot U in S 4 has non unique smooth spanning 3 balls up to isotopy fixing U. Equivalently there are properly embedded non separating 3 balls in S 1xB 3 not properly isotopic to 1xB 3. More generally there exist non separating 3 spheres in S 1xS 3 not isotopic to 1xS 3 and non trivial elements of pi 0 Diff 0(S 1xS 3). Along the way we introduce barbell diffeomorphisms, implantations and twistings to construct and modify diffeomorphisms homotopic to the identity. We also introduce a 2 parameter calculus of embeddings of the interval into 4 manifolds and introduce a framed cobordism method as well as a direct method for showing that certain 2 parameter families are homotopically non trivial and diffeomorphisms are isotopically nontrivial. Extensions to higher dimensional manifolds are obtained.


Extendability of functions with partially vanishing trace. Let Omega subseteq mathbb R d be open and D subseteq partial Omega be a closed part of its boundary. Under very mild assumptions on Omega , we construct a bounded Sobolev extension operator for the Sobolev space mathrm W k , p D ( Omega) , 1 leq p infty , which consists of all functions in mathrm W k , p ( Omega) that vanish in a suitable sense on D . In contrast to earlier work, this construction is global and emph not using a localization argument, which allows to work with a boundary regularity that is sharp at the interface dividing D and partial Omega setminus D . Moreover, we provide homogeneous and local estimates for the extension operator. Also, we treat the case of Lipschitz function spaces with a vanishing trace condition on D .


Energy conserving SUPG methods for compatible finite element schemes in numerical weather prediction. We present an energy conserving space discretisation based on a Poisson bracket that can be used to derive the dry compressible Euler as well as thermal shallow water equations. It is formulated using the compatible finite element method, and extends the incorporation of upwinding for the shallow water equations as described in Wimmer, Cotter, and Bauer (2019). While the former is restricted to DG upwinding, an energy conserving SUPG scheme for the (partially) continuous Galerkin thermal field space is newly introduced here. The energy conserving property is validated by coupling the Poisson bracket based spatial discretisation to an energy conserving time discretisation. Further, the discretisation is demonstrated to lead to an improved temperature field development with respect to stability when upwinding is included. An approximately energy conserving full discretisation with a smaller computational cost is also presented.


On the Semantic Interpretability of Artificial Intelligence Models. Artificial Intelligence models are becoming increasingly more powerful and accurate, supporting or even replacing humans' decision making. But with increased power and accuracy also comes higher complexity, making it hard for users to understand how the model works and what the reasons behind its predictions are. Humans must explain and justify their decisions, and so do the AI models supporting them in this process, making semantic interpretability an emerging field of study. In this work, we look at interpretability from a broader point of view, going beyond the machine learning scope and covering different AI fields such as distributional semantics and fuzzy logic, among others. We examine and classify the models according to their nature and also based on how they introduce interpretability features, analyzing how each approach affects the final users and pointing to gaps that still need to be addressed to provide more human centered interpretability solutions.


Contact and isocontact embedding of pi manifolds. We prove some contact analogs of smooth embedding theorems for closed pi manifolds. We show that a closed, k connected, pi manifold of dimension (2n 1) that bounds a pi manifold, contact embeds in the (4n 2k 3) dimensional Euclidean space with the standard contact structure. We also prove some isocontact embedding results for pi manifolds and parallelizable manifolds.


Diagnosing the performance of human mobility models at small spatial scales using volunteered geographic information. Accurate modelling of local population movement patterns is a core contemporary concern for urban policymakers, affecting both the short term deployment of public transport resources and the longer term planning of transport infrastructure. Yet, while macro level population movement models (such as the gravity and radiation models) are well developed, micro level alternatives are in much shorter supply, with most macro models known to perform badly in smaller geographic confines. In this paper we take a first step to remedying this deficit, by leveraging two novel datasets to analyse where and why macro level models of human mobility break down at small scales. In particular, we use an anonymised aggregate dataset from a major mobility app and combine this with freely available data from OpenStreetMap concerning land use composition of different areas around the county of Oxfordshire in the United Kingdom. We show where different models fail, and make the case for a new modelling strategy which moves beyond rough heuristics such as distance and population size towards a detailed, granular understanding of the opportunities presented in different areas of the city.


Proceedings Second Workshop on Formal Methods for Autonomous Systems. Autonomous systems are highly complex and present unique challenges for the application of formal methods. Autonomous systems act without human intervention, and are often embedded in a robotic system, so that they can interact with the real world. As such, they exhibit the properties of safety critical, cyber physical, hybrid, and real time systems. The goal of FMAS is to bring together leading researchers who are tackling the unique challenges of autonomous systems using formal methods, to present recent and ongoing work. We are interested in the use of formal methods to specify, model, or verify autonomous or robotic systems in whole or in part. We are also interested in successful industrial applications and potential future directions for this emerging application of formal methods.


An energy stable and positivity preserving scheme for the Maxwell Stefan diffusion system. We develop a new finite difference scheme for the Maxwell Stefan diffusion system. The scheme is conservative, energy stable and positivity preserving. These nice properties stem from a variational structure and are proved by reformulating the finite difference scheme into an equivalent optimization problem. The solution to the scheme emerges as the minimizer of the optimization problem, and as a consequence energy stability and positivity preserving properties are obtained.


The smallest art gallery not guarded by every third vertex. A polygonal art gallery can be observed by guards placed at one third of its corners. However, the strategy of placing guards at every third corner does not work for all art galleries. In this note, we provide an example of a nine sided art gallery for which this strategy fails, and prove that this example is minimal.


Relation Aware Global Attention for Person Re identification. For person re identification (re id), attention mechanisms have become attractive as they aim at strengthening discriminative features and suppressing irrelevant ones, which matches well the key of re id, i.e., discriminative feature learning. Previous approaches typically learn attention using local convolutions, ignoring the mining of knowledge from global structure patterns. Intuitively, the affinities among spatial positions nodes in the feature map provide clustering like information and are helpful for inferring semantics and thus attention, especially for person images where the feasible human poses are constrained. In this work, we propose an effective Relation Aware Global Attention (RGA) module which captures the global structural information for better attention learning. Specifically, for each feature position, in order to compactly grasp the structural information of global scope and local appearance information, we propose to stack the relations, i.e., its pairwise correlations affinities with all the feature positions (e.g., in raster scan order), and the feature itself together to learn the attention with a shallow convolutional model. Extensive ablation studies demonstrate that our RGA can significantly enhance the feature representation power and help achieve the state of the art performance on several popular benchmarks. The source code is available at https github.com microsoft Relation Aware Global Attention Networks.


Asymptotic behaviour of ancestral lineages in subcritical continuous state branching populations. Consider the population model with infinite size associated to subcritical continuous state branching processes (CSBP). Individuals reproduce independently according to the same subcritical offspring distribution. We study the long term behaviour of the ancestral lineages as time goes to the past and show that the flow of ancestral lineages, properly renormalized, converges almost surely to the inverse of a drift free subordinator whose Laplace exponent is explicit in terms of the branching mechanism. We provide an interpretation in terms of the genealogy of the population. In particular, we show that the inverse subordinator is partitioning the current population into ancestral families with distinct common ancestors. When Grey's condition is satisfied, the population comes from a discrete set of ancestors and the ancestral families are i.i.d and distributed according to the quasi stationary distribution of the CSBP conditioned on non extinction. When Grey's condition is not satisfied, the population comes from a continuum of ancestors which is described as the set of increase points mathscr S of the limiting inverse subordinator. The Hausdorff dimension of mathscr S is given. The proof is based on a general result for stochastically monotone processes of independent interest, which relates theta invariant measures and theta invariant functions for a process and its Siegmund dual.


Maximum entropy and integer partitions. We derive asymptotic formulas for the number of integer partitions with given sums of j th powers of the parts for j belonging to a finite, non empty set J subset mathbb N . The method we use is based on the principle of maximum entropy' of Jaynes. This principle leads to an intuitive variational formula for the asymptotics of the logarithm of the number of constrained partitions as the solution to a convex optimization problem over real valued functions.


A Fast Template based Approach to Automatically Identify Primary Text Content of a Web Page. Search engines have become an indispensable tool for browsing information on the Internet. The user, however, is often annoyed by redundant results from irrelevant Web pages. One reason is because search engines also look at non informative blocks of Web pages such as advertisement, navigation links, etc. In this paper, we propose a fast algorithm called FastContentExtractor to automatically detect main content blocks in a Web page by improving the ContentExtractor algorithm. By automatically identifying and storing templates representing the structure of content blocks in a website, content blocks of a new Web page from the Website can be extracted quickly. The hierarchical order of the output blocks is also maintained which guarantees that the extracted content blocks are in the same order as the original ones.


Courant sharp Robin eigenvalues for the square the case of negative Robin parameter. We consider the cases where there is equality in Courant's nodal domain theorem for the Laplacian with a Robin boundary condition on the square. In our previous two papers, we treated the cases where the Robin parameter h 0 is large, small respectively. In this paper we investigate the case where h 0 , .


About one problem from NSUCRYPTO'2017 and the image of cubic function over binary fields. The description of the image of cubic function f(x) x 3 x over finite field F 2 n was stated as a problem in the NSUCrypto olympiad in 2017. This problem was marked by organizers as unsolved . In this work we propose the full solution of this problem.


RouteNet Leveraging Graph Neural Networks for network modeling and optimization in SDN. Network modeling is a key enabler to achieve efficient network operation in future self driving Software Defined Networks. However, we still lack functional network models able to produce accurate predictions of Key Performance Indicators (KPI) such as delay, jitter or loss at limited cost. In this paper we propose RouteNet, a novel network model based on Graph Neural Network (GNN) that is able to understand the complex relationship between topology, routing, and input traffic to produce accurate estimates of the per source destination per packet delay distribution and loss. RouteNet leverages the ability of GNNs to learn and model graph structured information and as a result, our model is able to generalize over arbitrary topologies, routing schemes and traffic intensity. In our evaluation, we show that RouteNet is able to predict accurately the delay distribution (mean delay and jitter) and loss even in topologies, routing and traffic unseen in the training (worst case MRE 15.4 ). Also, we present several use cases where we leverage the KPI predictions of our GNN model to achieve efficient routing optimization and network planning.


Site characterization at downhole arrays by joint inversion of dispersion data and acceleration time series. We present a sequential data assimilation algorithm based on the ensemble Kalman inversion to estimate the near surface shear wave velocity profile and damping when heterogeneous data and a priori information that can be represented in forms of (physical) equality and inequality constraints in the inverse problem are available. Although non invasive methods, such as surface wave testing, are efficient and cost effective methods for inferring Vs profile, one should acknowledge that site characterization using inverse analyses can yield erroneous results associated with the inverse problem non uniqueness. One viable solution to alleviate the inverse problem ill posedness is to enrich the prior knowledge and or the data space with complementary observations. In the case of non invasive methods, the pertinent data are the dispersion curve of surface waves, typically resolved by means of active source methods at high frequencies and passive methods at low frequencies. To improve the inverse problem well posedness, horizontal to vertical spectral ratio (HVSR) data are commonly used jointly with the dispersion data in the inversion. In this paper, we show that the joint inversion of dispersion and strong motion downhole array data can also reduce the margins of uncertainty in the Vs profile estimation. This is because acceleration time series recorded at downhole arrays include both body and surface waves and therefore can enrich the observational data space in the inverse problem setting. We also show how the proposed algorithm can be modified to systematically incorporate physical constraints that further enhance its well posedness. We use both synthetic and real data to examine the performance of the proposed framework in estimation of Vs profile and damping at the Garner Valley downhole array, and compare them against the Vs estimations in previous studies.


Performance Bounds and Estimates for Quantized LDPC Decoders. The performance of low density parity check (LDPC) codes at high signal to noise ratios (SNRs) is known to be limited by the presence of certain sub graphs that exist in the Tanner graph representation of the code, for example trapping sets and absorbing sets. This paper derives a lower bound on the frame error rate (FER) of any LDPC code containing a given problematic sub graph, assuming a particular message passing decoder and decoder quantization. A crucial aspect of the lower bound is that it is code independent, in the sense that it can be derived based only on a problematic sub graph and then applied to any code containing it. Due to the complexity of evaluating the exact bound, assumptions are proposed to approximate it, from which we can estimate decoder performance. Simulated results obtained for both the quantized sum product algorithm (SPA) and the quantized min sum algorithm (MSA) are shown to be consistent with the approximate bound and the corresponding performance estimates. Different classes of LDPC codes, including both structured and randomly constructed codes, are used to demonstrate the robustness of the approach.


Improving Robotic Grasping on Monocular Images Via Multi Task Learning and Positional Loss. In this paper, we introduce two methods of improving real time object grasping performance from monocular colour images in an end to end CNN architecture. The first is the addition of an auxiliary task during model training (multi task learning). Our multi task CNN model improves grasping performance from a baseline average of 72.04 to 78.14 on the large Jacquard grasping dataset when performing a supplementary depth reconstruction task. The second is introducing a positional loss function that emphasises loss per pixel for secondary parameters (gripper angle and width) only on points of an object where a successful grasp can take place. This increases performance from a baseline average of 72.04 to 78.92 as well as reducing the number of training epochs required. These methods can be also performed in tandem resulting in a further performance increase to 79.12 while maintaining sufficient inference speed to afford real time grasp processing.


Splay trees on trees. Search trees on trees (STTs) are a far reaching generalization of binary search trees (BSTs), allowing the efficient exploration of tree structured domains. (BSTs are the special case in which the underlying domain is a path.) Trees on trees have been extensively studied under various guises in computer science and discrete mathematics. Recently Bose, Cardinal, Iacono, Koumoutsos, and Langerman (SODA 2020) considered adaptive STTs and observed that, apart from notable exceptions, the machinery developed for BSTs in the past decades does not readily transfer to STTs. In particular, they asked whether the optimal STT can be efficiently computed or approximated (by analogy to Knuth's algorithm for optimal BSTs), and whether natural self adjusting BSTs such as Splay trees (Sleator, Tarjan, 1983) can be extended to this more general setting. We answer both questions affirmatively. First, we show that a (1 frac 1 t ) approximation of an optimal size n STT for a given search distribution can be computed in time O(n 2t 1 ) for all integers t geq 1 . Second, we identify a broad family of STTs with linear rotation distance, allowing the generalization of Splay trees to the STT setting. We show that our generalized Splay satisfies a static optimality theorem, asymptotically matching the cost of the optimal STT in an online fashion, i.e. without knowledge of the search distribution. Our results suggest an extension of the dynamic optimality conjecture for Splay trees to the broader setting of trees on trees.


Asymptotic Behaviour of Time Stepping Methods for Phase Field Models. Adaptive time stepping methods for metastable dynamics of the Allen Cahn and Cahn Hilliard equations are investigated in the spatially continuous, semi discrete setting. We analyse the performance of a number of first and second order methods, formally predicting step sizes required to satisfy specified local truncation error sigma in the limit of small order parameter epsilon rightarrow 0 during meta stable dynamics. The formal predictions are made under stability assumptions that include the preservation of the asymptotic structure of the diffuse interface, a concept we call profile fidelity. In this setting, definite statements about the relative behaviour of time stepping methods can be made. Some methods, including all so called energy stable methods but also some fully implicit methods, require asymptotically more time steps than others.The formal analysis is confirmed in computational studies. We observe that some provably energy stable methods popular in the literature perform worse than some more standard schemes. We show further that when Backward Euler is applied to meta stable Allen Cahn dynamics, the energy decay and profile fidelity properties for these discretizations are preserved for much larger time steps than previous analysis would suggest. The results are established asymptotically for general interfaces, with a rigorous proof for radial interfaces. It is shown analytically and computationally that for most reaction terms, Eyre type time stepping performs asymptotically worse due to loss of profile fidelity.


Evaluating Coherence in Dialogue Systems using Entailment. Evaluating open domain dialogue systems is difficult due to the diversity of possible correct answers. Automatic metrics such as BLEU correlate weakly with human annotations, resulting in a significant bias across different models and datasets. Some researchers resort to human judgment experimentation for assessing response quality, which is expensive, time consuming, and not scalable. Moreover, judges tend to evaluate a small number of dialogues, meaning that minor differences in evaluation configuration may lead to dissimilar results. In this paper, we present interpretable metrics for evaluating topic coherence by making use of distributed sentence representations. Furthermore, we introduce calculable approximations of human judgment based on conversational coherence by adopting state of the art entailment techniques. Results show that our metrics can be used as a surrogate for human judgment, making it easy to evaluate dialogue systems on large scale datasets and allowing an unbiased estimate for the quality of the responses.


Give Me Something to Eat Referring Expression Comprehension with Commonsense Knowledge. Conventional referring expression comprehension (REF) assumes people to query something from an image by describing its visual appearance and spatial location, but in practice, we often ask for an object by describing its affordance or other non visual attributes, especially when we do not have a precise target. For example, sometimes we say 'Give me something to eat'. In this case, we need to use commonsense knowledge to identify the objects in the image. Unfortunately, these is no existing referring expression dataset reflecting this requirement, not to mention a model to tackle this challenge. In this paper, we collect a new referring expression dataset, called KB Ref, containing 43k expressions on 16k images. In KB Ref, to answer each expression (detect the target object referred by the expression), at least one piece of commonsense knowledge must be required. We then test state of the art (SoTA) REF models on KB Ref, finding that all of them present a large drop compared to their outstanding performance on general REF datasets. We also present an expression conditioned image and fact attention (ECIFA) network that extract information from correlated image regions and commonsense knowledge facts. Our method leads to a significant improvement over SoTA REF models, although there is still a gap between this strong baseline and human performance. The dataset and baseline models will be released.


A novel necessary and sufficient condition for the positivity of a binary quartic form. In this paper, by considering the common points of two conics instead of the roots of the binary quartic form, we propose a novel necessary and sufficient condition for the positivity of a binary quartic form using the theory of the pencil of conics. First, we show the degenerate members of the pencil of conics according to the distinct natures of the common points of two base conics. Then, the inequalities about the parameters of the degenerate members are obtained according to the properties of the degenerate conics. Last, from the inequalities we derive a novel criterion for determining the positivity of a binary quartic form without the discriminant.


On the Ability of a CNN to Realize Image to Image Language Conversion. The purpose of this paper is to reveal the ability that Convolutional Neural Networks (CNN) have on the novel task of image to image language conversion. We propose a new network to tackle this task by converting images of Korean Hangul characters directly into images of the phonetic Latin character equivalent. The conversion rules between Hangul and the phonetic symbols are not explicitly provided. The results of the proposed network show that it is possible to perform image to image language conversion. Moreover, it shows that it can grasp the structural features of Hangul even from limited learning data. In addition, it introduces a new network to use when the input and output have significantly different features.


Validation of counting methods in bibliometrics. The discussion about counting methods in bibliometrics is often reduced to the choice between full and fractional counting. However, several studies document that this distinction is too simple. The aim of the present study is to give an overview of counting methods in the bibliometric literature and to provide insight into their properties and use. A mix of methods is used. In the preliminary results, a literature review covering 1970 2018 identified 29 original counting methods. Seventeen were introduced in the period 2010 2018. Twenty one of the 29 counting methods are rank dependent and fractionalized meaning that the authors of a publications share 1 credit but do not receive equal shares, for example harmonic counting. The internal and external validation of the counting methods are assessed. Three criteria for well constructed bibliometric indicators adequacy, sensitivity, and homogeneity are used to assess the internal validity. Regarding the external validation of the counting methods, it is investigated whether the intentions in the studies that introduced the 29 counting methods comply with the subsequent use of the counting methods. This study has the potential to give a solid foundation for the use of and discussion about counting methods.


Compact complex manifolds whose complement of an analytic subset is Kahler. In this paper, we consider a class of balanced manifolds and provide a proof of a problem proposed by Silva that compact complex manifolds that are Kahler outside an analytic subset are balanced. Next, as a special case of this theorem, we prove that compact complex manifolds which are Kahler outside a Kahler submanifold are class C. Finally, we prove that a blow up along a submanifold of Hironaka's examples are Kahler, and we establish that Hironaka's examples are examples of this theorem.


Band limited maximizers for a Fourier extension inequality on the circle, II. Among the class of functions on the circle with Fourier modes up to degree 120, constant functions are the unique real valued maximizers for the endpoint Tomas Stein inequality.