Stationary characters on lattices of semisimple Lie groups. We show that stationary characters on irreducible lattices Gamma G of higher rank connected semisimple Lie groups are conjugation invariant, that is, they are genuine characters. This result has several applications in representation theory, operator algebras, ergodic theory and topological dynamics. In particular, we show that for any such irreducible lattice Gamma G , the left regular representation lambda Gamma is weakly contained in any weakly mixing representation pi . We prove that for any such irreducible lattice Gamma G , any uniformly recurrent subgroup (URS) of Gamma is finite, answering a question of Glasner Weiss. We also obtain a new proof of Peterson's character rigidity result for irreducible lattices Gamma G . The main novelty of our paper is a structure theorem for stationary actions of lattices on von Neumann algebras.


AI Tax The Hidden Cost of AI Data Center Applications. Artificial intelligence and machine learning are experiencing widespread adoption in industry and academia. This has been driven by rapid advances in the applications and accuracy of AI through increasingly complex algorithms and models this, in turn, has spurred research into specialized hardware AI accelerators. Given the rapid pace of advances, it is easy to forget that they are often developed and evaluated in a vacuum without considering the full application environment. This paper emphasizes the need for a holistic, end to end analysis of AI workloads and reveals the "AI tax." We deploy and characterize Face Recognition in an edge data center. The application is an AI centric edge video analytics application built using popular open source infrastructure and ML tools. Despite using state of the art AI and ML algorithms, the application relies heavily on pre and post processing code. As AI centric applications benefit from the acceleration promised by accelerators, we find they impose stresses on the hardware and software infrastructure storage and network bandwidth become major bottlenecks with increasing AI acceleration. By specializing for AI applications, we show that a purpose built edge data center can be designed for the stresses of accelerated AI at 15 lower TCO than one derived from homogeneous servers and infrastructure.


Hierarchical Kinematic Human Mesh Recovery. We consider the problem of estimating a parametric model of 3D human mesh from a single image. While there has been substantial recent progress in this area with direct regression of model parameters, these methods only implicitly exploit the human body kinematic structure, leading to sub optimal use of the model prior. In this work, we address this gap by proposing a new technique for regression of human parametric model that is explicitly informed by the known hierarchical structure, including joint interdependencies of the model. This results in a strong prior informed design of the regressor architecture and an associated hierarchical optimization that is flexible to be used in conjunction with the current standard frameworks for 3D human mesh recovery. We demonstrate these aspects by means of extensive experiments on standard benchmark datasets, showing how our proposed new design outperforms several existing and popular methods, establishing new state of the art results. By considering joint interdependencies, our method is equipped to infer joints even under data corruptions, which we demonstrate by conducting experiments under varying degrees of occlusion.


Exploring the Design Space of Aesthetics with the Repertory Grid Technique. By optimizing aesthetics, graph diagrams can be generated that are easier to read and understand. However, the challenge lies in identifying suitable aesthetics. We present a novel approach based on repertory grids to explore the design space of aesthetics systematically. We applied our approach with three independent groups of participants to systematically identify graph aesthetics. In all three cases, we were able to reproduce the aesthetics with positively evaluated influence on readability without any prior knowledge. We also applied our approach to two and three dimensional domain specific software visualizations to demonstrate its versatility. In this case, we were also able to acquire several aesthetics that are relevant for perceiving the visualization.


The Galois action on symplectic K theory. We study a symplectic variant of algebraic K theory of the integers, which comes equipped with a canonical action of the absolute Galois group of mathbf Q . We compute this action explicitly. The representations we see are extensions of Tate twists mathbf Z p(2k 1) by a trivial representation, and we characterize them by a universal property among such extensions. The key tool in the proof is the theory of complex multiplication for abelian varieties.


On viscid inviscid interactions of a pair of bubbles rising near the wall. Series of experiments on turbulent bubbly channel flows observed bubble clusters near the wall which can change large scale flow structures. To gain insights into clustering mechanisms, we study the interaction of a pair of spherical bubbles rising in a vertical channel through combined experiments and modeling. Experimental imaging identifies that pairwise bubbles of 1.0 mm diameter take two preferred configurations depending on their mutual distance side by side positions for a short distance ( S 5 ) and nearly inline, oblique positions for a long distance ( S 5 ), where S is the mutual distance normalized by the bubble radius. In the model, we formulate the motions of pairwise bubbles rising at Re O(100) . Analytical drag and lift, and semi empirical, spatio temporal stochastic forcing are employed to represent the mean acceleration and the fluctuation due to turbulent agitation, respectively. The model is validated against the experiment through comparing Lagrangian statistics of the bubbles. Simulations using this model identify two distinct timescales of interaction dynamics which elucidate the preferred configurations. For pairs initially in line, the trailing bubble rapidly escapes from the viscous wake of the leading bubble to take the oblique position. Outside of the wake, the trailing bubble travels on a curve line path with a slower velocity driven by potential interaction and horizontally approaches the leading bubble to become side by side. Moreover, statistical analysis identifies that the combination of the wake and the agitation can significantly accelerate the side by side clustering of in line pairs. These results indicate positive contributions of liquid viscosity and turbulence to the formation of bubble clusters.


Observation of geometric phase for unpolarized and partially polarized light fields. Geometric phase, owing to its topological nature and properties of fault tolerance, plays an important role in devising real world applications in both classical and quantum domain. For classical systems, geometric phase has been observed and studied so far for fully polarized light only. Using an interferometric experiment we demonstrate, for the first time, the existence of Pancharatnam Berry phase for states covering all empty space inside the Poincar 'e sphere namely the unpolarized and partially polarized light fields. The observed geometric phase is found identical to its fully polarized counterpart in excellent agreement with the theoretical predictions.


Scene recognition based on DNN and game theory with its applications in human robot interaction. Scene recognition model based on the DNN and game theory with its applications in human robot interaction is proposed in this paper. The use of deep learning methods in the field of scene recognition is still in its infancy, but has become an important trend in the future. As the innovative idea of the paper, we propose the following novelties. (1) In this paper, the image registration problem is transformed into a problem of minimum energy in Markov Random Field to finalize the image pre processing task. Game theory is used to find the optimal. (2) We select neighboring homogeneous sample features and the neighboring heterogeneous sample features for the extracted sample features to build a triple and modify the traditional neural network to propose the novel DNN for scene understanding. (3) The robot control is well combined to guide the robot vision for multiple tasks. The experiment is then conducted to validate the overall performance.


A dynamical approach to the Sard problem in Carnot groups. We introduce a dynamical systems approach for the study of the Sard problem in sub Riemannian Carnot groups. We show that singular curves can be obtained by concatenating trajectories of suitable dynamical systems. As an applications, we positively answer the Sard problem in some classes of Carnot groups.


The covalent radii derived from the first principle data. We present a collection of covalent radii for the elements H, B, C, N, O, F, Si, P, S, Cl, Ge, As, Se, Br, derived from the recently introduced systematic non empirical dataset of the covalent bond lengths. As the underlying bond lengths dataset was built basing on 26050 molecular geometries and bond graphs data obtained from quantum chemical calculations with almost no input of empirical data, the presented covalent radii can be referred to as the first principle ones. The obtained first principle covalent radii are in good agreement with their empirical counterparts available in the literature. The distributions of deviations between the sum of proposed radii and the true bond lengths are analyzed in details, with emphasis put on the role of the electron delocalization on the bond lengths. Corrections to the additive covalent radii model due to the difference in the elements electronegativities are derived for both Pauling and Mulliken electronegativity scales.


TubeTK Adopting Tubes to Track Multi Object in a One Step Training Model. Multi object tracking is a fundamental vision problem that has been studied for a long time. As deep learning brings excellent performances to object detection algorithms, Tracking by Detection (TBD) has become the mainstream tracking framework. Despite the success of TBD, this two step method is too complicated to train in an end to end manner and induces many challenges as well, such as insufficient exploration of video spatial temporal information, vulnerability when facing object occlusion, and excessive reliance on detection results. To address these challenges, we propose a concise end to end model TubeTK which only needs one step training by introducing the bounding tube" to indicate temporal spatial locations of objects in a short video clip. TubeTK provides a novel direction of multi object tracking, and we demonstrate its potential to solve the above challenges without bells and whistles. We analyze the performance of TubeTK on several MOT benchmarks and provide empirical evidence to show that TubeTK has the ability to overcome occlusions to some extent without any ancillary technologies like Re ID. Compared with other methods that adopt private detection results, our one stage end to end model achieves state of the art performances even if it adopts no ready made detection results. We hope that the proposed TubeTK model can serve as a simple but strong alternative for video based MOT task. The code and models are available at https github.com BoPang1996 TubeTK.


Prevalent uniqueness in ergodic optimisation. One of the fundamental results of ergodic optimisation asserts that for any dynamical system on a compact metric space X and for any Banach space of continuous real valued functions on X which embeds densely in C(X) there exists a residual set of functions in that Banach space for which the maximising measure is unique. We extend this result by showing that this residual set is additionally prevalent, answering a question of J. Bochi and Y. Zhang.


