On Reachable Assignments in Cycles and Cliques. The efficient and fair distribution of indivisible resources among agents is a common problem in the field of emph Multi Agent Systems . We consider a graph based version of this problem called Reachable Assignments, introduced by Gourves, Lesca, and Wilczynski AAAI, 2017 . The input for this problem consists of a set of agents, a set of objects, the agent's preferences over the objects, a graph with the agents as vertices and edges encoding which agents can trade resources with each other, and an initial and a target distribution of the objects, where each agent owns exactly one object in each distribution. The question is then whether the target distribution is reachable via a sequence of rational trades. A trade is rational when the two participating agents are neighbors in the graph and both obtain an object they prefer over the object they previously held. We show that Reachable Assignments is NP hard even when restricting the input graph to be a clique and develop an O(n 3) time algorithm for the case where the input graph is a cycle with n vertices.


An Extension of the Strain Transfer Principle for Fiber Reinforced Materials. Fiber optical strain sensors are used to measure the strain at a particular sensor position inside the fiber. In order to deduce the strain in the surrounding matrix material, one can employ the strain transfer principle. Its application is based on the assumption that the presence of the fiber does not impede the deformation of the matrix material in fiber direction. In fact, the strain transfer principle implies that the strain in fiber direction inside the fiber carries over verbatim to the strain inside the matrix material. For a comparatively soft matrix material, however, this underlying assumption may not be valid. To overcome this drawback, we propose to superimpose the matrix material with a one dimensional model of the fiber, which takes into account its elastic properties. The finite element solution of this model yields a more accurate prediction of the strain inside the fiber in fiber direction at low computational costs.


Plane filling trails. The order in which plane filling curves visit points in the plane can be exploited to design efficient algorithms. Typically, the curves are useful because they preserve locality points that are close to each other along the curve tend to be close to each other in the plane, and vice versa. However, sketches of plane filling curves do not show this well they are hard to read on different levels of detail and it is hard to see how far apart points are along the curve. This paper presents a software tool to produce compelling visualisations that may give more insight in the structure of the curves.


Pandemics are catalysts of scientific novelty Evidence from COVID 19. Scientific novelty drives the efforts to invent new vaccines and solutions during the pandemic. First time collaboration and international collaboration are two pivotal channels to expand teams' search activities for a broader scope of resources required to address the global challenge, which might facilitate the generation of novel ideas. Our analysis of 98,981 coronavirus papers suggests that scientific novelty measured by the BioBERT model that is pre trained on 29 million PubMed articles, and first time collaboration increased after the outbreak of COVID 19, and international collaboration witnessed a sudden decrease. During COVID 19, papers with more first time collaboration were found to be more novel and international collaboration did not hamper novelty as it had done in the normal periods. The findings suggest the necessity of reaching out for distant resources and the importance of maintaining a collaborative scientific community beyond nationalism during a pandemic.


Abelian envelopes of exact categories and highest weight categories. We define admissible and weakly admissible subcategories in exact categories and prove that the former induce semi orthogonal decompositions on the derived categories. We develop the theory of thin exact categories, an exact category analogue of triangulated categories generated by exceptional collections. The right and left abelian envelopes of exact categories are introduced, an example being the category of coherent sheaves on a scheme as the right envelope of the category of vector bundles. The existence of right (left) abelian envelopes is proved for exact categories with projectively (injectively) generating subcategories with weak (co)kernels. We show that highest weight categories are precisely the right left envelopes of thin categories. Ringel duality is interpreted as a duality between the right and left abelian envelopes of a thin exact category. The duality for thin exact categories is introduced by means of derived categories and Serre functor on them.


Single shot carrier envelope phase measurement in ambient air. The ability to measure and control the carrier envelope phase (CEP) of few cycle laser pulses is of paramount importance for both frequency metrology and attosecond science. Here, we present a phase meter relying on the CEP dependent photocurrents induced by circularly polarized few cycle pulses focused between electrodes in ambient air. The new device facilitates compact single shot, CEP measurements under ambient conditions and promises CEP tagging at repetition rates orders of magnitude higher than most conventional CEP detection schemes as well as straightforward implementation at longer wavelengths.


Special values of Goss L series attached to Drinfeld modules of rank 2. Inspired by the classical setting, Goss defined L series attached to Drinfeld modules. In this paper, for a fixed choice of a power q of a prime number and a given Drinfeld module phi of rank 2 with a certain condition on its coefficients, we give explicit formulas for the values of Goss L series attached to phi at positive integers n such that 2n 1 leq q in terms of polylogarithms and coefficients of the logarithm series of phi .


A deep learning classifier for local ancestry inference. Local ancestry inference (LAI) identifies the ancestry of each segment of an individual's genome and is an important step in medical and population genetic studies of diverse cohorts. Several techniques have been used for LAI, including Hidden Markov Models and Random Forests. Here, we formulate the LAI task as an image segmentation problem and develop a new LAI tool using a deep convolutional neural network with an encoder decoder architecture. We train our model using complete genome sequences from 982 unadmixed individuals from each of five continental ancestry groups, and we evaluate it using simulated admixed data derived from an additional 279 individuals selected from the same populations. We show that our model is able to learn admixture as a zero shot task, yielding ancestry assignments that are nearly as accurate as those from the existing gold standard tool, RFMix.


Using ROC and Unlabeled Data for Increasing Low Shot Transfer Learning Classification Accuracy. One of the most important characteristics of human visual intelligence is the ability to identify unknown objects. The capability to distinguish between a substance which a human mind has no previous experience of and a familiar object, is innate to every human. In everyday life, within seconds of seeing an "unknown" object, we are able to categorize it as such without any substantial effort. Convolutional Neural Networks, regardless of how they are trained (i.e. in a conventional manner or through transfer learning) can recognize only the classes that they are trained for. When using them for classification, any candidate image will be placed in one of the available classes. We propose a low shot classifier which can serve as the top layer to any existing CNN that the feature extractor was already trained. Using a limited amount of labeled data for the type of images which need to be specifically classified along with unlabeled data for all other images, a unique target matrix and a Receiver Operator Curve (ROC) criterion, we are able to increase identification accuracy by up to 30 for the images that do not belong to any specific classes, while retaining the ability to identify images that belong to the specific classes of interest.


Pacotte tree networks, graph theory and projective geometry. The notion of tree network has sparked renewed interest in recent years, particularly in computer science and biology (neural network). However, this notion is usually interpreted in an extremely restrictive way essentially linked to data processing, today tree networks are hybrid network topologies in which star networks are generally interconnected via bus networks. These networks are, most often, hierarchical and regular, and each of their nodes can have an arbitrary number of child nodes. At the outset, however, the notion of tree network, introduced in 1936 by Belgian physicist Julien Pacotte, was quite different more general and, at the same time, more constrained, it should also serve an ambitious objective the reconstruction of mathematics from concrete empirical structures. Usually poorly commented on and poorly understood (especially by philosophers), it had no real posterity. In this article, we first try to clarify this notion of "tree network" in the sense of Julien Pacotte, which makes it possible to eliminate the bad interpretations to which this notion has given rise. To this end, we use the language and concepts of graph theory and formalize the main properties of these networks which, contrary to popular belief, are not, in general, trees. In a second part, we then try to follow and explain, step by step, how Pacotte intended, using concepts borrowed from projective geometry, to reconstruct all of mathematics from such a network.


When Inverse Propensity Scoring does not Work Affine Corrections for Unbiased Learning to Rank. Besides position bias, which has been well studied, trust bias is another type of bias prevalent in user interactions with rankings users are more likely to click incorrectly w.r.t. their preferences on highly ranked items because they trust the ranking system. While previous work has observed this behavior in users, we prove that existing Counterfactual Learning to Rank (CLTR) methods do not remove this bias, including methods specifically designed to mitigate this type of bias. Moreover, we prove that Inverse Propensity Scoring (IPS) is principally unable to correct for trust bias under non trivial circumstances. Our main contribution is a new estimator based on affine corrections it both reweights clicks and penalizes items displayed on ranks with high trust bias. Our estimator is the first estimator that is proven to remove the effect of both trust bias and position bias. Furthermore, we show that our estimator is a generalization of the existing CLTR framework if no trust bias is present, it reduces to the original IPS estimator. Our semi synthetic experiments indicate that by removing the effect of trust bias in addition to position bias, CLTR can approximate the optimal ranking system even closer than previously possible.


Global well posedness and optimal large time behavior of strong solutions to the non isentropic particle fluid flows. In this paper, we study the three dimensional non isentropic compressible fluid particle flows. The system involves coupling between the Vlasov Fokker Planck equation and the non isentropic compressible Navier Stokes equations through momentum and energy exchanges. For the initial data near the given equilibrium we prove the global well posedness of strong solutions and obtain the optimal algebraic rate of convergence in the three dimensional whole space. For the periodic domain the same global well posedness result still holds while the convergence rate is exponential. The proof is based on the new macro micro decomposition and energy estimates. New ideas and techniques are developed to establish the well posedness and large time behavior. For the global well posedness our methods are based on the new macro micro decomposition and fine energy estimates, while the proofs of the optimal large time behavior rely on the Fourier analysis of the linearized Cauchy problem and the energy spectrum method.


