Context in Informational Bias Detection. Informational bias is bias conveyed through sentences or clauses that provide tangential, speculative or background information that can sway readers' opinions towards entities. By nature, informational bias is context dependent, but previous work on informational bias detection has not explored the role of context beyond the sentence. In this paper, we explore four kinds of context for informational bias in English news articles neighboring sentences, the full article, articles on the same event from other news publishers, and articles from the same domain (but potentially different events). We find that integrating event context improves classification performance over a very strong baseline. In addition, we perform the first error analysis of models on this task. We find that the best performing context inclusive model outperforms the baseline on longer sentences, and sentences from politically centrist articles.


SuperGlue Learning Feature Matching with Graph Neural Networks. This paper introduces SuperGlue, a neural network that matches two sets of local features by jointly finding correspondences and rejecting non matchable points. Assignments are estimated by solving a differentiable optimal transport problem, whose costs are predicted by a graph neural network. We introduce a flexible context aggregation mechanism based on attention, enabling SuperGlue to reason about the underlying 3D scene and feature assignments jointly. Compared to traditional, hand designed heuristics, our technique learns priors over geometric transformations and regularities of the 3D world through end to end training from image pairs. SuperGlue outperforms other learned approaches and achieves state of the art results on the task of pose estimation in challenging real world indoor and outdoor environments. The proposed method performs matching in real time on a modern GPU and can be readily integrated into modern SfM or SLAM systems. The code and trained weights are publicly available at https github.com magicleap SuperGluePretrainedNetwork.


Deep Reinforcement Learning for Chatbots Using Clustered Actions and Human Likeness Rewards. Training chatbots using the reinforcement learning paradigm is challenging due to high dimensional states, infinite action spaces and the difficulty in specifying the reward function. We address such problems using clustered actions instead of infinite actions, and a simple but promising reward function based on human likeness scores derived from human human dialogue data. We train Deep Reinforcement Learning (DRL) agents using chitchat data in raw text without any manual annotations. Experimental results using different splits of training data report the following. First, that our agents learn reasonable policies in the environments they get familiarised with, but their performance drops substantially when they are exposed to a test set of unseen dialogues. Second, that the choice of sentence embedding size between 100 and 300 dimensions is not significantly different on test data. Third, that our proposed human likeness rewards are reasonable for training chatbots as long as they use lengthy dialogue histories of 10 sentences.


Streaming Submodular Matching Meets the Primal Dual Method. We study streaming submodular maximization subject to matching b matching constraints (MSM MSbM), and present improved upper and lower bounds for these problems. On the upper bounds front, we give primal dual algorithms achieving the following approximation ratios. bullet 3 2 sqrt 2 approx 5.828 for monotone MSM, improving the previous best ratio of 7.75 . bullet 4 3 sqrt 2 approx 7.464 for non monotone MSM, improving the previous best ratio of 9.899 . bullet 3 epsilon for maximum weight b matching, improving the previous best ratio of 4 epsilon . On the lower bounds front, we improve on the previous best lower bound of frac e e 1 approx 1.582 for MSM, and show ETH based lower bounds of approx 1.914 for polytime monotone MSM streaming algorithms. Our most substantial contributions are our algorithmic techniques. We show that the (randomized) primal dual method, which originated in the study of maximum weight matching (MWM), is also useful in the context of MSM. To our knowledge, this is the first use of primal dual based analysis for streaming submodular optimization. We also show how to reinterpret previous algorithms for MSM in our framework hence, we hope our work is a step towards unifying old and new techniques for streaming submodular maximization, and that it paves the way for further new results.


On Rado conditions for nonlinear Diophantine equations. Building on previous work of Di Nasso and Luperi Baglini, we provide general necessary conditions for a Diophantine equation to be partition regular. These conditions are inspired by Rado's characterization of partition regular linear homogeneous equations. We conjecture that these conditions are also sufficient for partition regularity, at least for equations whose corresponding monovariate polynomial is linear. This would provide a natural generalization of Rado's theorem. We verify that such a conjecture hold for the equations x 2 xy ax by cz 0 and x 2 y 2 ax by cz 0 for a,b,c in mathbb Z such that abc 0 or a b c 0 . To deal with these equations, we establish new results concerning the partition regularity of polynomial configurations in mathbb Z such as left x,x y,xy x y right , building on the recent result on the partition regularity of left x,x y,xy right .


Modeling Task Effects on Meaning Representation in the Brain via Zero Shot MEG Prediction. How meaning is represented in the brain is still one of the big open questions in neuroscience. Does a word (e.g., bird) always have the same representation, or does the task under which the word is processed alter its representation (answering "can you eat it?" versus "can it fly?")? The brain activity of subjects who read the same word while performing different semantic tasks has been shown to differ across tasks. However, it is still not understood how the task itself contributes to this difference. In the current work, we study Magnetoencephalography (MEG) brain recordings of participants tasked with answering questions about concrete nouns. We investigate the effect of the task (i.e. the question being asked) on the processing of the concrete noun by predicting the millisecond resolution MEG recordings as a function of both the semantics of the noun and the task. Using this approach, we test several hypotheses about the task stimulus interactions by comparing the zero shot predictions made by these hypotheses for novel tasks and nouns not seen during training. We find that incorporating the task semantics significantly improves the prediction of MEG recordings, across participants. The improvement occurs 475 550ms after the participants first see the word, which corresponds to what is considered to be the ending time of semantic processing for a word. These results suggest that only the end of semantic processing of a word is task dependent, and pose a challenge for future research to formulate new hypotheses for earlier task effects as a function of the task and stimuli.


Nemchinov Dyson Solutions of the Two Dimensional Axisymmetric Inviscid Compressible Flow Equations. We investigate the two dimensional ( 2 D) inviscid compressible flow equations in axisymmetric coordinates, constrained by an ideal gas equation of state (EOS). Beginning with the assumption that the 2 D velocity field is space time separable and linearly variable in each corresponding spatial coordinate, we proceed to derive an infinite family of elliptic or hyperbolic, uniformly expanding or contracting gas cloud'' solutions. Construction of specific example solutions belonging to this family is dependent on the solution of a system of nonlinear, coupled, second order ordinary differential equations, and the prescription of an additional physical process of interest (e.g., uniform temperature or uniform entropy flow). The physical and computational implications of these solutions as pertaining to quantitative code verification or model qualification studies are discussed in some detail.


Transformer Based Molecule Encoding for Property Prediction. Neural methods of molecule property prediction require efficient encoding of structure and property relationship to be accurate. Recent work using graph algorithms shows limited generalization in the latent molecule encoding space. We build a Transformer based molecule encoder and property predictor network with novel input featurization that performs significantly better than existing methods. We adapt our model to semi supervised learning to further perform well on the limited experimental data usually available in practice.


Not NUTs at W NUT 2020 Task 2 A BERT based System in Identifying Informative COVID 19 English Tweets. As of 2020 when the COVID 19 pandemic is full blown on a global scale, people's need to have access to legitimate information regarding COVID 19 is more urgent than ever, especially via online media where the abundance of irrelevant information overshadows the more informative ones. In response to such, we proposed a model that, given an English tweet, automatically identifies whether that tweet bears informative content regarding COVID 19 or not. By ensembling different BERTweet model configurations, we have achieved competitive results that are only shy of those by top performing teams by roughly 1 in terms of F1 score on the informative class. In the post competition period, we have also experimented with various other approaches that potentially boost generalization to a new dataset.


Jupiter A Networked Computing Architecture. In the era of Internet of Things, there is an increasing demand for networked computing to support the requirements of the time constrained, compute intensive distributed applications such as multi camera video processing and data fusion for security. We present Jupiter, an open source networked computing system that inputs a Directed Acyclic Graph (DAG) based computational task graph to efficiently distribute the tasks among a set of networked compute nodes regardless of their geographical separations and orchestrates the execution of the DAG thereafter. This Kubernetes container orchestration based system supports both centralized and decentralized scheduling algorithms for optimally mapping the tasks based on information from a range of profilers network profilers, resource profilers, and execution time profilers. While centralized scheduling algorithms with global knowledge have been popular among the grid cloud computing community, we argue that a distributed scheduling approach is better suited for networked computing due to lower communication and computation overhead in the face of network dynamics. To this end, we propose and implement a new class of distributed scheduling algorithms called WAVE on the Jupiter system. We present a set of real world experiments on two separate testbeds one a world wide network of 90 cloud computers across 8 cities and the other a cluster of 30 Raspberry pi nodes, over a simple networked computing application called Distributed Network Anomaly Detector (DNAD). We show that despite using more localized knowledge, a distributed WAVE greedy algorithm can achieve similar performance as a classical centralized scheduling algorithm called Heterogeneous Earliest Finish Time (HEFT), suitably enhanced for the Jupiter system.


Offline Meta level Model based Reinforcement Learning Approach for Cold Start Recommendation. Reinforcement learning (RL) has shown great promise in optimizing long term user interest in recommender systems. However, existing RL based recommendation methods need a large number of interactions for each user to learn a robust recommendation policy. The challenge becomes more critical when recommending to new users who have a limited number of interactions. To that end, in this paper, we address the cold start challenge in the RL based recommender systems by proposing a meta level model based reinforcement learning approach for fast user adaptation. In our approach, we learn to infer each user's preference with a user context variable that enables recommendation systems to better adapt to new users with few interactions. To improve adaptation efficiency, we learn to recover the user policy and reward from only a few interactions via an inverse reinforcement learning method to assist a meta level recommendation agent. Moreover, we model the interaction relationship between the user model and recommendation agent from an information theoretic perspective. Empirical results show the effectiveness of the proposed method when adapting to new users with only a single interaction sequence. We further provide a theoretical analysis of the recommendation performance bound.