Essential Scattering Applications for Everyone. Overview. ESCAPE is a free python package and framework for creating applications for simulating and fitting of X ray and neutron scattering data with current support for specular reflectivity, polarized neutron reflectometry, high resolution X ray diffraction, small angle scattering with future support for off specular scattering from structured samples with complicated morphology. Utilizing current features of Jupyter project, it allows to create highly customized applications in the format of notebooks. These notebooks, being shared with other users, can be used directly or started as web applications with graphical user interface. This paper is a brief overview of the core and scattering packages providing description of the major features with code examples. The following features make ESCAPE different from other projects independent from scattering applications core, which provides access to models building blocks like parameters, variables, functors, data objects, models and optimizers support of arithmetic operations and algebraic expressions on parameters and functors, offering models with complex dependencies of parameters math module with standard mathematical functors and special functors which perform numerical integration over variable or parameter, supplying customization of intensity model simultaneous fit of several models, also for models with different dimensions. Check our web site https escape app.net for further information.


Single participant structural connectivity matrices lead to greater accuracy in classification of participants than function in autism in MRI. In this work, we introduce a technique of deriving symmetric connectivity matrices from regional histograms of grey matter volume estimated from T1 weighted MRIs. We then validated the technique by inputting the connectivity matrices into a convolutional neural network (CNN) to classify between participants with autism and age , motion , and intracranial volume matched controls from six different databases (29,288 total connectomes, mean age 30.72, range 0.42 78.00, including 1555 subjects with autism). We compared this method to similar classifications of the same participants using fMRI connectivity matrices as well as univariate estimates of grey matter volumes. We further applied graph theoretical metrics on output class activation maps to identify areas of the matrices that the CNN preferentially used to make the classification, focusing particularly on hubs. Our results gave AUROCs of 0.7298 (69.71 accuracy) when classifying by only structural connectivity, 0.6964 (67.72 accuracy) when classifying by only functional connectivity, and 0.7037 (66.43 accuracy) when classifying by univariate grey matter volumes. Combining structural and functional connectivities gave an AUROC of 0.7354 (69.40 accuracy). Graph analysis of class activation maps revealed no distinguishable network patterns for functional inputs, but did reveal localized differences between groups in bilateral Heschl's gyrus and upper vermis for structural connectivity. This work provides a simple means of feature extraction for inputting large numbers of structural MRIs into machine learning models.


Curating Long term Vector Maps. Autonomous service mobile robots need to consistently, accurately, and robustly localize in human environments despite changes to such environments over time. Episodic non Markov Localization addresses the challenge of localization in such changing environments by classifying observations as arising from Long Term, Short Term, or Dynamic Features. However, in order to do so, EnML relies on an estimate of the Long Term Vector Map (LTVM) that does not change over time. In this paper, we introduce a recursive algorithm to build and update the LTVM over time by reasoning about visibility constraints of objects observed over multiple robot deployments. We use a signed distance function (SDF) to filter out observations of short term and dynamic features from multiple deployments of the robot. The remaining long term observations are used to build a vector map by robust local linear regression. The uncertainty in the resulting LTVM is computed via Monte Carlo resampling the observations arising from long term features. By combining occupancy grid based SDF filtering of observations with continuous space regression of the filtered observations, our proposed approach builds, updates, and amends LTVMs over time, reasoning about all observations from all robot deployments in an environment. We present experimental results demonstrating the accuracy, robustness, and compact nature of the extracted LTVMs from several long term robot datasets.


Digital Passport A Novel Technological Strategy for Intellectual Property Protection of Convolutional Neural Networks. In order to prevent deep neural networks from being infringed by unauthorized parties, we propose a generic solution which embeds a designated digital passport into a network, and subsequently, either paralyzes the network functionalities for unauthorized usages or maintain its functionalities in the presence of a verified passport. Such a desired network behavior is successfully demonstrated in a number of implementation schemes, which provide reliable, preventive and timely protections against tens of thousands of fake passport deceptions. Extensive experiments also show that the deep neural network performance under unauthorized usages deteriorate significantly (e.g. with 33 to 82 reductions of CIFAR10 classification accuracies), while networks endorsed with valid passports remain intact.


On odd deficient perfect numbers with four distinct prime divisors. For a positive integer n , let sigma(n) denote the sum of the positive divisors of n . Let d be a proper divisor of n . We call n a deficient perfect number if sigma(n) 2n d . In this paper, we show that the only odd deficient perfect number with four distinct prime divisors is 3 2 cdot 7 2 cdot 11 2 cdot 13 2 .


A microscopic approach to Souslin tree construction, Part II. In Part I of this series, we presented the microscopic approach to Souslin tree constructions, and argued that all known diamondsuit based constructions of Souslin trees with various additional properties may be rendered as applications of our approach. In this paper, we show that constructions following the same approach may be carried out even in the absence of diamondsuit . In particular, we obtain a new weak sufficient condition for the existence of Souslin trees at the level of a strongly inaccessible cardinal. We also present a new construction of a Souslin tree with an ascent path, thereby increasing the consistency strength of such a tree's nonexistence from a Mahlo cardinal to a weakly compact cardinal. Section 2 of this paper is targeted at newcomers with minimal background. It offers a comprehensive exposition of the subject of constructing Souslin trees and the challenges involved.


Translation of Tschebotarow's "The Problem of Resolvents and Critical Manifolds". This is an English translation of "The Problem of Resolvents and Critical Manifolds" by Tschebotarow Chebotarev. In this article, Chebotarev explains his work on resolvent problems using critical manifolds. The current ideas of resolvent degree and essential dimension arose out of the resolvent problems Chebotarev addresses here. Original abstract by Chebotarev "This paper is devoted to the study of the problem of resolvents, i.e., the problem of finding the resolvent by a given equation, whose coefficients depend on several independent parameters, the number of parameters in the coefficients being as small as possible. The author connects the problem to the study of critical manifolds in the space of equation parameters."


Improving Robustness to Model Inversion Attacks via Mutual Information Regularization. This paper studies defense mechanisms against model inversion (MI) attacks a type of privacy attacks aimed at inferring information about the training data distribution given the access to a target machine learning model. Existing defense mechanisms rely on model specific heuristics or noise injection. While being able to mitigate attacks, existing methods significantly hinder model performance. There remains a question of how to design a defense mechanism that is applicable to a variety of models and achieves better utility privacy tradeoff. In this paper, we propose the Mutual Information Regularization based Defense (MID) against MI attacks. The key idea is to limit the information about the model input contained in the prediction, thereby limiting the ability of an adversary to infer the private training attributes from the model prediction. Our defense principle is model agnostic and we present tractable approximations to the regularizer for linear regression, decision trees, and neural networks, which have been successfully attacked by prior work if not attached with any defenses. We present a formal study of MI attacks by devising a rigorous game based definition and quantifying the associated information leakage. Our theoretical analysis sheds light on the inefficacy of DP in defending against MI attacks, which has been empirically observed in several prior works. Our experiments demonstrate that MID leads to state of the art performance for a variety of MI attacks, target models and datasets.


Human Mars Mission Architecture Plan to Settle the Red Planet with 1000 People. Exploration is one of the attentive endeavor to mankind and a strategy for evolution. We have been incessantly reconnoitering our planet and universe from Mesopotamian era to modern era. The progression of rocketry and planetary science in past century engendered a futuristic window to explore Mars which have been a source of inspiration to hundreds of astronomers and scientists. Globally, it invigorated space exploration agencies to make expedition for planetary exploration to Mars and Human Mars Missions. Scientists and engineers have portrayed numerous Human Mars Mission proposals and plans but currently the design reference mission 5.0 of NASA is the only mission under study. Here we propose a mission architecture for permanent Human Mars Settlement with 1000 peoples with multiple launch of sufficient cargoes and scientific instruments


MacLeR Machine Learning based Run Time Hardware Trojan Detection in Resource Constrained IoT Edge Devices. Traditional learning based approaches for run time Hardware Trojan detection require complex and expensive on chip data acquisition frameworks and thus incur high area and power overhead. To address these challenges, we propose to leverage the power correlation between the executing instructions of a microprocessor to establish a machine learning based run time Hardware Trojan (HT) detection framework, called MacLeR. To reduce the overhead of data acquisition, we propose a single power port current acquisition block using current sensors in time division multiplexing, which increases accuracy while incurring reduced area overhead. We have implemented a practical solution by analyzing multiple HT benchmarks inserted in the RTL of a system on chip (SoC) consisting of four LEON3 processors integrated with other IPs like vga lcd, RSA, AES, Ethernet, and memory controllers. Our experimental results show that compared to state of the art HT detection techniques, MacLeR achieves 10 better HT detection accuracy (i.e., 96.256 ) while incurring a 7x reduction in area and power overhead (i.e., 0.025 of the area of the SoC and 0.07 of the power of the SoC). In addition, we also analyze the impact of process variation and aging on the extracted power profiles and the HT detection accuracy of MacLeR. Our analysis shows that variations in fine grained power profiles due to the HTs are significantly higher compared to the variations in fine grained power profiles caused by the process variations (PV) and aging effects. Moreover, our analysis demonstrates that, on average, the HT detection accuracy drop in MacLeR is less than 1 and 9 when considering only PV and PV with worst case aging, respectively, which is 10x less than in the case of the state of the art ML based HT detection technique.


Mapping classes are almost determined by their finite quotient actions. Given any connected compact orientable surface, a pair of mapping classes are said to be procongruently conjugate if they induce a conjugate pair of outer automophisms on the profinite completion of the fundamental group of the surface. For example, this occurs if they induce conjugate outer automorphisms on every characteristic finite quotient of the fundamental group. In this paper, it is shown that every procongruent conjugacy class of mapping classes, as a subset of the surface mapping class group, is the disjoint union of at most finitely many conjugacy classes of mapping classes. For any pseudo Anosov mapping class of a connected closed orientable surface, several topological features are confirmed to depend only on the procongurent conjugacy class of the mapping class, including the stretching factor, the topological type of the prong singularities, the transverse orientability of the invariant foliations, and the isomorphism type of the symplectic Floer homology.