Social Media and COVID 19 Can Social Distancing be Quantified without Measuring Human Movements?. The COVID 19 outbreak has posed significant threats to international health and the economy. In the absence of treatment for this virus, public health officials asked the public to practice social distancing to reduce the number of physical contacts. However, quantifying social distancing is a challenging task and current methods are based on human movements. We propose a time and cost effective approach to measure how people practice social distancing. This study proposes a new method based on utilizing the frequency of hashtags supporting and encouraging social distancing for measuring social distancing. We have identified 18 related hashtags and tracked their trends between Jan and May 2020. Our evaluation results show that there is a strong correlation (P 0.05) between our findings and the Google social distancing report.


Security Analysis of EOSIO Smart Contracts. The EOSIO blockchain, one of the representative Delegated Proof of Stake (DPoS) blockchain platforms, has grown rapidly recently. Meanwhile, a number of vulnerabilities and high profile attacks against top EOSIO DApps and their smart contracts have also been discovered and observed in the wild, resulting in serious financial damages. Most of EOSIO's smart contracts are not open sourced and they are typically compiled to WebAssembly (Wasm) bytecode, thus making it challenging to analyze and detect the presence of possible vulnerabilities. In this paper, we propose EOSAFE, the first static analysis framework that can be used to automatically detect vulnerabilities in EOSIO smart contracts at the bytecode level. Our framework includes a practical symbolic execution engine for Wasm, a customized library emulator for EOSIO smart contracts, and four heuristics driven detectors to identify the presence of four most popular vulnerabilities in EOSIO smart contracts. Experiment results suggest that EOSAFE achieves promising results in detecting vulnerabilities, with an F1 measure of 98 . We have applied EOSAFE to all active 53,666 smart contracts in the ecosystem (as of November 15, 2019). Our results show that over 25 of the smart contracts are vulnerable. We further analyze possible exploitation attempts against these vulnerable smart contracts and identify 48 in the wild attacks (25 of them have been confirmed by DApp developers), resulting in financial loss of at least 1.7 million USD.


Conformal Moduli of Symmetric Circular Quadrilaterals With Cusps. We investigate moduli of planar circular quadrilaterals symmetric with respect to both the coordinate axes. First we develop an analytic approach which reduces this problem to ODEs and devise a numeric method to find out the accessory parameters. This method uses the Schwarz equation to determine conformal mapping of the unit disk onto a given circular quadrilateral. We also give an example of a circular quadrilateral for which the value of the conformal modulus can be found in the analytic form this example is used to validate the numeric calculations. We also use another method, so called hpFEM, for the numeric calculation of the moduli. These two different approaches provide results agreeing with high accuracy.


On Dykstra's algorithm finite convergence, stalling, and the method of alternating projections. A popular method for finding the projection onto the intersection of two closed convex subsets in Hilbert space is Dykstra's algorithm. In this paper, we provide sufficient conditions for Dykstra's algorithm to converge rapidly, in finitely many steps. We also analyze the behaviour of Dykstra's algorithm applied to a line and a square. This case study reveals stark similarities to the method of alternating projections. Moreover, we show that Dykstra's algorithm may stall for an arbitrarily long time. Finally, we present some open problems.


Remove Win a Design Framework for Conflict free Replicated Data Collections. Internet scale distributed systems often replicate data within and across data centers to provide low latency and high availability despite node and network failures. Replicas are required to accept updates without coordination with each other, and the updates are then propagated asynchronously. This brings the issue of conflict resolution among concurrent updates, which is often challenging and error prone. The Conflict free Replicated Data Type (CRDT) framework provides a principled approach to address this challenge. This work focuses on a special type of CRDT, namely the Conflict free Replicated Data Collection (CRDC), e.g. list and queue. The CRDC can have complex and compound data items, which are organized in structures of rich semantics. Complex CRDCs can greatly ease the development of upper layer applications, but also makes the conflict resolution notoriously difficult. This explains why existing CRDC designs are tricky, and hard to be generalized to other data types. A design framework is in great need to guide the systematic design of new CRDCs. To address the challenges above, we propose the Remove Win Design Framework. The remove win strategy for conflict resolution is simple but powerful. The remove operation just wipes out the data item, no matter how complex the value is. The user of the CRDC only needs to specify conflict resolution for non remove operations. This resolution is destructed to three basic cases and are left as open terms in the CRDC design skeleton. Stubs containing user specified conflict resolution logics are plugged into the skeleton to obtain concrete CRDC designs. We demonstrate the effectiveness of our design framework via a case study of designing a conflict free replicated priority queue. Performance measurements also show the efficiency of the design derived from our design framework.


Higher Regularity of Weak Limits of Willmore Immersions II. We obtain in arbitrary codimension a removability result on the order of singularity of Willmore surfaces realising the width of Willmore min max problems on spheres. As a consequence, out of the twelve families of non planar minimal surfaces in mathbb R 3 of total curvature greater than 12 pi , only three of them may occur as conformal images of bubbles in Willmore min max problems.


Fluctuation theory in the Boltzmann Grad limit. We develop a rigorous theory of hard sphere dynamics in the kinetic regime, away from thermal equilibrium. In the low density limit, the empirical density obeys a law of large numbers and the dynamics is governed by the Boltzmann equation. Deviations from this behaviour are described by dynamical correlations, which can be fully characterized for short times. This provides both a fluctuating Boltzmann equation and large deviation asymptotics.


Heidelberg Colorectal Data Set for Surgical Data Science in the Sensor Operating Room. Image based tracking of medical instruments is an integral part of surgical data science applications. Previous research has addressed the tasks of detecting, segmenting and tracking medical instruments based on laparoscopic video data. However, the proposed methods still tend to fail when applied to challenging images and do not generalize well to data they have not been trained on. This paper introduces the Heidelberg Colorectal (HeiCo) data set the first publicly available data set enabling comprehensive benchmarking of medical instrument detection and segmentation algorithms with a specific emphasis on method robustness and generalization capabilities. Our data set comprises 30 laparoscopic videos and corresponding sensor data from medical devices in the operating room for three different types of laparoscopic surgery. Annotations include surgical phase labels for all video frames as well as information on instrument presence and corresponding instance wise segmentation masks for surgical instruments (if any) in more than 10,000 individual frames. The data has successfully been used to organize international competitions within the Endoscopic Vision Challenges 2017 and 2019.


Stable variation in multidimensional competition. The Fundamental Theorem of Language Change (Yang, 2000) implies the impossibility of stable variation in the Variational Learning framework, but only in the special case where two, and not more, grammatical variants compete. Introducing the notion of an advantage matrix, I generalize Variational Learning to situations where the learner receives input generated by more than two grammars, and show that diachronically stable variation is an intrinsic feature of several types of such multiple grammar systems. This invites experimentalists to take the possibility of stable variation seriously and identifies one possible place where to look for it situations of complex language contact.


Space Time Phononic Crystals with Anomalous Topological Edge States. It is well known that an interface created by two topologically distinct structures could host nontrivial edge states that are immune to defects. In this letter, we introduce a one dimensional space time phononic crystal and study the associated anomalous topological edge states. A space decoupled time modulation is assumed. While preserving the key topological feature of the system, such a modulation also duplicates the edge state mode across the spectrum, both inside and outside the band gap. It is shown that, in contrast to conventional topological edge states which are excited by frequencies in the Bragg regime, the time modulation induced frequency conversion can be leveraged to access topological edge states at a deep subwavelength scale where the entire phononic crystal size is merely 1 5.1 of the wavelength. This remarkable feature could open a new route for designing miniature devices that are based on topological physics.


Sampling low dimensional Markovian dynamics for pre asymptotically recovering reduced models from data with operator inference. This work introduces a method for learning low dimensional models from data of high dimensional black box dynamical systems. The novelty is that the learned models are exactly the reduced models that are traditionally constructed with model reduction techniques that require full knowledge of governing equations and operators of the high dimensional systems. Thus, the learned models are guaranteed to inherit the well studied properties of reduced models from traditional model reduction. The key ingredient is a new data sampling scheme to obtain re projected trajectories of high dimensional systems that correspond to Markovian dynamics in low dimensional subspaces. The exact recovery of reduced models from these re projected trajectories is guaranteed pre asymptotically under certain conditions for finite amounts of data and for a large class of systems with polynomial nonlinear terms. Numerical results demonstrate that the low dimensional models learned with the proposed approach match reduced models from traditional model reduction up to numerical errors in practice. The numerical results further indicate that low dimensional models fitted to re projected trajectories are predictive even in situations where models fitted to trajectories without re projection are inaccurate and unstable.


Speech Prediction in Silent Videos using Variational Autoencoders. Understanding the relationship between the auditory and visual signals is crucial for many different applications ranging from computer generated imagery (CGI) and video editing automation to assisting people with hearing or visual impairments. However, this is challenging since the distribution of both audio and visual modality is inherently multimodal. Therefore, most of the existing methods ignore the multimodal aspect and assume that there only exists a deterministic one to one mapping between the two modalities. It can lead to low quality predictions as the model collapses to optimizing the average behavior rather than learning the full data distributions. In this paper, we present a stochastic model for generating speech in a silent video. The proposed model combines recurrent neural networks and variational deep generative models to learn the auditory signal's conditional distribution given the visual signal. We demonstrate the performance of our model on the GRID dataset based on standard benchmarks.