MT Clinical BERT Scaling Clinical Information Extraction with Multitask Learning. Clinical notes contain an abundance of important but not readily accessible information about patients. Systems to automatically extract this information rely on large amounts of training data for which their exists limited resources to create. Furthermore, they are developed dis jointly meaning that no information can be shared amongst task specific systems. This bottle neck unnecessarily complicates practical application, reduces the performance capabilities of each individual solution and associates the engineering debt of managing multiple information extraction systems. We address these challenges by developing Multitask Clinical BERT a single deep learning model that simultaneously performs eight clinical tasks spanning entity extraction, PHI identification, language entailment and similarity by sharing representations amongst tasks. We find our single system performs competitively with all state the art task specific systems while also benefiting from massive computational benefits at inference.


Star edge coloring of Cactus graphs. A star edge coloring of a graph G is a proper edge coloring of G such that no path or cycle of length four is bi colored. The star chromatic index of G , denoted by chi prime s (G) , is the minimum k such that G admits a star edge coloring with k colors. Bezegov 'a et al. (Star edge coloring of some classes of graphs, J. Graph Theory, 81(1), pp.73 82. 2016) conjectured that the star chromatic index of outerplanar graphs with maximum degree Delta , is at most left lfloor frac 3 Delta 2 right rfloor 1 . In this paper, we prove this conjecture for a class of outerplanar graphs, namely Cactus graphs, wherein every edge belongs to at most one cycle.


Algebraicity of the central critical values of twisted triple product L functions. We study the algebraicity of the central critical values of twisted triple product L functions associated to motivic Hilbert cusp forms over a totally real 'etale cubic algebra in the totally unbalanced case. The algebraicity is expressed in terms of the cohomological period constructed via the theory of coherent cohomology on quaternionic Shimura varieties developed by Harris. As an application, we generalize our previous result on Deligne's conjecture for certain automorphic L functions for rm GL 3 times rm GL 2 . We also establish a relation for the cohomological periods under twisting by algebraic Hecke characters.


Bound on Peak to Average Power Ratio with Moment and Reduction Method. In this paper, we show bounds on Peak to Average Power Ratio (PAPR) and propose a method to reduce PAPR. These bounds are written in terms of moments of transmitted symbols. Further, we show some bounds in special cases and these special bounds include a practical case. From the practical bound, a method to reduce PAPR is derived. Our method is an extension of existing methods, a Partial Transmit Sequence (PTS) technique and a Selective Mapping (SLM) technique. Finally, we numerically verify performance of our method and discuss some conditions for our method.


A Survey and Implementation of Performance Metrics for Self Organized Maps. Self Organizing Map algorithms have been used for almost 40 years across various application domains such as biology, geology, healthcare, industry and humanities as an interpretable tool to explore, cluster and visualize high dimensional data sets. In every application, practitioners need to know whether they can textit trust the resulting mapping, and perform model selection to tune algorithm parameters (e.g. the map size). Quantitative evaluation of self organizing maps (SOM) is a subset of clustering validation, which is a challenging problem as such. Clustering model selection is typically achieved by using clustering validity indices. While they also apply to self organized clustering models, they ignore the topology of the map, only answering the question do the SOM code vectors approximate well the data distribution? Evaluating SOM models brings in the additional challenge of assessing their topology does the mapping preserve neighborhood relationships between the map and the original data? The problem of assessing the performance of SOM models has already been tackled quite thoroughly in literature, giving birth to a family of quality indices incorporating neighborhood constraints, called textit topographic indices. Commonly used examples of such metrics are the topographic error, neighborhood preservation or the topographic product. However, open source implementations are almost impossible to find. This is the issue we try to solve in this work after a survey of existing SOM performance metrics, we implemented them in Python and widely used numerical libraries, and provide them as an open source library, SOMperf. This paper introduces each metric available in our module along with usage examples.


On Approximate Envy Freeness for Indivisible Chores and Mixed Resources. We study the fair allocation of undesirable indivisible items, or chores. While the case of desirable indivisible items (or goods) is extensively studied, with many results known for different notions of fairness, less is known about the fair division of chores. We study the envy free division of chores, and make three contributions. First, we show that determining the existence of an envy free allocation is NP complete, even in the simple case when agents have binary additive valuations. Second, we provide a polynomial time algorithm for computing an allocation that satisfies envy freeness up to one chore (EF1), correcting an existing proof in the literature. A straightforward modification of our algorithm can be used to compute an EF1 allocation for doubly monotone instances (wherein each agent can partition the set of items into objective goods and objective chores). Our third result applies to a mixed resources model consisting of indivisible items and a divisible, undesirable heterogeneous resource (i.e., a bad cake). We show that there always exists an allocation that satisfies envy freeness for mixed resources (EFM) in this setting, complementing a recent result of Bei et al. (Art. Int. 2021) for indivisible goods and divisible cake.


Capacity Bounds for Communication Systems with Quantization and Spectral Constraints. Low resolution digital to analog and analog to digital converters (DACs and ADCs) have attracted considerable attention in efforts to reduce power consumption in millimeter wave (mmWave) and massive MIMO systems. This paper presents an information theoretic analysis with capacity bounds for classes of linear transceivers with quantization. The transmitter modulates symbols via a unitary transform followed by a DAC and the receiver employs an ADC followed by the inverse unitary transform. If the unitary transform is set to an FFT matrix, the model naturally captures filtering and spectral constraints which are essential to model in any practical transceiver. In particular, this model allows studying the impact of quantization on out of band emission constraints. In the limit of a large random unitary transform, it is shown that the effect of quantization can be precisely described via an additive Gaussian noise model. This model in turn leads to simple and intuitive expressions for the power spectrum of the transmitted signal and a lower bound to the capacity with quantization. Comparison with non quantized capacity and a capacity upper bound that does not make linearity assumptions suggests that while low resolution quantization has minimal impact on the achievable rate at typical parameters in 5G systems today, satisfying out of band emissions are potentially much more of a challenge.


The Sierpinski Object in the Scott Realizability Topos. We study the Sierpinski object Sigma in the realizability topos based on Scott's graph model of the lambda calculus. Our starting observation is that the object of realizers in this topos is the exponential Sigma N , where N is the natural numbers object. We define order discrete objects by orthogonality to Sigma . We show that the order discrete objects form a reflective subcategory of the topos, and that many fundamental objects in higher type arithmetic are order discrete. Building on work by Lietz, we give some new results regarding the internal logic of the topos. Then we consider Sigma as a dominance we explicitly construct the lift functor and characterize Sigma subobjects. Contrary to our expectations the dominance Sigma is not closed under unions. In the last section we build a model for homotopy theory, where the order discrete objects are exactly those objects which only have constant paths.


Temporal Differential Learning in Continuous Environments. In this paper, a new reinforcement learning (RL) method known as the method of temporal differential is introduced. Compared to the traditional temporal difference learning method, it plays a crucial role in developing novel RL techniques for continuous environments. In particular, the continuous time least squares policy evaluation (CT LSPE) and the continuous time temporal differential (CT TD) learning methods are developed. Both theoretical and empirical evidences are provided to demonstrate the effectiveness of the proposed temporal differential learning methodology.


Truncation Error Analysis of Approximate Operators for a Moving Particle Semi Implicit Method. This paper considers several approximate operators used in a particle method based on a Voronoi diagram. Under some assumptions on a weight function, we derive truncation error estimates for our approximate gradient and Laplace operators. Our results show that our approximate gradient and Laplace operators tend to the usual gradient and Laplace operators when the ratio (the radius of the interaction area the radius of a Voronoi cell) is sufficiently large. The key idea of our approach is to divide the integration region into two ring shaped areas.


From ultracold electrons to coherent soft X rays. Electromagnetic radiation in the soft x ray spectral range ( 1 100 rm nm wavelengths or 0.01 1 rm keV photon energies) is rapidly gaining importance in both fundamental research and industrial applications. At present the degree of coherence and the average photon flux required by advanced applications is only available at large scale synchrotron facilities and Free Electron Lasers (FELs), severely limiting the range of applications. We propose a fully coherent soft x ray source, based on Inverse Compton Scattering (ICS) of electron bunches created by photoionization of a laser cooled and trapped atomic gas. By combining spatial modulation of the photoionization process with radiofrequency bunch compression techniques, micro bunching at soft x ray wavelengths and thus coherent amplification can be realised, resulting in a soft x ray table top Compton light source.


Improved Lower Bounds for the Restricted Isometry Property of Subsampled Fourier Matrices. Let A be an N times N Fourier matrix over mathbb F p log N log p for some prime p . We improve upon known lower bounds for the number of rows of A that must be sampled so that the resulting matrix M satisfies the restricted isometry property for k sparse vectors. This property states that Mv 2 2 is approximately v 2 2 for all k sparse vectors v . In particular, if k Omega( log 2 N ) , we show that Omega(k log k log N log p ) rows must be sampled to satisfy the restricted isometry property with constant probability.


Stick graphs examples and counter examples. Grid intersection graphs are the intersection graphs of vertical and horizontal segments in the plane. When the bottom and respectively left endpoints of the vertical and horizontals segments belong to a line with negative slope, the graph is called a Stick graph. Very few results exist on Stick graphs only small classes of Stick graphs have been identified recognizing Stick graphs is an open problem and even building examples of graphs that are not Stick graphs is quite tricky. In this paper, we first prove that the complements of circle graphs and of circular arc graphs are Stick graphs. Then, we propose two certificates allowing to decide that a graph is not a Stick graph, and use them to build new examples of non Stick graphs. It turns out that these examples of non Stick graphs, as well as all those from literature, have long holes. We thus also investigate the place of chordal grid intersection graphs in the hierarchy of classes built around Stick graphs.