Schubert polynomial analogues for degenerate involutions. We survey the recent study of involution Schubert polynomials and a modest generalization that we call degenerate involution Schubert polynomials. We cite several conditions when (degenerate) involution Schubert polynomials have simple factorization formulae. Such polynomials can be computed by traversing through chains in certain weak order posets, and we provide explicit descriptions of such chains in weak order for involutions and degenerate involutions. As an application, we give several examples of how certain multiplicity free sums of Schubert polynomials factor completely into very simple linear factors.


Reducing Unintended Identity Bias in Russian Hate Speech Detection. Toxicity has become a grave problem for many online communities and has been growing across many languages, including Russian. Hate speech creates an environment of intimidation, discrimination, and may even incite some real world violence. Both researchers and social platforms have been focused on developing models to detect toxicity in online communication for a while now. A common problem of these models is the presence of bias towards some words (e.g. woman, black, jew) that are not toxic, but serve as triggers for the classifier due to model caveats. In this paper, we describe our efforts towards classifying hate speech in Russian, and propose simple techniques of reducing unintended bias, such as generating training data with language models using terms and words related to protected identities as context and applying word dropout to such words.


On the number of limit cycles bifurcating from the linear center with an algebraic switching curve. This paper studies the family of piecewise linear differential systems in the plane with two pieces separated by a switching curve y x m , where m 1 is an arbitrary positive. By analysing the first order Melnikov function, we give an upper bound and an lower bound of the maximum number of limit cycles which bifurcate from the period annulus around the origin under polynomial perturbations of degree n . The results shows that the degree of switching curves affect the number of limit cycles.


Log based software monitoring a systematic mapping study. Modern software development and operations rely on monitoring to understand how systems behave in production. The data provided by application logs and runtime environment are essential to detect and diagnose undesired behavior and improve system reliability. However, despite the rich ecosystem around industry ready log solutions, monitoring complex systems and getting insights from log data remains a challenge. Researchers and practitioners have been actively working to address several challenges related to logs, e.g., how to effectively provide better tooling support for logging decisions to developers, how to effectively process and store log data, and how to extract insights from log data. A holistic view of the research effort on logging practices and automated log analysis is key to provide directions and disseminate the state of the art for technology transfer. In this paper, we study 108 papers (72 research track papers, 24 journals, and 12 industry track papers) from different communities (e.g., machine learning, software engineering, and systems) and structure the research field in light of the life cycle of log data. Our analysis shows that (1) logging is challenging not only in open source projects but also in industry, (2) machine learning is a promising approach to enable a contextual analysis of source code for log recommendation but further investigation is required to assess the usability of those tools in practice, (3) few studies approached efficient persistence of log data, and (4) there are open opportunities to analyze application logs and to evaluate state of the art log analysis techniques in a DevOps context.


A Constructive Formalization of the Weak Perfect Graph Theorem. The Perfect Graph Theorems are important results in graph theory describing the relationship between clique number omega(G) and chromatic number chi(G) of a graph G . A graph G is called emph perfect if chi(H) omega(H) for every induced subgraph H of G . The Strong Perfect Graph Theorem (SPGT) states that a graph is perfect if and only if it does not contain an odd hole (or an odd anti hole) as its induced subgraph. The Weak Perfect Graph Theorem (WPGT) states that a graph is perfect if and only if its complement is perfect. In this paper, we present a formal framework for working with finite simple graphs. We model finite simple graphs in the Coq Proof Assistant by representing its vertices as a finite set over a countably infinite domain. We argue that this approach provides a formal framework in which it is convenient to work with different types of graph constructions (or expansions) involved in the proof of the Lov ' a sz Replication Lemma (LRL), which is also the key result used in the proof of Weak Perfect Graph Theorem. Finally, we use this setting to develop a constructive formalization of the Weak Perfect Graph Theorem.


Rapid production of defect free beryllium ion Coulomb crystals. Trapped atomic ions find wide applications ranging from precision measurement to quantum information science and quantum computing. Among the different atomic species employed, beryllium ions are widely used due to its light mass and convenient atomic structure. However, the ion loading process requires a high temperature for sufficient vapor pressure, generating undesirable gas load for the background vacuum and limiting the lifetime of a long ion chain. Here, we demonstrate a simple method to rapidly produce pure linear chains of beryllium ions with pulsed laser ablation, serving as a starting point for large scale quantum information processing. Our method is fast compared to thermal ovens reduces the vacuum load to only 10 ( 12) Torr level yields a short recovery time of a few seconds and also eliminates the need for a deep ultraviolet laser for photo ionization. In addition, we apply feedback control to obtain defect free ion arrays with desirable lengths.


Entropic Measures of Complexity in a New Medical Coding System. Background Transitioning from an old medical coding system to a new one can be challenging, especially when the two coding systems are significantly different. The US experienced such a transition in 2015. Objective This research aims to introduce entropic measures to help users prepare for the migration to a new medical coding system by identifying and focusing preparation initiatives on clinical concepts with more likelihood of transition challenges. Methods Two entropic measures of coding complexity are introduced. The first measure is a function of the variation in the alphabets of new codes. The second measure is based on the possible number of valid representations of an old code. Results A demonstration of how to implement the proposed techniques is carried out using the 2015 mappings between ICD 9 CM and ICD 10 CM PCS. The significance of the resulting entropic measures is discussed in the context of clinical concepts that were likely to pose challenges regarding documentation, coding errors, and longitudinal data comparisons. Conclusion The proposed entropic techniques are suitable to assess the complexity between any two medical coding systems where mappings or crosswalks exist. The more the entropy, the more likelihood of transition challenges. Users can utilize the suggested techniques as a guide to prioritize training efforts to improve documentation and increase the chances of accurate coding, code validity, and longitudinal data comparisons.


On a class of singular nonlinear first order partial differential equations. In this paper, we consider a class of singular nonlinear first order partial differential equations t( partial u partial t) F(t,x,u, partial u partial x) with (t,x) in mathbb R times mathbb C under the assumption that F(t,x,z 1,z 2) is a function which is continuous in t and holomorphic in the other variables. Under suitable conditions, we determine all the solutions of this equation in a neighborhood of the origin.


A Neural Dynamic Model based on Activation Diffusion and a Micro Explanation for Cognitive Operations. The neural mechanism of memory has a very close relation with the problem of representation in artificial intelligence. In this paper a computational model was proposed to simulate the network of neurons in brain and how they process information. The model refers to morphological and electrophysiological characteristics of neural information processing, and is based on the assumption that neurons encode their firing sequence. The network structure, functions for neural encoding at different stages, the representation of stimuli in memory, and an algorithm to form a memory were presented. It also analyzed the stability and recall rate for learning and the capacity of memory. Because neural dynamic processes, one succeeding another, achieve a neuron level and coherent form by which information is represented and processed, it may facilitate examination of various branches of Artificial Intelligence, such as inference, problem solving, pattern recognition, natural language processing and learning. The processes of cognitive manipulation occurring in intelligent behavior have a consistent representation while all being modeled from the perspective of computational neuroscience. Thus, the dynamics of neurons make it possible to explain the inner mechanisms of different intelligent behaviors by a unified model of cognitive architecture at a micro level.


The ancient Operational Code is embedded in the amino acid substitution matrix and aaRS phylogenies. The underlying structure of the canonical amino acid substitution matrix (aaSM) is examined by considering stepwise improvements in the differential recognition of amino acids according to their chemical properties during the branching history of the two aminoacyl tRNA synthetase (aaRS) superfamilies. The evolutionary expansion of the genetic code is described by a simple parameterization of the aaSM, in which (i) the number of distinguishable amino acid types, (ii) the matrix dimension, and (iii) the number of parameters, each increases by one for each bifurcation in an aaRS phylogeny. Parameterized matrices corresponding to trees in which the size of an amino acid sidechain is the only discernible property behind its categorization as a substrate, exclusively for a Class I or II aaRS, provide a significantly better fit to empirically determined aaSM than trees with random bifurcation patterns. A second split between polar and nonpolar amino acids in each Class effects a vastly greater further improvement. The earliest Class separated epochs in the phylogenies of the aaRS reflect these enzymes' capability to distinguish tRNAs through the recognition of acceptor stem identity elements via the minor (Class I) and major (Class II) helical grooves, which is how the ancient Operational Code functioned. The advent of tRNA recognition using the anticodon loop supports the evolution of the optimal map of amino acid chemistry found in the later Genetic Code, an essentially digital categorization, in which polarity is the major functional property, compensating for the unrefined, haphazard differentiation of amino acids achieved by the Operational Code.


Efficient long distance relation extraction with DG SpanBERT. In natural language processing, relation extraction seeks to rationally understand unstructured text. Here, we propose a novel SpanBERT based graph convolutional network (DG SpanBERT) that extracts semantic features from a raw sentence using the pre trained language model SpanBERT and a graph convolutional network to pool latent features. Our DG SpanBERT model inherits the advantage of SpanBERT on learning rich lexical features from large scale corpus. It also has the ability to capture long range relations between entities due to the usage of GCN on dependency tree. The experimental results show that our model outperforms other existing dependency based and sequence based models and achieves a state of the art performance on the TACRED dataset.


