Deep Convolutional Recurrent Autoencoders for Flow Field Prediction. In this paper, an end to end nonlinear model reduction methodology is presented based on the convolutional recurrent autoencoder networks. The methodology is developed in the context of the overall data driven reduced order model framework proposed in the paper. The basic idea behind the methodology is to obtain the low dimensional representations via convolutional neural networks and evolve these low dimensional features via recurrent neural networks in the time domain. The high dimensional representations are constructed from the evolved low dimensional features via transpose convolutional neural networks. With an unsupervised training strategy, the model serves as an end to end tool which can evolve the flow state of the nonlinear dynamical system. The convolutional recurrent autoencoder network model is applied to the problem of flow past bluff bodies for the first time. To demonstrate the effectiveness of the methodology, two canonical problems namely the flow past a plain cylinder and the flow past side by side cylinders are explored in this paper. Pressure and velocity fields of the unsteady flow are predicted in future via the convolutional recurrent autoencoder model. The performance of the model is satisfactory for both the problems. Specifically, the multiscale nature and the gap flow dynamics of the side by side cylinders are captured by the proposed data driven model reduction methodology. The error metrics, the normalized squared error, and the normalized reconstruction error are considered for the assessment of the data driven framework.


A square function involving the center of mass and rectifiability. For a Radon measure mu on mathbb R d , define C n mu(x, t) ( frac 1 t n int B(x,t) frac x y t , d mu(y) ) . This coefficient quantifies how symmetric the measure mu is by comparing the center of mass at a given scale and location to the actual center of the ball. We show that if mu is n rectifiable, then int 0 infty C n mu(x,t) 2 frac dt t infty , , mu mbox almost everywhere . Together with a previous result of Mayboroda and Volberg, where they showed that the converse holds true, this gives a characterisation of n rectifiability. To prove our main result, we also show that for an n uniformly rectifiable measure, C mu n(x,t) 2 dt t d mu is a Carleson measure on mathrm spt ( mu) times (0, infty) . We also show that, whenever a measure mu is 1 rectifiable in the plane, then the same Dini condition as above holds for more general kernels. Moreover, we give a characterisation of uniform 1 rectifiability in the plane in terms of a Carleson measure condition.


A Breezing Proof of the KMW Bound. In their seminal paper from 2004, Kuhn, Moscibroda, and Wattenhofer (KMW) proved a hardness result for several fundamental graph problems in the LOCAL model For any (randomized) algorithm, there are input graphs with n nodes and maximum degree Delta on which Omega( min sqrt log n log log n , log Delta log log Delta ) (expected) communication rounds are required to obtain polylogarithmic approximations to a minimum vertex cover, minimum dominating set, or maximum matching. Via reduction, this hardness extends to symmetry breaking tasks like finding maximal independent sets or maximal matchings. Today, more than 15 years later, there is still no proof of this result that is easy on the reader. Setting out to change this, in this work, we provide a fully self contained and mathit simple proof of the KMW lower bound. The key argument is algorithmic, and it relies on an invariant that can be readily verified from the generation rules of the lower bound graphs.


Statistical Guarantee Optimization for AoI in Single Hop and Two Hop Systems with Periodic Arrivals. Age of Information (AoI) has proven to be a useful metric in networked systems where timely information updates are of importance. In the literature, minimizing "average age" has received considerable attention. However, various applications pose stricter age requirements on the updates which demand knowledge of the AoI distribution. Furthermore, the analysis of AoI distribution in a multi hop setting, which is important for the study of Wireless Networked Control Systems (WNCS), has not been addressed before. Toward this end, we study the distribution of AoI in a WNCS with two hops and devise a problem of minimizing the tail of the AoI distribution with respect to the frequency of generating information updates, i.e., the sampling rate of monitoring a process, under first come first serve (FCFS) queuing discipline. We argue that computing an exact expression for the AoI distribution may not always be feasible therefore, we opt for computing upper bounds on the tail of the AoI distribution. Using these upper bounds we formulate Upper Bound Minimization Problems (UBMP), namely, Chernoff UBMP and alpha relaxed Upper BoundMinimization Problem (alpha UBMP), where alpha 1 is an approximation factor, and solve them to obtain "good" heuristic rate solutions. We demonstrate the efficacy of our approach by solving the proposed UBMPs for three service distributions geometric, exponential, and Erlang. Simulation results show that the rate solutions obtained are near optimal for minimizing the tail of the AoI distribution for the considered distributions.


Political network of central power agents case of missi dominici. This study offers several models of social network analysis to examine the organization of central power agents, missi dominici, during the Early Middle Ages. Enriched by statistical analysis, different research hypotheses based on the current historiographical positions have been substantiated. On the one side, the network analysis allowed to highlight the evolution of network structure throughout the studied period and to observe a change in the framework of agents transition between reigns. On the other side, the statistical exploration of the relations between the agents and the places of their assignments confirmed some amplification, with time, of a tendency to recruit the agents among the local aristocracy. Finally, several difficulties related to the analyzing of missing data provided by fragmentary historical records as well as to modeling a complex multimodal political network were mentioned.


Affinity Fusion Graph based Framework for Natural Image Segmentation. This paper proposes an affinity fusion graph framework to effectively connect different graphs with highly discriminating power and nonlinearity for natural image segmentation. The proposed framework combines adjacency graphs and kernel spectral clustering based graphs (KSC graphs) according to a new definition named affinity nodes of multi scale superpixels. These affinity nodes are selected based on a better affiliation of superpixels, namely subspace preserving representation which is generated by sparse subspace clustering based on subspace pursuit. Then a KSC graph is built via a novel kernel spectral clustering to explore the nonlinear relationships among these affinity nodes. Moreover, an adjacency graph at each scale is constructed, which is further used to update the proposed KSC graph at affinity nodes. The fusion graph is built across different scales, and it is partitioned to obtain final segmentation result. Experimental results on the Berkeley segmentation dataset and Microsoft Research Cambridge dataset show the superiority of our framework in comparison with the state of the art methods. The code is available at https github.com Yangzhangcst AF graph.


Interpretation of NLP models through input marginalization. To demystify the "black box" property of deep neural networks for natural language processing (NLP), several methods have been proposed to interpret their predictions by measuring the change in prediction probability after erasing each token of an input. Since existing methods replace each token with a predefined value (i.e., zero), the resulting sentence lies out of the training data distribution, yielding misleading interpretations. In this study, we raise the out of distribution problem induced by the existing interpretation methods and present a remedy we propose to marginalize each token out. We interpret various NLP models trained for sentiment analysis and natural language inference using the proposed method.


Why is My Secret Leaked? Discovering Vulnerabilities in Device to Device File Sharing. The number of active users of Wi Fi Direct Device to Device file sharing applications on Android has exceeded 1.8 billion. Wi Fi Direct, also known as Wi Fi P2P, is commonly used for peer to peer, high speed file transfer between mobile devices, as well as a close proximity connection mode for wireless cameras, network printers, TVs and other IoT and mobile devices. For its end users, such type of direct file transfer does not incur cellular data charges. However, despite the popularity of such applications, we observe that the software vendors tend to prioritize the ease of user flow over the security in their implementations, which leads to serious security flaws. We perform a comprehensive security analysis in the context of security and usability and report our findings in the form of 17 Common Vulnerabilities and Exposures (CVE) which have been disclosed to the corresponding vendors. To address the similar flaws at the early stage of the application design, we propose a joint consideration of security and usability for such applications and their protocols that can be visualized in form of a customised User Journey Map (UJM).


Semi Supervised Neural System for Tagging, Parsing and Lematization. This paper describes the ICS PAS system which took part in CoNLL 2018 shared task on Multilingual Parsing from Raw Text to Universal Dependencies. The system consists of jointly trained tagger, lemmatizer, and dependency parser which are based on features extracted by a biLSTM network. The system uses both fully connected and dilated convolutional neural architectures. The novelty of our approach is the use of an additional loss function, which reduces the number of cycles in the predicted dependency graphs, and the use of self training to increase the system performance. The proposed system, i.e. ICS PAS (Warszawa), ranked 3th 4th in the official evaluation obtaining the following overall results 73.02 (LAS), 60.25 (MLAS) and 64.44 (BLEX).


A Generalization of Self Improving Algorithms. Ailon et al. SICOMP'11 proposed self improving algorithms for sorting and Delaunay triangulation (DT) when the input instances x 1, cdots,x n follow some unknown emph product distribution . That is, x i comes from a fixed unknown distribution mathsf D i , and the x i 's are drawn independently. After spending O(n 1 varepsilon ) time in a learning phase, the subsequent expected running time is O((n H) varepsilon) , where H in H mathrm S ,H mathrm DT , and H mathrm S and H mathrm DT are the entropies of the distributions of the sorting and DT output, respectively. In this paper, we allow dependence among the x i 's under the emph group product distribution . There is a hidden partition of 1,n into groups the x i 's in the k th group are fixed unknown functions of the same hidden variable u k and the u k 's are drawn from an unknown product distribution. We describe self improving algorithms for sorting and DT under this model when the functions that map u k to x i 's are well behaved. After an O( mathrm poly (n)) time training phase, we achieve O(n H mathrm S ) and O(n alpha(n) H mathrm DT ) expected running times for sorting and DT, respectively, where alpha( cdot) is the inverse Ackermann function.


Bundle Adjustment Revisited. 3D reconstruction has been developing all these two decades, from moderate to medium size and to large scale. It's well known that bundle adjustment plays an important role in 3D reconstruction, mainly in Structure from Motion(SfM) and Simultaneously Localization and Mapping(SLAM). While bundle adjustment optimizes camera parameters and 3D points as a non negligible final step, it suffers from memory and efficiency requirements in very large scale reconstruction. In this paper, we study the development of bundle adjustment elaborately in both conventional and distributed approaches. The detailed derivation and pseudo code are also given in this paper.