Backronym. The field of Machine Learning research is divided into subject areas, where each area tries to solve a specific problem, using specific methods. In recent years, borders have almost been erased, and many areas inherit methods from other areas. This trend leads to better results and the number of papers in the field is growing every year. The problem is that the amount of information is also growing, and many methods remain unknown in a large number of papers. In this work, we propose the concept of inheritance between machine learning models, which allows conducting research, processing much less information, and pay attention to previously unnoticed models. We hope that this project will allow researchers to find ways to improve their ideas. In addition, it can be used by researchers to publish their methods too. Project is available by link https www.infornopolitan.xyz backronym


Conditional positive definiteness as a bridge between k hyponormality and n contractivity. For sequences alpha equiv alpha n n 0 infty of positive real numbers, called weights, we study the weighted shift operators W alpha having the property of moment infinite divisibility ( mathcal MID ) that is, for any p 0 , the Schur power W alpha p is subnormal. We first prove that W alpha is mathcal MID if and only if certain infinite matrices log M gamma (0) and log M gamma (1) are conditionally positive definite (CPD). Here gamma is the sequence of moments associated with alpha , M gamma (0),M gamma (1) are the canonical Hankel matrices whose positive semi definiteness determines the subnormality of W alpha , and log is calculated entry wise (i.e., in the sense of Schur or Hadamard). Next, we use conditional positive definiteness to establish a new bridge between k hyponormality and n contractivity, which sheds significant new light on how the two well known staircases from hyponormality to subnormality interact. As a consequence, we prove that a contractive weighted shift W alpha is mathcal MID if and only if for all p 0 , M gamma p(0) and M gamma p(1) are CPD.


Calculating Germinal Centre Reactions. Germinal centres are anatomically defined lymphoid organ structures that mediate B cell affinity maturation and affect the quality of humoral immune responses. Mathematical models based on differential equations or agent based simulations have been widely used to deepen our understanding of the cellular and molecular processes characterizing these complex dynamic systems. Along with experimental studies, these tools have provided insights into the spatio temporal behavior of B cells in germinal center reactions and the mechanisms underlying their clonal selection and cellular differentiation. More recently, mathematical models have been used to define key parameters that influence the quality of humoral vaccine responses such as vaccine composition and vaccination schedule. Here, we review current mathematical and computational models of the GC response, highlight interesting model features and discuss how they helped to improve our understanding of B cell responses specifically in immunization settings.


Tracing Complexity in Food Blogging Entries. Within this paper, we focus on the concept of complexity and how it is represented in food blogging entries on Twitter. We turn specific attention to complexity capture when looking at healthy foods, focusing on food blogging entries that entail the notions of health healthiness healthy. We do so because we consider that complexity manifests hedonism that is the irrational determinant of food choice above rational considerations of nutrition and healthiness. Using text as a platform for our analysis, we derive bigrams and topic models that illustrate the frequencies of words and bi grams, thus, pointing our attention to current discourse in food blogging entries on Twitter. The results show that, contrary to complexity, that the dominating characteristics in healthy food domain are easiness and speed of preparation, however, rational and health related considerations may not always take precedence when the choice is determined. Food blogging entries show surprisingly little account of healthy food as being tasty and enjoyable. With this we aim to contribute to the knowledge of how to shape more healthy consumer behaviors. Having discovered the scarcity of hedonic connotations, this work invites for further research in text based information about food.


Uniform (very) sharp bounds for ratios of Parabolic Cylinder functions. Parabolic Cylinder functions (PCFs) are classical special functions with applications in many different fields. However, there is little information available regarding simple uniform approximations and bounds for these functions. We obtain very sharp bounds for the ratio Phi n(x) U(n 1,x) U(n,x) and the double ratio Phi n(x) Phi n 1 (x) in terms of elementary functions (algebraic or trigonometric) and prove the monotonicity of these ratios bounds for U(n,z) U(n,y) are also made available. The bounds are very sharp as x rightarrow pm infty and n rightarrow infty , and this simultaneous sharpness in three different directions explains their remarkable global accuracy. Upper and lower elementary bounds are obtained which are able to produce several digits of accuracy for moderately large x and or n .


Fine Grained Neural Architecture Search. We present an elegant framework of fine grained neural architecture search (FGNAS), which allows to employ multiple heterogeneous operations within a single layer and can even generate compositional feature maps using several different base operations. FGNAS runs efficiently in spite of significantly large search space compared to other methods because it trains networks end to end by a stochastic gradient descent method. Moreover, the proposed framework allows to optimize the network under predefined resource constraints in terms of number of parameters, FLOPs and latency. FGNAS has been applied to two crucial applications in resource demanding computer vision tasks large scale image classification and image super resolution and demonstrates the state of the art performance through flexible operation search and channel pruning.


Long route to consensus Two stage coarsening in a binary choice voting model. Formation of consensus, in binary yes no type of voting, is a well defined process. However, even in presence of clear incentives, the dynamics involved can be incredibly complex. Specifically, formations of large groups of similarly opinionated individuals could create a condition of support bubbles' or spontaneous polarization that renders consensus virtually unattainable (e.g., the question of the UK exiting the EU). There have been earlier attempts in capturing the dynamics of consensus formation in societies through simple Z 2 symmetric models hoping to capture the essential dynamics of average behaviorof a large number of individuals in a statistical sense. However, in absence of external noise, they tend to reach a frozen state with fragmented and polarized states i.e., two or more groups of similarly opinionated groups with frozen dynamics. Here we show in a kinetic exchange opinion model (KEM) considered on L times L square lattices, that while such frozen states could be avoided, an exponentially slow approach to consensus is manifested. Specifically, the system could either reach consensus in a time that scales as L 2 or a long lived metastable state (termed a domain wall state) for which formation of consensus takes a time scaling as L 3.6 . The latter behavior is comparable to some voter like models with intermediate states studied previously. The late time anomaly in the time scale is reflected in the persistence probability of the model. Finally, the interval of zero crossing of the average opinion i.e., the time interval over which the average opinion does not change sign is shown to follow a scale free distribution, which is compared with that seen in the opinion surveys regarding Brexit and associated issues in the last 40 years. The issue of minority spreading is also addressed by calculating the exit probability.


Gravitational Models Explain Shifts on Human Visual Attention. Visual attention refers to the human brain's ability to select relevant sensory information for preferential processing, improving performance in visual and cognitive tasks. It proceeds in two phases. One in which visual feature maps are acquired and processed in parallel. Another where the information from these maps is merged in order to select a single location to be attended for further and more complex computations and reasoning. Its computational description is challenging, especially if the temporal dynamics of the process are taken into account. Numerous methods to estimate saliency have been proposed in the last three decades. They achieve almost perfect performance in estimating saliency at the pixel level, but the way they generate shifts in visual attention fully depends on winner take all (WTA) circuitry. WTA is implemented by the biological hardware in order to select a location with maximum saliency, towards which to direct overt attention. In this paper we propose a gravitational model (GRAV) to describe the attentional shifts. Every single feature acts as an attractor and the shifts are the result of the joint effects of the attractors. In the current framework, the assumption of a single, centralized saliency map is no longer necessary, though still plausible. Quantitative results on two large image datasets show that this model predicts shifts more accurately than winner take all.