A lower bound for the number of odd degree representations of a finite group. Let G be a finite group and P a Sylow 2 subgroup of G . We obtain both asymptotic and explicit bounds for the number of odd degree irreducible complex representations of G in terms of the size of the abelianization of P . To do so, we, on one hand, make use of the recent proof of the McKay conjecture for the prime 2 by Malle and Sp " a th, and, on the other hand, prove lower bounds for the class number of the semidirect product of an odd order group acting on an abelian 2 group.


Enhancement of nucleate boiling by combining the effects of surface structure and mixed wettability A lattice Boltzmann study. The combination of microstructures and mixed wettability for enhancing nucleate boiling has attracted much attention in recent years. However, in the existing experimental and numerical studies, the tops of microstructures are entirely subjected to wettability modification, which makes the influences of mixed wettability dependant on the characteristic length of microstructures. In order to disclose the joint effects of surface structure and mixed wettability on nucleate boiling, in this work we propose an improved type of pillar textured surface with mixed wettability, in which the tops of square pillars are partially subjected to wettability modification. Numerical investigation of the boiling heat transfer performance on the improved mixed wettability surface is carried out using a three dimensional thermal multiphase lattice Boltzmann model. The numerical results show that the width of the wettability modified region plays an important role in the boiling performance of the improved mixed wettability surface and the best boiling performance is achieved in the situation that the width of the wettability modified region is sufficiently large but the bubble nucleated on the pillar top still does not interfere with the coalescence departure mechanism of the bubbles nucleated around the pillar, which optimizes the joint effects of surface structure and mixed wettability for enhancing nucleate boiling. The influences of the shape of the wettability modified region are also studied. Among the investigated shapes, the square is found to perform better than the other two shapes.


Complex reflection groups and K3 surfaces I. We construct here many families of K3 surfaces that one can obtain as quotients of algebraic surfaces by some subgroups of the rank four complex reflection groups. We find in total 15 families with at worst ADE singularities. In particular we classify all the K3 surfaces that can be obtained as quotients by the derived subgroup of the previous complex reflection groups. We prove our results by using the geometry of the weighted projective spaces where these surfaces are embedded and the theory of Springer and Lehrer Springer on properties of complex reflection groups. This construction generalizes a previous construction by W. Barth and the second author.


On the numerical solution of a time dependent shape optimization problem for the heat equation. This article is concerned with the solution of a time dependent shape identification problem. Specifically we consider the heat equation in a domain, which contains a time dependent inclusion of zero temperature. The objective is to detect this inclusion from the given temperature and heat flux at the exterior boundary of the domain. To this end, for a given temperature at the exterior boundary, the mismatch of the Neumann data is minimized. This time dependent shape optimization problem is then solved by a gradient based optimization method. Numerical results are presented which validate the present approach.


On modular Harish Chandra series of finite unitary groups. In the modular representation theory of finite unitary groups when the characteristic ell of the ground field is a unitary prime, the hat mathfrak sl e crystal on level 2 Fock spaces graphically describes the Harish Chandra branching of unipotent representations restricted to the tower of unitary groups. However, how to determine the cuspidal support of an arbitrary unipotent representation has remained an open question. We show that for ell sufficiently large, the mathfrak sl infty crystal on the same level 2 Fock spaces provides the remaining piece of the puzzle for the full Harish Chandra branching rule.


Can Machine Learning Model with Static Features be Fooled an Adversarial Machine Learning Approach. The widespread adoption of smartphones dramatically increases the risk of attacks and the spread of mobile malware, especially on the Android platform. Machine learning based solutions have been already used as a tool to supersede signature based anti malware systems. However, malware authors leverage features from malicious and legitimate samples to estimate statistical difference in order to create adversarial examples. Hence, to evaluate the vulnerability of machine learning algorithms in malware detection, we propose five different attack scenarios to perturb malicious applications (apps). By doing this, the classification algorithm inappropriately fits the discriminant function on the set of data points, eventually yielding a higher misclassification rate. Further, to distinguish the adversarial examples from benign samples, we propose two defense mechanisms to counter attacks. To validate our attacks and solutions, we test our model on three different benchmark datasets. We also test our methods using various classifier algorithms and compare them with the state of the art data poisoning method using the Jacobian matrix. Promising results show that generated adversarial samples can evade detection with a very high probability. Additionally, evasive variants generated by our attack models when used to harden the developed anti malware system improves the detection rate up to 50 when using the Generative Adversarial Network (GAN) method.


Dependency aware Attention Control for Unconstrained Face Recognition with Image Sets. This paper targets the problem of image set based face verification and identification. Unlike traditional single media (an image or video) setting, we encounter a set of heterogeneous contents containing orderless images and videos. The importance of each image is usually considered either equal or based on their independent quality assessment. How to model the relationship of orderless images within a set remains a challenge. We address this problem by formulating it as a Markov Decision Process (MDP) in the latent space. Specifically, we first present a dependency aware attention control (DAC) network, which resorts to actor critic reinforcement learning for sequential attention decision of each image embedding to fully exploit the rich correlation cues among the unordered images. Moreover, we introduce its sample efficient variant with off policy experience replay to speed up the learning process. The pose guided representation scheme can further boost the performance at the extremes of the pose variation.


Covariant Contravariant Homotopy Theories. Given a locally presentable category together with a suitable functorial cylinder object, we construct model structures which are sensitive to the direction' of the cylinder. We show that the Covariant and Contravariant model structures on simplicial sets as well as the coCartesian and Cartesian model structures on marked simplicial sets are examples of our formalism. In this setting, notions of final and initial maps and smooth and proper maps arise very naturally and we will identify these maps in the examples.


Recent results for the Landau Lifshitz equation. We give a survey on some recent results concerning the Landau Lifshitz equation, a fundamental nonlinear PDE with a strong geometric content, describing the dynamics of the magnetization in ferromagnetic materials. We revisit the Cauchy problem for the anisotropic Landau Lifshitz equation, without dissipation, for smooth solutions, and also in the energy space in dimension one. We also examine two approximations of the Landau Lifshitz equation given by of the Sine Gordon equation and cubic Schr "odinger equations, arising in certain singular limits of strong easy plane and easy axis anisotropy, respectively. Concerning localized solutions, we review the orbital and asymptotic stability problems for a sum of solitons in dimension one, exploiting the variational nature of the solitons in the hydrodynamical framework. Finally, we survey results concerning the existence, uniqueness and stability of self similar solutions (expanders and shrinkers) for the isotropic Landau Lifshitz equation with Gilbert term. Since expanders are associated with a singular initial condition with a jump discontinuity, we also review their well posedness in spaces linked to the BMO space.


On modifications of fundamental radiative processes in near zero index media of various dimensions. Spontaneous emission, stimulated emission and absorption are the three fundamental radiative processes describing light matter interactions. Here, we theoretically study the behaviour of these fundamental processes inside an unbounded medium exhibiting a vanishingly small refractive index, i.e., a near zero index (NZI) host medium. We present a generalized framework to study these processes and find that the spatial dimension of the NZI medium has profound effects on the nature of the fundamental radiative processes. Our formalism highlights the role of the number of available optical modes as well as the ability of an emitter to couple to these modes as a function of the dimension and the class of NZI media. We demonstrate that the fundamental radiative processes are inhibited in 3D homogeneous lossless zero index materials but may be strongly enhanced in a zero index medium of reduced dimensionality. Our findings have implications in thermal, nonlinear and quantum optics as well as in designing quantum metamaterials at optical or microwave frequencies.


Numbers represented by restricted sums of four squares. In this paper, we prove some results of restricted sums of four squares using arithmetic of quaternions in the ring of Lipschitz integers. For example, we show that every nonnegative integer n can be written as x 2 y 2 z 2 t 2 where x,y,z,t are integers and x y 2z 2t is a square or a cube.


A Neuro Symbolic Method for Solving Differential and Functional Equations. When neural networks are used to solve differential equations, they usually produce solutions in the form of black box functions that are not directly mathematically interpretable. We introduce a method for generating symbolic expressions to solve differential equations while leveraging deep learning training methods. Unlike existing methods, our system does not require learning a language model over symbolic mathematics, making it scalable, compact, and easily adaptable for a variety of tasks and configurations. As part of the method, we propose a novel neural architecture for learning mathematical expressions to optimize a customizable objective. The system is designed to always return a valid symbolic formula, generating a useful approximation when an exact analytic solution to a differential equation is not or cannot be found. We demonstrate through examples how our method can be applied on a number of differential equations, often obtaining symbolic approximations that are useful or insightful. Furthermore, we show how the system can be effortlessly generalized to find symbolic solutions to other mathematical tasks, including integration and functional equations.


Finite Permutation Groups with Few Orbits Under the Action on the Power Set. We study the orbits under the natural action of a permutation group G subseteq S n on the powerset mathscr P ( 1, dots , n ) . The permutation groups having exactly n 1 orbits on the powerset can be characterized as set transitive groups and were fully classified in cite BP55 . In this paper, we establish a general method that allows one to classify the permutation groups with n r set orbits for a given r , and apply it to integers 2 leq r leq 15 using the computer algebra system GAP.