Privacy preserving feature selection A survey and proposing a new set of protocols. Feature selection is the process of sieving features, in which informative features are separated from the redundant and irrelevant ones. This process plays an important role in machine learning, data mining and bioinformatics. However, traditional feature selection methods are only capable of processing centralized datasets and are not able to satisfy today's distributed data processing needs. These needs require a new category of data processing algorithms called privacy preserving feature selection, which protects users' data by not revealing any part of the data neither in the intermediate processing nor in the final results. This is vital for the datasets which contain individuals' data, such as medical datasets. Therefore, it is rational to either modify the existing algorithms or propose new ones to not only introduce the capability of being applied to distributed datasets, but also act responsibly in handling users' data by protecting their privacy. In this paper, we will review three privacy preserving feature selection methods and provide suggestions to improve their performance when any gap is identified. We will also propose a privacy preserving feature selection method based on the rough set feature selection. The proposed method is capable of processing both horizontally and vertically partitioned datasets in two and multi parties scenarios.


The derived deformation theory of a point. We provide a prorepresenting object for the noncommutative derived deformation problem of deforming a module X over a differential graded algebra. Roughly, we show that the corresponding deformation functor is homotopy prorepresented by the dual bar construction on the derived endomorphism algebra of X . We specialise to the case when X is one dimensional over the base field, and introduce the notion of framed deformations, which rigidify the problem slightly and allow us to obtain derived analogues of the results of Ed Segal's thesis. Our main technical tool is Koszul duality, following Pridham and Lurie's interpretation of derived deformation theory. Along the way we prove that a large class of dgas are quasi isomorphic to their Koszul double dual, which we interpret as a derived completion functor this improves a theorem of Lu Palmieri Wu Zhang. We also adapt our results to the setting of multi pointed deformation theory, and furthermore give an analysis of universal prodeformations. As an application, we give a deformation theoretic interpretation to Braun Chuang Lazarev's derived quotient.


SAQ semi algebraic quartet reconstruction method. We present the phylogenetic quartet reconstruction method SAQ (Semi algebraic quartet reconstruction). SAQ is consistent with the most general Markov model of nucleotide substitution and, in particular, it allows for rate heterogeneity across lineages. Based on the algebraic and semi algebraic description of distributions that arise from the general Markov model on a quartet, the method outputs normalized weights for the three trivalent quartets (which can be used as input of quartet base methods). We show that SAQ is a highly competitive method that outperforms most of the well known reconstruction methods on data simulated under the general Markov model on 4 taxon trees. Moreover, it also achieves a high performance on data that violates the underlying assumptions.


Pattern Atlas. Pattern languages are well established in the software architecture community. Many different aspects of creating a software architecture are addressed by such languages. Thus, several pattern languages have to be considered when building a particular architecture. But these pattern languages are isolated, i.e. it is hard to determine the relevant patterns to be applied from the different pattern languages. Moreover, the sum of patterns from different languages may be huge, i.e. restriction to relevant patterns is desirable. In this contribution we envision an encompassing tool, the pattern atlas, that supports building complex systems based on pattern languages. The analogy to cartography motivates the name of the tool.


Distribution Balanced Loss for Multi Label Classification in Long Tailed Datasets. We present a new loss function called Distribution Balanced Loss for the multi label recognition problems that exhibit long tailed class distributions. Compared to conventional single label classification problem, multi label recognition problems are often more challenging due to two significant issues, namely the co occurrence of labels and the dominance of negative labels (when treated as multiple binary classification problems). The Distribution Balanced Loss tackles these issues through two key modifications to the standard binary cross entropy loss 1) a new way to re balance the weights that takes into account the impact caused by label co occurrence, and 2) a negative tolerant regularization to mitigate the over suppression of negative labels. Experiments on both Pascal VOC and COCO show that the models trained with this new loss function achieve significant performance gains over existing methods. Code and models are available at https github.com wutong16 DistributionBalancedLoss .


Increasing the Robustness of Semantic Segmentation Models with Painting by Numbers. For safety critical applications such as autonomous driving, CNNs have to be robust with respect to unavoidable image corruptions, such as image noise. While previous works addressed the task of robust prediction in the context of full image classification, we consider it for dense semantic segmentation. We build upon an insight from image classification that output robustness can be improved by increasing the network bias towards object shapes. We present a new training schema that increases this shape bias. Our basic idea is to alpha blend a portion of the RGB training images with faked images, where each class label is given a fixed, randomly chosen color that is not likely to appear in real imagery. This forces the network to rely more strongly on shape cues. We call this data augmentation technique Painting by Numbers''. We demonstrate the effectiveness of our training schema for DeepLabv3 with various network backbones, MobileNet V2, ResNets, and Xception, and evaluate it on the Cityscapes dataset. With respect to our 16 different types of image corruptions and 5 different network backbones, we are in 74 better than training with clean data. For cases where we are worse than a model trained without our training schema, it is mostly only marginally worse. However, for some image corruptions such as images with noise, we see a considerable performance gain of up to 25 .


Finding the Global Optimum of a Class of Quartic Minimization Problem. We consider a special nonconvex quartic minimization problem over a single spherical constraint, which includes the discretized energy functional minimization problem of non rotating Bose Einstein condensates (BECs) as one of the important applications. Such a problem is studied by exploiting its characterization as a nonlinear eigenvalue problem with eigenvector nonlinearity (NEPv), which admits a unique nonnegative eigenvector, and this eigenvector is exactly the global minimizer to the quartic minimization. With these properties, any algorithm converging to the nonnegative stationary point of this optimization problem finds its global minimum, such as the regularized Newton (RN) method. In particular, we obtain the global convergence to global optimum of the inexact alternating direction method of multipliers (ADMM) for this problem. Numerical experiments for applications in non rotating BEC validate our theories.


The Khovanov homology of alternating virtual links. In this paper, we study the Khovanov homology of an alternating virtual link L and show that it is supported on g 2 diagonal lines, where g equals the virtual genus of L . Specifically, we show that Kh i,j (L) is supported on the lines j 2i sigma xi 2k 1 for 0 leq k leq g 1 where sigma xi (L) 2g sigma xi (L) are the signatures of L for a checkerboard coloring xi and its dual xi . Of course, for classical links, the two signatures are equal and this recovers Lee's H thinness result for Kh , (L) . Our result applies more generally to give an upper bound for the homological width of the Khovanov homology of any checkerboard virtual link L . The bound is given in terms of the alternating genus of L , which can be viewed as the virtual analogue of the Turaev genus. The proof rests on associating, to any checkerboard colorable link L , an alternating virtual link diagram with the same Khovanov homology as L . In the process, we study the behavior of the signature invariants under vertical and horizontal mirror symmetry. We also compute the Khovanov homology and Rasmussen invariants in numerous cases and apply them to show non sliceness and determine the slice genus for several virtual knots. Table 6 at the end of the paper lists the signatures, Khovanov polynomial, and Rasmussen invariant for alternating virtual knots up to six crossings.


Noncommutative Furstenberg boundary. We introduce and study the notions of boundary actions and of the Furstenberg boundary of a discrete quantum group. As for classical groups, properties of boundary actions turn out to encode significant properties of the operator algebras associated with the discrete quantum group in question for example we prove that if the action on the Furstenberg boundary is faithful, the quantum group C algebra admits at most one KMS state for the scaling automorphism group. To obtain these results we develop a version of Hamana's theory of injective envelopes for quantum group actions, and establish several facts on relative amenability for quantum subgroups. We then show that the Gromov boundary actions of free orthogonal quantum groups, as studied by Vaes and Vergnioux, are also boundary actions in our sense we obtain this by proving that these actions admit unique stationary states. Moreover, we prove these actions are faithful, hence conclude a new unique KMS state property in the general case, and a new proof of unique trace property when restricted to the unimodular case. We prove equivalence of simplicity of the crossed products of all boundary actions of a given discrete quantum group, and use it to obtain a new simplicity result for the crossed product of the Gromov boundary actions of free orthogonal quantum groups.


On the recursive structure of multigrid cycles. A new fixed (non adaptive) recursive scheme for multigrid algorithms is introduced. Governed by a positive parameter kappa called the cycle counter, this scheme generates a family of multigrid cycles dubbed kappa cycles. The well known V cycle, F cycle, and W cycle are shown to be particular members of this rich kappa cycle family, which satisfies the property that the total number of recursive calls in a single cycle is a polynomial of degree kappa in the number of levels of the cycle. This broadening of the scope of fixed multigrid cycles is shown to be potentially significant for the solution of some large problems on platforms, such as GPU processors, where the overhead induced by numerous sequential calls to the coarser levels may be relatively significant. In cases of problems for which the convergence of standard V cycles or F cycles (corresponding to kappa 1 and kappa 2 , respectively) is particularly slow, and yet the cost of W cycles is very high due to the large number of coarse level calls (which is exponential in the number of levels), intermediate values of kappa may prove to yield significantly faster run times. This is demonstrated in examples where kappa cycles are used for the solution of rotated anisotropic diffusion problems, both as a stand alone solver and as a preconditioner. Moreover, a simple model is presented for predicting the approximate run time of the kappa cycle, which is useful in pre selecting an appropriate cycle counter for a given problem on a given platform. Implementing the kappa cycle requires making just a small change in the classical multigrid cycle.


Unbounded sigma order to norm continuous and un continuous operators. An operator T from a vector lattice E into a normed lattice F is called unbounded sigma order to norm continuous whenever x n xrightarrow uo 0 implies Tx n rightarrow 0 , for each sequence (x n ) n subseteq E . For a net (x alpha ) alpha subseteq E , if x alpha xrightarrow un 0 implies Tx alpha xrightarrow un 0 , then T is called an unbounded norm continuous operator. In this manuscript, we study some properties of these classes of operators and their relationships with the other classes of operators.