Ekeland variational principle and its equivalents in T 1 quasi uniform spaces. The present paper is concerned with Ekeland Variational Principle (EkVP) and its equivalents (Caristi Kirk fixed point theorem, Takahashi minimization principle, Oettli Th 'era equilibrium version of EkVP) in quasi uniform spaces. These extend some results proved by Hamel, Nonlinear Anal. textbf 62 (2005), 913 924, in uniform spaces, as well as those proved in quasi metric spaces by various authors. The case of F quasi gauge spaces, a non symmetric version of F gauge spaces introduced by Fang, J. Math. Anal. Appl. textbf 202 (1996), 398 412, is also considered. The paper ends with the quasi uniform versions of some minimization principles proved by Arutyunov and Gel'man, Zh. Vychisl. Mat. Mat. Fiz. textbf 49 (2009), 1167 1174, and Arutyunov, Proc. Steklov Inst. Math. textbf 291 (2015), no. 1, 24 37, in complete metric spaces. Key words Ekeland Variational Principle, Takahashi minimization principle, equilibrium problems, uniform spaces, quasi uniform spaces, gauge spaces, quasi gauge spaces, completeness in quasi uniform spaces


Spacetime Programming A Synchronous Language for Composable Search Strategies. Search strategies are crucial to efficiently solve constraint satisfaction problems. However, programming search strategies in the existing constraint solvers is a daunting task and constraint based languages usually have compositionality issues. We propose spacetime programming, a paradigm extending the synchronous language Esterel and timed concurrent constraint programming with backtracking, for creating and composing search strategies. In this formalism, the search strategies are composed in the same way as we compose concurrent processes. Our contributions include the design and behavioral semantics of spacetime programming, and the proofs that spacetime programs are deterministic, reactive and extensive functions. Moreover, spacetime programming provides a bridge between the theoretical foundations of constraint based concurrency and the practical aspects of constraint solving. We developed a prototype of the compiler that produces search strategies with a small overhead compared to the hard coded ones.


A generalized Abhyankar's conjecture for simple Lie algebras in characteristic p 5 . In the present paper, we study a purely inseparable counterpart of Abhyankar's conjecture for the affine line in positive characteristic, and prove its validity for all the finite local non abelian simple group schemes in characteristic p 5 . The crucial point is how to deal with finite local group schemes which cannot be realized as the Frobenius kernel of a smooth algebraic group. Such group schemes appear as the ones associated with Cartan type Lie algebras. We settle the problem for such Lie algebras by making use of natural gradations or filtrations on them.


Instability of the soliton for the focusing, mass critical generalized KdV equation. In this paper we prove instability of the soliton for the focusing, mass critical generalized KdV equation. We prove that the solution to the generalized KdV equation for any initial data with mass smaller than the mass of the soliton and close to the soliton in L 2 norm must eventually move away from the soliton.


Generating octave bandwidth soliton frequency combs with compact, low power semiconductor lasers. We report a comprehensive study of low power, octave bandwidth, single soliton microresonator frequency combs in both the 1550 nm and 1064 nm bands. Our experiments utilize fully integrated silicon nitride Kerr microresonators, and we demonstrate direct soliton generation with widely available distributed Bragg reflector lasers that provide less than 40 mW of chip coupled laser power. We report measurements of soliton thermal dynamics and demonstrate how rapid laser frequency control, consistent with the thermal timescale of a microresonator, facilitates stabilization of octave bandwidth soliton combs. Moreover, since soliton combs are completely described by fundamental linear and nonlinear dynamics of the intraresonator field, we demonstrate the close connection between modeling and generation of octave bandwidth combs. Our experiments advance the development of self referenced frequency combs with integrated photonics technology, and comb laser sources with tens of terahertz pulse bandwidth across the near infrared.


Turbulent kinetic energy transport in oscillatory pipe flow. Laminar as well as turbulent oscillatory pipe flows occur in many fields of biomedical science and engineering. Pulmonary air flow and vascular blood flow are usually laminar, because shear forces acting on the physiological system ought to be small. However, frictional losses and shear stresses vary considerably with transition to turbulence. This plays an important role in cases of e.g. artificial respiration or stenosis. On the other hand, in piston engines and reciprocating thermal chemical process devices, turbulent or transitional oscillatory flows affect mixing properties, and also mass and heat transfer. In contrast to the extensively investigated statistically steady wall bounded shear flows, rather little work has been devoted to the onset, amplification and decay of turbulence in pipe flows driven by an unsteady external force. Experiments 1, 3, 6 indicate that transition to turbulence depends on only one parameter, i.e. Re delta sim Re Wo with a critical value of about 550, at least for Womersley numbers Wo 7. We perform direct numerical simulations (DNS) of oscillatory pipe flows at several combinations of Re and Wo to extend the validity of this critical value to higher Wo. To better understand the physical mechanisms involved during decay and amplification of the turbulent flow, we further analyse the turbulent kinetic energy distribution and its budgets terms.


Note on a family of surfaces with p g q 2 and K 2 7 . We study a family of surfaces of general type with p g q 2 and K 2 7 , originally constructed by C. Rito. We provide an alternative construction of these surfaces, that allows us to describe their Albanese map and the corresponding locus mathcal M in the moduli space of the surfaces of general type. In particular we prove that mathcal M is an open subset, and it has three connected components, two dimensional, irreducible and generically smooth.


Deep Snake for Real Time Instance Segmentation. This paper introduces a novel contour based approach named deep snake for real time instance segmentation. Unlike some recent methods that directly regress the coordinates of the object boundary points from an image, deep snake uses a neural network to iteratively deform an initial contour to match the object boundary, which implements the classic idea of snake algorithms with a learning based approach. For structured feature learning on the contour, we propose to use circular convolution in deep snake, which better exploits the cycle graph structure of a contour compared against generic graph convolution. Based on deep snake, we develop a two stage pipeline for instance segmentation initial contour proposal and contour deformation, which can handle errors in object localization. Experiments show that the proposed approach achieves competitive performances on the Cityscapes, KINS, SBD and COCO datasets while being efficient for real time applications with a speed of 32.3 fps for 512 times 512 images on a 1080Ti GPU. The code is available at https github.com zju3dv snake .


Volterra type integration operators from Bergman spaces to Hardy spaces. We completely characterize the boundedness of the Volterra type integration operators J b acting from the weighted Bergman spaces A p alpha to the Hardy spaces H q of the unit ball of mathbb C n for all 0 p,q infty . A partial solution to the case n 1 was previously obtained by Z. Wu in cite Wu . We solve the cases left open there and extend all the results to the setting of arbitrary complex dimension n . Our tools involve area methods from harmonic analysis, Carleson measures and Kahane Khinchine type inequalities, factorization tricks for tent spaces of sequences, as well as techniques and integral estimates related to Hardy and Bergman spaces.


A Stable High order Tuner for General Convex Functions. Iterative gradient based algorithms have been increasingly applied for the training of a broad variety of machine learning models including large neural nets. In particular, momentum based methods, with accelerated learning guarantees, have received a lot of attention due to their provable guarantees of fast learning in certain classes of problems and multiple algorithms have been derived. However, properties for these methods hold only for constant regressors. When time varying regressors occur, which is commonplace in dynamic systems, many of these momentum based methods cannot guarantee stability. Recently, a new High order Tuner (HT) was developed for linear regression problems and shown to have 1) stability and asymptotic convergence for time varying regressors and 2) non asymptotic accelerated learning guarantees for constant regressors. In this paper, we extend and discuss the results of this same HT for general convex loss functions. Through the exploitation of convexity and smoothness definitions, we establish similar stability and asymptotic convergence guarantees. Finally, we provide numerical simulations supporting the satisfactory behavior of the HT algorithm as well as an accelerated learning property.


Minimum Cuts in Surface Graphs. We describe algorithms to efficiently compute minimum (s,t) cuts and global minimum cuts of undirected surface embedded graphs. Given an edge weighted undirected graph G with n vertices embedded on an orientable surface of genus g , our algorithms can solve either problem in g O(g) n log log n or 2 O(g) n log n time, whichever is better. When g is a constant, our g O(g) n log log n time algorithms match the best running times known for computing minimum cuts in planar graphs. Our algorithms for minimum cuts rely on reductions to the problem of finding a minimum weight subgraph in a given mathbb Z 2 homology class, and we give efficient algorithms for this latter problem as well. If G is embedded on a surface with b boundary components, these algorithms run in (g b) O(g b) n log log n and 2 O(g b) n log n time. We also prove that finding a minimum weight subgraph homologous to a single input cycle is NP hard, showing it is likely impossible to improve upon the exponential dependencies on g for this latter problem.


Euler characteristic of the space of real multivariate irreducible polynomials. We compute the compactly supported Euler characteristic of the space of degree d irreducible polynomials in n variables with real coefficients and show that the values are given by the digits in the so called balanced binary expansion of the number of variables n .


Reality as a simulation of reality robot illusions, fundamental limits, and a physical demonstration. We consider problems in which robots conspire to present a view of the world that differs from reality. The inquiry is motivated by the problem of validating robot behavior physically despite there being a discrepancy between the robots we have at hand and those we wish to study, or the environment for testing that is available versus that which is desired, or other potential mismatches in this vein. After formulating the concept of a convincing illusion, essentially a notion of system simulation that takes place in the real world, we examine the implications of this type of simulability in terms of infrastructure requirements. Time is one important resource some robots may be able to simulate some others but, perhaps, only at a rate that is slower than real time. This difference gives a way of relating the simulating and the simulated systems in a form that is relative. We establish some theorems, including one with the flavor of an impossibility result, and providing several examples throughout. Finally, we present data from a simple multi robot experiment based on this theory, with a robot navigating amid an unbounded field of obstacles.


Spatial Influence aware Reinforcement Learning for Intelligent Transportation System. Intelligent transportation systems (ITSs) are envisioned to be crucial for smart cities, which aims at improving traffic flow to improve the life quality of urban residents and reducing congestion to improve the efficiency of commuting. However, several challenges need to be resolved before such systems can be deployed, for example, conventional solutions for Markov decision process (MDP) and single agent Reinforcement Learning (RL) algorithms suffer from poor scalability, and multi agent systems suffer from poor communication and coordination. In this paper, we explore the potential of mutual information sharing, or in other words, spatial influence based communication, to optimize traffic light control policy. First, we mathematically analyze the transportation system. We conclude that the transportation system does not have stationary Nash Equilibrium, thereby reinforcement learning algorithms offer suitable solutions. Secondly, we describe how to build a multi agent Deep Deterministic Policy Gradient (DDPG) system with spatial influence and social group utility incorporated. Then we utilize the grid topology road network to empirically demonstrate the scalability of the new system. We demonstrate three types of directed communications to show the effect of directions of social influence on the entire network utility and individual utility. Lastly, we define "selfish index" and analyze the effect of it on total group utility.


Weighted composition operators on Fock spaces and their dynamics. Bounded weighted composition operators, as well as compact weighted composition operators, on Fock spaces have been characterised. This characterisation is refined to the extent that the question of whether weighted composition operators on the Fock space can be supercyclic is answered in the negative.


physics.comp-ph cs.NA math.NA physics.plasm-ph