Characterizing the impact of geometric properties of word embeddings on task performance. Analysis of word embedding properties to inform their use in downstream NLP tasks has largely been studied by assessing nearest neighbors. However, geometric properties of the continuous feature space contribute directly to the use of embedding features in downstream models, and are largely unexplored. We consider four properties of word embedding geometry, namely position relative to the origin, distribution of features in the vector space, global pairwise distances, and local pairwise distances. We define a sequence of transformations to generate new embeddings that expose subsets of these properties to downstream models and evaluate change in task performance to understand the contribution of each property to NLP models. We transform publicly available pretrained embeddings from three popular toolkits (word2vec, GloVe, and FastText) and evaluate on a variety of intrinsic tasks, which model linguistic information in the vector space, and extrinsic tasks, which use vectors as input to machine learning models. We find that intrinsic evaluations are highly sensitive to absolute position, while extrinsic tasks rely primarily on local similarity. Our findings suggest that future embedding models and post processing techniques should focus primarily on similarity to nearby points in vector space.


Informativity of noisy data for structural properties of linear systems. This paper deals with developing tests for checking whether an unknown system has certain structural properties. The tests that we are aiming at are in terms of noisy input state output data obtained from the unknown system. Since, in general, the data do not determine the unknown system uniquely, many systems are compatible with the same set of data. Therefore we can not apply system identification and apply existing, model based, tests. Instead, we will use the concept of informativity, and establish tests for informativity of the given noisy data. We will do this for a range of system properties, among which strong observability and detectability and strong controllability and stabilizability. These informativity tests will be in terms of rank tests on polynomial matrices that can be constructed from the noisy data. We will also set up a geometric framework for informativity analysis. Within that framework we will give geometric tests for informativity for strong observability, observability, and left invertibilty.


Social System Inference from Noisy Observations. This paper studies social system inference from a single trajectory of public evolving opinions, wherein observation noise leads to the statistical dependence of samples on time and coordinates. We first propose a cyber social system that comprises individuals in a social network and a set of information sources in a cyber layer, whose opinion dynamics explicitly takes confirmation bias, novelty bias and process noise into account. Based on the proposed social model, we then study the sample complexity of least square auto regressive model estimation, which governs the number of observations that are sufficient for the identified model to achieve the prescribed levels of accuracy and confidence. Building on the identified social model, we then investigate social inference, with particular focus on the weighted network topology, the subconscious bias and the model parameters of confirmation bias and novelty bias. Finally, the theoretical results and the effectiveness of the proposed social model and inference algorithm are validated by the US Senate Member Ideology data.


Automatic classification of multiple catheters in neonatal radiographs with deep learning. We develop and evaluate a deep learning algorithm to classify multiple catheters on neonatal chest and abdominal radiographs. A convolutional neural network (CNN) was trained using a dataset of 777 neonatal chest and abdominal radiographs, with a split of 81 9 10 for training validation testing, respectively. We employed ResNet 50 (a CNN), pre trained on ImageNet. Ground truth labelling was limited to tagging each image to indicate the presence or absence of endotracheal tubes (ETTs), nasogastric tubes (NGTs), and umbilical arterial and venous catheters (UACs, UVCs). The data set included 561 images containing 2 or more catheters, 167 images with only one, and 49 with none. Performance was measured with average precision (AP), calculated from the area under the precision recall curve. On our test data, the algorithm achieved an overall AP (95 confidence interval) of 0.977 (0.679 0.999) for NGTs, 0.989 (0.751 1.000) for ETTs, 0.979 (0.873 0.997) for UACs, and 0.937 (0.785 0.984) for UVCs. Performance was similar for the set of 58 test images consisting of 2 or more catheters, with an AP of 0.975 (0.255 1.000) for NGTs, 0.997 (0.009 1.000) for ETTs, 0.981 (0.797 0.998) for UACs, and 0.937 (0.689 0.990) for UVCs. Our network thus achieves strong performance in the simultaneous detection of these four catheter types. Radiologists may use such an algorithm as a time saving mechanism to automate reporting of catheters on radiographs.


Colored Vertex Models and Iwahori Whittaker Functions. We give a recursive method for computing all values of a basis of Whittaker functions for unramified principal series invariant under an Iwahori or parahoric subgroup of a split reductive group G over a nonarchimedean local field F . Structures in the proof have surprising analogies to features of certain solvable lattice models. In the case G mathrm GL r we show that there exist solvable lattice models whose partition functions give precisely all of these values. Here solvable' means that the models have a family of Yang Baxter equations which imply, among other things, that their partition functions satisfy the same recursions as those for Iwahori or parahoric Whittaker functions. The R matrices for these Yang Baxter equations come from a Drinfeld twist of the quantum group U q( widehat mathfrak gl (r 1)) , which we then connect to the standard intertwining operators on the unramified principal series. We use our results to connect Iwahori and parahoric Whittaker functions to variations of Macdonald polynomials.


Nonintrusive proper generalised decomposition for parametrised incompressible flow problems in OpenFOAM. The computational cost of parametric studies currently represents the major limitation to the application of simulation based engineering techniques in a daily industrial environment. This work presents the first nonintrusive implementation of the proper generalised decomposition (PGD) in OpenFOAM, for the approximation of parametrised laminar incompressible Navier Stokes equations. The key feature of this approach is the seamless integration of a reduced order model (ROM) in the framework of an industrially validated computational fluid dynamics software. This is of special importance in an industrial environment because in the online phase of the PGD ROM the description of the flow for a specific set of parameters is obtained simply via interpolation of the generalised solution, without the need of any extra solution step. On the one hand, the spatial problems arising from the PGD separation of the unknowns are treated using the classical solution strategies of OpenFOAM, namely the semi implicit method for pressure linked equations (SIMPLE) algorithm. On the other hand, the parametric iteration is solved via a collocation approach. The resulting ROM is applied to several benchmark tests of laminar incompressible Navier Stokes flows, in two and three dimensions, with different parameters affecting the flow features. Eventually, the capability of the proposed strategy to treat industrial problems is verified by applying the methodology to a parametrised flow control in a realistic geometry of interest for the automotive industry.


Top Down Networks A coarse to fine reimagination of CNNs. Biological vision adopts a coarse to fine information processing pathway, from initial visual detection and binding of salient features of a visual scene, to the enhanced and preferential processing given relevant stimuli. On the contrary, CNNs employ a fine to coarse processing, moving from local, edge detecting filters to more global ones extracting abstract representations of the input. In this paper we reverse the feature extraction part of standard bottom up architectures and turn them upside down We propose top down networks. Our proposed coarse to fine pathway, by blurring higher frequency information and restoring it only at later stages, offers a line of defence against adversarial attacks that introduce high frequency noise. Moreover, since we increase image resolution with depth, the high resolution of the feature map in the final convolutional layer contributes to the explainability of the network's decision making process. This favors object driven decisions over context driven ones, and thus provides better localized class activation maps. This paper offers empirical evidence for the applicability of the top down resolution processing to various existing architectures on multiple visual tasks.


Length Controllable Image Captioning. The last decade has witnessed remarkable progress in the image captioning task however, most existing methods cannot control their captions, emph e.g. , choosing to describe the image either roughly or in detail. In this paper, we propose to use a simple length level embedding to endow them with this ability. Moreover, due to their autoregressive nature, the computational complexity of existing models increases linearly as the length of the generated captions grows. Thus, we further devise a non autoregressive image captioning approach that can generate captions in a length irrelevant complexity. We verify the merit of the proposed length level embedding on three models two state of the art (SOTA) autoregressive models with different types of decoder, as well as our proposed non autoregressive model, to show its generalization ability. In the experiments, our length controllable image captioning models not only achieve SOTA performance on the challenging MS COCO dataset but also generate length controllable and diverse image captions. Specifically, our non autoregressive model outperforms the autoregressive baselines in terms of controllability and diversity, and also significantly improves the decoding efficiency for long captions. Our code and models are released at textcolor magenta texttt https github.com bearcatt LaBERT .


New examples of Stein manifolds with volume density property. In the present paper we shall provide new examples of Stein manifolds enjoying the (algebraic) volume density property and compute their homology groups.


Invariants ideals in Leavitt Path algebras. It is known that the ideals of a Leavitt path algebra L K(E) generated by Pl(E) , by Pc(E) or by Pec(E) are invariant under isomorphism. Though the ideal generated by Pb(E) is not invariant we find its lq lq natural rq rq replacement (which is indeed invariant) the one generated by the vertices of Pbp (vertices with pure infinite bifurcations). We also give some procedures to construct invariant ideals from previous known invariant ideals. One of these procedures involves topology, so we introduce the tops topology and relate it to annihilators in the algebraic counterpart of the work. To be more explicit if H is a hereditary saturated subset of vertices providing an invariant ideal, its exterior ext(H) in the tops topology of E 0 generates a new invariant ideal. The other constructor of invariant ideals is more categorical in nature. Some hereditary sets can be seen as functors from graphs to sets (for instance Pl , etc). Thus a second method emerges from the possibility of applying the induced functor to the quotient graph. The easiest example is the known socle chain soc (1) ( ) subset soc (2) ( ) subset cdots all of which are proved to be invariant. We generalize this idea to any hereditary and saturated invariant functor. Finally we investigate a kind of composition of hereditary and saturated functors which is associative.