Germs in a poset. Motivated by the theory of correspondence functors, we introduce the notion of em germ in a finite poset, and the notion of em germ extension of a poset. We show that any finite poset admits a largest germ extension called its em germ closure . We say that a subset U of a finite lattice T is em germ extensible in T if the germ closure of U naturally embeds in T . We show that any for any subset S of a finite lattice T , there is a unique germ extensible subset U of T such that U subseteq S subseteq overline G (U) , where overline G (U) subseteq T is the embedding of the germ closure of U .


On the properties of Northcott and Narkiewicz for elliptic curves. In this paper, for an elliptic curve E defined over the algebraic numbers and for any subfield F of algebraic numbers, we say that E has the Northcott property over F if there are at most finitely many F rational points on E of uniformly bounded height, and we say that E has the property (P) over F if for any infinite subset S of F rational points on E , f(S) S for an F endomorphism f of E implies that f is an automorphism. We establish some criteria for both properties and provide typical examples. We also show that the Northcott property implies the property (P).


Latin squares with maximal partial transversals of many lengths. A partial transversal T of a Latin square L is a set of entries of L in which each row, column and symbol is represented at most once. A partial transversal is maximal if it is not contained in a larger partial transversal. Any maximal partial transversal of a Latin square of order n has size at least lceil frac n 2 rceil and at most n . We say that a Latin square is omniversal if it possesses a maximal partial transversal of all feasible sizes and is near omniversal if it possesses a maximal partial transversal of all feasible sizes except one. Evans showed that omniversal Latin squares of order n exist for any odd n neq 3 . By extending this result, we show that an omniversal Latin square of order n exists if and only if n notin 3,4 and n not equiv 2 mod 4 . Furthermore, we show that near omniversal Latin squares exist for all orders n equiv 2 mod 4 . Finally, we show that no non trivial group has an omniversal Cayley table, and only 15 groups have a near omniversal Cayley table. In fact, as n grows, Cayley tables of groups of order n miss a constant fraction of the feasible sizes of maximal partial transversals. In the course of proving this, we are led to consider the following interesting problem in combinatorial group theory. Suppose that we have two subsets R,C subseteq G of a finite group G such that rc r in R,c in C m . How large do R and C need to be (in terms of m ) to be certain that R subseteq xH and C subseteq Hy for some subgroup H of order m in G , and x,y in G .


IoT Notary Sensor Data Attestation in Smart Environment. Contemporary IoT environments, such as smart buildings, require end users to trust data capturing rules published by the systems. There are several reasons why such a trust is misplaced IoT systems may violate the rules deliberately or IoT devices may transfer user data to a malicious third party due to cyberattacks, leading to the loss of individuals' privacy or service integrity. To address such concerns, we propose IoT Notary, a framework to ensure trust in IoT systems and applications. IoT Notary provides secure log sealing on live sensor data to produce a verifiable proof of integrity,' based on which a verifier can attest that captured sensor data adheres to the published data capturing rules. IoT Notary is an integral part of TIPPERS, a smart space system that has been deployed at UCI to provide various real time location based services in the campus. IoT Notary imposes nominal overheads for verification, thereby users can verify their data of one day in less than two seconds.


Dual Variational Generation for Low Shot Heterogeneous Face Recognition. Heterogeneous Face Recognition (HFR) is a challenging issue because of the large domain discrepancy and a lack of heterogeneous data. This paper considers HFR as a dual generation problem, and proposes a novel Dual Variational Generation (DVG) framework. It generates large scale new paired heterogeneous images with the same identity from noise, for the sake of reducing the domain gap of HFR. Specifically, we first introduce a dual variational autoencoder to represent a joint distribution of paired heterogeneous images. Then, in order to ensure the identity consistency of the generated paired heterogeneous images, we impose a distribution alignment in the latent space and a pairwise identity preserving in the image space. Moreover, the HFR network reduces the domain discrepancy by constraining the pairwise feature distances between the generated paired heterogeneous images. Extensive experiments on four HFR databases show that our method can significantly improve state of the art results. The related code is available at https github.com BradyFU DVG.


On the existence of pairs of primitive and normal elements over finite fields. Let mathbb F q n be a finite field with q n elements, and let m 1 and m 2 be positive integers. Given polynomials f 1(x), f 2(x) in mathbb F q x with textrm deg (f i(x)) leq m i , for i 1, 2 , and such that the rational function f 1(x) f 2(x) belongs to a certain set which we define, we present a sufficient condition for the existence of a primitive element alpha in mathbb F q n , normal over mathbb F q , such that f 1( alpha) f 2( alpha) is also primitive.


Properadic homotopical calculus. In this paper, we initiate the generalisation of the operadic calculus which governs the properties of homotopy algebras to a properadic calculus which governs the properties of homotopy gebras over a properad. In this first article of a series, we generalise the seminal notion of infini morphisms and the ubiquitous homotopy transfer theorem. As an application, we recover the homotopy properties of involutive Lie bialgebras developed by Cieliebak Fukaya Latschev and we produce new explicit formulas.


A commutative algebra approach to multiplicative Hom Lie algebras. Let mathfrak g be a finite dimensional complex Lie algebra and textrm HLie m ( mathfrak g ) be the affine variety of all multiplicative Hom Lie algebras on mathfrak g . We use a method of computational ideal theory to describe textrm HLie m ( mathfrak gl n ( mathbb C )) , showing that textrm HLie m ( mathfrak gl 2 ( mathbb C )) consists of two 1 dimensional and one 3 dimensional irreducible components, and showing that textrm HLie m ( mathfrak gl n ( mathbb C )) textrm diag delta, dots, delta,a mid delta 1 textrm or 0,a in mathbb C for n geqslant 3 . We construct a new family of multiplicative Hom Lie algebras on the Heisenberg Lie algebra mathfrak h 2n 1 ( mathbb C ) and characterize the affine varieties textrm HLie m ( mathfrak u 2 ( mathbb C )) and textrm HLie m ( mathfrak u 3 ( mathbb C )) . We also study the derivation algebra textrm Der D ( mathfrak g ) of a multiplicative Hom Lie algebra D on mathfrak g and under some hypotheses on D , we prove that the Hilbert series mathcal H ( textrm Der D ( mathfrak g ),t) is a rational function.


Nearly Optimal Static Las Vegas Succinct Dictionary. Given a set S of n (distinct) keys from key space U , each associated with a value from Sigma , the emph static dictionary problem asks to preprocess these (key, value) pairs into a data structure, supporting value retrieval queries for any given x in U , mathtt valRet (x) must return the value associated with x if x in S , or return bot if x notin S . The special case where Sigma 1 is called the emph membership problem. The "textbook" solution is to use a hash table, which occupies linear space and answers each query in constant time. On the other hand, the minimum possible space to encode all (key, value) pairs is only mathtt OPT lceil lg 2 binom U n n lg 2 Sigma rceil bits, which could be much less. In this paper, we design a randomized dictionary data structure using mathtt OPT mathrm poly lg n O( lg lg lg lg lg U) bits of space, and it has emph expected constant query time, assuming the query algorithm can access an external lookup table of size n 0.001 . The lookup table depends only on U , n and Sigma , and not the input. Previously, even for membership queries and U leq n O(1) , the best known data structure with constant query time requires mathtt OPT n mathrm poly lg n bits of space (Pagh Pag01 and P v a tra c s cu Pat08 ) the best known using mathtt OPT n 0.999 space has query time O( lg n) the only known non trivial data structure with mathtt OPT n 0.001 space has O( lg n) query time and requires a lookup table of size geq n 2.99 (!). Our new data structure answers open questions by P v a tra c s cu and Thorup Pat08,Tho13 . We also present a scheme that compresses a sequence X in Sigma n to its zeroth order (empirical) entropy up to Sigma cdot mathrm poly lg n extra bits, supporting decoding each X i in O( lg Sigma ) expected time.


Using simulated annealing for locating array construction. Context Combinatorial interaction testing is known to be an efficient testing strategy for computing and information systems. Locating arrays are mathematical objects that are useful for this testing strategy, as they can be used as a test suite that enables fault localization as well as fault detection. In this application, each row of an array is used as an individual test. Objective This paper proposes an algorithm for constructing locating arrays with a small number of rows. Testing cost increases as the number of tests increases thus the problem of finding locating arrays of small sizes is of practical importance. Method The proposed algorithm uses simulation annealing, a meta heuristic algorithm, to find locating array of a given size. The whole algorithm repeatedly executes the simulated annealing algorithm by dynamically varying the input array size. Results Experimental results show 1) that the proposed algorithm is able to construct locating arrays for problem instances of large sizes and 2) that, for problem instances for which nontrivial locating arrays are known, the algorithm is often able to generate locating arrays that are smaller than or at least equal to the known arrays. Conclusion Based on the results, it is concluded that the proposed algorithm can produce small locating arrays and scale to practical problems.


Disinformation in the Online Information Ecosystem Detection, Mitigation and Challenges. With the rapid increase in access to internet and the subsequent growth in the population of online social media users, the quality of information posted, disseminated and consumed via these platforms is an issue of growing concern. A large fraction of the common public turn to social media platforms and in general the internet for news and even information regarding highly concerning issues such as COVID 19 symptoms. Given that the online information ecosystem is extremely noisy, fraught with misinformation and disinformation, and often contaminated by malicious agents spreading propaganda, identifying genuine and good quality information from disinformation is a challenging task for humans. In this regard, there is a significant amount of ongoing research in the directions of disinformation detection and mitigation. In this survey, we discuss the online disinformation problem, focusing on the recent 'infodemic' in the wake of the coronavirus pandemic. We then proceed to discuss the inherent challenges in disinformation research, and then elaborate on the computational and interdisciplinary approaches towards mitigation of disinformation, after a short overview of the various directions explored in detection efforts.