Distribution Aware Coordinate Representation for Human Pose Estimation. While being the de facto standard coordinate representation in human pose estimation, heatmap is never systematically investigated in the literature, to our best knowledge. This work fills this gap by studying the coordinate representation with a particular focus on the heatmap. Interestingly, we found that the process of decoding the predicted heatmaps into the final joint coordinates in the original image space is surprisingly significant for human pose estimation performance, which nevertheless was not recognised before. In light of the discovered importance, we further probe the design limitations of the standard coordinate decoding method widely used by existing methods, and propose a more principled distribution aware decoding method. Meanwhile, we improve the standard coordinate encoding process (i.e. transforming ground truth coordinates to heatmaps) by generating accurate heatmap distributions for unbiased model training. Taking the two together, we formulate a novel Distribution Aware coordinate Representation of Keypoint (DARK) method. Serving as a model agnostic plug in, DARK significantly improves the performance of a variety of state of the art human pose estimation models. Extensive experiments show that DARK yields the best results on two common benchmarks, MPII and COCO, consistently validating the usefulness and effectiveness of our novel coordinate representation idea.


Sample Efficient Low Rank Phase Retrieval. This work studies the Low Rank Phase Retrieval (LRPR) problem recover an n times q rank r matrix X from y k A k top x k , k 1, 2,..., q , when each y k is an m length vector containing independent phaseless linear projections of x k . The different matrices A k are i.i.d. and each contains i.i.d. standard Gaussian entries. We obtain an improved guarantee for AltMinLowRaP, which is an Alternating Minimization solution to LRPR that was introduced and studied in our recent work. As long as the right singular vectors of X satisfy the incoherence assumption, we can show that the AltMinLowRaP estimate converges geometrically to X if the total number of measurements mq gtrsim nr 2 (r log(1 epsilon)) . In addition, we also need m gtrsim max(r, log q, log n) because of the specific asymmetric nature of our problem. Compared to our recent work, we improve the sample complexity of the AltMin iterations by a factor of r 2 , and that of the initialization by a factor of r . We also extend our result to the noisy case we prove stability to corruption by small additive noise.


On the little Weyl group of a real spherical space. In the present paper we further the study of the compression cone of a real spherical homogeneous space Z G H . In particular we provide a geometric construction of the little Weyl group of Z introduced recently by Knop and Kr "otz. Our technique is based on a fine analysis of limits of conjugates of the subalgebra mathrm Lie (H) along one parameter subgroups in the Grassmannian of subspaces of mathrm Lie (G) . The little Weyl group is obtained as a finite reflection group generated by the reflections in the walls of the compression cone.


Reeb flows with small contact volume and large return time to a global section. We show that any co oriented closed contact manifold of dimension at least five admits a contact form such that the contact volume is arbitrarily small but the Reeb flow admits a global hypersurface of section with the property that the minimal period on the boundary of the hypersurface and the first return time in the interior of the hypersurface are bounded below. An immediate consequence of this statement is that every co oriented contact structure on any closed manifold admits a contact form with arbitrarily large systolic ratio. This generalizes the result of Abbondandolo et al. in dimension three to higher dimensions. The proof the main result is inductive and uses the result of Abbondandolo et al. on large systolic ratio in dimension three in its basis step. The essential construction in the proof relies on the Giroux correspondence in higher dimensions.


SSP Single Shot Future Trajectory Prediction. We propose a robust solution to future trajectory forecast, which can be practically applicable to autonomous agents in highly crowded environments. For this, three aspects are particularly addressed in this paper. First, we use composite fields to predict future locations of all road agents in a single shot, which results in a constant time complexity, regardless of the number of agents in the scene. Second, interactions between agents are modeled as a non local response, enabling spatial relationships between different locations to be captured temporally as well (i.e., in spatio temporal interactions). Third, the semantic context of the scene are modeled and take into account the environmental constraints that potentially influence the future motion. To this end, we validate the robustness of the proposed approach using the ETH, UCY, and SDD datasets and highlight its practical functionality compared to the current state of the art methods.


JSDoop and TensorFlow.js Volunteer Distributed Web Browser Based Neural Network Training. In 2019, around 57 of the population of the world has broadband access to the Internet. Moreover, there are 5.9 billion mobile broadband subscriptions, i.e., 1.3 subscriptions per user. So there is an enormous interconnected computational power held by users all around the world. Also, it is estimated that Internet users spend more than six and a half hours online every day. But in spite of being a great amount of time, those resources are idle most of the day. Therefore, taking advantage of them presents an interesting opportunity. In this study, we introduce JSDoop, a prototype implementation to profit from this opportunity. In particular, we propose a volunteer web browser based high performance computing library. JSdoop divides a problem into tasks and uses different queues to distribute the computation. Then, volunteers access the web page of the problem and start processing the tasks in their web browsers. We conducted a proof of concept using our proposal and TensorFlow.js to train a recurrent neural network that predicts text. We tested it in a computer cluster and with up to 32 volunteers. The experimental results show that training a neural network in distributed web browsers is feasible and accurate, has a high scalability, and it is an interesting area for research.


Signatures of the orbital angular momentum of an infrared light beam in the two photon transition matrix element A step toward attosecond chronoscopy of photoionization. We present a theory of time resolved photoionisation in the presence of a vortex beam. In a pump probe setup, an extreme ultraviolet or an x ray pump pulse triggers ionization, which is probed by a synchronized infrared pulse with non zero orbital angular momentum. We show, how this property of the probe pulse affects the electron dynamics upon ionization, in a way that is independent of the initial and final angular momentum states of the ionizing system.


Dilation in function spaces with general weights. In this paper, we present more regularity conditions which ensure the boundedness of dilation operators on Besov and Triebel Lizorkin spaces equiped with general weights.


A New Proof of Hopf's Inequality Using a Complex Extension of the Hilbert Metric. It is well known from the Perron Frobenius theory that the spectral gap of a positive square matrix is positive. In this paper, we give a more quantitative characterization of the spectral gap. More specifically, using a complex extension of the Hilbert metric, we show that the so called spectral ratio of a positive square matrix is upper bounded by its Birkhoff contraction coefficient, which in turn yields a lower bound on its spectral gap.


Data Priming Network for Automatic Check Out. Automatic Check Out (ACO) receives increased interests in recent years. An important component of the ACO system is the visual item counting, which recognizes the categories and counts of the items chosen by the customers. However, the training of such a system is challenged by the domain adaptation problem, in which the training data are images from isolated items while the testing images are for collections of items. Existing methods solve this problem with data augmentation using synthesized images, but the image synthesis leads to unreal images that affect the training process. In this paper, we propose a new data priming method to solve the domain adaptation problem. Specifically, we first use pre augmentation data priming, in which we remove distracting background from the training images using the coarse to fine strategy and select images with realistic view angles by the pose pruning method. In the post augmentation step, we train a data priming network using detection and counting collaborative learning, and select more reliable images from testing data to fine tune the final visual item tallying network. Experiments on the large scale Retail Product Checkout (RPC) dataset demonstrate the superiority of the proposed method, i.e., we achieve 80.51 checkout accuracy compared with 56.68 of the baseline methods. The source codes can be found in https isrc.iscas.ac.cn gitlab research acm mm 2019 ACO.


Abstract induced modules for reductive algebraic groups with Frobenius maps. Let bf G be a connected reductive algebraic group defined over a finite field mathbb F q of q elements, and bf B be a Borel subgroup of bf G defined over mathbb F q . Let Bbbk be a field and we assume that Bbbk bar mathbb F q when text char Bbbk text char mathbb F q . We show that the abstract induced module mathbb M ( theta) Bbbk bf G otimes Bbbk bf B theta (here Bbbk bf H is the group algebra of bf H over the field Bbbk and theta is a character of bf B over Bbbk ) has a composition series (of finite length) if text char Bbbk ne text char mathbb F q . In the case Bbbk bar mathbb F q and theta is a rational character, we give a necessary and sufficient condition for the existence of a composition series (of finite length) of mathbb M ( theta) . We determine all the composition factors whenever a composition series exists. Thus we obtain a large class of abstract infinite dimensional irreducible Bbbk bf G modules.


Work Stealing Simulator. We present in this paper a Work Stealing lightweight PYTHON simulator. Our simulator is used to execute an application (list of tasks with or without dependencies), on a multiple processors platform linked by specific topology. We first give an overview of the different variants of the work stealing algorithm, then we present the architecture of our light Work Stealing simulator. Its architecture facilitates the development of other types of applications and other topologies for interconnecting the processors. We present the use cases of the simulator and the different types of results.


Time Fractional Optimal Control of Initial Value Problems on Time Scales. We investigate Optimal Control Problems (OCP) for fractional systems involving fractional time derivatives on time scales. The fractional time derivatives and integrals are considered, on time scales, in the Riemann Liouville sense. By using the Banach fixed point theorem, sufficient conditions for existence and uniqueness of solution to initial value problems described by fractional order differential equations on time scales are known. Here we consider a fractional OCP with a performance index given as a delta integral function of both state and control variables, with time evolving on an arbitrarily given time scale. Interpreting the Euler Lagrange first order optimality condition with an adjoint problem, defined by means of right Riemann Liouville fractional delta derivatives, we obtain an optimality system for the considered fractional OCP. For that, we first prove new fractional integration by parts formulas on time scales.


Twisted Alexander polynomials of torus links. In this paper we give an explicit formula for the twisted Alexander polynomial of any torus link and show that it is a locally constant function on the SL(2, mathbb C) character variety. We also discuss similar things for the higher dimensional twisted Alexander polynomial and the Reidemeister torsion.


Harmonic Gauss maps of submanifolds of arbitrary codimension of the Euclidean space and sphere and some applications. It is proved some results about existence and non existence of unit normal sections of submanifolds of the Euclidean space and sphere which associated Gauss maps are harmonic. Some applications to CMC hypersurfaces of the sphere and isoparametric submanifolds are obtained too.