Near optimal Repair of Reed Solomon Codes with Low Sub packetization. Minimum storage regenerating (MSR) codes are MDS codes which allow for recovery of any single erased symbol with optimal repair bandwidth, based on the smallest possible fraction of the contents downloaded from each of the other symbols. Recently, certain Reed Solomon codes were constructed which are MSR. However, the sub packetization of these codes is exponentially large, growing like n Omega(n) in the constant rate regime. In this work, we study the relaxed notion of epsilon MSR codes, which incur a factor of (1 epsilon) higher than the optimal repair bandwidth, in the context of Reed Solomon codes. We give constructions of constant rate epsilon MSR Reed Solomon codes with polynomial sub packetization of n O(1 epsilon) and thereby giving an explicit tradeoff between the repair bandwidth and sub packetization.


The bivariant parasimplicial mathsf S bullet construction. Coherent strings of composable morphisms play an important role in various important constructions in abstract stable homotopy theory (for example algebraic K theory or higher Toda brackets) and in the representation theory of finite dimensional algebras (as representations of Dynkin quivers of type A). In a first step we will prove a strong comparison result relating composable strings of morphisms and coherent diagrams on cubes with support on a path from the initial to the final object. We observe that both structures are equivalent (by passing to higher analogues of mesh categories) to distinguished coherent diagrams on special classes of morphism objects in the 2 category of parasimplices. Furthermore, we show that the notion of distinguished coherent diagrams generalizes well to arbitrary morphism objects in this 2 category. The resulting categories of coherent diagrams lead to higher versions of the mathsf S bullet construction and are closely related to representations of higher Auslander algebras of Dynkin quivers of type A. Understanding these categories and the functors relating them in general will require a detailed analysis of the 2 category of parasimplices as well as basic results from abstract cubical homotopy theory (since subcubes of distinguished diagrams very often turn out to be bicartesian). Finally, we show that the previous comparison result extends to a duality theorem on general categories of distinguished coherent diagrams, as a special case leading to some new derived equivalences between higher Auslander algebras.


Alternating linear scheme in a Bayesian framework for low rank tensor approximation. Multiway data often naturally occurs in a tensorial format which can be approximately represented by a low rank tensor decomposition. This is useful because complexity can be significantly reduced and the treatment of large scale data sets can be facilitated. In this paper, we find a low rank representation for a given tensor by solving a Bayesian inference problem. This is achieved by dividing the overall inference problem into sub problems where we sequentially infer the posterior distribution of one tensor decomposition component at a time. This leads to a probabilistic interpretation of the well known iterative algorithm alternating linear scheme (ALS). In this way, the consideration of measurement noise is enabled, as well as the incorporation of application specific prior knowledge and the uncertainty quantification of the low rank tensor estimate. To compute the low rank tensor estimate from the posterior distributions of the tensor decomposition components, we present an algorithm that performs the unscented transform in tensor train format.


Warped like product manifolds with exceptional holonomy groups. In this paper we review G 2 and Spin(7) geometries in relation with a special type of metric structure which we call warped like product metric. We present a general ansatz of warped like product metric as a definition of warped like product. Considering fiber base decomposition, the definition of warped like product is regarded as a generalization of multiply warped product manifolds, by allowing the fiber metric to be non block diagonal. For some special cases, we present explicit example of (3 3 2) warped like product manifolds with Spin(7) holonomy of the form M F times B , where the base B is a two dimensional Riemannian manifold, and the fibre F is of the form F F 1 times F 2 where F i 's (i 1,2) are Riemannian 3 manifolds. Additionally an explicit example of (3 3 1) warped like product manifold with G 2 holonomy is studied. From the literature, some other special warped like product metrics with G 2 holonomy are also presented in the present study. We believe that our approach of the warped like product metrics will be an important notion for the geometries which use warped and multiply warped product structures, and especially manifolds with exceptional holonomy.


Physicochemical Features and Peculiarities of Interaction of Antimicrobial Peptides with the Membrane. Antimicrobial peptides (AMPs) are anti infectives that have potential as a novel and untapped class of biotherapeutics. Modes of action of antimicrobial peptides imply interaction with cell envelope. Comprehensive understanding of peculiarities of interactions of antimicrobial peptides with cell envelope is necessary to perform the task oriented design of new biotherapeutics, against which for microbes it is hard to work out resistance. In order to enable a de novo design with low costs and in high throughput, in silico predictive models have to be required. To develop the performant predictive model, comprehensive knowledge on mechanisms of action of AMPs has to be possessed. The last knowledge will allow us to encode amino acid sequences expressively and to get success to the choosing of the accurate classifier of AMPs. A shared protective layer of microbial cells is inner, plasmatic membrane. The interaction of AMP with a biological membrane (native and or artificial) is the most comprehensively studied. We provide a review of mechanisms and results of interaction of AMP with the cell membrane, relying on the survey of physicochemical, aggregative and structural features of AMPs. Potency and mechanism of action of AMP have presented in the terms of amino acid compositions and distributions of the polar and apolar residues along the chain, that is in such physicochemical features of peptides as the hydrophobicity, hydrophilicity, and amphiphilicity. Many different approaches were used to classify AMPs. The survey of the knowledge on sequences, structures, and modes of actions of AMP, allows concluding that, only the physicochemical features of AMPs give the capability to perform the unambiguous classification. Comprehensive knowledge of physicochemical features of AMP is necessary to develop task oriented methods of design of peptide based antibiotics de novo.


Entropy spectrum of rotation classes. In this note we study the entropy spectrum of rotation classes for collections of finitely many continuous potentials varphi 1, dots, varphi m X to mathbb R with respect to the set of invariant measures of an underlying dynamical system f X to X . We show for large classes of dynamical systems and potentials that these entropy spectra are maximal in the sense that every value between zero and the maximum is attained. We also provide criteria that imply the maximality of the ergodic entropy spectra. For m being large, our results can be interpreted as a complimentary result to the classical Riesz representation theorem in the dynamical context.


Accelerated learning from recommender systems using multi armed bandit. Recommendation systems are a vital component of many online marketplaces, where there are often millions of items to potentially present to users who have a wide variety of wants or needs. Evaluating recommender system algorithms is a hard task, given all the inherent bias in the data, and successful companies must be able to rapidly iterate on their solution to maintain their competitive advantage. The gold standard for evaluating recommendation algorithms has been the A B test since it is an unbiased way to estimate how well one or more algorithms compare in the real world. However, there are a number of issues with A B testing that make it impractical to be the sole method of testing, including long lead time, and high cost of exploration. We argue that multi armed bandit (MAB) testing as a solution to these issues. We showcase how we implemented a MAB solution as an extra step between offline and online A B testing in a production system. We present the result of our experiment and compare all the offline, MAB, and online A B tests metrics for our use case.


Detecting motorcycle helmet use with deep learning. The continuous motorization of traffic has led to a sustained increase in the global number of road related fatalities and injuries. To counter this, governments are focusing on enforcing safe and law abiding behavior in traffic. However, especially in developing countries where the motorcycle is the main form of transportation, there is a lack of comprehensive data on the safety critical behavioral metric of motorcycle helmet use. This lack of data prohibits targeted enforcement and education campaigns which are crucial for injury prevention. Hence, we have developed an algorithm for the automated registration of motorcycle helmet usage from video data, using a deep learning approach. Based on 91,000 annotated frames of video data, collected at multiple observation sites in 7 cities across the country of Myanmar, we trained our algorithm to detect active motorcycles, the number and position of riders on the motorcycle, as well as their helmet use. An analysis of the algorithm's accuracy on an annotated test data set, and a comparison to available human registered helmet use data reveals a high accuracy of our approach. Our algorithm registers motorcycle helmet use rates with an accuracy of 4.4 and 2.1 in comparison to a human observer, with minimal training for individual observation sites. Without observation site specific training, the accuracy of helmet use detection decreases slightly, depending on a number of factors. Our approach can be implemented in existing roadside traffic surveillance infrastructure and can facilitate targeted data driven injury prevention campaigns with real time speed. Implications of the proposed method, as well as measures that can further improve detection accuracy are discussed.


UDPipe at SIGMORPHON 2019 Contextualized Embeddings, Regularization with Morphological Categories, Corpora Merging. We present our contribution to the SIGMORPHON 2019 Shared Task Crosslinguality and Context in Morphology, Task 2 contextual morphological analysis and lemmatization. We submitted a modification of the UDPipe 2.0, one of best performing systems of the CoNLL 2018 Shared Task Multilingual Parsing from Raw Text to Universal Dependencies and an overall winner of the The 2018 Shared Task on Extrinsic Parser Evaluation. As our first improvement, we use the pretrained contextualized embeddings (BERT) as additional inputs to the network secondly, we use individual morphological features as regularization and finally, we merge the selected corpora of the same language. In the lemmatization task, our system exceeds all the submitted systems by a wide margin with lemmatization accuracy 95.78 (second best was 95.00, third 94.46). In the morphological analysis, our system placed tightly second our morphological analysis accuracy was 93.19, the winning system's 93.23.


PT Ranking A Benchmarking Platform for Neural Learning to Rank. Deep neural networks has become the first choice for researchers working on algorithmic aspects of learning to rank. Unfortunately, it is not trivial to find the optimal setting of hyper parameters that achieves the best ranking performance. As a result, it becomes more and more difficult to develop a new model and conduct a fair comparison with prior methods, especially for newcomers. In this work, we propose PT Ranking, an open source project based on PyTorch for developing and evaluating learning to rank methods using deep neural networks as the basis to construct a scoring function. On one hand, PT Ranking includes many representative learning to rank methods. Besides the traditional optimization framework via empirical risk minimization, adversarial optimization framework is also integrated. Furthermore, PT Ranking's modular design provides a set of building blocks that users can leverage to develop new ranking models. On the other hand, PT Ranking supports to compare different learning to rank methods based on the widely used datasets (e.g., MSLR WEB30K, Yahoo!LETOR and Istella LETOR) in terms of different metrics, such as precision, MAP, nDCG, nERR. By randomly masking the ground truth labels with a specified ratio, PT Ranking allows to examine to what extent the ratio of unlabelled query document pairs affects the performance of different learning to rank methods. We further conducted a series of demo experiments to clearly show the effect of different factors on neural learning to rank methods, such as the activation function, the number of layers and the optimization strategy.