Ultracold Collisions of Polyatomic Molecules CaOH. Ultracold collisions of the polyatomic species CaOH are considered, in internal states where the collisions should be dominated by long range dipole dipole interactions. The computed rate constants suggest that evaporative cooling can be quite efficient for these species, provided they start at temperatures achievable by laser cooling. The rate constants are shown to become more favorable for evaporative cooling as the electric field increases. Moreover, long range dimer states (CaOH) 2 are predicated to occur, having lifetimes on the order of microseconds.


Online Abuse toward Candidates during the UK General Election 2019 Working Paper. The 2019 UK general election took place against a background of rising online hostility levels toward politicians and concerns about its impact on democracy. We collected 4.2 million tweets sent to or from election candidates in the six week period spanning from the start of November until shortly after the December 12th election. We found abuse in 4.46 of replies received by candidates, up from 3.27 in the matching period for the 2017 UK general election. Abuse levels have also been climbing month on month throughout 2019. Abuse also escalated throughout the campaign period. Abuse focused mainly on a small number of high profile politicians. Abuse is "spiky", triggered by external events such as debates, or certain tweets. Abuse increases when politicians discuss inflammatory topics such as borders and immigration. There may also be a backlash on topics such as social justice. Some tweets may become viral targets for personal abuse. On average, men received more general and political abuse women received more sexist abuse. MPs choosing not to stand again had received more abuse during 2019.


Generative Design by Reinforcement Learning Enhancing the Diversity of Topology Optimization Designs. Generative design refers to computational design methods that can automatically conduct design exploration under constraints defined by designers. Among many approaches, topology optimization based generative designs aim to explore diverse topology designs, which cannot be represented by conventional parametric design approaches. Recently, data driven topology optimization research has started to exploit artificial intelligence, such as deep learning or machine learning, to improve the capability of design exploration. This study proposes a reinforcement learning (RL) based generative design process, with reward functions maximizing the diversity of topology designs. We formulate generative design as a sequential problem of finding optimal design parameter combinations in accordance with a given reference design. Proximal Policy Optimization is used as the learning framework, which is demonstrated in the case study of an automotive wheel design problem. To reduce the heavy computational burden of the wheel topology optimization process required by our RL formulation, we approximate the optimization process with neural networks. With efficient data preprocessing augmentation and neural architecture, the neural networks achieve a generalized performance and symmetricity reserving characteristics. We show that RL based generative design produces a large number of diverse designs within a short inference time by exploiting GPU in a fully automated manner. It is different from the previous approach using CPU which takes much more processing time and involving human intervention.


SAD Saliency based Defenses Against Adversarial Examples. With the rise in popularity of machine and deep learning models, there is an increased focus on their vulnerability to malicious inputs. These adversarial examples drift model predictions away from the original intent of the network and are a growing concern in practical security. In order to combat these attacks, neural networks can leverage traditional image processing approaches or state of the art defensive models to reduce perturbations in the data. Defensive approaches that take a global approach to noise reduction are effective against adversarial attacks, however their lossy approach often distorts important data within the image. In this work, we propose a visual saliency based approach to cleaning data affected by an adversarial attack. Our model leverages the salient regions of an adversarial image in order to provide a targeted countermeasure while comparatively reducing loss within the cleaned images. We measure the accuracy of our model by evaluating the effectiveness of state of the art saliency methods prior to attack, under attack, and after application of cleaning methods. We demonstrate the effectiveness of our proposed approach in comparison with related defenses and against established adversarial attack methods, across two saliency datasets. Our targeted approach shows significant improvements in a range of standard statistical and distance saliency metrics, in comparison with both traditional and state of the art approaches.


Participatory Budgeting with Cumulative Votes. In participatory budgeting we are given a set of projects each with a cost, an available budget, and a set of voters who in some form express their preferences over the projects. The goal is to select based on voter preferences a subset of projects whose total cost does not exceed the budget. We propose several aggregation methods based on the idea of cumulative votes, e.g., for the setting when each voter is given one coin and she specifies how this coin should be split among the projects. We compare our aggregation methods based on (1) axiomatic properties, and (2) computer simulations. We identify one method, Minimal Transfers over Costs, that demonstrates particularly desirable behavior. In particular, it significantly improves on existing methods, satisfies a strong notion of proportionality, and, thus, is promising to be used in practice.


On piecewise hyperdefinable groups. The aim of this paper is to generalize and improve two of the main model theoretic results of "Stable group theory and approximate subgroups" by E. Hrushovski to the context of piecewise hyperdefinable sets. The first one is the existence of Lie models. The second one is the stabilizer theorem. In the process, a systematic study of the structure of piecewise hyperdefinable sets is developed. In particular, we show the most significant properties of their logic topologies.


Ground truth force distribution for learning based tactile sensing a finite element approach. Skin like tactile sensors provide robots with rich feedback related to the force distribution applied to their soft surface. The complexity of interpreting raw tactile information has driven the use of machine learning algorithms to convert the sensory feedback to the quantities of interest. However, the lack of ground truth sources for the entire contact force distribution has mainly limited these techniques to the sole estimation of the total contact force and the contact center on the sensor's surface. The method presented in this article uses a finite element model to obtain ground truth data for the three dimensional force distribution. The model is obtained with state of the art material characterization methods and is evaluated in an indentation setup, where it shows high agreement with the measurements retrieved from a commercial force torque sensor. The proposed technique is applied to a vision based tactile sensor, which aims to reconstruct the contact force distribution purely from images. Thousands of images are matched to ground truth data and are used to train a neural network architecture, which is suitable for real time predictions.


Identifying Super Feminine, Super Masculine and Sex Defining Connections in the Human Braingraph. For more than a decade now, we can discover and study thousands of cerebral connections with the application of diffusion magnetic resonance imaging (dMRI) techniques and the accompanying algorithmic workflow. While numerous connectomical results were published enlightening the relation between the braingraph and certain biological, medical, and psychological properties, it is still a great challenge to identify a small number of brain connections, closely related to those conditions. In the present contribution, by applying the 1200 Subjects Release of the Human Connectome Project (HCP), we identify just 102 connections out of the total number of 1950 connections in the 83 vertex graphs of 1065 subjects, which by a simple linear test precisely, without any error determine the sex of the subject. Very surprisingly, we were able to identify two graph edges out of these 102, if, whose weights, measured in fiber numbers, are all high, then the connectome always belongs to a female subject, independently of the other edges. Similarly, we have identified 3 edges from these 102, whose weights, if two of them are high and one is low, imply that the graph belongs to a male subject again, independently of the other edges. We call the former 2 edges superfeminine and the first two of the 3 edges supermasculine edges of the human connectome. Even more interestingly, one of the edges, connecting the right Pars Triangularis and the right Superior Parietal areas, is one of the 2 superfeminine edges, and it is also the third edge, accompanying the two supermasculine connections, if its weight is low therefore it is also a "switching" connection.


Orderly Disorder in Point Cloud Domain. In the real world, out of distribution samples, noise and distortions exist in test data. Existing deep networks developed for point cloud data analysis are prone to overfitting and a partial change in test data leads to unpredictable behaviour of the networks. In this paper, we propose a smart yet simple deep network for analysis of 3D models using orderly disorder' theory. Orderly disorder is a way of describing the complex structure of disorders within complex systems. Our method extracts the deep patterns inside a 3D object via creating a dynamic link to seek the most stable patterns and at once, throws away the unstable ones. Patterns are more robust to changes in data distribution, especially those that appear in the top layers. Features are extracted via an innovative cloning decomposition technique and then linked to each other to form stable complex patterns. Our model alleviates the vanishing gradient problem, strengthens dynamic link propagation and substantially reduces the number of parameters. Extensive experiments on challenging benchmark datasets verify the superiority of our light network on the segmentation and classification tasks, especially in the presence of noise wherein our network's performance drops less than 10 while the state of the art networks fail to work.


Employing WiFi Direct to Build a Wireless Network over both 2.4 GHz and 5.8 GHz bands. Almost all the WiFi networks today provide single band (either 2.4 GHz or 5.8 GHz) wireless communication functionality for connected mobile nodes. In a single band network, the interference depends on number of nodes in the network and the presence of other networks in the proximity. As the number of nodes in a Network increases, the interference in the network also increases which reduces the throughput of the network. If there are two single band networks, one operating in 2.4 GHz frequency band and other in 5.8 GHz frequency band, then nodes in network 1 will not cause any interference with nodes in network 2. This can be used as a basic idea to implement a network where the nodes in the same network use both the frequency bands to minimize the interference between nodes. We show that building dual band multi hop network gives better performance in terms of throughput compared to that of a network with single frequency band.


On a conjecture about cellular characters for the complex reflection group G(d,1,n) . We propose a conjecture relating two different sets of characters for the complex reflection group G(d,1,n) . From one side, the characters are afforded by Calogero Moser cells, a conjectural generalisation of Kazhdan Lusztig cells for a complex reflection group. From the other side, the characters arise from a level d irreducible integrable representations of mathcal U q( mathfrak sl infty ) . We prove this conjecture in some cases in full generality for G(d,1,2) and for generic parameters for G(d,1,n) .


Regular mappings and non existence of bi Lipschitz embeddings for slit carpets. We prove that the "slit carpet" introduced by Merenkov does not admit a bi Lipschitz embedding into any uniformly convex Banach space. In particular, this includes any Euclidean space mathbb R n , but also spaces such as L p for p in (1, infty) . This resolves Question 8 in the 1997 list by Heinonen and Semmes.