Sparse Grids based Adaptive Noise Reduction strategy for Particle In Cell schemes. We propose a sparse grids based adaptive noise reduction strategy for electrostatic particle in cell (PIC) simulations. Our approach is based on the key idea of relying on sparse grids instead of a regular grid in order to increase the number of particles per cell for the same total number of particles, as first introduced in Ricketson and Cerfon (Plasma Phys. and Control. Fusion, 59(2), 024002). Adopting a new filtering perspective for this idea, we construct the algorithm so that it can be easily integrated into high performance large scale PIC code bases. Unlike the physical and Fourier domain filters typically used in PIC codes, our approach automatically adapts to mesh size, number of particles per cell, smoothness of the density profile and the initial sampling technique. Thanks to the truncated combination technique, we can reduce the larger grid based error of the standard sparse grids approach for non aligned and non smooth functions. We propose a heuristic based on formal error analysis for selecting the optimal truncation parameter at each time step, and develop a natural framework to minimize the total error in sparse PIC simulations. We demonstrate its efficiency and performance by means of two test cases the diocotron instability in two dimensions, and the three dimensional electron dynamics in a Penning trap. Our run time performance studies indicate that our new scheme can provide significant speedup and memory reduction as compared to regular PIC for achieving comparable accuracy in the charge density deposition.


Do Public Datasets Assure Unbiased Comparisons for Registration Evaluation?. With the increasing availability of new image registration approaches, an unbiased evaluation is becoming more needed so that clinicians can choose the most suitable approaches for their applications. Current evaluations typically use landmarks in manually annotated datasets. As a result, the quality of annotations is crucial for unbiased comparisons. Even though most data providers claim to have quality control over their datasets, an objective third party screening can be reassuring for intended users. In this study, we use the variogram to screen the manually annotated landmarks in two datasets used to benchmark registration in image guided neurosurgeries. The variogram provides an intuitive 2D representation of the spatial characteristics of annotated landmarks. Using variograms, we identified potentially problematic cases and had them examined by experienced radiologists. We found that (1) a small number of annotations may have fiducial localization errors (2) the landmark distribution for some cases is not ideal to offer fair comparisons. If unresolved, both findings could incur bias in registration evaluation.


Exponential factorizations of holomorphic maps. We show that any element of the special linear group SL 2(R) is a product of two exponentials if the ring R is either the ring of holomorphic functions on an open Riemann surface or the disc algebra. This is sharp one exponential factor is not enough since the exponential map corresponding to SL 2( mathbb C ) is not surjective. Our result extends to the linear group GL 2(R) .


Projection Based Constrained Policy Optimization. We consider the problem of learning control policies that optimize a reward function while satisfying constraints due to considerations of safety, fairness, or other costs. We propose a new algorithm, Projection Based Constrained Policy Optimization (PCPO). This is an iterative method for optimizing policies in a two step process the first step performs a local reward improvement update, while the second step reconciles any constraint violation by projecting the policy back onto the constraint set. We theoretically analyze PCPO and provide a lower bound on reward improvement, and an upper bound on constraint violation, for each policy update. We further characterize the convergence of PCPO based on two different metrics normltwo norm and Kullback Leibler divergence. Our empirical results over several control tasks demonstrate that PCPO achieves superior performance, averaging more than 3.5 times less constraint violation and around 15 higher reward compared to state of the art methods.


Optical Parametric Amplification of Mid Infrared Few Cycle Pulses. We describe Ti Sapphire pumped optical parametric amplification of carrier envelope phase stabilized few cycle ( 10 fs) mid infrared pulses in type I beta barium borate. Experimental measurements show a times3.5 amplification factor (from 100 mu J to 350 mu J) of the octave spanning spectrum ( 1.1 2.4 mu m) using a pump beam with 2.3mJ energy, 30fs duration and central wavelength of 800nm, corresponding to an energy extraction efficiency of 11 . Numerical simulations suggest potential amplification to 4.25mJ energy and temporal compression to a pulse duration of 7.3fs is possible with a pump energy of 30mJ and duration of 30fs in a 25mm diameter, 1.5mm thick BBO crystal.


Structural Ramsey Theory and the Extension Property for Partial Automorphisms. We survey recent developments concerning two properties of classes of finite structures the Ramsey property and the extension property for partial automorphisms (EPPA).


BERT hLSTMs BERT and Hierarchical LSTMs for Visual Storytelling. Visual storytelling is a creative and challenging task, aiming to automatically generate a story like description for a sequence of images. The descriptions generated by previous visual storytelling approaches lack coherence because they use word level sequence generation methods and do not adequately consider sentence level dependencies. To tackle this problem, we propose a novel hierarchical visual storytelling framework which separately models sentence level and word level semantics. We use the transformer based BERT to obtain embeddings for sentences and words. We then employ a hierarchical LSTM network the bottom LSTM receives as input the sentence vector representation from BERT, to learn the dependencies between the sentences corresponding to images, and the top LSTM is responsible for generating the corresponding word vector representations, taking input from the bottom LSTM. Experimental results demonstrate that our model outperforms most closely related baselines under automatic evaluation metrics BLEU and CIDEr, and also show the effectiveness of our method with human evaluation.


The Bernstein projector determined by a weak associate class of good cosets. Let G be a reductive group over a p adic field F of characteristic zero, with p gg 0 . In Kim04 , J. L. Kim studied an equivalence relation called weak associativity on the set of unrefined minimal K types for G in the sense of A. Moy and G. Prasad. Following Kim04 , we attach to the set ( overline mathfrak s ) of good (K ) types in a weak associate class of positive depth unrefined minimal K types a G(F) invariant open and closed subset mathfrak g(F) overline mathfrak s of the Lie algebra mathfrak g(F) of G(F) , and a subset tilde G overline mathfrak s of the admissible dual ( tilde G ) of (G(F) ) consisting of those representations containing an unrefined minimal K type that belongs to overline mathfrak s . Then ( tilde G overline mathfrak s ) is the union of finitely many Bernstein components for G , so that we can consider the Bernstein projector E overline mathfrak s that it determines. We show that E overline mathfrak s vanishes outside the Moy Prasad G(F) domain G(F) r subset G(F) , and reformulate a result of Kim as saying that the restriction of E overline mathfrak s to G(F) r , pushed forward via the logarithm to the Moy Prasad G(F) domain mathfrak g(F) r subset mathfrak g(F) , agrees on mathfrak g(F) r with the inverse Fourier transform of the characteristic function of mathfrak g(F) overline mathfrak s . This is a variant of one of the descriptions given by R. Bezrukavnikov, D. Kazhdan and Y. Varshavsky in arXiv 1504.01353 for the depth r Bernstein projector.


Recommending Stack Overflow Posts for Fixing Runtime Exceptions using Failure Scenario Matching. Using online Q A forums, such as Stack Overflow (SO), for guidance to resolve program bugs, among other development issues, is commonplace in modern software development practice. Runtime exceptions (RE) is one such important class of bugs that is actively discussed on SO. In this work we present a technique and prototype tool called MAESTRO that can automatically recommend an SO post that is most relevant to a given Java RE in a developer's code. MAESTRO compares the exception generating program scenario in the developer's code with that discussed in an SO post and returns the post with the closest match. To extract and compare the exception scenario effectively, MAESTRO first uses the answer code snippets in a post to implicate a subset of lines in the post's question code snippet as responsible for the exception and then compares these lines with the developer's code in terms of their respective Abstract Program Graph (APG) representations. The APG is a simplified and abstracted derivative of an abstract syntax tree, proposed in this work, that allows an effective comparison of the functionality embodied in the high level program structure, while discarding many of the low level syntactic or semantic differences. We evaluate MAESTRO on a benchmark of 78 instances of Java REs extracted from the top 500 Java projects on GitHub and show that MAESTRO can return either a highly relevant or somewhat relevant SO post corresponding to the exception instance in 71 of the cases, compared to relevant posts returned in only 8 44 instances, by four competitor tools based on state of the art techniques. We also conduct a user experience study of MAESTRO with 10 Java developers, where the participants judge MAESTRO reporting a highly relevant or somewhat relevant post in 80 of the instances. In some cases the post is judged to be even better than the one manually found by the participant.


Shearing deformations of Hitchin representations and the Atiyah Bott Goldman symplectic form. The Hitchin component Hit n(S) of a closed surface S is a preferred component of the character variety X PSL n(R)(S) consisting of homomorphisms from the fundamental group pi 1(S) to the Lie group PSL n(R)(S), whose elements enjoy remarkable geometric and dynamical properties. We consider a certain type of deformations of the elements of Hit n(S), called shearing deformations, and compute their pairing for the Atiyah Bott Goldman symplectic form of the character variety.


Modeling the Popularity of Twitter Hashtags with Master Equations. In this work we introduce a model based on master equations to describe the time evolution of the popularity of topics and hashtags on the Twitter social network. Specifically, we model the number of times a certain hashtag appears on the network as a function of time. In our model, the behavior of this quantity depends on the degree distribution of the network and the extrinsic interest the community has for the topic or hashtag. From the master equation, we are able to obtain explicit solutions for the mean and variance. We propose a gamma kernel function to model the topic popularity, which is quite simple and yields reasonable results. Finally, we validate the plausibility of the model by analyzing actual Twitter data obtained through the public API.


Spin(7) metrics from K "ahler Geometry. We investigate the mathbb T 2 quotient of a torsion free Spin(7) structure on an 8 manifold under the assumption that the quotient 6 manifold is K "ahler. We show that there exists either a Hamiltonian S 1 or mathbb T 2 action on the quotient preserving the complex structure. Performing a K "ahler reduction in each case reduces the problem of finding Spin(7) metrics to studying a system of PDEs on either a 4 or 2 manifold with trivial canonical bundle, which in the compact case corresponds to either mathbb T 4 , a K3 surface or an elliptic curve. By reversing this construction we give infinitely many new explicit examples of Spin(7) holonomy metrics. In the simplest case, our result can be viewed as an extension of the Gibbons Hawking ansatz.