Scene Representation Networks Continuous 3D Structure Aware Neural Scene Representations. Unsupervised learning with generative models has the potential of discovering rich representations of 3D scenes. While geometric deep learning has explored 3D structure aware representations of scene geometry, these models typically require explicit 3D supervision. Emerging neural scene representations can be trained only with posed 2D images, but existing methods ignore the three dimensional structure of scenes. We propose Scene Representation Networks (SRNs), a continuous, 3D structure aware scene representation that encodes both geometry and appearance. SRNs represent scenes as continuous functions that map world coordinates to a feature representation of local scene properties. By formulating the image formation as a differentiable ray marching algorithm, SRNs can be trained end to end from only 2D images and their camera poses, without access to depth or shape. This formulation naturally generalizes across scenes, learning powerful geometry and appearance priors in the process. We demonstrate the potential of SRNs by evaluating them for novel view synthesis, few shot reconstruction, joint shape and appearance interpolation, and unsupervised discovery of a non rigid face model.


Research Challenges and Prospective Business Impacts of Cloud Computing A Survey. In today's information technology (IT) era, a major part of the costs is being spent on computational needs. Enterprises are in efforts to increase their Return on Investment (ROI) and individuals are trying to reduce their costs. In this regard, cloud computing which emerges as a fifth utility can reduce costs and enhance performance of IT solutions. A large number of companies and institutions are dealing with cloud related issues as a provider or user. Due to the fact that cloud computing services have been proposed in recent years, organizations and individuals face with various challenges and problems such as how to migrate applications and software platforms into cloud and how to ensure security of migrated applications and etc. Given that many different definitions of cloud computing is presented in many publications and projects, a concrete and clear definition for cloud computing considering its characteristics, models and services is provided in this paper. In addition, current challenges and open issues in cloud computing is discussed in details and further recommendations and roadmaps for scientific activities and researches as well as potentials for improvements in this area from scientific and commercial points of view are given in this paper.


KPsec Secure End to End Communications for Multi Hop Wireless Networks. The security of cyber physical systems, from self driving cars to medical devices, depends on their underlying multi hop wireless networks. Yet, the lack of trusted central infrastructures and limited nodes' resources make securing these networks challenging. Recent works on key pre distribution schemes, where nodes communicate over encrypted overlay paths, provide an appealing solution because of their distributed, computationally light weight nature. Alas, these schemes share a glaring security vulnerability the two ends of every overlay link can decrypt and potentially modify and alter the message. Plus, the longer overlay paths impose traffic overhead and increase latency. We present a novel routing mechanism, KPsec, to address these issues. KPsec deploys multiple disjoint paths and an initial key exchange phase to secure end to end communications. After the initial key exchange phase, traffic in KPsec follows the shortest paths and, in contrast to key pre distribution schemes, intermediate nodes cannot decrypt it. We measure the security and performance of KPsec as well as three state of the art key pre distribution schemes using a real 10 node testbed and large scale simulations. Our experiments show that, in addition to its security benefits, KPsec results in 5 15 improvement in network throughput, up to 75 reduction in latency, and an order of magnitude reduction in energy consumption.


Adventures in Mathematical Reasoning. "Mathematics is not a careful march down a well cleared highway, but a journey into a strange wilderness, where the explorers often get lost. Rigour should be a signal to the historian that the maps have been made, and the real explorers have gone elsewhere." W.S. Anglin, the Mathematical Intelligencer, 4 (4), 1982.


A 2Cat inspired model structure for double categories. We construct a model structure on the category mathrm DblCat of double categories and double functors. Unlike previous model structures for double categories, it recovers the homotopy theory of 2 categories through the horizontal embedding mathbb H colon2 mathrm Cat to mathrm DblCat , which is both left and right Quillen, and homotopically fully faithful. Furthermore, we show that Lack's model structure on 2 mathrm Cat is both left and right induced along mathbb H from our model structure on mathrm DblCat . In addition, we obtain a 2 mathrm Cat enrichment of our model structure on mathrm DblCat , by using a variant of the Gray tensor product. Under certain conditions, we prove a Whitehead theorem, characterizing our weak equivalences as the double functors which admit an inverse pseudo double functor up to horizontal pseudo natural equivalence. This retrieves the Whitehead theorem for 2 categories. Analogous statements hold for the category mathrm wkDblCat s of weak double categories and strict double functors, whose homotopy theory recovers that of bicategories. Moreover, we show that the full embedding mathrm DblCat to mathrm wkDblCat s is a Quillen equivalence.


A Lochs Type Approach via Entropy in Comparing the Efficiency of Different Continued Fraction Algorithms. We investigate the efficiency of several types of continued fraction expansions of a number in the unit interval using a generalization of Lochs theorem from 1964. Thus, we aimed to compare the efficiency by describing the rate at which the digits of one number theoretic expansion determine those of another. We study Chan's continued fractions, theta expansions, N continued fractions and R 'enyi type continued fractions. A central role in fulfilling our goal is played by the entropy of the absolutely continuous invariant probability measures of the associated dynamical systems.


Commensurators of thin normal subgroups and abelian quotients. We give an affirmative answer to many cases of a question due to Shalom, which asks if the commensurator of a thin subgroup of a Lie group is discrete. In this paper, let K Gamma G be an infinite normal subgroup of an arithmetic lattice Ga in a rank one simple Lie group G , such that the quotient Q Gamma K is infinite. We show that the commensurator of K in G is discrete, provided that Q admits a surjective homomorphism to mathbb Z . In this case, we also show that the commensurator of K contains the normalizer of K with finite index. We thus vastly generalize a result of the authors, which showed that many natural normal subgroups of mathrm PSL 2( mathbb Z ) have discrete commensurator in mathrm PSL 2( mathbb R ) .


LG GAN Label Guided Adversarial Network for Flexible Targeted Attack of Point Cloud based Deep Networks. Deep neural networks have made tremendous progress in 3D point cloud recognition. Recent works have shown that these 3D recognition networks are also vulnerable to adversarial samples produced from various attack methods, including optimization based 3D Carlini Wagner attack, gradient based iterative fast gradient method, and skeleton detach based point dropping. However, after a careful analysis, these methods are either extremely slow because of the optimization iterative scheme, or not flexible to support targeted attack of a specific category. To overcome these shortcomings, this paper proposes a novel label guided adversarial network (LG GAN) for real time flexible targeted point cloud attack. To the best of our knowledge, this is the first generation based 3D point cloud attack method. By feeding the original point clouds and target attack label into LG GAN, it can learn how to deform the point clouds to mislead the recognition network into the specific label only with a single forward pass. In detail, LGGAN first leverages one multi branch adversarial network to extract hierarchical features of the input point clouds, then incorporates the specified label information into multiple intermediate features using the label encoder. Finally, the encoded features will be fed into the coordinate reconstruction decoder to generate the target adversarial sample. By evaluating different point cloud recognition models (e.g., PointNet, PointNet and DGCNN), we demonstrate that the proposed LG GAN can support flexible targeted attack on the fly while guaranteeing good attack performance and higher efficiency simultaneously.


Bi Lipschitz Mane projectors and finite dimensional reduction for complex Ginzburg Landau equation. We present a new method of establishing the finite dimensionality of limit dynamics (in terms of bi Lipschitz Mane projectors) for semilinear parabolic systems with cross diffusion terms and illustrate it on the model example of 3D complex Ginzburg Landau equation with periodic boundary conditions. The method combines the so called spatial averaging principle invented by Sell and Mallet Paret with temporal averaging of rapid oscillations which come from cross diffusion terms.


High order multipoles in all dielectric metagrating enabling ultralarge angle light bending with unity efficiency. Gradient metasurfaces have been extensively applied in recent years for enabling an unprecedented control of light beam over thin optical components. However, these metasurfaces suffer from low efficiency when it comes to bending light with large angle and high fabrication demand when it requires fine discretion. In this work, we investigate the all dielectric metagrating based on mie type resonances interference, allowing extraordinary optical diffraction for beam steering with ultralarge angle. It is found that the coupling inside and among lattice of metagrating can tune the exciting state of electric and magnetic resonances including both fundamental dipoles and high order multipoles, leading to ideal asymmetrical scattering pattern for redistributing the energy between the diffraction channels at will. The participation of quadrupole and hexapole not only significantly enhance the working efficiency, but also bring distinctive possibilities for wave manipulation which cannot be reached by dipoles. Utilizing a thin array of silicon rods, large angle negative refraction and reflection are demonstrated with almost unity efficiency under both polarizations. Compared with conventional metasurfaces, such an all dielectric mategrating has the merits of high flexibility, high efficiency and low fabrication demand. The strong coupling and prosperous interactions among multipoles may behave as a cornerstone for broad range of wavefront control and offer an effective solution for various on chip optical wave control such as bending, focusing, filtering and sensing.


Polarization effect and emission control in asymmetric cross shaped slot antennas surrounded with periodic corrugations. I discuss progress in the development of asymmetric cross shaped plasmonic antennas based on resonant nanoscale apertures surrounded by surface corrugations. By tailoring the aperture and the surrounding surface, we show directionality and polarization control of transmitted light.