Impact of ImageNet Model Selection on Domain Adaptation. Deep neural networks are widely used in image classification problems. However, little work addresses how features from different deep neural networks affect the domain adaptation problem. Existing methods often extract deep features from one ImageNet model, without exploring other neural networks. In this paper, we investigate how different ImageNet models affect transfer accuracy on domain adaptation problems. We extract features from sixteen distinct pre trained ImageNet models and examine the performance of twelve benchmarking methods when using the features. Extensive experimental results show that a higher accuracy ImageNet model produces better features, and leads to higher accuracy on domain adaptation problems (with a correlation coefficient of up to 0.95). We also examine the architecture of each neural network to find the best layer for feature extraction. Together, performance from our features exceeds that of the state of the art in three benchmark datasets.


Lorentz gradient estimates for a class of elliptic p Laplacian equations with a Schr "odinger term. We prove in this paper the global Lorentz estimate in term of fractional maximal function for gradient of weak solutions to a class of p Laplace elliptic equations containing a non negative Schr "odinger potential which belongs to reverse H "older classes. In particular, this class of p Laplace operator includes both degenerate and non degenerate cases. The interesting idea is to use an efficient approach based on the level set inequality related to the distribution function in harmonic analysis.


Embeddings Between Weighted Ces aro Function Spaces. In this paper, we give the characterization of the embeddings between weighted Ces aro function spaces. The proof is based on the duality technique, which reduces this problem to the characterizations of some direct and reverse Hardy type inequalities and iterated Hardy type inequalities.


Matricial approximations of higher dimensional master fields. We study matricial approximations of master fields we constructed in a previous work. These approximations (in non commutative distribution) are obtained by extracting blocks of a Brownian unitary diffusion (with entries in mathbb R , mathbb C or mathbb K ) and letting the dimension of these blocks to tend to infinity. We divide our study into two parts in the first one, we extract square blocks while in the second one we allow rectangular blocks. In both cases, free probability theory and operator valued free probability appear as the natural framework in which the limiting distributions are most accurately described.


Evaluations of Noncommutative Polynomials on Algebras Methods and Problems, and the L'vov Kaplansky Conjecture. Let p be a polynomial in several non commuting variables with coefficients in a field K of arbitrary characteristic. It has been conjectured that for any n , for p multilinear, the image of p evaluated on the set M n(K) of n by n matrices is either zero, or the set of scalar matrices, or the set rm sl n(K) of matrices of trace 0, or all of M n(K) . This expository paper describes research on this problem and related areas. We discuss the solution of this conjecture for n 2 in Section 2, some decisive results for n 3 in Section 3, and partial information for n geq 3 in Section 4, also for non multilinear polynomials. In addition we consider the case of K not algebraically closed, and polynomials evaluated on other finite dimensional simple algebras (in particular the algebra of the quaternions). This review recollects results and technical material of our previous papers, as well as new results of other researches, and applies them in a new context. This article also explains the role of the Deligne trick, which is related to some nonassociative cases in new situations, underlying our earlier, more straightforward approach. We pose some problems for future generalizations and point out possible generalizations in the present state of art, and in the other hand providing counterexamples showing the boundaries of generalizations.


Earlier Isn't Always Better Sub aspect Analysis on Corpus and System Biases in Summarization. Despite the recent developments on neural summarization systems, the underlying logic behind the improvements from the systems and its corpus dependency remains largely unexplored. Position of sentences in the original text, for example, is a well known bias for news summarization. Following in the spirit of the claim that summarization is a combination of sub functions, we define three sub aspects of summarization position, importance, and diversity and conduct an extensive analysis of the biases of each sub aspect with respect to the domain of nine different summarization corpora (e.g., news, academic papers, meeting minutes, movie script, books, posts). We find that while position exhibits substantial bias in news articles, this is not the case, for example, with academic papers and meeting minutes. Furthermore, our empirical study shows that different types of summarization systems (e.g., neural based) are composed of different degrees of the sub aspects. Our study provides useful lessons regarding consideration of underlying sub aspects when collecting a new summarization dataset or developing a new system.


Bredon cohomology of finite dimensional C p spaces. For finite dimensional free C p spaces, the calculation of the Bredon cohomology ring as an algebra over the cohomology of S 0 is used to prove the non existence of certain C p maps. These are related to Borsuk Ulam type theorems, and equivariant maps related to the topological Tverberg conjecture. For certain finite dimensional C p spaces which are formed out of representations, it is proved that the cohomology is a free module over the cohomology of a point. All the calculations are done for the cohomology with constant coefficients mathbb Z p .


Graph Signal Recovery Using Restricted Boltzmann Machines. We propose a model agnostic pipeline to recover graph signals from an expert system by exploiting the content addressable memory property of restricted Boltzmann machine and the representational ability of a neural network. The proposed pipeline requires the deep neural network that is trained on a downward machine learning task with clean data, data which is free from any form of corruption or incompletion. We show that denoising the representations learned by the deep neural networks is usually more effective than denoising the data itself. Although this pipeline can deal with noise in any dataset, it is particularly effective for graph structured datasets.


A homogenized bending shell theory for multiscale materials from 3D nonlinear elasticity. We derive homogenized bending shell theories starting from three dimensional nonlinear elasticity. The original three dimensional model contains three small parameters the two homogenization scales varepsilon and varepsilon 2 of the material properties and the thickness h of the shell. Depending on the asymptotic ratio of these three parameters, we obtain different asymptotic theories.


Classes caract 'eristiques des sch 'emas feuillet 'es. We study a notion of derived foliations on schemes and derived schemes of arbitrary characteristics. We introduce the Hodge filtration associated to a derived foliation, which functorialy filters derived de Rham cohomology. We use this filtration to study vanishing results of Chern classes of perfect complexes endowed with connexions along derived foliations. As an application, we prove a positive characteristic version of Bott's vanishing theorem and more generally of existence of residues for foliations with singularities due to Baum Bott in characteristic zero.


Cyberbiosecurity DNA Injection Attack in Synthetic Biology. Today arbitrary synthetic DNA can be ordered online and delivered within several days. In order to regulate both intentional and unintentional generation of dangerous substances, most synthetic gene providers screen DNA orders. A weakness in the Screening Framework Guidance for Providers of Synthetic Double Stranded DNA allows screening protocols based on this guidance to be circumvented using a generic obfuscation procedure inspired by early malware obfuscation techniques. Furthermore, accessibility and automation of the synthetic gene engineering workflow, combined with insufficient cybersecurity controls, allow malware to interfere with biological processes within the victim's lab, closing the loop with the possibility of an exploit written into a DNA molecule presented by Ney et al. in USENIX Security'17. Here we present an end to end cyberbiological attack, in which unwitting biologists may be tricked into generating dangerous substances within their labs. Consequently, despite common biosecurity assumptions, the attacker does not need to have physical contact with the generated substance. The most challenging part of the attack, decoding of the obfuscated DNA, is executed within living cells while using primitive biological operations commonly employed by biologists during in vivo gene editing. This attack scenario underlines the need to harden the synthetic DNA supply chain with protections against cyberbiological threats. To address these threats we propose an improved screening protocol that takes into account in vivo gene editing.


Defining and Evaluating Fair Natural Language Generation. Our work focuses on the biases that emerge in the natural language generation (NLG) task of sentence completion. In this paper, we introduce a framework of fairness for NLG followed by an evaluation of gender biases in two state of the art language models. Our analysis provides a theoretical formulation for biases in NLG and empirical evidence that existing language generation models embed gender bias.


Overcomplete sets in non separable Banach spaces. We introduce and study the notion of overcomplete set in a Banach space, that subsumes and extends the classical concept of overcomplete sequence in a (separable) Banach space. We give existence and non existence results of overcomplete sets for a wide class of (non separable) Banach spaces and we study to which extent properties of overcomplete sequences are retained by every overcomplete set.


Numerical Simulations of Surface Quasi Geostrophic Flows on Periodic Domains. We propose a novel algorithm for the approximation of surface quasi geostrophic (SQG) flows modeled by a nonlinear partial differential equation coupling transport and fractional diffusion phenomena. The time discretization consists of an explicit strong stability preserving three stage Runge Kutta method while a flux corrected transport (FCT) method coupled with Dunford Taylor representations of fractional operators is advocated for the space discretization. Standard continuous piecewise linear finite elements are employed and the algorithm does not have restrictions on the mesh structure nor on the computational domain. In the inviscid case, we show that the resulting scheme satisfies a discrete maximum principle property under a standard CFL condition and observe, in practice, its second order accuracy in space. The algorithm successfully approximates several benchmarks with sharp transitions and fine structures typical of SQG flows. In addition, theoretical Kolmogorov energy decay rates are observed on a freely decaying atmospheric turbulence simulation.