Randomness Concerns When Deploying Differential Privacy. The U.S. Census Bureau is using differential privacy (DP) to protect confidential respondent data collected for the 2020 Decennial Census of Population Housing. The Census Bureau's DP system is implemented in the Disclosure Avoidance System (DAS) and requires a source of random numbers. We estimate that the 2020 Census will require roughly 90TB of random bytes to protect the person and household tables. Although there are critical differences between cryptography and DP, they have similar requirements for randomness. We review the history of random number generation on deterministic computers, including von Neumann's "middle square" method, Mersenne Twister (MT19937) (previously the default NumPy random number generator, which we conclude is unacceptable for use in production privacy preserving systems), and the Linux dev urandom device. We also review hardware random number generator schemes, including the use of so called "Lava Lamps" and the Intel Secure Key RDRAND instruction. We finally present our plan for generating random bits in the Amazon Web Services (AWS) environment using AES CTR DRBG seeded by mixing bits from dev urandom and the Intel Secure Key RDSEED instruction, a compromise of our desire to rely on a trusted hardware implementation, the unease of our external reviewers in trusting a hardware only implementation, and the need to generate so many random bits.


Community detection on complex networks based on a new centrality indicator and a new modularity function. Community detection is a significant and challenging task in network research. Nowadays, plenty of attention has been focused on local methods of community detection. Among them, community detection with a greedy algorithm typically starts from the identification of local essential nodes called central nodes of the network communities expand later from these central nodes by optimizing a modularity function. In this paper, we propose a new central node indicator and a new modularity function. Our central node indicator, which we call local centrality indicator (LCI), is as efficient as the well known global maximal degree indicator and local maximal degree indicator on certain special network structure, LCI performs even better. On the other hand, our modularity function F2 overcomes certain disadvantages,such as the resolution limit problem,of the modularity functions raised in previous literature. Combined with a greedy algorithm, LCI and F2 enable us to identify the right community structures for both the real world networks and the simulated benchmark network. Evaluation based on the normalized mutual information (NMI) suggests that our community detection method with a greedy algorithm based on LCI and F2 performs superior to many other methods. Therefore, the method we proposed in this paper is potentially noteworthy.


Rank jumps on elliptic surfaces and the Hilbert property. Given an elliptic surface over a number field, we study the collection of fibres whose Mordell Weil rank is greater than the generic rank. Under suitable assumptions, we show that this collection is not thin. Our results apply to quadratic twist families and del Pezzo surfaces of degree 1 .


Bug Searching in Smart Contract. With the frantic development of smart contracts on the Ethereum platform, its market value has also climbed. In 2016, people were shocked by the loss of nearly 50 million in cryptocurrencies from the DAO reentrancy attack. Due to the tremendous amount of money flowing in smart contracts, its security has attracted much attention of researchers. In this paper, we investigated several common smart contract vulnerabilities and analyzed their possible scenarios and how they may be exploited. Furthermore, we survey the smart contract vulnerability detection tools for the Ethereum platform in recent years. We found that these tools have similar prototypes in software vulnerability detection technology. Moreover, for the features of public distribution systems such as Ethereum, we present the new challenges that these software vulnerability detection technologies face.


The impact of multilateral imported cases of COVID 19 on the epidemic control in China. Nowadays, the epidemic of COVID 19 in China is under control. However, the epidemic are developing rapidly around the world. Due to the normal migration of population, China is facing high risk from imported cases. The potential specific medicine and vaccine is still in the process of clinical trials. Currently, controlling the impact of imported cases is the key to prevent new outbreak of COVID 19 in China. In this paper, we propose two impulsive systems to describe the impact of multilateral imported cases of COVID 19. Based on the published data, we simulate and discussed the epidemic trends under different control strategies. We compare four different scenarios and show the corresponding medical burden. The results help to design appropriate control strategy for imported cases in practice.


Deconstructing word embedding algorithms. Word embeddings are reliable feature representations of words used to obtain high quality results for various NLP applications. Uncontextualized word embeddings are used in many NLP tasks today, especially in resource limited settings where high memory capacity and GPUs are not available. Given the historical success of word embeddings in NLP, we propose a retrospective on some of the most well known word embedding algorithms. In this work, we deconstruct Word2vec, GloVe, and others, into a common form, unveiling some of the common conditions that seem to be required for making performant word embeddings. We believe that the theoretical findings in this paper can provide a basis for more informed development of future models.


Invariant Hypersurfaces and Nodal Components of Foliations. It is known that there is at least an invariant analytic curve passing through each of the components in the complement of nodal singularities, after the reduction of singularities of a germ of singular foliation in mathbb C 2,0 . Here, we state and prove a generalization of this property to any ambient dimension.


On The Dynamics Of Solutions Of A Rational Difference Equation Via Generalized Tribonacci Numbers. In this study, we investigate the form of solutions, stability character and asymptotic behavior of the following rational difference equation x n 1 ( gamma (x n (x n 1 alpha ) b eta )), n 0,1,..., where the inital values x 1 and x 0 and alpha , b eta and gamma with gamma are nonnegative real numbers. Its solutions are associated with generalized Tribonacci numbers.


Vanishing of the anchored isoperimetric profile in bond percolation at p c. We consider the anchored isoperimetric profile of the infinite open cluster, defined for p p c , whose existence has been recently proved in 3 . We extend adequately the definition for p p c , in finite boxes. We prove a partial result which implies that, if the limit defining the anchored isoperimetric profile at p c exists, it has to vanish.


On pathwise uniqueness for multidimensional McKean Vlasov equations. Pathwise uniqueness for multi dimensional stochastic McKean Vlasov equation is established under moderate regularity conditions on the drift and diffusion coefficients. Both drift and diffusion depend on the marginal measure of the solution. For pathwise uniqueness, the drift is assumed to be Dini continuous in the state variable, while the diffusion must be Lipschitz, continuous in time and uniformly nondegenerate. The setting is classical McKean Vlasov, that is, coefficients of the equation are represented as integrals over the marginal distributions of the process.


Resilient Consensus via Weight Learning and Its Application in Fault Tolerant Clock Synchronization. This paper addresses the distributed consensus problem in the presence of faulty nodes. A novel weight learning algorithm is introduced such that neither network connectivity nor a sequence of history records is required to achieve resilient consensus. The critical idea is to dynamically update the interaction weights among neighbors learnt from their credibility measurement. Basically, we define a reward function that is inversely proportional to the distance to its neighbor, and then adjust the credibility based on the reward derived at the present step and the previous credibility. In such a way, the interaction weights are updated at every step, which integrates the historic information and degrades the influences from faulty nodes. Both fixed and stochastic topologies are considered in this paper. Furthermore, we apply this novel approach in clock synchronization problem. By updating the logical clock skew and offset via the corresponding weight learning algorithms, respectively, the logical clock synchronization is eventually achieved regardless of faulty nodes. Simulations are provided to illustrate the effectiveness of the strategy.


Bounds for Coefficients of the f(q) Mock Theta Function and Applications to Partition Ranks. We compute effective bounds for alpha(n) , the Fourier coefficients of Ramunujan's mock theta function f(q) utilizing a finite algebraic formula due to Bruinier and Schwagenscheidt. We then use these bounds to prove two conjectures of Hou and Jagadeesan on the convexity and maximal multiplicative properties of the even and odd partition rank counting functions.


Threshold shift method for reliability based design optimization. We present a novel approach, referred to as the 'threshold shift method' (TSM), for reliability based design optimization (RBDO). The proposed approach is similar in spirit with the sequential optimization and reliability analysis (SORA) method where the RBDO problem is decoupled into an optimization and a reliability analysis problem. However, unlike SORA that utilizes shift vector to shift the design variables within a constraint (independently), in TSM we propose to shift the threshold of the constraints. We argue that modifying a constraint, either by shifting the design variables (SORA) or by shifting the threshold of the constraints (TSM), influences the other constraints of the system. Therefore, we propose to determine the thresholds for all the constraints by solving a single optimization problem. Additionally, the proposed TSM is equipped with an active constraint determination scheme. To make the method scalable, a practical algorithm for TSM that utilizes two surrogate models is proposed. Unlike the conventional RBDO methods, the proposed approach has the ability to handle highly non linear probabilistic constraints. The performance of the proposed approach is examined on six benchmark problems selected from the literature. The proposed approach yields excellent results outperforming other popular methods in literature. As for the computational efficiency, the proposed approach is found to be highly efficient, indicating it's future application to other real life problems.


Equivalence and finite time blow up of solutions and interfaces for two nonlinear diffusion equations. In this work, we construct a transformation between the solutions to the following reaction convection diffusion equation partial t u (u m) xx a(x)(u m) x b(x)u m, posed for x in real , t geq0 and m 1 , where a , b are two continuous real functions, and the solutions to the nonhomogeneous diffusion equation of porous medium type f(y) partial tau theta ( theta m) yy , posed in the half line y in 0, infty) with tau geq0 , m 1 and suitable density functions f(y) . We apply this correspondence to the case of constant coefficients a(x) 1 and b(x) K 0 . For this case, we prove that compactly supported solutions to the first equation blow up in finite time, together with their interfaces, as x to infty . We then establish the large time behavior of solutions to a homogeneous Dirichlet problem associated to the first equation on a bounded interval. We also prove a finite time blow up of the interfaces for compactly supported solutions to the second equation when f(y) y gamma with gamma 2 .