Phase transitions from exp(n 1 2 ) to exp(n 2 3 ) in the asymptotics of banded plane partitions. We examine the asymptotics of a class of banded plane partitions under a varying bandwidth parameter m , and clarify the transitional behavior for large size n and increasing m m(n) to be from c 1 n 1 exp(c 2 n 1 2 ) to c 3 n 49 72 exp(c 4 n 2 3 c 5 n 1 3 ) for some explicit coefficients c 1, ldots, c 5 . The method of proof, which is a unified saddle point analysis for all phases, is general and can be extended to other classes of plane partitions.


Simple modules over quantum torus and quantum group. In this paper, we classify all simple modules over the quantum torus mathbb C nu x pm1 ,y pm1 and the quantum group U q( mathfrak sl 2 ) for generic case.


N terminal domain Increases Activation of Elephant Shark Glucocorticoid and Mineralocorticoid Receptors. Cortisol, corticosterone and aldosterone activate full length glucocorticoid receptor (GR) from elephant shark, a cartilaginous fish belonging to the oldest group of jawed vertebrates. Activation by aldosterone a mineralocorticoid, indicates partial divergence of elephant shark GR from the MR. Progesterone activates elephant shark MR, but not elephant shark GR. Progesterone inhibits steroid binding to elephant shark GR, but not to human GR. Deletion of the N terminal domain (NTD) from elephant shark GR (Truncated GR) reduced the response to corticosteroids, while truncated and full length elephant shark MR had similar responses to corticosteroids. Chimeras of elephant shark GR NTD fused to MR DBD LBD had increased activation by corticosteroids and progesterone compared to full length elephant shark MR. Elephant shark MR NTD fused to GR DBD LBD had similar activation as full length elephant shark MR, indicating that activation of human GR by the NTD evolved early in GR divergence from the MR.


SherLIiC A Typed Event Focused Lexical Inference Benchmark for Evaluating Natural Language Inference. We present SherLIiC, a testbed for lexical inference in context (LIiC), consisting of 3985 manually annotated inference rule candidates (InfCands), accompanied by (i) 960k unlabeled InfCands, and (ii) 190k typed textual relations between Freebase entities extracted from the large entity linked corpus ClueWeb09. Each InfCand consists of one of these relations, expressed as a lemmatized dependency path, and two argument placeholders, each linked to one or more Freebase types. Due to our candidate selection process based on strong distributional evidence, SherLIiC is much harder than existing testbeds because distributional evidence is of little utility in the classification of InfCands. We also show that, due to its construction, many of SherLIiC's correct InfCands are novel and missing from existing rule bases. We evaluate a number of strong baselines on SherLIiC, ranging from semantic vector space models to state of the art neural models of natural language inference (NLI). We show that SherLIiC poses a tough challenge to existing NLI systems.


Making an Invisibility Cloak Real World Adversarial Attacks on Object Detectors. We present a systematic study of adversarial attacks on state of the art object detection frameworks. Using standard detection datasets, we train patterns that suppress the objectness scores produced by a range of commonly used detectors, and ensembles of detectors. Through extensive experiments, we benchmark the effectiveness of adversarially trained patches under both white box and black box settings, and quantify transferability of attacks between datasets, object classes, and detector models. Finally, we present a detailed study of physical world attacks using printed posters and wearable clothes, and rigorously quantify the performance of such attacks with different metrics.


Reinforcement Learning for Test Case Prioritization. Continuous Integration (CI) significantly reduces integration problems, speeds up development time, and shortens release time. However, it also introduces new challenges for quality assurance activities, including regression testing, which is the focus of this work. Though various approaches for test case prioritization have shown to be very promising in the context of regression testing, specific techniques must be designed to deal with the dynamic nature and timing constraints of CI. Recently, Reinforcement Learning (RL) has shown great potential in various challenging scenarios that require continuous adaptation, such as game playing, real time ads bidding, and recommender systems. Inspired by this line of work and building on initial efforts in supporting test case prioritization with RL techniques, we perform here a comprehensive investigation of RL based test case prioritization in a CI context. To this end, taking test case prioritization as a ranking problem, we model the sequential interactions between the CI environment and a test case prioritization agent as an RL problem, using three alternative ranking models. We then rely on carefully selected and tailored state of the art RL techniques to automatically and continuously learn a test case prioritization strategy, whose objective is to be as close as possible to the optimal one. Our extensive experimental analysis shows that the best RL solutions provide a significant accuracy improvement over previous RL based work, with prioritization strategies getting close to being optimal, thus paving the way for using RL to prioritize test cases in a CI context.


Decentralized Learning with Lazy and Approximate Dual Gradients. This paper develops algorithms for decentralized machine learning over a network, where data are distributed, computation is localized, and communication is restricted between neighbors. A line of recent research in this area focuses on improving both computation and communication complexities. The methods SSDA and MSDA cite scaman2017optimal have optimal communication complexity when the objective is smooth and strongly convex, and are simple to derive. However, they require solving a subproblem at each step. We propose new algorithms that save computation through using (stochastic) gradients and saves communications when previous information is sufficiently useful. Our methods remain relatively simple rather than solving a subproblem, they run Katyusha for a small, fixed number of steps from the latest point. An easy to compute, local rule is used to decide if a worker can skip a round of communication. Furthermore, our methods provably reduce communication and computation complexities of SSDA and MSDA. In numerical experiments, our algorithms achieve significant computation and communication reduction compared with the state of the art.


MESH A Flexible Distributed Hypergraph Processing System. With the rapid growth of large online social networks, the ability to analyze large scale social structure and behavior has become critically important, and this has led to the development of several scalable graph processing systems. In reality, however, social interaction takes place not only between pairs of individuals as in the graph model, but rather in the context of multi user groups. Research has shown that such group dynamics can be better modeled through a more general hypergraph model, resulting in the need to build scalable hypergraph processing systems. In this paper, we present MESH, a flexible distributed framework for scalable hypergraph processing. MESH provides an easy to use and expressive application programming interface that naturally extends the think like a vertex model common to many popular graph processing systems. Our framework provides a flexible implementation based on an underlying graph processing system, and enables different design choices for the key implementation issues of partitioning a hypergraph representation. We implement MESH on top of the popular GraphX graph processing framework in Apache Spark. Using a variety of real datasets and experiments conducted on a local 8 node cluster as well as a 65 node Amazon AWS testbed, we demonstrate that MESH provides flexibility based on data and application characteristics, as well as scalability with cluster size. We further show that it is competitive in performance to HyperX, another hypergraph processing system based on Spark, while providing a much simpler implementation (requiring about 5X fewer lines of code), thus showing that simplicity and flexibility need not come at the cost of performance.


Perfectly matched layer method for optical modes in dielectric cavities. The optical resonance problem is similar to but different from time steady Schr " o dinger equation. One big challenge is that the eigenfunctions in resonance problem is exponentially growing. We give physical explanation to this boundary condition and introduce perfectly matched layer (PML) method to transform eigenfunctions from exponential growth to exponential decay. Based on the complex stretching technique, we construct a non Hermitian Hamiltonian for the optical resonance problem. We successfully validate the effectiveness of the Hamiltonian by calculate its eigenvalues in the circular cavity and compare with the analytical results. We also use the proposed Hamiltonian to investigate the mode evolution around exceptional points in the quad cosine cavity.


A local character based method for solving linear systems of radiation diffusion problems. The radiation diffusion problem is a kind of time dependent nonlinear equations. For solving the radiation diffusion equations, many linear systems are obtained in the nonlinear iterations at each time step. The cost of linear equations dominates the numerical simulation of radiation diffusion applications, such as inertial confinement fusion, etc. Usually, iterative methods are used to solve the linear systems in a real application. Moreover, the solution of the previous nonlinear iteration or the solution of the previous time step is typically used as the initial guess for solving the current linear equations. Because of the strong local character in ICF, with the advancing of nonlinear iteration and time step, the solution of the linear system changes dramatically in some local domain, and changes mildly or even has no change in the rest domain. In this paper, a local character based method is proposed to solve the linear systems of radiation diffusion problems. The proposed method consists of three steps firstly, a local domain (algebraic domain) is constructed secondly, the subsystem on the local domain is solved and lastly, the whole system will be solved. Two methods are given to construct the local domain. One is based on the spatial gradient, and the other is based on the residual. Numerical tests for a two dimensional heat conduction model problem, and two real application models, the multi group radiation diffusion equations and the three temperature energy equations, are conducted. The test results show that the solution time for solving the linear system can be reduced dramatically by using the local character based method.


From Farey fractions to the Klein quartic and beyond. In his 1878 79 paper "Ueber die transformation siebenter ordnung der elliptischen functionen", Klein produced his famous 14 sided polygon representing the Klein quartic, his Riemann surface of genus 3 which has PSL(2,7) as its automorphism group. The construction and method of side pairings are fairly complicated. By considering the Farey map modulo 7 we show how to obtain a fundamental polygon for Klein's surface using arithmetic. Now the side pairings are immediate and essentially the same as in Klein's paper. We also extend this idea from 7 to 11 as Klein attempted to do in his follow up paper "Ueber die transformation elfter ordnung der elliptischen functionen", in 1879.


Computation of minimal covariants bases for 2D coupled constitutive laws. We produce minimal integrity bases for both isotropic and hemitropic invariant algebras (and more generally covariant algebras) of most common bidimensional constitutive tensors and possibly coupled laws, including piezoelectricity law, photoelasticity, Eshelby and elasticity tensors, complex viscoelasticity tensor, Hill elasto plasticity, and (totally symmetric) fabric tensors up to twelfth order. The concept of covariant, which extends that of invariant is explained and motivated. It appears to be much more useful for applications. All the tools required to obtain these results are explained in detail and a cleaning algorithm is formulated to achieve minimality in the isotropic case. The invariants and covariants are first expressed in complex forms and then in tensorial forms, thanks to explicit translation formulas which are provided. The proposed approach also applies to any n uplet of bidimensional constitutive tensors.