Quadrilateral Mesh Generation II Meromorphic Quartic Differentials and Abel Jacobi Condition. This work discovers the equivalence relation between quadrilateral meshes and meromorphic quartic. Each quad mesh induces a conformal structure of the surface, and a meromorphic differential, where the configuration of singular vertices correspond to the configurations the poles and zeros (divisor) of the meroromorphic differential. Due to Riemann surface theory, the configuration of singularities of a quad mesh satisfies the Abel Jacobi condition. Inversely, if a satisfies the Abel Jacobi condition, then there exists a meromorphic quartic differential whose equals to the given one. Furthermore, if the meromorphic quadric differential is with finite, then it also induces a a quad mesh, the poles and zeros of the meromorphic differential to the singular vertices of the quad mesh. Besides the theoretic proofs, the computational algorithm for verification of Abel Jacobi condition is explained in details. Furthermore, constructive algorithm of meromorphic quartic differential on zero surfaces is proposed, which is based on the global algebraic representation of meromorphic. Our experimental results demonstrate the efficiency and efficacy of the algorithm. This opens up a direction for quad mesh generation using algebraic geometric approach.


Mapping algebras and the Adams spectral sequence. The E 2 term of the Adams spectral sequence for mathbf Y may be described in terms of its cohomology E ast mathbf Y , together with the action of the primary operations E ast mathbf E on it, for ring spectra such as mathbf E mathbf H mathbb F p . We show how the higher terms of the spectral sequence can be similarly described in terms of the higher order truncated mathbf E mapping algebra for mathbf Y that is truncations of the function spectra operatorname Fun ( mathbf Y , mathbf M ) for various mathbf E modules mathbf M , equipped with the action of operatorname Fun ( mathbf M , mathbf M ') on them.


Comparing the market microstructure between two South African exchanges. We consider shared listings on two South African equity exchanges the Johannesburg Stock Exchange (JSE) and the A2X Exchange. A2X is an alternative exchange that provides for both shared listings and new listings within the financial market ecosystem of South Africa. From a science perspective it provides the opportunity to compare markets trading similar shares, in a similar regulatory and economic environment, but with vastly different liquidity, costs and business models. A2X currently has competitive settlement and transaction pricing when compared to the JSE, but the JSE has deeper liquidity. In pursuit of an empirical understanding of how these differences relate to their respective price response dynamics, we compare the distributions and auto correlations of returns on different time scales we compare price impact and master curves and we compare the cost of trading on each exchange. This allows us to empirically compare the two markets. We find that various stylised facts become similar as the measurement or sampling time scale increase. However, the same securities can have vastly different price responses irrespective of time scales. This is not surprising given the different liquidity and order book resilience. Here we demonstrate that direct costs dominate the cost of trading, and the importance of competitively positioning cost ceilings. Universality is crucial for being able to meaningfully compare cross exchange price responses, but in the case of A2X, it has yet to emerge in a meaningful way due to the infancy of the exchange making meaningful comparisons difficult.


Integration by Parts and the KPZ Two Point Function. In this article we consider the KPZ fixed point starting from a two sided Brownian motion with an arbitrary diffusion coefficient. We apply the integration by parts formula from Malliavin calculus to establish a key relation between the two point (covariance) function of the spatial derivative process and the location of the maximum of an Airy process plus Brownian motion minus a parabola. Integration by parts also allows us to deduce the density of this location in terms of the second derivative of the variance of the KPZ fixed point. In the stationary regime, we find the same density related to limit fluctuations of a second class particle. We further develop an adaptation of Stein's method that implies asymptotic independence of the spatial derivative process from the initial data.


Mixed norm Strichartz type estimates for hypersurfaces in three dimensions. In their work IM16 I.A. Ikromov and D. M " u ller proved the full range L p L 2 Fourier restriction estimates for a very general class of hypersurfaces in R 3 which includes the class of real analytic hypersurfaces. In this article we partly extend their results to the mixed norm case where the coordinates are split in two directions, one tangential and the other normal to the surface at a fixed given point. In particular, we resolve completely the adapted case and partly the non adapted case. In the non adapted case the case when the linear height h text lin ( phi) is below two is settled completely.


A class of randomized Subset Selection Methods for large complex networks. Most of the real world complex networks such as the Internet, World Wide Web and collaboration networks are huge and to infer their structure and dynamics one requires handling large connectivity (adjacency) matrices. Also, to find out the spectra of these networks, one needs to perform the EigenValue Decomposition(or Singular Value Decomposition for bipartite networks) of these large adjacency matrices or their Laplacian matrices. In the present work, we proposed randomized versions of the existing heuristics to infer the norm and the spectrum of the adjacency matrices. In an earlier work 1 , we used Subset Selection (SS) procedure to obtain the critical network structure which is smaller in size and retains the properties of original networks in terms of its Principal Singular Vector and eigenvalue spectra. We now present a few randomized versions of SS (RSS) and their time and space complexity calculation on various benchmark and real world networks. We find that the RSS based on using QR decomposition instead of SVD in deterministic SS is the fastest. We evaluate the correctness and the performance speed after running these randomized SS heuristics on test networks and comparing the results with deterministic counterpart reported earlier. We find the proposed methods can be used effectively in large and sparse networks they can be extended to analyse important network structure in dynamically evolving networks owing to their reduced time complexity.


Symmetry of extending properties in nonsingular Utumi rings. This paper presents the right left symmetry of the CS and max min CS conditions on nonsingular rings, and generalization to nonsingular modules. We prove that a ring is right nonsingular right CS and left Utumi if and only if it is left nonsingular left CS and right Utumi. A nonsingular Utumi ring is right max (resp. right min, right max min) CS if and only if it is left min (resp. left max, left max min) CS. In addition, a semiprime nonsingular ring is right max min CS with finite right uniform dimension if and only if it is left max min CS with finite left uniform dimension.


Non associative central extensions of null filiform associative algebras. We give the algebraic classification of alternative, left alternative, Jordan, bicommutative, left commutative, assosymmetric, Novikov and left symmetric central extensions of null filiform associative algebras.


Surface waves with negative phase velocity supported by temperature dependent hyperbolic materials. A numerical investigation was undertaken to elucidate the propagation of electromagnetic surface waves guided by the planar interface of two temperature sensitive materials. One partnering material was chosen to be isotropic and the other to be anisotropic. Both partnering materials were engineered composite materials, based on the temperature sensitive semiconductor InSb. At low temperatures the anisotropic partnering material is a non hyperbolic uniaxial material as the temperature is raised this material becomes a hyperbolic uniaxial material. At low temperatures, a solitary Dyakonov wave propagates along any specific direction in a range of directions parallel to the planar interface. At high temperatures, up to three different surface waves can propagate in certain directions parallel to the planar interface one of these surface waves propagates with negative phase velocity (NPV). At a fixed temperature, the range of directions for NPV propagation decreases uniformly in extent as the volume fraction of InSb in the isotropic partnering material decreases. At a fixed volume fraction of InSb in the isotropic partnering material, the angular range for NPV propagation varies substantially as the temperature varies.


Distributionally Robust XVA via Wasserstein Distance Part 2 Wrong Way Funding Risk. This paper investigates calculations of robust funding valuation adjustment (FVA) for over the counter (OTC) derivatives under distributional uncertainty using Wasserstein distance as the ambiguity measure. Wrong way funding risk can be characterized via the robust FVA formulation. The simpler dual formulation of the robust FVA optimization is derived. Next, some computational experiments are conducted to measure the additional FVA charge due to distributional uncertainty under a variety of portfolio and market configurations. Finally some suggestions for future work, such as robust capital valuation adjustment (KVA) and margin valuation adjustment (MVA), are discussed.


A Hecke Algebra on the Double Cover of a Chevalley Group Over mathbb Q 2 . We prove that a certain genuine Hecke algebra mathcal H on the non linear double cover of a simple, simply laced, simply connected, Chevalley group G over mathbb Q 2 admits a Bernstein presentation. This presentation has two consequences. First, the Bernstein component containing the genuine unramified principal series is equivalent to mathcal H mod. Second, mathcal H is isomorphic to the Iwahori Hecke algebra of the linear group G Z 2 , where Z 2 is the 2 torsion of the center of G . This isomorphism of Hecke algebras provides a correspondence between certain genuine unramified principal series of the double cover of G and the Iwahori unramified representations of the group G Z 2 .


Terahertz Nonlinear Index Extraction via Full Phase Analysis. We experimentally show the spectrally averaged nonlinear refractive index and absorption coefficient for liquid water, water vapor, alpha pinene, and Si using a full phase analysis in the terahertz regime through a standard time domain spectrometer. Our results confirm that the nonlinear index of refraction of the liquid samples in this regime exceeds the near infrared optical nonlinear index by six orders of magnitude. In the case of liquid water and water vapor at atmospheric pressure, we find a nonlinear index of 7.8x10 10 cm 2 W and 6x10 11 cm 2 W respectively, which are both much larger than expected.


Halfspaces minimise nonlocal perimeter a proof via calibrations. We consider a nonlocal functional J K that may be regarded as a nonlocal version of the total variation. More precisely, for any measurable function u colon mathbb R d to mathbb R , we define J K(u) as the integral of weighted differences of u . The weight is encoded by a positive kernel K , possibly singular in the origin. We study the minimisation of this energy under prescribed boundary conditions, and we introduce a notion of calibration suited for this nonlocal problem. Our first result shows that the existence of a calibration is a sufficient condition for a function to be a minimiser. As an application of this criterion, we prove that halfspaces are the unique minimisers of J K in a ball, provided they are admissible competitors. Finally, we outline how to exploit the optimality of hyperplanes to recover a Gamma convergence result concerning the scaling limit of J K .


Role of bridge nodes in epidemic spreading Different regimes and crossovers. Power law behaviors are common in many disciplines, especially in network science. Real world networks, like disease spreading among people, are more likely to be interconnected communities, and show richer power law behaviors than isolated networks. In this paper, we look at the system of two communities which are connected by bridge links between a fraction r of bridge nodes, and study the effect of bridge nodes to the final state of the Susceptible Infected Recovered model, by mapping it to link percolation. By keeping a fixed average connectivity, but allowing different transmissibilities along internal and bridge links, we theoretically derive different power law asymptotic behaviors of the total fraction of the recovered R in the final state as r goes to zero, for different combinations of internal and bridge link transmissibilities. We also find crossover points where R follows different power law behaviors with r on both sides when the internal transmissibility is below but close to its critical value, for different bridge link transmissibilities. All of these power law behaviors can be explained through different mechanisms of how finite clusters in each community are connected into the giant component of the whole system, and enable us to pick effective epidemic strategies and to better predict their impacts.


Rank of Sparse Bernoulli Matrices. Let A n be an n times n random matrix with i.i.d Bernoulli( p ) entries. For a fixed positive integer beta , suppose p satisfies frac log(n) n le p le c beta where c beta in ( 0, 1 2 ) is a beta dependentvalue. For t ge 0 , mathbb P left s n beta 1 (A) le t n 2 beta o mathfrak n (1) (pn) 7 right t ( 1 o mathfrak n (1) ) mathbb P bigg mbox either beta rows or beta columns of A n equal vec 0 bigg .


An Empirical Study of User Support Tools in Open Source Software. End users positive response is essential for the success of any software. This is true for both commercial and Open Source Software (OSS). OSS is popular not only because of its availability, which is usually free but due to the user support it provides, generally through public platforms. The study model of this research establishes a relationship between OSS user support and available support tools. To conduct this research, we used a dataset of 100 OSS projects in different categories and examined five user support tools provided by different OSS projects. The results show that project trackers, user mailing lists, and updated versions have a significant role in gaining user support. However, we were unable to find a significant association between user support and documentation, as well as between user support and the troubleshooting guidelines provided by OSS projects.


Dependency Aware Filter Pruning. Convolutional neural networks (CNNs) are typically over parameterized, bringing considerable computational overhead and memory footprint in inference. Pruning a proportion of unimportant filters is an efficient way to mitigate the inference cost. For this purpose, identifying unimportant convolutional filters is the key to effective filter pruning. Previous work prunes filters according to either their weight norms or the corresponding batch norm scaling factors, while neglecting the sequential dependency between adjacent layers. In this paper, we further develop the norm based importance estimation by taking the dependency between the adjacent layers into consideration. Besides, we propose a novel mechanism to dynamically control the sparsity inducing regularization so as to achieve the desired sparsity. In this way, we can identify unimportant filters and search for the optimal network architecture within certain resource budgets in a more principled manner. Comprehensive experimental results demonstrate the proposed method performs favorably against the existing strong baseline on the CIFAR, SVHN, and ImageNet datasets. The training sources will be publicly available after the review process.


An improved mathematical model for the sedimentation of microplastic particles in a lid driven cavity with obstacle. In this paper, we developed a mathematical model for the sedimentation process of small particles in a lid driven cavity flow with an obstacle to model the transport of microplastic particles in rivers. A stationary incompressible Navier Stokes simulation at moderate Reynolds numbers provides the background flow field. Spherical particles are injected into this flow field and their equation of motion is solved to determine the number of particles that sediment on the surface of the obstacle. To capture the effect of typical biological organisms and biofilms on the bottom surface of river beds, the obstacle can exert an attraction force onto the particles. Various simulations and parameter studies are carried out to determine the influence of the obstacle geometry, particle densities, and the attraction force on the sedimentation process.


Efficient Complex Event Processing in Information centric Networking at the Edge. Information centric Networking (ICN) is an emerging Internet architecture that offers promising features, such as in network caching and named data addressing, to support the edge computing paradigm, in particular Internet of Things (IoT) applications. ICN can benefit from Complex Event Processing (CEP), which is an in network processing paradigm to specify and perform efficient query operations on data streams. However, integrating CEP into ICN is a challenging task due to the following reasons (1) typical ICN architectures do not provide support for forwarding and processing continuous data streams (2) IoT applications often need short response times and require robust event detection, which both are hard to accomplish using existing CEP systems. In this article, we present a novel network architecture, called INetCEP, for efficient CEP based in network processing as part of ICN. INetCEP enables efficient data processing in ICN by means of (1) a unified communication model that supports continuous data streams, (2) a meta query language for CEP to specify data processing operations in the data plane, and (3) query processing algorithms to resolve the specified operations. Our experimental results for two IoT use cases and datasets show that INetCEP offers very short response times of up to 73 mu s under high workload and is more than 15X faster in terms of forwarding events than the state of the art CEP system Flink. Furthermore, the delivery and processing of complex queries is around 32X faster than Flink and more than 100X faster than a naive pull based reference approach, while maintaining 100 accuracy.


Approximation of the Diagonal of a Laplacian's Pseudoinverse for Complex Network Analysis. The ubiquity of massive graph data sets in numerous applications requires fast algorithms for extracting knowledge from these data. We are motivated here by three electrical measures for the analysis of large small world graphs G (V, E) i.e., graphs with diameter in O( log V ) , which are abundant in complex network analysis. From a computational point of view, the three measures have in common that their crucial component is the diagonal of the graph Laplacian's pseudoinverse, L dagger . Computing diag (L dagger) exactly by pseudoinversion, however, is as expensive as dense matrix multiplication and the standard tools in practice even require cubic time. Moreover, the pseudoinverse requires quadratic space hardly feasible for large graphs. Resorting to approximation by, e.g., using the Johnson Lindenstrauss transform, requires the solution of O( log V epsilon 2) Laplacian linear systems to guarantee a relative error, which is still very expensive for large inputs. In this paper, we present a novel approximation algorithm that requires the solution of only one Laplacian linear system. The remaining parts are purely combinatorial mainly sampling uniform spanning trees, which we relate to diag (L dagger) via effective resistances. For small world networks, our algorithm obtains a pm epsilon approximation with high probability, in a time that is nearly linear in E and quadratic in 1 epsilon . Another positive aspect of our algorithm is its parallel nature due to independent sampling. We thus provide two parallel implementations of our algorithm one using OpenMP, one MPI OpenMP. In our experiments against the state of the art, our algorithm (i) yields more accurate results, (ii) is much faster and more memory efficient, and (iii) obtains good parallel speedups, in particular in the distributed setting.


Codimension One Minimizers of Highly Amphiphilic Mixtures. We present a modified form of the Functionalized Cahn Hilliard (FCH) functional which models highly amphiphilic systems in solvent. A molecule is highly amphiphilic if the energy of a molecule isolated within the bulk solvent molecule is prohibitively high. For such systems once the amphiphilic molecules assemble into a structure it is very rare for a molecule to exchange back into the bulk. The highly amphiphilic FCH functional has a well with limited smoothness and admits compactly supported critical points. In the limit of molecular length epsilon approaches 0, we consider sequences with bounded energy whose support resides within an epsilon neighborhood of a fixed codimension one interface. We show that the FCH energy is uniformly bounded below, independent of epsilon 0, and identify assumptions on tangential variation of sequences that guarantee the existence of subsequences that converge to a weak solution of a rescaled bilayer profile equation, and show that sequences with limited tangential variation enjoy a lim inf inequality. For fixed codimension one interfaces we construct bounded energy sequences which converge to the bilayer profile and others with larger tangential variation which do not converge to the bilayer profile but whose limiting energy can violate the lim inf inequality, depending upon the energy parameters.


Propagation dynamics of a reaction diffusion equation in a time periodic shifting environment. This paper concerns the nonautonomous reaction diffusion equation u t u xx ug(t,x ct,u), quad t 0,x in mathbb R , where c in mathbb R is the shifting speed, and the time periodic nonlinearity ug(t, xi,u) is asymptotically of KPP type as xi to infty and is negative as xi to infty . Under a subhomogeneity condition, we show that there is c 0 such that a unique forced time periodic wave exists if and only c c and it attracts other solutions in a certain sense according to the tail behavior of initial values. In the case where c ge c , the propagation dynamics resembles that of the limiting system as xi to pm infty , depending on the shifting direction.


Machine Education Designing semantically ordered and ontologically guided modular neural networks. The literature on machine teaching, machine education, and curriculum design for machines is in its infancy with sparse papers on the topic primarily focusing on data and model engineering factors to improve machine learning. In this paper, we first discuss selected attempts to date on machine teaching and education. We then bring theories and methodologies together from human education to structure and mathematically define the core problems in lesson design for machine education and the modelling approaches required to support the steps for machine education. Last, but not least, we offer an ontology based methodology to guide the development of lesson plans to produce transparent and explainable modular learning machines, including neural networks.


Mean Ergodic Shadowing. We introduce and study a new variant of shadowing namely mean ergodic shadowing. We establish relationship of this variant with several other variants of shadowing. We show that a minimal system with shadowing cannot have mean ergodic shadowing. We give a necessary and sufficient condition for an orbital limit function to have mean ergodic shadowing property.


Binary polynomial power sums vanishing at roots of unity. Let c 1(x),c 2(x),f 1(x),f 2(x) be polynomials with rational coefficients. With obvious exceptions, there can be at most finitely many roots of unity among the zeros of the polynomials c 1(x)f 1(x) n c 2(x)f 2(x) n with n 1,2 ldots . We estimate the orders of these roots of unity in terms of the degrees and the heights of the polynomials c i and f i .


On the monotone complexity of the shift operator. We show that the complexity of minimal monotone circuits implementing a monotone version of the permutation operator on n boolean vectors of length q is Theta(qn log n) . In particular, we obtain an alternative way to prove the known complexity bound Theta(n log n) for the monotone shift operator on n boolean inputs.


On the continuous extension of Kobayashi isometries. We provide a sufficient condition for the continuous extension of isometries for the Kobayashi distance between bounded convex domains in complex Euclidean spaces having boundaries that are only slightly more regular than mathcal C 1 . This is a generalization of a recent result by A. Zimmer.


Fully Dynamic Maximal Independent Set in Expected Poly Log Update Time. In the fully dynamic maximal independent set (MIS) problem our goal is to maintain an MIS in a given graph G while edges are inserted and deleted from the graph. The first non trivial algorithm for this problem was presented by Assadi, Onak, Schieber, and Solomon STOC 2018 who obtained a deterministic fully dynamic MIS with O(m 3 4 ) update time. Later, this was independently improved by Du and Zhang and by Gupta and Khan arXiv 2018 to tilde O (m 2 3 ) update time. Du and Zhang arXiv 2018 also presented a randomized algorithm against an oblivious adversary with tilde O ( sqrt m ) update time. The current state of art is by Assadi, Onak, Schieber, and Solomon SODA 2019 who obtained randomized algorithms against oblivious adversary with tilde O ( sqrt n ) and tilde O (m 1 3 ) update times. In this paper, we propose a dynamic randomized algorithm against oblivious adversary with expected worst case update time of O( log 4n) . As a direct corollary, one can apply the black box reduction from a recent work by Bernstein, Forster, and Henzinger SODA 2019 to achieve O( log 6n) worst case update time with high probability. This is the first dynamic MIS algorithm with very fast update time of poly log.


Super congruences concerning binomial coefficients and Ap 'ery like numbers. Let p be a prime with p 3 , and let a,b be two rational p integers. In this paper we present general congruences for sum k 0 p 1 binom ak binom 1 a k frac p k b pmod p 2 . For n 0,1,2, ldots let D n and b n be Domb and Almkvist Zudilin numbers, respectively. We also establish congruences for sum n 0 p 1 frac D n 16 n , quad sum n 0 p 1 frac D n 4 n , quad sum n 0 p 1 frac b n ( 3) n , quad sum n 0 p 1 frac b n ( 27) n pmod p 2 in terms of certain binary quadratic forms.


Lectures on the Geometry and Modular Representation Theory of Algebraic Groups. These notes provide a concise introduction to the representation theory of reductive algebraic groups in positive characteristic, with an emphasis on Lusztig's character formula and geometric representation theory. They are based on the first author's notes from a lecture series delivered by the second author at the Simons Centre for Geometry and Physics in August 2019. We intend them to complement more detailed treatments.


Recent Advances in Network based Methods for Disease Gene Prediction. Disease gene association through Genome wide association study (GWAS) is an arduous task for researchers. Investigating single nucleotide polymorphisms (SNPs) that correlate with specific diseases needs statistical analysis of associations. Considering the huge number of possible mutations, in addition to its high cost, another important drawback of GWAS analysis is the large number of false positives. Thus, researchers search for more evidence to cross check their results through different sources. To provide the researchers with alternative low cost disease gene association evidence, computational approaches come into play. Since molecular networks are able to capture complex interplay among molecules in diseases, they become one of the most extensively used data for disease gene association prediction. In this survey, we aim to provide a comprehensive and an up to date review of network based methods for disease gene prediction. We also conduct an empirical analysis on 14 state of the art methods. To summarize, we first elucidate the task definition for disease gene prediction. Secondly, we categorize existing network based efforts into network diffusion methods, traditional machine learning methods with handcrafted graph features and graph representation learning methods. Thirdly, an empirical analysis is conducted to evaluate the performance of the selected methods across seven diseases. We also provide distinguishing findings about the discussed methods based on our empirical analysis. Finally, we highlight potential research directions for future studies on disease gene prediction.


Convolutors on mathcal S omega( mathbb R N) . In this paper we continue the study of the spaces mathcal O M, omega ( mathbb R N) and mathcal O C, omega ( mathbb R N) undertaken in 1 . We determine new representations of such spaces and we give some structure theorems for their dual spaces. Furthermore, we show that mathcal O ' C, omega ( mathbb R N) is the space of convolutors of the space mathcal S omega( mathbb R N) of the omega ultradifferentiable rapidly decreasing functions of Beurling type (in the sense of Braun, Meise and Taylor) and of its dual space mathcal S ' omega( mathbb R N) . We also establish that the Fourier transform is an isomorphism from mathcal O ' C, omega ( mathbb R N) onto mathcal O M, omega ( mathbb R N) . In particular, we prove that this isomorphism is topological when the former space is endowed with the strong operator lc topology induced by mathcal L b( mathcal S omega( mathbb R N)) and the last space is endowed with its natural lc topology.


Fast and Accurate Deep Bidirectional Language Representations for Unsupervised Learning. Even though BERT achieves successful performance improvements in various supervised learning tasks, applying BERT for unsupervised tasks still holds a limitation that it requires repetitive inference for computing contextual language representations. To resolve the limitation, we propose a novel deep bidirectional language model called Transformer based Text Autoencoder (T TA). The T TA computes contextual language representations without repetition and has benefits of the deep bidirectional architecture like BERT. In run time experiments on CPU environments, the proposed T TA performs over six times faster than the BERT based model in the reranking task and twelve times faster in the semantic similarity task. Furthermore, the T TA shows competitive or even better accuracies than those of BERT on the above tasks.


Color Tuning by Spontaneous Propagation of Gap Surface Plasmons in Epsilon Near Zero Nano Cavity. This work presents numerical and experimental results of plasmonic Metal Insulator optical nano cavities. The systems are composed of Silver as metal, polyvinylpyrrolidone or indium tin oxide or zinc oxide as insulator. The proposed nano cavities exhibit extraordinary effects as colors changing in function of the incident view angles, enhancement of the experimental real and imaginary parts of the pseudo dielectric constant, an extraordinary transmission of 50 and zero reflection for both polarizations at the resonant wavelengths. These results lead to the formation and propagation of surface plasmon polaritons and their hybridization in gap surface plasmons. The concurrence of these effects allow studying the Goos H "anchen shift by exploiting the very narrow Delta and Psi ellipsometer parameters. Thank to their optical properties, the proposed nano cavities could be applied in several fields such tunable color filters, optics, photonics and sensing.


The effect of interurban movements on the spatial distribution of population in China. Understanding how interurban movements can modify the spatial distribution of the population is important for transport planning but is also a fundamental ingredient for epidemic modeling. We focus here on vacation trips (for all transportation modes) during the Chinese Lunar New Year and compare the results for 2019 with the ones for 2020 where travel bans were applied for mitigating the spread of a novel coronavirus (COVID 19). We first show that these travel flows are broadly distributed and display both large temporal and spatial fluctuations, making their modeling very difficult. When flows are larger, they appear to be more dispersed over a larger number of origins and destinations, creating de facto hubs that can spread an epidemic at a large scale. These movements quickly induce (in about a week) a very strong population concentration in a small set of cities. We characterize quantitatively the return to the initial distribution by defining a pendular ratio which allows us to show that this dynamics is very slow and even stopped for the 2020 Lunar New Year due to travel restrictions. Travel restrictions obviously limit the spread of the diseases between different cities, but have thus the counter effect of keeping high concentration in a small set of cities, a priori favoring intra city spread, unless individual contacts are strongly limited. These results shed some light on how interurban movements modify the national distribution of populations, a crucial ingredient for devising effective control strategies at a national level.


Pulmonary drug delivery and retention a computational study to identify plausible parameters based on a coupled airway mucus flow model. Pulmonary drug delivery systems rely on inhalation of drug laden aerosols produced from aerosol generators such as inhalers, nebulizers etc. On deposition, the drug molecules diffuse in the mucus layer and are also subjected to mucociliary advection which transports the drugs away from the initial deposition site. The availability of the drug at a particular region of the lung is, thus, determined by a balance between these two phenomena. A mathematical analysis of drug deposition and retention in the lungs is developed through a coupled mathematical model of aerosol transport in air as well as drug molecule transport in the mucus layer. The mathematical model is solved computationally to identify suitable conditions for the transport of drug laden aerosols to the deep lungs. This study identifies the conditions conducive for delivering drugs to the deep lungs which is crucial for achieving systemic drug delivery. The effect of different parameters on drug retention is also characterized for various regions of the lungs, which is important in determining the availability of the inhaled drugs at a target location. Our analysis confirms that drug delivery efficacy remains highest for aerosols in the size range of 1 5 mu m. Moreover, it is observed that amount of drugs deposited in the deep lung increases by a factor of 2 when the breathing time period is doubled, with respect to normal breathing, suggesting breath control as a means to increase the efficacy of drug delivery to the deep lung. A higher efficacy also reduces the drug load required to be inhaled to produce the same health effects and hence, can help in minimizing the side effects of a drug.