Pomsets with Boxes Protection, Separation, and Locality in Concurrent Kleene Algebra. Concurrent Kleene Algebra is an elegant tool for equational reasoning about concurrent programs. An important feature of concurrent programs that is missing from CKA is the ability to restrict legal interleavings. To remedy this we extend the standard model of CKA, namely pomsets, with a new feature, called boxes, which can specify that part of the system is protected from outside interference. We study the algebraic properties of this new model. Another drawback of CKA is that the language used for expressing properties of programs is the same as that which is used to express programs themselves. This is often too restrictive for practical purposes. We provide a logic, 'pomset logic', that is an assertion language for specifying such properties, and which is interpreted on pomsets with boxes. In contrast with other approaches, this logic is not state based, but rather characterizes the runtime behaviour of a program. We develop the basic metatheory for the relationship between pomset logic and CKA, including frame rules to support local reasoning, and illustrate this relationship with simple examples.


Efficient Architecture Aware Acceleration of BWA MEM for Multicore Systems. Innovations in Next Generation Sequencing are enabling generation of DNA sequence data at ever faster rates and at very low cost. Large sequencing centers typically employ hundreds of such systems. Such high throughput and low cost generation of data underscores the need for commensurate acceleration in downstream computational analysis of the sequencing data. A fundamental step in downstream analysis is mapping of the reads to a long reference DNA sequence, such as a reference human genome. Sequence mapping is a compute intensive step that accounts for more than 30 of the overall time of the GATK workflow. BWA MEM is one of the most widely used tools for sequence mapping and has tens of thousands of users. In this work, we focus on accelerating BWA MEM through an efficient architecture aware implementation, while maintaining identical output. The volume of data requires distributed computing environment, usually deploying multicore processors. Since the application can be easily parallelized for distributed memory systems, we focus on performance improvements on a single socket multicore processor. BWA MEM run time is dominated by three kernels, collectively responsible for more than 85 of the overall compute time. We improved the performance of these kernels by 1) improving cache reuse, 2) simplifying the algorithms, 3) replacing small fragmented memory allocations with a few large contiguous ones, 4) software prefetching, and 5) SIMD utilization wherever applicable and massive reorganization of the source code enabling these improvements. As a result, we achieved nearly 2x, 183x, and 8x speedups on the three kernels, respectively, resulting in up to 3.5x and 2.4x speedups on end to end compute time over the original BWA MEM on single thread and single socket of Intel Xeon Skylake processor. To the best of our knowledge, this is the highest reported speedup over BWA MEM.


Understanding the QuickXPlain Algorithm Simple Explanation and Formal Proof. In his seminal paper of 2004, Ulrich Junker proposed the QuickXPlain algorithm, which provides a divide and conquer computation strategy to find within a given set an irreducible subset with a particular (monotone) property. Beside its original application in the domain of constraint satisfaction problems, the algorithm has since then found widespread adoption in areas as different as model based diagnosis, recommender systems, verification, or the Semantic Web. This popularity is due to the frequent occurrence of the problem of finding irreducible subsets on the one hand, and to QuickXPlain's general applicability and favorable computational complexity on the other hand. However, although (we regularly experience) people are having a hard time understanding QuickXPlain and seeing why it works correctly, a proof of correctness of the algorithm has never been published. This is what we account for in this work, by explaining QuickXPlain in a novel tried and tested way and by presenting an intelligible formal proof of it. Apart from showing the correctness of the algorithm and excluding the later detection of errors (proof and trust effect), the added value of the availability of a formal proof is, e.g., (i) that the workings of the algorithm often become completely clear only after studying, verifying and comprehending the proof (didactic effect), (ii) the shown proof methodology can be used as a guidance for proving other recursive algorithms (transfer effect), and (iii) the possibility of providing "gapless" correctness proofs of systems that rely on (results computed by) QuickXPlain, such as numerous model based debuggers (completeness effect).


The moduli space of the tropicalizations of Riemann surfaces. In this paper we study the moduli space of the tropicalizations of Riemann surfaces. We first tropicalize a smooth pointed Riemann surface by a graph defined by its (hyperbolic) pair of pants decomposition. Then we can construct the moduli space of tropicalizations based on a fixed regular tropicalization, and compactify it by adding strata parametrizing weighted contractions. We show that this compact moduli space is also Hausdorff. In the end, we compare this moduli space with the moduli space of Riemann surfaces, establishing a partial order preserving correspondence between the stratifications of these two moduli spaces.


PointManifold Using Manifold Learning for Point Cloud Classification. In this paper, we propose a point cloud classification method based on graph neural network and manifold learning. Different from the conventional point cloud analysis methods, this paper uses manifold learning algorithms to embed point cloud features for better considering the geometric continuity on the surface. Then, the nature of point cloud can be acquired in low dimensional space, and after being concatenated with features in the original three dimensional (3D)space, both the capability of feature representation and the classification network performance can be improved. We pro pose two manifold learning modules, where one is based on locally linear embedding algorithm, and the other is a non linear projection method based on neural network architecture. Both of them can obtain better performances than the state of the art baseline. Afterwards, the graph model is constructed by using the k nearest neighbors algorithm, where the edge features are effectively aggregated for the implementation of point cloud classification. Experiments show that the proposed point cloud classification methods obtain the mean class accuracy (mA) of 90.2 and the overall accuracy (oA)of 93.2 , which reach competitive performances compared with the existing state of the art related methods.


Computing multiple solutions of topology optimization problems. Topology optimization problems often support multiple local minima due to a lack of convexity. Typically, gradient based techniques combined with continuation in model parameters are used to promote convergence to more optimal solutions however, these methods can fail even in the simplest cases. In this paper, we present an algorithm to perform a systematic exploratory search for the solutions of the optimization problem via second order methods without a good initial guess. The algorithm combines the techniques of deflation, barrier methods and primal dual active set solvers in a novel way. We demonstrate this approach on several numerical examples, observe mesh independence in certain cases and show that multiple distinct local minima can be recovered.


A Foundation for Ledger Structures. This paper introduces an approach to constructing ledger structures for cryptocurrency systems with basic category theory. Compositional theories of resource convertibility allow us to express the material history of virtual goods, and ownership is modelled by a free construction. Our notion of ownership admits an intuitive graphical representation through string diagrams for monoidal functors.


Human Factors in Model Interpretability Industry Practices, Challenges, and Needs. As the use of machine learning (ML) models in product development and data driven decision making processes became pervasive in many domains, people's focus on building a well performing model has increasingly shifted to understanding how their model works. While scholarly interest in model interpretability has grown rapidly in research communities like HCI, ML, and beyond, little is known about how practitioners perceive and aim to provide interpretability in the context of their existing workflows. This lack of understanding of interpretability as practiced may prevent interpretability research from addressing important needs, or lead to unrealistic solutions. To bridge this gap, we conducted 22 semi structured interviews with industry practitioners to understand how they conceive of and design for interpretability while they plan, build, and use their models. Based on a qualitative analysis of our results, we differentiate interpretability roles, processes, goals and strategies as they exist within organizations making heavy use of ML models. The characterization of interpretability work that emerges from our analysis suggests that model interpretability frequently involves cooperation and mental model comparison between people in different roles, often aimed at building trust not only between people and models but also between people within the organization. We present implications for design that discuss gaps between the interpretability challenges that practitioners face in their practice and approaches proposed in the literature, highlighting possible research directions that can better address real world needs.


Probabilistic Arzela Ascoli theorem. We prove that, in the space of all probabilistic continuous functions from a probabilistic metric space G to the set Delta of all cumulative distribution functions vanishing at 0, the space of all 1 Lipschitz functions is compact if and only if the space G is compact. This gives a probabilistic Arzela Ascoli type Theorem.


A fitted finite volume method for stochastic optimal control Problems. In this article, we provide a numerical method based on fitted finite volume method to approximate the Hamilton Jacobi Bellman (HJB) equation coming from stochastic optimal control problems. The computational challenge is due to the nature of the HJB equation, which may be a second order degenerated partial differential equation coupled with optimization. In the work, we discretize the HJB equation using the fitted finite volume method and show that matrix resulting from spatial discretization is an M matrix. The optimization problem is solved at every time step using iterative method. Numerical results are presented to show the robustness of the fitted finite volume numerical method comparing to the standard finite difference method.


HACCLE Metaprogramming for Secure Multi Party Computation Extended Version. Cryptographic techniques have the potential to enable distrusting parties to collaborate in fundamentally new ways, but their practical implementation poses numerous challenges. An important class of such cryptographic techniques is known as Secure Multi Party Computation (MPC). Developing Secure MPC applications in realistic scenarios requires extensive knowledge spanning multiple areas of cryptography and systems. And while the steps to arrive at a solution for a particular application are often straightforward, it remains difficult to make the implementation efficient, and tedious to apply those same steps to a slightly different application from scratch. Hence, it is an important problem to design platforms for implementing Secure MPC applications with minimum effort and using techniques accessible to non experts in cryptography. In this paper, we present the HACCLE (High Assurance Compositional Cryptography Languages and Environments) toolchain, specifically targeted to MPC applications. HACCLE contains an embedded domain specific language Harpoon, for software developers without cryptographic expertise to write MPC based programs, and uses Lightweight Modular Staging (LMS) for code generation. Harpoon programs are compiled into acyclic circuits represented in HACCLE's Intermediate Representation (HIR) that serves as an abstraction over different cryptographic protocols such as secret sharing, homomorphic encryption, or garbled circuits. Implementations of different cryptographic protocols serve as different backends of our toolchain. The extensible design of HIR allows cryptographic experts to plug in new primitives and protocols to realize computation. And the use of standard metaprogramming techniques lowers the development effort significantly.