Some log and weak majorization inequalities in Euclidean Jordan algebras. Motivated by Horn's log majorization (singular value) inequality s(AB) underset log prec s(A) s(B) and the related weak majorization inequality s(AB) underset w prec s(A) s(B) for square complex matrices, we consider their Hermitian analogs lambda( sqrt A B sqrt A ) underset log prec lambda(A) lambda(B) for positive semidefinite matrices and lambda( A circ B ) underset w prec lambda( A ) lambda( B ) for general (Hermitian) matrices, where A circ B denotes the Jordan product of A and B and denotes the componentwise product in R n . In this paper, we extended these inequalities to the setting of Euclidean Jordan algebras in the form lambda big (P sqrt a (b) big ) underset log prec lambda(a) lambda(b) for a,b geq 0 and lambda big ( a circ b big ) underset w prec lambda( a ) lambda( b ) for all a and b , where P u and lambda(u) denote, respectively, the quadratic representation and the eigenvalue vector of an element u . We also describe inequalities of the form lambda( A bullet b ) underset w prec lambda( mathrm diag (A)) lambda( b ) , where A is a real symmetric positive semidefinite matrix and A , bullet , b is the Schur product of A and b . In the form of an application, we prove the generalized H " o lder type inequality a circ b p leq a r , b s , where x p lambda(x) p denotes the spectral p norm of x and p,q,r in 1, infty with frac 1 p frac 1 r frac 1 s . We also give precise values of the norms of the Lyapunov transformation L a and P a relative to two spectral p norms.


An Analysis of Object Representations in Deep Visual Trackers. Fully convolutional deep correlation networks are integral components of state of the art approaches to single object visual tracking. It is commonly assumed that these networks perform tracking by detection by matching features of the object instance with features of the entire frame. Strong architectural priors and conditioning on the object representation is thought to encourage this tracking strategy. Despite these strong priors, we show that deep trackers often default to tracking by saliency detection without relying on the object instance representation. Our analysis shows that despite being a useful prior, salience detection can prevent the emergence of more robust tracking strategies in deep networks. This leads us to introduce an auxiliary detection task that encourages more discriminative object representations that improve tracking performance.


Self similarity of low frequency earthquakes. Low frequency earthquakes are a particular class of slow earthquakes that provide a unique source of information on the mechanical properties of a subduction zone during the preparation of large earthquakes. Despite increasing detection of these events in recent years, their source mechanisms are still poorly characterised, and the relation between their magnitude and size remains controversial. Here, we present the source characterisation of more than 10,000 low frequency earthquakes that occurred during tremor sequences in 2012 2016 along the Nankai subduction zone in western Shikoku, Japan. We show that the seismic moment versus corner frequency scaling for these events is compatible with an inverse of the cube law, as widely observed for regular earthquakes. Our result is thus consistent with shear rupture as the source mechanism for low frequency earthquakes, and suggests that they obey to a similar physics of regular earthquakes, with self similar rupture process and constant stress drop. Furthermore, when investigating the dependence of the stress drop value on the rupture speed, we found that low frequency earthquakes might propagate at lower rupture velocity than regular earthquakes, releasing smaller stress drop.


The Effect of Population Size for Pathogen Transmission on Prediction of COVID 19 Pandemic Spread. Extreme public health interventions play a critical role in mitigating the local and global prevalence and pandemic potential of COVID 19. Here, we use population size for pathogen transmission to measure the intensity of public health interventions, which is a key characteristic variable for nowcasting and forecasting of the epidemic. By formulating a hidden Markov dynamic system and using nonlinear filtering theory, we have developed a stochastic epidemic dynamic model under public health interventions. The model parameters and states are estimated in time from internationally available public data by combining an unscented filter and an interacting multiple model filter. Moreover, we consider the computability of the population size and provide its selection criterion. We estimate the mean of the basic reproductive number of China and the rest of the globe except China (GEC) to be 2.46 (95 CI 2.41 2.51) and 3.64 (95 CI (3.55 3.72), respectively. We infer that the number of latent infections of GEC is about 7.47 10 5 (95 CI 7.32 10 5 7.62 10 5) as of April 2, 2020. We predict that the peak of infections in hospitals of GEC may reach 3.00 10 6 on the present trajectory, i.e., if the population size for pathogen transmission and epidemic parameters remains unchanged. If the control intensity is strengthened, e.g., 50 reduction or 75 reduction of the population size for pathogen transmission, the peak would decline to 1.84 10 6, 1.27 10 6, respectively.


Broadband Sub lambda GHz ITO Plasmonic Mach Zehnder Modulator on Silicon Photonics. Here, we demonstrate a spectrally broadband, GHz fast Mach Zehnder interferometeric modulator, exhibiting a miniscule VpL of 95 V um, deploying a sub wavelength short electrostatically tunable plasmonic phase shifter, based on heterogeneously integrated ITO thin films into silicon photonics.


Non Euclidean Laguerre geometry and incircular nets. Classical (Euclidean) Laguerre geometry studies oriented hyperplanes, oriented hyperspheres, and their oriented contact in Euclidean space. We describe how this can be generalized to arbitrary Cayley Klein spaces, in particular hyperbolic and elliptic space, and study the corresponding groups of Laguerre transformations. We give an introduction to Lie geometry and describe how these Laguerre geometries can be obtained as subgeometries. As an application of two dimensional Lie and Laguerre geometry we study the properties of incircular nets.


Quantum Efficiency Enhancement by Mie Resonance from GaAs Photocathodes Structured with Surface Nanopillar Arrays. A new type of negative electron affinity (NEA) photocathode based on GaAs nanopillar array (NPA) Mie type resonators was demonstrated for the first time. For visible wavelengths, the Mie resonances in GaAs NPA reduced light reflectivity to less than 6 percent compared to a typical value great then 35 percent. Other benefits of NPA resonators include an enhanced density of optical states due to increased light concentration and increased electron emission area. These features resulted in improved photoemission performance at the resonance wavelength demonstrating maximum quantum efficiency 3.5 times greater than a GaAs wafer photocathode without the NPA structure. This optically dark photocathode (sub percentage light reflectance over visible wavelengths) but possessing electrically high brightness (enhanced electron emission) provides new opportunities for practical applications such as large scale electron accelerators, high resolution night vision imaging and low energy electron microscopy.


Explainable Prediction of Text Complexity The Missing Preliminaries for Text Simplification. Text simplification reduces the language complexity of professional content for accessibility purposes. End to end neural network models have been widely adopted to directly generate the simplified version of input text, usually functioning as a blackbox. We show that text simplification can be decomposed into a compact pipeline of tasks to ensure the transparency and explainability of the process. The first two steps in this pipeline are often neglected 1) to predict whether a given piece of text needs to be simplified, and 2) if yes, to identify complex parts of the text. The two tasks can be solved separately using either lexical or deep learning methods, or solved jointly. Simply applying explainable complexity prediction as a preliminary step, the out of sample text simplification performance of the state of the art, black box simplification models can be improved by a large margin.


An equivalence criterion for infinite products of Cauchy measures. We give an equivalence singularity criterion for infinite products of Cauchy measures under simultaneous shifts of the location and scale parameters. Our result is an extension of Lie and Sullivan's result giving an equivalence singularity criterion under dilations of scale parameters. Our proof utilizes McCullagh's parameterization of the Cauchy distributions and maximal invariant, and a closed form formula of the Kullback Leibler divergence between two Cauchy measures given by Chyzak and Nielsen.


Computing low rank approximations of the Fr 'echet derivative of a matrix function using Krylov subspace methods. The Fr 'echet derivative L f(A,E) of the matrix function f(A) plays an important role in many different applications, including condition number estimation and network analysis. We present several different Krylov subspace methods for computing low rank approximations of L f(A,E) when the direction term E is of rank one (which can easily be extended to general low rank). We analyze the convergence of the resulting method for the important special case that A is Hermitian and f is either the exponential, the logarithm or a Stieltjes function. In a number of numerical tests, both including matrices from benchmark collections and from real world applications, we demonstrate and compare the accuracy and efficiency of the proposed methods.


Optimal Sensor Placement in Power Grids Power Domination, Set Covering, and the Neighborhoods of Zero Forcing Forts. To monitor electrical activity throughout the power grid and mitigate outages, sensors known as phasor measurement units can installed. Due to implementation costs, it is desirable to minimize the number of sensors deployed while ensuring that the grid can be effectively monitored. This optimization problem motivates the graph theoretic power dominating set problem. In this paper, we propose a novel integer program for identifying minimum power dominating sets by formulating a set cover problem. This problem's constraints correspond to neighborhoods of zero forcing forts we study their structural properties and show they can be separated, allowing the proposed model to be solved via row generation. The proposed and existing methods are compared in several computational experiments in which the proposed method consistently exhibits an order of magnitude improvement in runtime performance.


Molecular dissociation in few cycle laser pulses From attosecond to femtosecond pulse duration. The dissociation dynamics of diatomic molecules interacting with (near) optical laser pulses of different duration is investigated by an elaborate discussion of the electric field of the laser and by a direct solution of the time dependent molecular Schr "odinger equation. The systematic variation of the pulse duration from the electronic time scale (attoseconds) to the nuclear time scale (femtoseconds) shows that the employed few cycle laser pulses lead to well known but quite different dissociation mechanisms. A comparative calculation with a model pulse and an experimentally realized attosecond pulse emphasizes that, and to what extent, a realistic modeling of the electric field is of central importance in the attosecond regime.