New oscillation criteria for third order half linear advanced differential equations. The theme of this article is to provide some sufficient conditions for the asymptotic property and oscillation of all solutions of third order half linear differential equations with advanced argument of the form left(r 2 (t) left( left(r 1 (t) left(y'(t) right) alpha right)' right) beta right)' q(t)y gamma left( sigma(t) right) 0, t geq t 0 0, where int infty r 1 frac 1 alpha (s) text d s infty and int infty r 2 frac 1 beta (s) text d s infty . The criteria in this paper improve and complement some existing ones. The results are illustrated by two Euler type differential equations.


Shallow Embedding of Type Theory is Morally Correct. There are multiple ways to formalise the metatheory of type theory. For some purposes, it is enough to consider specific models of a type theory, but sometimes it is necessary to refer to the syntax, for example in proofs of canonicity and normalisation. One option is to embed the syntax deeply, by using inductive definitions in a proof assistant. However, in this case the handling of definitional equalities becomes technically challenging. Alternatively, we can reuse conversion checking in the metatheory by shallowly embedding the object theory. In this paper, we consider the standard model of a type theoretic object theory in Agda. This model has the property that all of its equalities hold definitionally, and we can use it as a shallow embedding by building expressions from the components of this model. However, if we are to reason soundly about the syntax with this setup, we must ensure that distinguishable syntactic constructs do not become provably equal when shallowly embedded. First, we prove that shallow embedding is injective up to definitional equality, by modelling the embedding as a syntactic translation targeting the metatheory. Second, we use an implementation hiding trick to disallow illegal propositional equality proofs and constructions which do not come from the syntax. We showcase our technique with very short formalisations of canonicity and parametricity for Martin L "of type theory. Our technique only requires features which are available in all major proof assistants based on dependent type theory.


A Fast and Efficient Stochastic Opposition Based Learning for Differential Evolution in Numerical Optimization. A fast and efficient stochastic opposition based learning (OBL) variant is proposed in this paper. OBL is a machine learning concept to accelerate the convergence of soft computing algorithms, which consists of simultaneously calculating an original solution and its opposite. Recently, a stochastic OBL variant called BetaCOBL was proposed, which is capable of controlling the degree of opposite solutions, preserving useful information held by original solutions, and preventing the waste of fitness evaluations. While it has shown outstanding performance compared to several state of the art OBL variants, the high computational cost of BetaCOBL may hinder it from cost sensitive optimization problems. Also, as it assumes that the decision variables of a given problem are independent, BetaCOBL may be ineffective for optimizing inseparable problems. In this paper, we propose an improved BetaCOBL that mitigates all the limitations. The proposed algorithm called iBetaCOBL reduces the computational cost from O(NP 2 cdot D) to O(NP cdot D) ( NP and D stand for population size and a dimension, respectively) using a linear time diversity measure. Also, the proposed algorithm preserves strongly dependent variables that are adjacent to each other using multiple exponential crossover. We used differential evolution (DE) variants to evaluate the performance of the proposed algorithm. The results of the performance evaluations on a set of 58 test functions show the excellent performance of iBetaCOBL compared to ten state of the art OBL variants, including BetaCOBL.


Fairness through Equality of Effort. Fair machine learning is receiving an increasing attention in machine learning fields. Researchers in fair learning have developed correlation or association based measures such as demographic disparity, mistreatment disparity, calibration, causal based measures such as total effect, direct and indirect discrimination, and counterfactual fairness, and fairness notions such as equality of opportunity and equal odds that consider both decisions in the training data and decisions made by predictive models. In this paper, we develop a new causal based fairness notation, called equality of effort. Different from existing fairness notions which mainly focus on discovering the disparity of decisions between two groups of individuals, the proposed equality of effort notation helps answer questions like to what extend a legitimate variable should change to make a particular individual achieve a certain outcome level and addresses the concerns whether the efforts made to achieve the same outcome level for individuals from the protected group and that from the unprotected group are different. We develop algorithms for determining whether an individual or a group of individuals is discriminated in terms of equality of effort. We also develop an optimization based method for removing discriminatory effects from the data if discrimination is detected. We conduct empirical evaluations to compare the equality of effort and existing fairness notion and show the effectiveness of our proposed algorithms.


Learning Constrained Distributions of Robot Configurations with Generative Adversarial Network. In high dimensional robotic system, the manifold of the valid configuration space often has a complex shape, especially under constraints such as end effector orientation or static stability. We propose a generative adversarial network approach to learn the distribution of valid robot configurations under such constraints. It can generate configurations that are close to the constraint manifold. We present two applications of this method. First, by learning the conditional distribution with respect to the desired end effector position, we can do fast inverse kinematics even for very high degrees of freedom (DoF) systems. Then, we use it to generate samples in sampling based constrained motion planning algorithms to reduce the necessary projection steps, speeding up the computation. We validate the approach in simulation using the 7 DoF Panda manipulator and the 28 DoF humanoid robot Talos.


Auto Agent Distiller Towards Efficient Deep Reinforcement Learning Agents via Neural Architecture Search. AlphaGo's astonishing performance has ignited an explosive interest in developing deep reinforcement learning (DRL) for numerous real world applications, such as intelligent robotics. However, the often prohibitive complexity of DRL stands at the odds with the required real time control and constrained resources in many DRL applications, limiting the great potential of DRL powered intelligent devices. While substantial efforts have been devoted to compressing other deep learning models, existing works barely touch the surface of compressing DRL. In this work, we first identify that there exists an optimal model size of DRL that can maximize both the test scores and efficiency, motivating the need for task specific DRL agents. We therefore propose an Auto Agent Distiller (A2D) framework, which to our best knowledge is the first neural architecture search (NAS) applied to DRL to automatically search for the optimal DRL agents for various tasks that optimize both the test scores and efficiency. Specifically, we demonstrate that vanilla NAS can easily fail in searching for the optimal agents, due to its resulting high variance in DRL training stability, and then develop a novel distillation mechanism to distill the knowledge from both the teacher agent's actor and critic to stabilize the searching process and improve the searched agents' optimality. Extensive experiments and ablation studies consistently validate our findings and the advantages and general applicability of our A2D, outperforming manually designed DRL in both the test scores and efficiency. All the codes will be released upon acceptance.


Dynamics of epidemic diseases without guaranteed immunity. The global SARS CoV 2 pandemic suggests a novel type of disease spread dynamics. WHO states that there is currently no evidence that people who have recovered from COVID 19 and have antibodies are immune from a second infection WHO . Conventional mathematical models consider cases for which a recovered individual either becomes susceptible again or develops an immunity. Here, we study the case where infected agents recover and only develop immunity if they are continuously infected for some time. Otherwise, they become susceptible again. We show that field theory bounds the peak of the infectious rate. Consequently, the theory's phases characterise the disease dynamics (i) a pandemic phase and (ii) a response regime. The model excellently describes the epidemic spread of the SARS CoV 2 outbreak in the city of Wuhan, China. We find that only 30 of the recovered agents have developed an immunity. We anticipate our paper to influence the decision making upon balancing the economic impact and the pandemic impact on society. As long as disease controlling measures keep the disease dynamics in the "response regime", a pandemic escalation ('second wave') is ruled out.


Proof Based Synthesis of Sorting Algorithms Using Multisets in Theorema. Using multisets, we develop novel techniques for mechanizing the proofs of the synthesis conjectures for list sorting algorithms, and we demonstrate them in the Theorema system. We use the classical principle of extracting the algorithm as a set of rewrite rules based on the witnesses found in the proof of the synthesis conjecture produced from the specification of the desired function (input and output conditions). The proofs are in natural style, using standard rules, but most importantly domain specific inference rules and strategies. In particular the use of multisets allows us to develop powerful strategies for the synthesis of arbitrarily structured recursive algorithms by general Noetherian induction, as well as for the automatic generation of the specifications of all necessary auxiliary functions (insert, merge, split), whose synthesis is performed using the same method.


The extension problem for fractional Sobolev spaces with a partial vanishing trace condition. We construct whole space extensions of functions in a fractional Sobolev space of order s in (0,1) and integrability p in (0, infty) on an open set O which vanish in a suitable sense on a portion D of the boundary partial O of O . The set O is supposed to satisfy the so called interior thickness condition in partial O setminus D , which is much weaker than the global interior thickness condition. The proof works by means of a reduction to the case D emptyset using a geometric construction.


Optical Mass Spectrometry of Cold mathrm RaOH and mathrm RaOCH 3 . We present an all optical mass spectrometry technique to identify trapped ions. The new method uses laser cooled ions to determine the mass of a cotrapped dark ion with a sub dalton resolution within a few seconds. We apply the method to identify the first controlled synthesis of cold, trapped mathrm RaOH and mathrm RaOCH 3 . These molecules are promising for their sensitivity to time and parity violations that could constrain sources of new physics beyond the standard model. The nondestructive nature of the mass spectrometry technique may help identify molecular ions or highly charged ions prior to optical spectroscopy. Unlike previous mass spectrometry techniques for small ion crystals that rely on scanning, the method uses a Fourier transform which is inherently broadband and comparatively fast. The technique's speed provides new opportunities for studying state resolved chemical reactions in ion traps.


Good Counterfactuals and Where to Find Them A Case Based Technique for Generating Counterfactuals for Explainable AI (XAI). Recently, a groundswell of research has identified the use of counterfactual explanations as a potentially significant solution to the Explainable AI (XAI) problem. It is argued that (a) technically, these counterfactual cases can be generated by permuting problem features until a class change is found, (b) psychologically, they are much more causally informative than factual explanations, (c) legally, they are GDPR compliant. However, there are issues around the finding of good counterfactuals using current techniques (e.g. sparsity and plausibility). We show that many commonly used datasets appear to have few good counterfactuals for explanation purposes. So, we propose a new case based approach for generating counterfactuals using novel ideas about the counterfactual potential and explanatory coverage of a case base. The new technique reuses patterns of good counterfactuals, present in a case base, to generate analogous counterfactuals that can explain new problems and their solutions. Several experiments show how this technique can improve the counterfactual potential and explanatory coverage of case bases that were previously found wanting.


Fully Dynamic Single Source Reachability in Practice An Experimental Study. Given a directed graph and a source vertex, the fully dynamic single source reachability problem is to maintain the set of vertices that are reachable from the given vertex, subject to edge deletions and insertions. It is one of the most fundamental problems on graphs and appears directly or indirectly in many and varied applications. While there has been theoretical work on this problem, showing both linear conditional lower bounds for the fully dynamic problem and insertions only and deletions only upper bounds beating these conditional lower bounds, there has been no experimental study that compares the performance of fully dynamic reachability algorithms in practice. Previous experimental studies in this area concentrated only on the more general all pairs reachability or transitive closure problem and did not use real world dynamic graphs. In this paper, we bridge this gap by empirically studying an extensive set of algorithms for the single source reachability problem in the fully dynamic setting. In particular, we design several fully dynamic variants of well known approaches to obtain and maintain reachability information with respect to a distinguished source. Moreover, we extend the existing insertions only or deletions only upper bounds into fully dynamic algorithms. Even though the worst case time per operation of all the fully dynamic algorithms we evaluate is at least linear in the number of edges in the graph (as is to be expected given the conditional lower bounds) we show in our extensive experimental evaluation that their performance differs greatly, both on generated as well as on real world instances.


New Examples of Irreducible Local Diffusion of Hyperbolic PDE's. Local diffusion of strictly hyperbolic higher order PDE's with constant coefficients at all simple singularities of corresponding wavefronts can be explained and recognized by only two local geometrical features of these wavefronts. We radically disprove the obvious conjecture extending this fact to arbitrary singularities namely, we present examples of diffusion at all non simple singularity classes of generic wavefronts in odd dimensional spaces, which are not reducible to diffusion at simple singular points.


On The Log Concavity of Polygonal Figurate Number Sequences. This paper presents the log concavity of the m gonal figurate number sequences. The author gives and proves the recurrence formula for m gonal figurate number sequences and its corresponding quotient sequences which are found to be bounded. Finally, the author also show that for m geq 3 , the sequence big S n(m) big n geq 1 of m gonal figurate numbers is a log concave.


Ergodic decompositions of geometric measures on Anosov homogeneous spaces. Let G be a connected semisimple real algebraic group and Gamma a Zariski dense Anosov subgroup of G with respect to a minimal parabolic subgroup P . Let N be the maximal horospherical subgroup of G given by the unipotent radical of P . We describe the N ergodic decompositions of all Burger Roblin measures as well as the A ergodic decompositions of all Bowen Margulis Sullivan measures on Gamma backslash G . As a consequence, we obtain the following refinement of the main result of LO the space of all it non trivial N invariant ergodic and P circ quasi invariant Radon measures on Gamma backslash G , up to constant multiples, is homeomorphic to mathbb R text rank ,G 1 times 1, cdots, k where k is the number of P circ minimal subsets in Gamma backslash G .


Tightness of Sensitivity and Proximity Bounds for Integer Linear Programs. We consider ILPs, where each variable corresponds to an integral point within a polytope mathcal P , i. e., ILPs of the form min c top x mid sum p in mathcal P cap mathbb Z d x p p b, x in mathbb Z mathcal P cap mathbb Z d ge 0 . The distance between an optimal fractional solution and an optimal integral solution (called proximity) is an important measure. A classical result by Cook et al. (Math. Program., 1986) shows that it is at most Delta Theta(d) where Delta is the largest coefficient in the constraint matrix. Another important measure studies the change in an optimal solution if the right hand side b is replaced by another right hand side b' . The distance between an optimal solution x w.r.t. b and an optimal solution x' w.r.t. b' (called sensitivity) is similarly bounded, i. e., lVert b b' rVert 1 cdot Delta Theta(d) , also shown by Cook et al. Even after more than thirty years, these bounds are essentially the best known bounds for these measures. While some lower bounds are known for these measures, they either only work for very small values of Delta , require negative entries in the constraint matrix, or have fractional right hand sides. Hence, these lower bounds often do not correspond to instances from algorithmic problems. This work presents for each Delta 0 and each d 0 ILPs of the above type with non negative constraint matrices such that their proximity and sensitivity is at least Delta Theta(d) . Furthermore, these instances are closely related to instances of the Bin Packing problem as they form a subset of columns of the configuration ILP. We thereby show that the results of Cook et al. are indeed tight, even for instances arising naturally from problems in combinatorial optimization.


Best Practices for Data Efficient Modeling in NLG How to Train Production Ready Neural Models with Less Data. Natural language generation (NLG) is a critical component in conversational systems, owing to its role of formulating a correct and natural text response. Traditionally, NLG components have been deployed using template based solutions. Although neural network solutions recently developed in the research community have been shown to provide several benefits, deployment of such model based solutions has been challenging due to high latency, correctness issues, and high data needs. In this paper, we present approaches that have helped us deploy data efficient neural solutions for NLG in conversational systems to production. We describe a family of sampling and modeling techniques to attain production quality with light weight neural network models using only a fraction of the data that would be necessary otherwise, and show a thorough comparison between each. Our results show that domain complexity dictates the appropriate approach to achieve high data efficiency. Finally, we distill the lessons from our experimental findings into a list of best practices for production level NLG model development, and present them in a brief runbook. Importantly, the end products of all of the techniques are small sequence to sequence models (2Mb) that we can reliably deploy in production.


Extinction probabilities in branching processes with countably many types a general framework. We consider Galton Watson branching processes with countable typeset mathcal X . We study the vectors bf q (A) (q x(A)) x in mathcal X recording the conditional probabilities of extinction in subsets of types A subseteq mathcal X , given that the type of the initial individual is x . We first investigate the location of the vectors bf q (A) in the set of fixed points of the progeny generating vector and prove that q x( x ) is larger than or equal to the x th entry of any fixed point, whenever it is different from 1. Next, we present equivalent conditions for q x(A) q x (B) for any initial type x and A,B subseteq mathcal X . Finally, we develop a general framework to characterise all emph distinct extinction probability vectors, and thereby to determine whether there are finitely many, countably many, or uncountably many distinct vectors. We illustrate our results with examples, and conclude with open questions.


Sufficient criteria for obtaining Hardy inequalities on Finsler manifolds. We establish Hardy inequalities involving a weight function on complete, not necessarily reversible Finsler manifolds. We prove that the superharmonicity of the weight function provides a sufficient condition to obtain Hardy inequalities. Namely, if rho is a nonnegative function and boldsymbol Delta rho geq 0 in weak sense, where boldsymbol Delta is the Finsler Laplace operator defined by boldsymbol Delta rho mathrm div ( boldsymbol nabla rho) , then we obtain the generalization of some Riemannian Hardy inequalities given in D'Ambrosio and Dipierro (Ann. Inst. H. Poincar 'e, 2013). By extending the results obtained, we prove a weighted Caccioppoli type inequality, a Gagliardo Nirenberg inequality and a Heisenberg Pauli Weyl uncertainty principle on complete Finsler manifolds. Furthermore, we present some Hardy inequalities on Finsler Hadamard manifolds with finite reversibility constant, by defining the weight function with the help of the distance function. Finally, we extend a weighted Hardy inequality to a class of Finsler manifolds of bounded geometry.


A duality theoretic view on limits of finite structures. A systematic theory of structural limits for finite models has been developed by Nesetril and Ossona de Mendez. It is based on the insight that the collection of finite structures can be embedded, via a map they call the Stone pairing, in a space of measures, where the desired limits can be computed. We show that a closely related but finer grained space of measures arises via Stone Priestley duality and the notion of types from model theory by enriching the expressive power of first order logic with certain probabilistic operators''. We provide a sound and complete calculus for this extended logic and expose the functorial nature of this construction. The consequences are two fold. On the one hand, we identify the logical gist of the theory of structural limits. On the other hand, our construction shows that the duality theoretic variant of the Stone pairing captures the adding of a layer of quantifiers, thus making a strong link to recent work on semiring quantifiers in logic on words. In the process, we identify the model theoretic notion of types as the unifying concept behind this link. These results contribute to bridging the strands of logic in computer science which focus on semantics and on more algorithmic and complexity related areas, respectively.


Learning a Geometric Representation for Data Efficient Depth Estimation via Gradient Field and Contrastive Loss. Estimating a depth map from a single RGB image has been investigated widely for localization, mapping, and 3 dimensional object detection. Recent studies on a single view depth estimation are mostly based on deep Convolutional neural Networks (ConvNets) which require a large amount of training data paired with densely annotated labels. Depth annotation tasks are both expensive and inefficient, so it is inevitable to leverage RGB images which can be collected very easily to boost the performance of ConvNets without depth labels. However, most self supervised learning algorithms are focused on capturing the semantic information of images to improve the performance in classification or object detection, not in depth estimation. In this paper, we show that existing self supervised methods do not perform well on depth estimation and propose a gradient based self supervised learning algorithm with momentum contrastive loss to help ConvNets extract the geometric information with unlabeled images. As a result, the network can estimate the depth map accurately with a relatively small amount of annotated data. To show that our method is independent of the model structure, we evaluate our method with two different monocular depth estimation algorithms. Our method outperforms the previous state of the art self supervised learning algorithms and shows the efficiency of labeled data in triple compared to random initialization on the NYU Depth v2 dataset.


Free rational points on smooth hypersurfaces. Motivated by a recent question of Peyre, we apply the Hardy Littlewood circle method to count "sufficiently free" rational points of bounded height on arbitrary smooth projective hypersurfaces of low degree that are defined over the rational numbers.