LayoutMP3D Layout Annotation of Matterport3D. Inferring the information of 3D layout from a single equirectangular panorama is crucial for numerous applications of virtual reality or robotics (e.g., scene understanding and navigation). To achieve this, several datasets are collected for the task of 360 layout estimation. To facilitate the learning algorithms for autonomous systems in indoor scenarios, we consider the Matterport3D dataset with their originally provided depth map ground truths and further release our annotations for layout ground truths from a subset of Matterport3D. As Matterport3D contains accurate depth ground truths from time of flight (ToF) sensors, our dataset provides both the layout and depth information, which enables the opportunity to explore the environment by integrating both cues.


Driven dust vortex characteristics in plasma with external transverse and weak magnetic field. The two dimensional hydrodynamic model for bounded dust flow dynamics in plasma is extended for analysis of driven vortex characteristics in presence of external transverse and weak magnetic field ( bf B ) in a planner setup and parametric regimes motivated by recent magnetized dusty plasma (MDP) experiments. This analysis has shown that shear in the bf B can produce a shear internal field ( bf E a ) in between electrons and ions due to the bf E times bf B and nabla bf B times bf B drifts that cause rotation of dust cloud levitated in the plasma. The flow solution demonstrates that neutral pressure decides the dominance between the ions drag and the bf E a force. The shear ions drag generates an anti clockwise circular vortical structure, whereas the shear bf E a force is very localized and gives rise to a clockwise D shaped elliptical structure which turns into a meridional structure with decreasing bf B . Effect of system parameters including the strength of bf B by varying its magnitude and shear mode numbers and the sheath field are analyzed within the weak MDP regime, showing noticeable changes in the flow structure and its momentum. In the parametric regime of high pressure and lower bf B , the bf E a force becomes comparable or dominant over the ion drag and peculiar counter rotating vortex pairs are developed in the domain. Further, when the bf B is flipped by 180 0 degree, both the drivers act together and give rise to a single strong meridional structure, showing the importance of bf B direction in MDP systems. It further discussed similar elliptical meridional structures reported in several MDP experiments and relevant natural driven dissipative flow systems.


Existence of a T periodic solution for the monodomain model corresponding to an isolated ventricle due to ionic diffusive relations. In this paper, we find relations between the ionic parameters and the diffusion parameters which are sufficient to ensure the existence of a periodic solution for a well known monodomain model in a weak sense. We make use of the method of approximation of Faedo Galerkin to prove the existence of weak periodic solutions of the monodomain model for the electrical activity of the heart assuming that it is periodically activated in its boundaries. Actually, this periodic solution has the same period of activation. Finally, we reflect on how these ionic diffusive relations are useful to explain the pathophysiology of some rhythm disorders.


Non explosion by Stratonovich noise for ODEs. We show that the addition of a suitable Stratonovich noise prevents the explosion for ODEs with drifts of super linear growth, in dimension d ge 2 . We also show the existence of an invariant measure and the geometric ergodicity for the corresponding SDE.


A new method to compute periodic orbits in general symplectic maps. The search of high order periodic orbits has been typically restricted to problems with symmetries that help to reduce the dimension of the search space. Well known examples include reversible maps with symmetry lines. The present work proposes a new method to compute high order periodic orbits in twist maps without the use of symmetries. The method is a combination of the parameterization method in Fourier space and a Newton Gauss multiple shooting scheme. The parameterization method has been successfully used in the past to compute quasi periodic invariant circles. However, this is the first time that this method is used in the context of periodic orbits. Numerical examples are presented showing the accuracy and efficiency of the proposed method. The method is also applied to verify the renormalization prediction of the residues' convergence at criticality (extensively studied in reversible maps) in the relatively unexplored case of maps without symmetries.


Depth thermography non invasive 3D temperature profiling using infrared thermal emission. We introduce a technique based on infrared thermal emission, termed depth thermography, that can remotely measure the temperature distribution beneath the surface of certain objects. Depth thermography utilizes the thermal emission spectrum in the semitransparent spectral region of the target object to extract its temperature as a function of depth, in contrast with conventional thermography, which uses the spectrally integrated thermally emitted power to measure the surface temperature. Coupled with two dimensional imaging, e.g., using an infrared hyperspectral camera or scanning a single pixel spectrometer, this technique can yield volumetric temperature distributions. We carried out a proof of concept experiment on an asymmetrically heated fused silica window, extracting the temperature distribution throughout the sample. Depth thermography may enable noncontact volumetric temperature measurements of microscopic objects such as multilayer electronic devices or macroscopic volumes of liquids and gasses as well as simultaneous all optical measurements of optical and thermal properties.


Analysis of evanescently coupled pairs of spin polarised vertical cavity surface emitting lasers. A general model for the dynamics of arrays of coupled, spin polarised lasers is derived, which is shown to reduce to both the spin flip model in a single cavity and the coupled mode model for a pair of guides in the appropriate limit. The general model is able to deal with waveguides of any geometry with any number of supported normal modes. A unique feature of the model is that it allows for independent polarisation of the pumping in each laser. The particular geometry is shown to be introduced via overlap factors', which are a generalisation of the optical confinement factor. These factors play an important role in determining the laser dynamics. The model is specialised to the case of a general double guided structure, which is then analysed and simulated numerically. For this case it is found that increasing the ellipticity of the pumping tends to enhance the regions where stable solutions are predicted in the plane of pumping strength versus guide separation.


A multi material topology optimization algorithm based on the topological derivative. We present a level set based topology optimization algorithm for design optimization problems involving an arbitrary number of different materials, where the evolution of a design is solely guided by topological derivatives. Our method can be seen as an extension of the algorithm that was introduced in (Amstutz, Andrae 2006) for two materials to the case of an arbitrary number M of materials. We represent a design that consists of multiple materials by means of a vector valued level set function which maps into mathbb R M 1 . We divide the space mathbb R M 1 into M sectors, each corresponding to one material, and establish conditions for local optimality of a design based on certain generalized topological derivatives. The optimization algorithm consists in a fixed point iteration striving to reach this optimality condition. Like the two material version of the algorithm, also our method possesses a nucleation mechanism such that it is not necessary to start with a perforated initial design. We show numerical results obtained by applying the algorithm to an academic example as well as to the compliance minimization in linearized elasticity.


Depth Quality Aware Salient Object Detection. The existing fusion based RGB D salient object detection methods usually adopt the bi stream structure to strike the fusion trade off between RGB and depth (D). The D quality usually varies from scene to scene, while the SOTA bi stream approaches are depth quality unaware, which easily result in substantial difficulties in achieving complementary fusion status between RGB and D, leading to poor fusion results in facing of low quality D. Thus, this paper attempts to integrate a novel depth quality aware subnet into the classic bi stream structure, aiming to assess the depth quality before conducting the selective RGB D fusion. Compared with the SOTA bi stream methods, the major highlight of our method is its ability to lessen the importance of those low quality, no contribution, or even negative contribution D regions during the RGB D fusion, achieving a much improved complementary status between RGB and D.


In house beam splitting pulse compressor with compensated spatiotemporal coupling for high energy petawatt lasers. One of the most serious bottleneck on achieving kilojoule level high energy petawatt (PW) to hundreds petawatt (100PW) lasers with ps to fs pulse duration is the requirement of as large as meter sized gratings in the compressor so as to avoid the laser induced damage to the gratings. However, this kind of meter sized grating with high quality is hard to manufacture so far. Here, we propose a new in house beam splitting compressor based on the property that the damage threshold of gratings depend on the pulse duration. The new scheme will simultaneously improve the stability, save expensive gratings, and simplify the size of compressor because the split beams share the first two parallel gratings. Furthermore, based on the fact that the transmitted wavefront of a glass plate can be much better and more precisely controlled than that of the diffraction wavefront of a large grating, then glass plates with designed transmitted wavefront are proposed to compensate the wavefront distortion introduced by the second, the third gratings, and other optics in house such as the beam splitter. This simple and economical method can compensate the space time distortion in the compressor and then improve the focal intensity, which otherwise cannot be compensated by the deformable mirror outside the compressor due to angular chirp. Together with multi beams tiled aperture combining scheme, the novel compressor provides a new scheme to achieve high energy PW 100PW lasers or even exawatt lasers with relatively small gratings in the future.


On a phase field model of Cahn Hilliard type for tumour growth with mechanical effects. Mechanical effects have mostly been neglected so far in phase field tumour models that are based on a Cahn Hilliard approach. In this paper we study a macroscopic mechanical model for tumour growth in which cell cell adhesion effects are taken into account with the help of a Ginzburg Landau type energy. In the overall model an equation of Cahn Hilliard type is coupled to the system of linear elasticity and a reaction diffusion equation for a nutrient concentration. The highly non linear coupling between a fourth order Cahn Hilliard equation and the quasi static elasticity system lead to new challenges which cannot be dealt within a gradient flow setting which was the method of choice for other elastic Cahn Hilliard systems. We show existence, uniqueness and regularity results. In addition, several continuous dependence results with respect to different topologies are shown. Some of these results give uniqueness for weak solutions and other results will be helpful for optimal control problems.


supercharacter table of certain finite groups. Supercharacter theory is developed by P. Diaconis and I. M. Isaacs as a natural generalization of the classical ordinary character theory. Some classical sums of number theory appear as supercharacters which are obtained by the action of certain subgroups of GLd(Zn) on Zdn. In this paper we take Zdp , p prime, and by the action of certain subgroups of GLd(Zp) we find supercharacter table of Zdp .