Non realizability of the pure braid group as area preserving homeomorphisms. Let text Homeo (D 2 n) be the group of orientation preserving homeomorphisms of D 2 fixing the boundary pointwise and n marked points as a set. Nielsen realization problem for the braid group asks whether the natural projection p n text Homeo (D 2 n) to B n pi 0( text Homeo (D 2 n)) has a section over subgroups of B n . All of the previous methods either use torsions or Thurston stability, which do not apply to the pure braid group PB n , the subgroup of B n that fixes n marked points pointwise. In this paper, we show that the pure braid group has no realization inside the area preserving homeomorphisms using rotation numbers.


Graph Clustering in All Parameter Regimes. Resolution parameters in graph clustering represent a size and quality trade off. We address the task of efficiently solving a parameterized graph clustering objective for all values of a resolution parameter. Specifically, we consider an objective we call LambdaPrime, involving a parameter lambda in (0,1) . This objective is related to other parameterized clustering problems, such as parametric generalizations of modularity, and captures a number of specific clustering problems as special cases, including sparsest cut and cluster deletion. While previous work provides approximation results for a single resolution parameter, we seek a set of approximately optimal clusterings for all values of lambda in polynomial time. In particular, we ask the question, how small a family of clusterings suffices to optimize or to approximately optimize the LambdaPrime objective over the full possible spectrum of lambda ? We obtain a family of logarithmically many clusterings by solving the parametric linear programming relaxation of LambdaPrime at a logarithmic number of parameter values, and round their solutions using existing approximation algorithms. We prove that this number is tight up to a constant factor. Specifically, for a certain class of ring graphs, a logarithmic number of feasible solutions is required to provide a constant factor approximation for the LambdaPrime LP relaxation in all parameter regimes. We additionally show that for any graph with n nodes and m edges, there exists a set of m or fewer clusterings such that for every lambda in (0,1) , the family contains an exact solution to the LambdaPrime objective. There also exists a set of O( log n) clusterings that provide a (1 varepsilon) approximate solution in all parameter regimes we demonstrate simple graph classes for which these bounds are tight.


A Trust Region Method for Finding Second Order Stationarity in Linearly Constrained Non Convex Optimization. Motivated by TRACE algorithm Curtis et al. 2017 , we propose a trust region algorithm for finding second order stationary points of a linearly constrained non convex optimization problem. We show the convergence of the proposed algorithm to ( epsilon g, epsilon H) second order stationary points in widetilde mathcal O ( max epsilon g 3 2 , epsilon H 3 ) iterations. This iteration complexity is achieved for general linearly constrained optimization without cubic regularization of the objective function.


Extracting Implicitly Asserted Propositions in Argumentation. Argumentation accommodates various rhetorical devices, such as questions, reported speech, and imperatives. These rhetorical tools usually assert argumentatively relevant propositions rather implicitly, so understanding their true meaning is key to understanding certain arguments properly. However, most argument mining systems and computational linguistics research have paid little attention to implicitly asserted propositions in argumentation. In this paper, we examine a wide range of computational methods for extracting propositions that are implicitly asserted in questions, reported speech, and imperatives in argumentation. By evaluating the models on a corpus of 2016 U.S. presidential debates and online commentary, we demonstrate the effectiveness and limitations of the computational models. Our study may inform future research on argument mining and the semantics of these rhetorical devices in argumentation.


Thermal surface neutralization of Fr ions with metal foils for magneto optical trapping of radioisotopes. We investigate neutralization processes (especially thermal surface neutralization), which are required for the magneto optical trapping of radioactive atoms. A variety of neutralization methods are first summarized neutral beam injection for fusion reactors, neutral atom implantation in semiconductor processing, and the production of radioactive neutral atoms in accelerators. We focus on thermal surface neutralization, which produces neutral atoms in the thermal energy range for laser cooling. The experiments were carried out with yttrium, gadolinium, and zirconium foils to neutralize francium and rubidium ions for magneto optical trapping. The results reconfirm that yttrium foil is a good neutralizer (i.e., it has a neutral release efficiency 65 ). In addition, the release fraction when using yttrium foil exceeds 75 at 1350 K, which is greater than the release fraction for the other foils. This reconfirmation is important because few previous studies have focused on thermal surface neutralization. Moreover, the results show that the neutralization efficiency is strongly influenced by the experimental process itself.


Accelerated Neural Networks on OpenCL Devices Using SYCL DNN. Over the past few years machine learning has seen a renewed explosion of interest, following a number of studies showing the effectiveness of neural networks in a range of tasks which had previously been considered incredibly hard. Neural networks' effectiveness in the fields of image recognition and natural language processing stems primarily from the vast amounts of data available to companies and researchers, coupled with the huge amounts of compute power available in modern accelerators such as GPUs, FPGAs and ASICs. There are a number of approaches available to developers for utilizing GPGPU technologies such as SYCL, OpenCL and CUDA, however many applications require the same low level mathematical routines. Libraries dedicated to accelerating these common routines allow developers to easily make full use of the available hardware without requiring low level knowledge of the hardware themselves, however such libraries are often provided by hardware manufacturers for specific hardware such as cuDNN for Nvidia hardware or MIOpen for AMD hardware. SYCL DNN is a new open source library dedicated to providing accelerated routines for neural network operations which are hardware and vendor agnostic. Built on top of the SYCL open standard and written entirely in standard C , SYCL DNN allows a user to easily accelerate neural network code for a wide range of hardware using a modern C interface. The library is tested on AMD's OpenCL for GPU, Intel's OpenCL for CPU and GPU, ARM's OpenCL for Mali GPUs as well as ComputeAorta's OpenCL for R Car CV engine and host CPU. In this talk we will present performance figures for SYCL DNN on this range of hardware, and discuss how high performance was achieved on such a varied set of accelerators with such different hardware features.


2 categories of symmetric bimodules and their 2 representations. In this article we analyze the structure of 2 categories of symmetric projective bimodules over a finite dimensional algebra with respect to the action of a finite abelian group. We determine under which condition the resulting 2 category is fiat (in the sense of cite MM1 ) and classify simple transitive 2 representations of this 2 category (under some mild technical assumption). We also study several classes of examples in detail.


Visual Sentiment Analysis from Disaster Images in Social Media. The increasing popularity of social networks and users' tendency towards sharing their feelings, expressions, and opinions in text, visual, and audio content, have opened new opportunities and challenges in sentiment analysis. While sentiment analysis of text streams has been widely explored in literature, sentiment analysis from images and videos is relatively new. This article focuses on visual sentiment analysis in a societal important domain, namely disaster analysis in social media. To this aim, we propose a deep visual sentiment analyzer for disaster related images, covering different aspects of visual sentiment analysis starting from data collection, annotation, model selection, implementation, and evaluations. For data annotation, and analyzing peoples' sentiments towards natural disasters and associated images in social media, a crowd sourcing study has been conducted with a large number of participants worldwide. The crowd sourcing study resulted in a large scale benchmark dataset with four different sets of annotations, each aiming a separate task. The presented analysis and the associated dataset will provide a baseline benchmark for future research in the domain. We believe the proposed system can contribute toward more livable communities by helping different stakeholders, such as news broadcasters, humanitarian organizations, as well as the general public.


Requirements Intelligence with OpenReq Analytics. With the rise of social media like Twitter and distribution platforms like app stores, users have various ways to express their opinions about software products. Popular software vendors get user feedback thousandfold per day. Research has shown that such feedback contains valuable information for software development teams. However, a manual analysis of user feedback is cumbersome and hard to manage. We present OpenReq Analytics, a software requirements intelligence service, that collects, processes, analyzes, and visualizes user feedback.


A Vlasov Algorithm Derived from Phase Space Conservation. Existing approaches to solving the Vlasov equation treat the system as a partial differential equation on a phase space grid, and track in either an Eulerian, Lagrangian, or semi Lagrangian picture. We present an alternative approach, which treats the Vlasov equation as a conservative flow on phase space, and derives its equations of motion using particle pushing algorithms akin to particle in cell methods. Deposition to the grid is determined from the convolution of local basis functions. This approach has the benefit of allowing flexible definitions in the grid, which are decoupled from how the phase space flow evolves. We present numerical examples and comment on the various properties of the algorithm.


Weakly Supervised Action Localization and Action Recognition using Global Local Attention of 3D CNN. 3D Convolutional Neural Network (3D CNN) captures spatial and temporal information on 3D data such as video sequences. However, due to the convolution and pooling mechanism, the information loss seems unavoidable. To improve the visual explanations and classification in 3D CNN, we propose two approaches i) aggregate layer wise global to local (global local) discrete gradients using trained 3DResNext network, and ii) implement attention gating network to improve the accuracy of the action recognition. The proposed approach intends to show the usefulness of every layer termed as global local attention in 3D CNN via visual attribution, weakly supervised action localization, and action recognition. Firstly, the 3DResNext is trained and applied for action classification using backpropagation concerning the maximum predicted class. The gradients and activations of every layer are then up sampled. Later, aggregation is used to produce more nuanced attention, which points out the most critical part of the predicted class's input videos. We use contour thresholding of final attention for final localization. We evaluate spatial and temporal action localization in trimmed videos using fine grained visual explanation via 3DCam. Experimental results show that the proposed approach produces informative visual explanations and discriminative attention. Furthermore, the action recognition via attention gating on each layer produces better classification results than the baseline model.


Probabilistic Circuits for Variational Inference in Discrete Graphical Models. Inference in discrete graphical models with variational methods is difficult because of the inability to re parameterize gradients of the Evidence Lower Bound (ELBO). Many sampling based methods have been proposed for estimating these gradients, but they suffer from high bias or variance. In this paper, we propose a new approach that leverages the tractability of probabilistic circuit models, such as Sum Product Networks (SPN), to compute ELBO gradients exactly (without sampling) for a certain class of densities. In particular, we show that selective SPNs are suitable as an expressive variational distribution, and prove that when the log density of the target model is a polynomial the corresponding ELBO can be computed analytically. To scale to graphical models with thousands of variables, we develop an efficient and effective construction of selective SPNs with size O(kn) , where n is the number of variables and k is an adjustable hyperparameter. We demonstrate our approach on three types of graphical models Ising models, Latent Dirichlet Allocation, and factor graphs from the UAI Inference Competition. Selective SPNs give a better lower bound than mean field and structured mean field, and is competitive with approximations that do not provide a lower bound, such as Loopy Belief Propagation and Tree Reweighted Belief Propagation. Our results show that probabilistic circuits are promising tools for variational inference in discrete graphical models as they combine tractability and expressivity.


Cost Effective Federated Learning Design. Federated learning (FL) is a distributed learning paradigm that enables a large number of devices to collaboratively learn a model without sharing their raw data. Despite its practical efficiency and effectiveness, the iterative on device learning process incurs a considerable cost in terms of learning time and energy consumption, which depends crucially on the number of selected clients and the number of local iterations in each training round. In this paper, we analyze how to design adaptive FL that optimally chooses these essential control variables to minimize the total cost while ensuring convergence. Theoretically, we analytically establish the relationship between the total cost and the control variables with the convergence upper bound. To efficiently solve the cost minimization problem, we develop a low cost sampling based algorithm to learn the convergence related unknown parameters. We derive important solution properties that effectively identify the design principles for different metric preferences. Practically, we evaluate our theoretical results both in a simulated environment and on a hardware prototype. Experimental evidence verifies our derived properties and demonstrates that our proposed solution achieves near optimal performance for various datasets, different machine learning models, and heterogeneous system settings.


A Many Server Functional Strong Law For A Non Stationary Loss Model. The purpose of this note is to show that it is possible to establish a many server functional strong law of large numbers (FSLLN) for the fraction of occupied servers (i.e., the scaled number in system) without explicitly tracking either the age or the residual service times of the jobs in a non Markovian, non stationary loss model. This considerable analytical simplification is achieved by exploiting a semimartingale representation. The fluid limit is shown to be the unique solution of a Volterra integral equation.


The Potential Short and Long Term Disruptions and Transformative Impacts of 5G and Beyond Wireless Networks Lessons Learnt from the Development of a 5G Testbed Environment. The anticipated deployment cost of 5G communication networks in the UK is predicted to be in between pounds 30bn pounds 50bn, whereas the current annual capital expenditure of the mobile network operators (MNOs) is pounds 2.5bn. This prospect has vastly impacted and has become one of the major delaying factors for building the 5G physical infrastructure, whereas other areas of 5G developments are progressing at their speed. In this paper, an extensive study is conducted to explore the possibilities of reducing the 5G deployment cost and developing business models. This study suggests that the use of existing public infrastructure has a great potential to contribute to a reduction of about 40 to 60 in the anticipated cost. Also, the recent Ofcom initiative of location based licensing of radio spectrum is reviewed. Our study suggests that simplification of infrastructure and spectrum will encourage the exponential growth of scenario specific cellular networks and will potentially disrupt the current business models of telecommunication stakeholders specifically MNOs and TowerCos. Moreover, the dense network connectivity will encourage extensive data harvesting as a business opportunity and function within small and medium sized enterprises as well as within large social networks. Consequently, the rise of new infrastructures and spectrum stakeholders is anticipated. This will fuel the development of a 5G data exchange ecosystem where data transactions are deemed to be high value business commodities. Also, a data economy oriented business model is proposed. The study found that with the potential commodification of data and data transactions along with the low cost physical infrastructure and spectrum, the 5G network will introduce significant disruption in the Telco business ecosystem.


Noncommutative Cartan C subalgebras. We characterise Exel's noncommutative Cartan subalgebras in several ways using uniqueness of conditional expectations, relative commutants, or purely outer inverse semigroup actions. We describe in which sense the crossed product decomposition for a noncommutative Cartan subalgebra is unique. We relate the property of being a noncommutative Cartan subalgebra to aperiodic inclusions and effectivity of dual groupoids. In particular, we extend Renault's characterisation of commutative Cartan subalgebras.


Finite dimensional differential graded algebras and their geometric realizations. We prove that for any finite dimensional differential graded algebra with separable semisimple part the category of perfect modules is equivalent to a full subcategory of the category of perfect complexes on a smooth projective scheme with a full separable semi exceptional collection. Moreover, we also show that it gives a characterization of such categories assuming that a subcategory is idempotent complete and has a classical generator.


Fast Sparse ConvNets. Historically, the pursuit of efficient inference has been one of the driving forces behind research into new deep learning architectures and building blocks. Some recent examples include the squeeze and excitation module, depthwise separable convolutions in Xception, and the inverted bottleneck in MobileNet v2. Notably, in all of these cases, the resulting building blocks enabled not only higher efficiency, but also higher accuracy, and found wide adoption in the field. In this work, we further expand the arsenal of efficient building blocks for neural network architectures but instead of combining standard primitives (such as convolution), we advocate for the replacement of these dense primitives with their sparse counterparts. While the idea of using sparsity to decrease the parameter count is not new, the conventional wisdom is that this reduction in theoretical FLOPs does not translate into real world efficiency gains. We aim to correct this misconception by introducing a family of efficient sparse kernels for ARM and WebAssembly, which we open source for the benefit of the community as part of the XNNPACK library. Equipped with our efficient implementation of sparse primitives, we show that sparse versions of MobileNet v1, MobileNet v2 and EfficientNet architectures substantially outperform strong dense baselines on the efficiency accuracy curve. On Snapdragon 835 our sparse networks outperform their dense equivalents by 1.3 2.4 times equivalent to approximately one entire generation of MobileNet family improvement. We hope that our findings will facilitate wider adoption of sparsity as a tool for creating efficient and accurate deep learning architectures.


WiFiTrace Network based Contact Tracing for Infectious Diseases Using Passive WiFi Sensing. Contact tracing is a well established and effective approach for the containment of the spread of infectious diseases. While Bluetooth based contact tracing method using phones has become popular recently, these approaches suffer from the need for a critical mass adoption to be effective. In this paper, we present WiFiTrace, a network centric approach for contact tracing that relies on passive WiFi sensing with no client side involvement. Our approach exploits WiFi network logs gathered by enterprise networks for performance and security monitoring, and utilizes them for reconstructing device trajectories for contact tracing. Our approach is specifically designed to enhance the efficacy of traditional methods, rather than to supplant them with new technology. We designed an efficient graph algorithm to scale our approach to large networks with tens of thousands of users. The graph based approach outperforms an indexed PostgresSQL in memory by at least 4.5X without any index update overheads or blocking. We have implemented a full prototype of our system and deployed it on two large university campuses. We validated our approach and demonstrate its efficacy using case studies and detailed experiments using real world WiFi datasets.


Galois coinvariants of the unramified Iwasawa modules of multiple mathbb Z p extensions. For a CM field K and an odd prime number p , let widetilde K' be a certain multiple mathbb Z p extension of K . In this paper, we study several basic properties of the unramified Iwasawa module X widetilde K' of widetilde K' as a mathbb Z p rm Gal ( widetilde K' K) module. Our first main result is a description of the order of a Galois coinvariant of X widetilde K' in terms of the characteristic power series of the unramified Iwasawa module of the cyclotomic mathbb Z p extension of K under a certain assumption on the splitting of primes above p . Second one is that if K is an imaginary quadratic field and p does not split in K , we give a necessary and sufficient condition for which X widetilde K is mathbb Z p rm Gal ( widetilde K K) cyclic under several assumptions on the Iwasawa lambda invariant and the ideal class group of K , where widetilde K is the mathbb Z p 2 extension of K .


The problem of combinatorial encoding of a continuous dynamics and the notion of transfer of paths in graphs. We introduce the notion of combinatorial encoding of continuous dynamical systems and suggest the first examples, which are the most interesting and important, namely, the combinatorial encoding of a Bernoulli process with continuous state space, e.g., a sequence of i.i.d. random variables with values in the interval with the Lebesgue measure (or a Lebesgue space). The main idea is to associate with a random object (a trajectory of the random process) a path in an N graded graph and parametrize it with the vertices of the graph that belong to this path. This correspondence (encoding) is based on the definition of a decreasing sequence of cylinder partitions, and the first problem is to verify whether or not the given combinatorial encoding has the property of distinguishability, which means that our encoding is an isomorphism, or, equivalently, the limit of the increasing sequence of finite partitions is the partition into singletons bmod ,0 . This is a generalization of the problem of generators in ergodic theory. The existence of a suitable N graded graph is equivalent to the so called standardness of the orbit partition in the sense of the theory of filtrations in measure spaces. In the last section, we define the notion of a so called transfer, a transformation of paths in a graded graph, as a generalization of the shift in stationary dynamics.


Algorithms for fusion systems with applications to p groups of small order. For a prime p , we describe a protocol for handling a specific type of fusion system on a p group by computer. These fusion systems contain all saturated fusion systems. This framework allows us to computationally determine whether or not two subgroups are conjugate in the fusion system for example. We describe a generation procedure for automizers of every subgroup of the p group. This allows a computational check of saturation. These procedures have been implemented using MAGMA. We describe a program to search for saturated fusion systems mathcal F on p groups with O p( mathcal F ) 1 and O p( mathcal F ) mathcal F . Employing these computational methods we determine all such fusion system on groups of order p n where (p,n) in (3,4),(3,5),(3,6),(3,7),(5,4),(5,5),(5,6),(7,4),(7,5) . This gives the first complete picture of which groups can support saturated fusion systems on small p groups of odd order.