Eulerian ideals. Let G be a simple graph and I(X G) varphi 1 (x i 2 x j 2 i,j in V G) , where varphi colon K E G to K V G is the homomorphism that sends an edge to the product of its vertices. The ideal I(X G) is Cohen Macaulay, one dimensional and binomial. If G is bipartite, it is known that the Castelnuovo Mumford regularity of I(X G) is equal to the maximum cardinality of a set of edges having no more than half of the edges of any Eulerian subgraph of G . Here, with respect to the grevlex order associated to an ordering of the edge set of G , we describe a Gr "obner basis for I(X G) , and we characterize the standard monomials of the ideal (I(X G),t e) in terms of even sets of vertices marked with a parity. Using these results, we give a combinatorial interpretation of the degree of I(X G) , via the set of even sets of vertices of G and we show that the Castelnuovo Mumford regularity of I(X G) , for any graph, is the maximum cardinality of a set of edges having no more than half of the edges of any emph even Eulerian subgraph of G or, equivalently, the maximum cardinality of a minimum fixed parity T join.


Causal Learning by a Robot with Semantic Episodic Memory in an Aesop's Fable Experiment. Corvids, apes, and children solve The Crow and The Pitcher task (from Aesop's Fables) indicating a causal understanding of the task. By cumulatively interacting with different objects, how can cognitive agents abstract the underlying cause effect relations to predict affordances of novel objects? We address this question by re enacting the Aesop's Fable task on a robot and present a) a brain guided neural model of semantic episodic memory with b) four task agnostic learning rules that compare expectations from recalled past episodes with the current scenario to progressively extract the hidden causal relations. The ensuing robot behaviours illustrate causal learning and predictions for novel objects converge to Archimedes' principle, independent of both the objects explored during learning and the order of their cumulative exploration.


Generalizing Cross Document Event Coreference Resolution Across Multiple Corpora. Cross document event coreference resolution (CDCR) is an NLP task in which mentions of events need to be identified and clustered throughout a collection of documents. CDCR aims to benefit downstream multi document applications, but despite recent progress on corpora and system development, downstream improvements from applying CDCR have not been shown yet. We make the observation that every CDCR system to date was developed, trained, and tested only on a single respective corpus. This raises strong concerns on their generalizability a must have for downstream applications where the magnitude of domains or event mentions is likely to exceed those found in a curated corpus. To investigate this assumption, we define a uniform evaluation setup involving three CDCR corpora ECB , the Gun Violence Corpus and the Football Coreference Corpus (which we reannotate on token level to make our analysis possible). We compare a corpus independent, feature based system against a recent neural system developed for ECB . Whilst being inferior in absolute numbers, the feature based system shows more consistent performance across all corpora whereas the neural system is hit and miss. Via model introspection, we find that the importance of event actions, event time, etc. for resolving coreference in practice varies greatly between the corpora. Additional analysis shows that several systems overfit on the structure of the ECB corpus. We conclude with recommendations on how to achieve generally applicable CDCR systems in the future the most important being that evaluation on multiple CDCR corpora is strongly necessary. To facilitate future research, we release our dataset, annotation guidelines, and system implementation to the public.


Stability conditions on affine Noetherian schemes. We show that the existence of locally finite stability conditions on the bounded derived category mathbf D b (X) of coherent sheaves on an affine Noetherian scheme X is equivalent to dim X 0 . We also study the spaces of stability conditions on the category of morphisms mathbf M X in the derived category of the scheme X and show that the spaces of stability conditions on mathbf D b (X) and mathbf M X are homotopy equivalent to each other.


A parsimonious description and cross country analysis of COVID 19 epidemic curve. In a given country, the cumulative death toll of the first wave of the COVID 19 epidemic follows a sigmoid curve as a function of time. In most cases, the curve is well described by the Gompertz function, which is characterized by two essential parameters, the initial growth rate and the decay rate as the first epidemic wave subsides. These parameters are determined by socioeconomic factors and the countermeasures to halt the epidemic. The Gompertz model implies that the total death toll depends exponentially, and hence very sensitively, on the ratio between these rates. The remarkably different epidemic curves for the first epidemic wave in Sweden and Norway and many other countries are classified and discussed in this framework, and their usefulness for the planning of mitigation strategies is discussed.


On isomorphisms of mathcal R and mathcal L cross sections of wreath products of finite inverse symmetric semigroups. We classify mathcal R and mathcal L cross sections of wreath products of finite inverse symmetric semigroups mathcal IS m wr p mathcal IS n up to isomorphism. We show that every isomorphism of mathcal R ( mathcal L ) cross sections of mathcal IS m wr p mathcal IS n is a conjugacy. As an auxiliary result, we get that every isomorphism of mathcal R ( mathcal L ) cross sections of mathcal IS n is also a conjugacy. We also compute the number of non isomorphic mathcal R ( mathcal L ) cross sections of mathcal IS m wr p mathcal IS n .


Weight zero in tensor decomposable irreducible representations of simple algebraic groups. Let G be a simple algebraic group in defining characteristic p 0 , and let V be an irreducible G module which is the tensor product of exactly two non trivial modules. We obtain a criterion for V to have the zero weight. In addition, we provide a uniform criterion for an irreducible representation of a simple Lie algebra over the complex numbers to have a multiple of a prescribed fundamental weight.


Hate Speech Detection on Vietnamese Social Media Text using the Bi GRU LSTM CNN Model. In recent years, Hate Speech Detection has become one of the interesting fields in natural language processing or computational linguistics. In this paper, we present the description of our system to solve this problem at the VLSP shared task 2019 Hate Speech Detection on Social Networks with the corpus which contains 20,345 human labeled comments posts for training and 5,086 for public testing. We implement a deep learning method based on the Bi GRU LSTM CNN classifier into this task. Our result in this task is 70.576 of F1 score, ranking the 5th of performance on public test set.


An example of failure of stochastic homogenization for viscous Hamilton Jacobi equations without convexity. We give an example of the failure of homogenization for a viscous Hamilton Jacobi equation with non convex Hamiltonian.


One Stop Career Centre for People with Disabilities. Career is a journey of life that made the field of profession or employment options as a way to live. Careers are basis to generate income to sustain the needs of everyday life. Disabled people also need a job and benefit from the job same as a normal person. However, the attitudes of some prejudice community against the disabled people to find a job. The purpose of this paper is to discuss about website namely as one stop career centre for disabled people. This website helps disabled people who graduate from high school to find a job according to their qualifications and skills. Through this website, they can get information related to employment areas that they serve. Therefore, this website will help disabled people to get a job and to reduce the unemployment rate among them in Malaysia.


Enhanced Channel Estimation in Massive MIMO via Coordinated Pilot Design. Pilot contamination is a limiting factor in multicell massive multiple input multiple output (MIMO) systems because it can severely impair channel estimation. Prior works have suggested coordinating pilot design across cells in order to reduce the channel estimation error caused by pilot contamination. In this paper, we propose a method for coordinated pilot design using fractional programming to minimize the weighted mean squared error (MSE) in channel estimation. In particular, we apply the recently proposed quadratic transform to the MSE expression which allows the effect of pilot contamination to be decoupled. The resulting problem reformulation enables the pilots to be optimized in closed form if they can be designed arbitrarily. When the pilots are restricted to a given set of orthogonal sequences, pilot optimization reduces to an assignment problem which can be solved by weighted bipartite matching. Furthermore, we consider the max min fairness of data rates with orthogonal pilots and obtain an extension of the proposed method to correlated Rayleigh fading. Finally, simulations demonstrate the advantage of the proposed (orthogonal and nonorthogonal) pilot designs as compared with state of the art methods in combating pilot contamination.


A Unified Iteration Space Transformation Framework for Sparse and Dense Tensor Algebra. We address the problem of optimizing mixed sparse and dense tensor algebra in a compiler. We show that standard loop transformations, such as strip mining, tiling, collapsing, parallelization and vectorization, can be applied to irregular loops over sparse iteration spaces. We also show how these transformations can be applied to the contiguous value arrays of sparse tensor data structures, which we call their position space, to unlock load balanced tiling and parallelism. We have prototyped these concepts in the open source TACO system, where they are exposed as a scheduling API similar to the Halide domain specific language for dense computations. Using this scheduling API, we show how to optimize mixed sparse dense tensor algebra expressions, how to generate load balanced code by scheduling sparse tensor algebra in position space, and how to generate sparse tensor algebra GPU code. Our evaluation shows that our transformations let us generate good code that is competitive with many hand optimized implementations from the literature.


Full path single shot imaging of femtosecond pulse collapse in air turbulence. In a single shot, we measure the full propagation path, including the evolution to pulse collapse, of a high power femtosecond laser pulse propagating in air. This technique enables single shot examination of the effect of parameters that fluctuate on a shot to shot basis, such as pulse energy, pulse duration, and air turbulence induced refractive index perturbations. We find that even in lab air over relatively short propagation distances, turbulence plays a significant role in determining the location of pulse collapse.


Classification of linear codes using canonical augmentation. We propose an algorithm for classification of linear codes over different finite fields based on canonical augmentation. We apply this algorithm to obtain classification results over fields with 2, 3 and 4 elements.


Review of the Security of Backward Compatible Automotive Inter ECU Communication. Advanced electronic units inside modern vehicles have enhanced the driving experience, but also introduced a myriad of security problems due to the inherent limitations of the internal communication protocol. In the last two decades, a number of security threats have been identified and accordingly, security measures have been proposed. While a large body of research on the vehicular security domain is focused on exposing vulnerabilities and proposing counter measures, there is an apparent paucity of research aimed at reviewing existing works on automotive security and at extracting insights. This paper provides a systematic review of security threats and countermeasures for the ubiquitous CAN bus communication protocol. It further exposes the limitations of the existing security measures, and discusses a seemingly overlooked, simple, cost effective and incrementally deployable solution which can provide a reasonable defense against a major class of packet injection attacks and many denial of service attacks.


Stretching and Rotation of Planar Quasiconformal Mappings on a Line. In this article, we examine stretching and rotation of planar quasiconformal mappings on a line. We show that for almost every point on the line, the set of complex stretching exponents (describing stretching and rotation jointly) is contained in the disk overline B (1 (1 k 4),k 2 (1 k 4)) . This yields a quadratic improvement over the known optimal estimate for general sets of Hausdorff dimension 1 . Our proof is based on holomorphic motions and estimates for dimensions of quasicircles. We also give a lower bound for the dimension of the image of a 1 dimensional subset of a line under a quasiconformal mapping.


Compact Distributed Certification of Planar Graphs. Naor, Parter, and Yogev (SODA 2020) have recently demonstrated the existence of a emph distributed interactive proof for planarity (i.e., for certifying that a network is planar), using a sophisticated generic technique for constructing distributed IP protocols based on sequential IP protocols. The interactive proof for planarity is based on a distributed certification of the correct execution of any given sequential linear time algorithm for planarity testing. It involves three interactions between the prover and the randomized distributed verifier (i.e., it is a dMAM protocol), and uses small certificates, on O( log n) bits in n node networks. We show that a single interaction from the prover suffices, and randomization is unecessary, by providing an explicit description of a emph proof labeling scheme for planarity, still using certificates on just O( log n) bits. We also show that there are no proof labeling schemes in fact, even no emph locally checkable proofs for planarity using certificates on o( log n) bits.


Schauder estimates for degenerate stable Kolmogorov equations. We provide here global Schauder type estimates for a chain of integro partial differential equations (IPDE) driven by a degenerate stable Ornstein Uhlenbeck operator possibly perturbed by a deterministic drift, when the coefficients lie in some suitable anisotropic H "o lder spaces. Our approach mainly relies on a perturbative method based on forward parametrix expansions and, due to the low regularizing properties on the degenerate variables and to some integrability constraints linked to the stability index, it also exploits duality results between appropriate Besov Spaces. In particular, our method also applies in some super critical cases. Thanks to these estimates, we show in addition the well posedness of the considered IPDE in a suitable functional space.


Incremental Processing in the Age of Non Incremental Encoders An Empirical Assessment of Bidirectional Models for Incremental NLU. While humans process language incrementally, the best language encoders currently used in NLP do not. Both bidirectional LSTMs and Transformers assume that the sequence that is to be encoded is available in full, to be processed either forwards and backwards (BiLSTMs) or as a whole (Transformers). We investigate how they behave under incremental interfaces, when partial output must be provided based on partial input seen up to a certain time step, which may happen in interactive systems. We test five models on various NLU datasets and compare their performance using three incremental evaluation metrics. The results support the possibility of using bidirectional encoders in incremental mode while retaining most of their non incremental quality. The "omni directional" BERT model, which achieves better non incremental performance, is impacted more by the incremental access. This can be alleviated by adapting the training regime (truncated training), or the testing procedure, by delaying the output until some right context is available or by incorporating hypothetical right contexts generated by a language model like GPT 2.


Computing nearest neighbour interchange distances between ranked phylogenetic trees. Many popular algorithms for searching the space of leaf labelled trees are based on tree rearrangement operations. Under any such operation, the problem is reduced to searching a graph where vertices are trees and (undirected) edges are given by pairs of trees connected by one rearrangement operation (sometimes called a move). Most popular are the classical nearest neighbour interchange, subtree prune and regraft, and tree bisection and reconnection moves. The problem of computing distances, however, is NP hard in each of these graphs, making tree inference and comparison algorithms challenging to design in practice. Although ranked phylogenetic trees are one of the central objects of interest in applications such as cancer research, immunology, and epidemiology, the computational complexity of the shortest path problem for these trees remained unsolved for decades. In this paper, we settle this problem for the ranked nearest neighbour interchange operation by establishing that the complexity depends on the weight difference between the two types of tree rearrangements (rank moves and edge moves), and varies from quadratic, which is the lowest possible complexity for this problem, to NP hard, which is the highest. In particular, our result provides the first example of a phylogenetic tree rearrangement operation for which shortest paths, and hence the distance, can be computed efficiently. Specifically, our algorithm scales to trees with thousands of leaves (and likely hundreds of thousands if implemented efficiently). We also connect the problem of computing distances in our graph of ranked trees with the well known version of this problem on unranked trees by introducing a parameter for the weight difference between move types. We propose to study a family of shortest path problems indexed by this parameter with computational complexity varying from quadratic to NP hard.


Embedding codimension of the space of arcs. We introduce a notion of embedding codimension of an arbitrary local ring, establish some general properties, and study in detail the case of arc spaces of schemes of finite type over a field. Viewing the embedding codimension as a measure of singularities, our main result can be interpreted as saying that the singularities of the arc space are maximal at the arcs that are fully embedded in the singular locus of the underlying scheme, and progressively improve as we move away from said locus. As an application, we complement a theorem of Drinfeld, Grinberg, and Kazhdan on formal neighborhoods in arc spaces by providing a converse to their theorem, an optimal bound for the embedding codimension of the formal model appearing in the statement, a precise formula for the embedding dimension of the model constructed in Drinfeld's proof, and a geometric meaningful way of realizing the decomposition stated in the theorem.


From Machine Reading Comprehension to Dialogue State Tracking Bridging the Gap. Dialogue state tracking (DST) is at the heart of task oriented dialogue systems. However, the scarcity of labeled data is an obstacle to building accurate and robust state tracking systems that work across a variety of domains. Existing approaches generally require some dialogue data with state information and their ability to generalize to unknown domains is limited. In this paper, we propose using machine reading comprehension (RC) in state tracking from two perspectives model architectures and datasets. We divide the slot types in dialogue state into categorical or extractive to borrow the advantages from both multiple choice and span based reading comprehension models. Our method achieves near the current state of the art in joint goal accuracy on MultiWOZ 2.1 given full training data. More importantly, by leveraging machine reading comprehension datasets, our method outperforms the existing approaches by many a large margin in few shot scenarios when the availability of in domain data is limited. Lastly, even without any state tracking data, i.e., zero shot scenario, our proposed approach achieves greater than 90 average slot accuracy in 12 out of 30 slots in MultiWOZ 2.1.


Optical Flow based Visual Potential Field for Autonomous Driving. Monocular vision based navigation for automated driving is a challenging task due to the lack of enough information to compute temporal relationships among objects on the road. Optical flow is an option to obtain temporal information from monocular camera images and has been used widely with the purpose of identifying objects and their relative motion. This work proposes to generate an artificial potential field, i.e. visual potential field, from a sequence of images using sparse optical flow, which is used together with a gradient tracking sliding mode controller to navigate the vehicle to destination without collision with obstacles. The angular reference for the vehicle is computed online. This work considers that the vehicle does not require to have a priori information from the map or obstacles to navigate successfully. The proposed technique is tested both in synthetic and real images.


Transcendental Galois Theory and Noether's Problem. In 1918, Noether published a paper where she studied such a problem, now called Noether's problem on rationality Let L K left( t 1 ,t 2 , cdots ,t n right) be a purely transcendental extension over a field K and G a finite subgroup acting transitively on t 1 ,t 2 , cdots ,t n in an evident manner. Is it true that the invariant subfield L G of L under G is still purely transcendental over K ? The problem has been open in general except for minor particular cases. In this paper we will attempt to understand a general theory for Noether's problem on rationality by transcendental Galois theory. Then new particular cases will be obtained. We will also give a generalization for the remarkable counter example given by Swan in 1969.


Supervision Levels Scale (SLS). We propose a three dimensional discrete and incremental scale to encode a method's level of supervision i.e. the data and labels used when training a model to achieve a given performance. We capture three aspects of supervision, that are known to give methods an advantage while requiring additional costs pre training, training labels and training data. The proposed three dimensional scale can be included in result tables or leaderboards to handily compare methods not only by their performance, but also by the level of data supervision utilised by each method. The Supervision Levels Scale (SLS) is first presented generally fo any task dataset challenge. It is then applied to the EPIC KITCHENS 100 dataset, to be used for the various leaderboards and challenges associated with this dataset.


Study of SiGeSn GeSn single quantum well towards high performance all group IV optoelectronics. The recent progress on (Si)GeSn optoelectronic devices holds a great promising for photonic integration on the Si substrate. In parallel to the development of bulk devices, the (Si)GeSn based quantum wells (QWs) have been investigated aiming to improve the device performance. While the multiple QW structure is preferred for the device application, the single quantum well (SQW) is more suitable for optical property study. In this work, a comprehensive study of a SiGeSn GeSn SQW was conducted. The calculated band diagram provided the band alignment and energies of possible transitions. The SQW features the direct bandgap well with L Gamma valley energy separation of 50 meV, and the barrier heights for both electron and hole are greater than 80 meV. Using two continuous wave and two pulsed pumping lasers, the analysis of PL spectra allows for identifying different transitions and for better understanding the SQW optical properties. The study could provide the guidance for advancing the future QW design towards device applications.


Hierarchical Style based Networks for Motion Synthesis. Generating diverse and natural human motion is one of the long standing goals for creating intelligent characters in the animated world. In this paper, we propose a self supervised method for generating long range, diverse and plausible behaviors to achieve a specific goal location. Our proposed method learns to model the motion of human by decomposing a long range generation task in a hierarchical manner. Given the starting and ending states, a memory bank is used to retrieve motion references as source material for short range clip generation. We first propose to explicitly disentangle the provided motion material into style and content counterparts via bi linear transformation modelling, where diverse synthesis is achieved by free form combination of these two components. The short range clips are then connected to form a long range motion sequence. Without ground truth annotation, we propose a parameterized bi directional interpolation scheme to guarantee the physical validity and visual naturalness of generated results. On large scale skeleton dataset, we show that the proposed method is able to synthesise long range, diverse and plausible motion, which is also generalizable to unseen motion data during testing. Moreover, we demonstrate the generated sequences are useful as subgoals for actual physical execution in the animated world.


C2C GenDA Cluster to Cluster Generation for Data Augmentation of Slot Filling. Slot filling, a fundamental module of spoken language understanding, often suffers from insufficient quantity and diversity of training data. To remedy this, we propose a novel Cluster to Cluster generation framework for Data Augmentation (DA), named C2C GenDA. It enlarges the training set by reconstructing existing utterances into alternative expressions while keeping semantic. Different from previous DA works that reconstruct utterances one by one independently, C2C GenDA jointly encodes multiple existing utterances of the same semantics and simultaneously decodes multiple unseen expressions. Jointly generating multiple new utterances allows to consider the relations between generated instances and encourages diversity. Besides, encoding multiple existing utterances endows C2C with a wider view of existing expressions, helping to reduce generation that duplicates existing data. Experiments on ATIS and Snips datasets show that instances augmented by C2C GenDA improve slot filling by 7.99 (11.9 ) and 5.76 (13.6 ) F scores respectively, when there are only hundreds of training utterances.


A note on the spectra and eigenspaces of the universal adjacency matrices of arbitrary lifts of graphs. The universal adjacency matrix U of a graph Gamma , with adjacency matrix A , is a linear combination of A , the diagonal matrix D of vertex degrees, the identity matrix I , and the all 1 matrix J with real coefficients, that is, U c 1 A c 2 D c 3 I c 4 J , with c i in mathbb R and c 1 neq 0 . Thus, as particular cases, U may be the adjacency matrix, the Laplacian, the signless Laplacian, and the Seidel matrix. In this note, we show that basically the same method introduced before by the authors can be applied for determining the spectra and bases of all the corresponding eigenspaces of arbitrary lifts of graphs (regular or not).


Active Learning Incorporating Annotator's Rationale using Local Model Explanation. We propose a new active learning (AL) framework, Active Learning , which can utilize an annotator's labels as well as its rationale. Annotators can provide their rationale for choosing a label by ranking input features based on their importance for a given query. To incorporate this additional input, we modified the disagreement measure for a bagging based Query by Committee (QBC) sampling strategy. Instead of weighing all committee models equally to select the next instance, we assign higher weight to the committee model with higher agreement with the annotator's ranking. Specifically, we generated a feature importance based local explanation for each committee model. The similarity score between feature rankings provided by the annotator and the local model explanation is used to assign a weight to each corresponding committee model. This approach is applicable to any kind of ML model using model agnostic techniques to generate local explanation such as LIME. With a simulation study, we show that our framework significantly outperforms a QBC based vanilla AL framework.


Findings of the Third Workshop on Neural Generation and Translation. This document describes the findings of the Third Workshop on Neural Generation and Translation, held in concert with the annual conference of the Empirical Methods in Natural Language Processing (EMNLP 2019). First, we summarize the research trends of papers presented in the proceedings. Second, we describe the results of the two shared tasks 1) efficient neural machine translation (NMT) where participants were tasked with creating NMT systems that are both accurate and efficient, and 2) document level generation and translation (DGT) where participants were tasked with developing systems that generate summaries from structured data, potentially with assistance from text in another language.


Suppression of the longitudinal coupled bunch instability in DA Phi NE in collisions with a crossing angle. In DAFNE, the Frascati e e collider operating since 1998, an innovative collision scheme, the crab waist, has been successfully implemented during the years 2008 09. During operations for the Siddharta experiment an unusual synchrotron oscillation damping effect induced by beam beam collisions has been observed. Indeed, when the longitudinal feedback is off, the positron beam becomes unstable with currents above 200 300 mA due to coupled bunch instability. The longitudinal instability is damped by colliding the positron beam with a high current electron beam (of the order of 2 A). A shift of about 600 Hz in the residual synchrotron sidebands is observed. Precise measurements have been performed by using both a commercial spectrum analyzer and the diagnostic capabilities of the longitudinal bunch by bunch feedback. The damping effect has been observed in DAFNE for the first time during collisions with the crab waist scheme. Our explanation, based both on theoretical consideration and modeling simulation, is that beam collisions with a large crossing angle produce longitudinal tune shift and spread, providing Landau damping of synchrotron oscillations.


Architecting Safe Automated Driving with Legacy Platforms. Modern vehicles have electrical architectures whose complexity grows year after year due to feature growth corresponding to customer expectations. The latest of the expectations, automation of the dynamic driving task however, is poised to bring about some of the largest changes seen so far. In one fell swoop, not only does required functionality for automated driving drastically increase the system complexity, it also removes the fall back of the human driver who is usually relied upon to handle unanticipated failures after the fact. The need to architect thus requires a greater rigour than ever before, to maintain the level of safety that has been associated with the automotive industry. The work that is part of this thesis has been conducted, in close collaboration with our industrial partner Scania CV AB, within the Vinnova FFI funded project ARCHER. This thesis aims to provide a methodology for architecting during the concept phase of development, using industrial practices and principles including those from safety standards such as ISO 26262. The main contributions of the thesis are in two areas. The first area i.e. Part A contributes, (i) an analysis of the challenges of architecting automated driving, and serves as a motivation for the approach taken in the rest of this thesis, i.e. Part B where the contributions include, (ii) a definition of a viewpoint for functional safety according to the definitions of ISO 42010, (iii) a method to systematically extract information from legacy components and (iv) a process to use legacy information and architect in the presence of uncertainty to provide a work product, the Preliminary Architectural Assumptions (PAA), as required by ISO 26262. The contributions of Part B together comprise a methodology to architect the PAA. read full abstract in pdf


From Well Structured Transition Systems to Program Verification. We describe the use of the theory of WSTS for verifying programs.


Maximal estimates for stochastic convolutions in 2 smooth Banach spaces and applications to stochastic evolution equations. This paper presents a survey of maximal inequalities for stochastic convolutions in 2 smooth Banach spaces and their applications to stochastic evolution equations.


On the topology of bi cyclopermutohedra. Motivated by the work of Panina and her coauthors on cyclopermutohedron we study a poset whose elements correspond to equivalence classes of partitions of the set 1, cdots, n 1 up to cyclic permutations and orientation reversion. This poset is the face poset of a regular CW complex which we call bi cyclopermutohedron and denote it by mathrm QP n 1 . The complex mathrm QP n 1 contains subcomplexes homeomorphic to moduli space of certain planar polygons with n 1 sides up to isometries. In this article we find an optimal discrete Morse function on mathrm QP n 1 and use it to compute its homology with mathbb Z as well as mathbb Z 2 coefficients.


On the Cohomology Ring of Real Moment Angle Complexes. In this article, we study the cohomology ring of real moment angle complexes over a simplicial complex K . Combinatorial generators for the cohomology can be given in terms of K . For K the boundary of an n gon, we give a full description of the multiplicative structure of the cohomology ring in terms of the combinatorial generators. As a consequence, it is evident that these generators do not form a symplectic basis, unlike the case for moment angle complexes.


On Dual surjunctivity and applications. We explore the dual version of Gottschalk's conjecture recently introduced by Capobianco, Kari, and Taati, and the notion of dual surjunctivity in general. We show that dual surjunctive groups satisfy Kaplansky's direct finiteness conjecture for all fields of positive characteristic. By quantifying the notions of injectivity and post surjectivity for cellular automata, we show that the image of the full topological shift under an injective cellular automaton is a subshift of finite type in a quantitative way. Moreover we show that dual surjunctive groups are closed under ultraproducts, under elementary equivalence, and under certain semidirect products (using the ideas of Arzhantseva and Gal for the latter) they form a closed subset in the space of marked groups, fully residually dual surjunctive groups are dual surjunctive, etc. We also consider dual surjunctive systems for more general dynamical systems, namely for certain expansive algebraic actions, employing results of Chung and Li.


Interaction decomposition for presheaves. Consider a collection of vector subspaces of a given vector space and a collection of projectors on these vector spaces, can we decompose the vector space into a product of vector subspaces such that the projectors are isomorphic to projections? We provide an answer to this question by extending the relation between the intersection property and the interaction decomposition (done in the injective case) to the projective case. This enables us to classify the decompositions of interactions for factor spaces. We then extend these results for presheaves from a poset to the category of modules by adding the data of a section functor when it exists.


Typical representations for level zero Bernstein components of rm GL n(F) . Let F be a non discrete non Archimedean locally compact field. In this article for a level zero Bernstein component s , we classify those irreducible smooth representations of rm GL n integers F (called typical representations) whose appearance in a smooth irreducible representation pi of rm GL n F implies that the cuspidal support of pi is s . These results extend, for level zero representations, the results of Henniart and Pa v s k u nas on cuspidal representations. The results are independent of the characteristic of the base field.


Information theoretic Task Selection for Meta Reinforcement Learning. In Meta Reinforcement Learning (meta RL) an agent is trained on a set of tasks to prepare for and learn faster in new, unseen, but related tasks. The training tasks are usually hand crafted to be representative of the expected distribution of test tasks and hence all used in training. We show that given a set of training tasks, learning can be both faster and more effective (leading to better performance in the test tasks), if the training tasks are appropriately selected. We propose a task selection algorithm, Information Theoretic Task Selection (ITTS), based on information theory, which optimizes the set of tasks used for training in meta RL, irrespectively of how they are generated. The algorithm establishes which training tasks are both sufficiently relevant for the test tasks, and different enough from one another. We reproduce different meta RL experiments from the literature and show that ITTS improves the final performance in all of them.


Direct spectral problem for a Dirac operator with non local potential. For a Dirac operator with non local potential on a finite segment, a method of reconstruction of non local potential from the spectral data is developed. Description of spectral data for such class of operators is given.


Citation Data of Czech Apex Courts. In this paper, we introduce the citation data of the Czech apex courts (Supreme Court, Supreme Administrative Court and Constitutional Court). This dataset was automatically extracted from the corpus of texts of Czech court decisions CzCDC 1.0. We obtained the citation data by building the natural language processing pipeline for extraction of the court decision identifiers. The pipeline included the (i) document segmentation model and the (ii) reference recognition model. Furthermore, the dataset was manually processed to achieve high quality citation data as a base for subsequent qualitative and quantitative analyses. The dataset will be made available to the general public.


Collaboration Drives Individual Productivity. How does the number of collaborators affect individual productivity? Results of prior research have been conflicting, with some studies reporting an increase in individual productivity as the number of collaborators grows, while other studies showing that the free rider effect skews the effort invested by individuals, making larger groups less productive. The difference between these schools of thought is substantial if a super scaling effect exists, as suggested by former studies, then as groups grow, their productivity will increase even faster than their size, super linearly improving their efficiency. We address this question by studying two planetary scale collaborative systems GitHub and Wikipedia. By analyzing the activity of over 2 million users on these platforms, we discover that the interplay between group size and productivity exhibits complex, previously unobserved dynamics the productivity of smaller groups scales super linearly with group size, but saturates at larger sizes. This effect is not an artifact of the heterogeneity of productivity the relation between group size and productivity holds at the individual level. People tend to do more when collaborating with more people. We propose a generative model of individual productivity that captures the non linearity in collaboration effort. The proposed model is able to explain and predict group work dynamics in GitHub and Wikipedia by capturing their maximally informative behavioral features, and it paves the way for a principled, data driven science of collaboration.


Data driven Meta set Based Fine Grained Visual Classification. Constructing fine grained image datasets typically requires domain specific expert knowledge, which is not always available for crowd sourcing platform annotators. Accordingly, learning directly from web images becomes an alternative method for fine grained visual recognition. However, label noise in the web training set can severely degrade the model performance. To this end, we propose a data driven meta set based approach to deal with noisy web images for fine grained recognition. Specifically, guided by a small amount of clean meta set, we train a selection net in a meta learning manner to distinguish in and out of distribution noisy images. To further boost the robustness of model, we also learn a labeling net to correct the labels of in distribution noisy data. In this way, our proposed method can alleviate the harmful effects caused by out of distribution noise and properly exploit the in distribution noisy samples for training. Extensive experiments on three commonly used fine grained datasets demonstrate that our approach is much superior to state of the art noise robust methods.


Approaching Capacity Without Pilots via Nonlinear Processing at the Edge. A nonlinear detector derived within a maximum likelihood estimation framework is shown to be effective in retrieving the channel coefficients and data of users on the uplink channel of a noncooperative wireless system without the access point having any prior channel state information (no CSI or noncoherent setup). Rather than relying on pilot assisted transmissions, it is shown that a maximum likelihood based detector emerges naturally from an information theoretic argument. The assumptions under which the detector is designed are as follows 1) the uplink data from different users are independent and non Gaussian 2) the coherence block of the channel is much larger than the number of users (in practice, the square of the number of users) 3) the number of antennas at the access point or base station is equal to the number of users 4) users continuously transmit within the coherence block and 5) the transmission occurs at high signal to noise ratio. No coordination between the access point and unintended users (interference) is needed. Some coordination with intended users is needed. Finally, the system is assumed to be symbol synchronous.


Best practices for software maturity improvement a G ' E ANT case study. Maturity models for software indicate the key areas that contribute to quality improvements. They usually combine technical, organisational and human aspects relevant for effective software development, to focus the efforts and draw the direction for optimisations. In this paper, we present the process of defining best practices that support the G ' E ANT Software Maturity Model (GSMM), aligned to the needs of a distributed, innovation driven, pan European organisation. Based on the identification of specific goals relevant for G ' E ANT and a preliminary maturity assessment, we created a catalogue of best practices that help the software teams to attain the goals defined in the GSMM.


On the equivalence of all models for ( infty,2) categories. The goal of this paper is to provide the last equivalence needed in order to identify all known models for ( infty,2) categories. We do this by showing that Verity's model of saturated 2 trivial complicial sets is equivalent to Lurie's model of infty bicategories, which, in turn, has been shown to be equivalent to all other known models for ( infty,2) categories. A key technical input is given by identifying the notion of infty bicategories with that of weak infty bicategories, a step which allows us to understand Lurie's model structure in terms of Cisinski Olschok's theory. This description of infty bicategories, which may be of independent interest, is proved using tools coming from a new theory of outer (co)cartesian fibrations, further developed in a companion paper. In the last part of the paper we construct a homotopically fully faithful scaled simplicial nerve functor for 2 categories, we give two equivalent descriptions of it, and we show that the homotopy 2 category of an infty bicategory retains enough information to detect thin 2 simplices.


Automorphisms of cubic surfaces without points. We classify finite groups acting by birational transformations of a non trivial Severi Brauer surface over a field of characteristc zero that are not conjugate to subgroups of the automorphism group. Also, we show that the automorphism group of a smooth cubic surface over a field K of characteristic zero that has no K points is abelian, and find a sharp bound for the Jordan constants of birational automorphism groups of such cubic surfaces.


Music to My Ears Neural modularity and flexibility differ in response to real world music stimuli. Music listening involves many simultaneous neural operations, including auditory processing, working memory, temporal sequencing, pitch tracking, anticipation, reward, and emotion, and thus, a full investigation of music cognition would benefit from whole brain analyses. Here, we quantify whole brain activity while participants listen to a variety of music and speech auditory pieces using two network measures that are grounded in complex systems theory modularity, which measures the degree to which brain regions are interacting in communities, and flexibility, which measures the rate that brain regions switch the communities to which they belong. In a music and brain connectivity study that is part of a larger clinical investigation into music listening and stroke recovery, fMRI was performed on healthy participants while they listened to self selected music to which they felt a positive emotional attachment, as well as culturally familiar music (J.S. Bach), culturally unfamiliar music (Gagaku court music of medieval Japan), and several excerpts of speech. There was a marked contrast among the whole brain networks during the different types of auditory pieces, in particular for the unfamiliar music. During the self selected and Bach tracks, participants' whole brain networks exhibited modular organization that was significantly coordinated with the network flexibility. Meanwhile, when the Gagaku music was played, this relationship between brain network modularity and flexibility largely disappeared. In addition, while the auditory cortex's flexibility during the self selected piece was equivalent to that during Bach, it was more flexible during Gagaku. The results suggest that the modularity and flexibility measures of whole brain activity have the potential to lead to new insights into the complex neural function that occurs during music perception of real world songs.


Comparison of Analytical and Numerical Models for Point to Ring Electro Hydrodynamic Flow. An electrohydrodynamic (EHD) flow in a point to ring corona configuration is investigated experimentally, analytically and via a multiphysics numerical model. The interaction between the accelerated ions and the neutral gas molecules is modeled as an external body force in the Navier Stokes equation (NSE). The gas flow characteristics are solved from conservation principles with spectral methods. The analytical and numerical simulation results are compared against experimental measurements of the cathode voltage, ion concentration, and velocity profiles. A nondimensional parameter, X, is formulated as the ratio of the local electric force to the inertial term in the NSE. In the region of X 1, the electric force dominates the flow dynamics, while in the X 1 region, the balance of viscous and inertial terms yields traditional pipe flow characteristics.


Berry Esseen bounds for functionals of independent random variables. We derive Berry Esseen approximation bounds for general functionals of independent random variables, based on chaos expansions methods. Our results apply to U statistics satisfying the weak assumption of decomposability in the Hoeffding sense, and yield Kolmogorov distance bounds instead of the Wasserstein bounds previously derived in the special case of degenerate U statistics. Linear and quadratic functionals of arbitrary sequences of independent random variables are included as particular cases, with new fourth moment bounds, and applications are given to Hoeffding decompositions, weighted U statistics, quadratic forms, and random subgraph weighing. In the case of quadratic forms, our results recover and improve the bounds available in the literature, and apply to matrices with non empty diagonals.


Temporal interpretation of intuitionistic quantifiers Monadic case. In a recent paper we showed that intuitionistic quantifiers admit the following temporal interpretation "always in the future" (for forall ) and "sometime in the past" (for exists ). In this paper we study this interpretation for the monadic fragment sf MIPC of the intuitionistic predicate logic. It is well known that sf MIPC is translated fully and faithfully into the monadic fragment sf MS4 of the predicate sf S4 (G " o del translation). We introduce a new tense extension of sf S4 , denoted by sf TS4 , and provide an alternative full and faithful translation of sf MIPC into sf TS4 , which yields the temporal interpretation of monadic intuitionistic quantifiers mentioned above. We compare this new translation with the G " o del translation by showing that both sf MS4 and sf TS4 can be translated fully and faithfully into a tense extension of sf MS4 , which we denote by sf MS4.t . This is done by utilizing the algebraic and relational semantics for the new logics introduced. As a byproduct, we prove the finite model property (fmp) for sf MS4.t and show that the fmp for the other logics involved can be derived as a consequence of the fullness and faithfulness of the translations considered.


Center based 3D Object Detection and Tracking. Three dimensional objects are commonly represented as 3D boxes in a point cloud. This representation mimics the well studied image based 2D bounding box detection but comes with additional challenges. Objects in a 3D world do not follow any particular orientation, and box based detectors have difficulties enumerating all orientations or fitting an axis aligned bounding box to rotated objects. In this paper, we instead propose to represent, detect, and track 3D objects as points. Our framework, CenterPoint, first detects centers of objects using a keypoint detector and regresses to other attributes, including 3D size, 3D orientation, and velocity. In a second stage, it refines these estimates using additional point features on the object. In CenterPoint, 3D object tracking simplifies to greedy closest point matching. The resulting detection and tracking algorithm is simple, efficient, and effective. CenterPoint achieved state of the art performance on the nuScenes benchmark for both 3D detection and tracking, with 65.5 NDS and 63.8 AMOTA for a single model. On the Waymo Open Dataset, CenterPoint outperforms all previous single model method by a large margin and ranks first among all Lidar only submissions. The code and pretrained models are available at https github.com tianweiy CenterPoint.


Using math in physics Overview. The key difference between math as math and math in science is that in science we blend our physical knowledge with our knowledge of math. This blending changes the way we put meaning to math and even to the way we interpret mathematical equations. Learning to think about physics with math instead of just calculating involves a number of general scientific thinking skills that are often taken for granted (and rarely taught) in physics classes. In this paper, I give an overview of my analysis of these additional skills. I propose specific tools for helping students develop these skills in subsequent papers.


The characteristic equation and Wiener index of a compressed zero divisor graph. The Zero divisor Graph of a commutative ring R , denoted by Gamma R , is a graph whose vertices are non zero zero divisors of R and two vertices are adjacent if their product is zero. The compressed zero divisor graph Gamma E R is the (undirected) graph whose vertices are the equivalence classes such that distinct vertices r and s are adjacent if and only if rs 0. In this paper we derive the characteristic polynomial and Wiener index of the Compressed zero divisor graph Gamma E mathbb Z m where m p n with prime p .


Latent Dirichlet Allocation Based Acoustic Data Selection for Automatic Speech Recognition. Selecting in domain data from a large pool of diverse and out of domain data is a non trivial problem. In most cases simply using all of the available data will lead to sub optimal and in some cases even worse performance compared to carefully selecting a matching set. This is true even for data inefficient neural models. Acoustic Latent Dirichlet Allocation (aLDA) is shown to be useful in a variety of speech technology related tasks, including domain adaptation of acoustic models for automatic speech recognition and entity labeling for information retrieval. In this paper we propose to use aLDA as a data similarity criterion in a data selection framework. Given a large pool of out of domain and potentially mismatched data, the task is to select the best matching training data to a set of representative utterances sampled from a target domain. Our target data consists of around 32 hours of meeting data (both far field and close talk) and the pool contains 2k hours of meeting, talks, voice search, dictation, command and control, audio books, lectures, generic media and telephony speech data. The proposed technique for training data selection, significantly outperforms random selection, posterior based selection as well as using all of the available data.


Science through Wikipedia A novel representation of open knowledge through co citation networks. This study provides an overview of science from the Wikipedia perspective. A methodology has been established for the analysis of how Wikipedia editors regard science through their references to scientific papers. The method of co citation has been adapted to this context in order to generate Pathfinder networks (PFNET) that highlight the most relevant scientific journals and categories, and their interactions in order to find out how scientific literature is consumed through this open encyclopaedia. In addition to this, their obsolescence has been studied through Price index. A total of 1 433 457 references available at Altmetric.com have been initially taken into account. After pre processing and linking them to the data from Elsevier's CiteScore Metrics the sample was reduced to 847 512 references made by 193 802 Wikipedia articles to 598 746 scientific articles belonging to 14 149 journals indexed in Scopus. As highlighted results we found a significative presence of "Medicine" and "Biochemistry, Genetics and Molecular Biology" papers and that the most important journals are multidisciplinary in nature, suggesting also that high impact factor journals were more likely to be cited. Furthermore, only 13.44 of Wikipedia citations are to Open Access journals.


S.L.L.N. and C.L.T. for Random Walks in I.I.D. Random Environment on Cayley Trees. We consider the random walk in an independent and identically distributed (i.i.d.) random environment on a Cayley graph of a finite free product of copies of mathbb Z and mathbb Z 2 . Such a Cayley graph is readily seen to be a regular tree. Under a uniform elipticity assumption on the i.i.d. environment we show that the walk has positive speed and establish the annealed central limit theorem for the graph distance of the walker from the starting point.


BARK Open Behavior Benchmarking in Multi Agent Environments. Predicting and planning interactive behaviors in complex traffic situations presents a challenging task. Especially in scenarios involving multiple traffic participants that interact densely, autonomous vehicles still struggle to interpret situations and to eventually achieve their own mission goal. As driving tests are costly and challenging scenarios are hard to find and reproduce, simulation is widely used to develop, test, and benchmark behavior models. However, most simulations rely on datasets and simplistic behavior models for traffic participants and do not cover the full variety of real world, interactive human behaviors. In this work, we introduce BARK, an open source behavior benchmarking environment designed to mitigate the shortcomings stated above. In BARK, behavior models are (re )used for planning, prediction, and simulation. A range of models is currently available, such as Monte Carlo Tree Search and Reinforcement Learning based behavior models. We use a public dataset and sampling based scenario generation to show the inter exchangeability of behavior models in BARK. We evaluate how well the models used cope with interactions and how robust they are towards exchanging behavior models. Our evaluation shows that BARK provides a suitable framework for a systematic development of behavior models.


Low Frequency Carrier Kinetics in Perovskite Solar Cells. Hybrid organic inorganic halide perovskite solar cells have emerged as leading candidates for third generation photovoltaic technology. Despite the rapid improvement in power conversion efficiency (PCE) for perovskite solar cells in recent years, the low frequency carrier kinetics that underlie practical roadblocks such as hysteresis and degradation remain relatively poorly understood. In an effort to bridge this knowledge gap, we perform here correlated low frequency noise (LFN) and impedance spectroscopy (IS) characterization that elucidates carrier kinetics in operating perovskite solar cells. Specifically, we focus on planar cell geometries with a SnO2 electron transport layer and two different hole transport layers, namely, poly(triarylamine) (PTAA) and Spiro OMeTAD. PTAA and Sprio OMeTAD cells with moderate PCEs of 5 to 12 percent possess a Lorentzian feature at 200 Hz in LFN measurements that corresponds to a crossover from electrode to dielectric polarization. In comparison, Spiro OMeTAD cells with high PCEs (15 percent) show four orders of magnitude lower LFN amplitude and are accompanied by a cyclostationary process. Through a systematic study of more than a dozen solar cells, we establish a correlation with noise amplitude, power conversion efficiency, and fill factor. Overall, this work establishes correlated LFN and IS as an effective methodology for quantifying low frequency carrier kinetics in perovskite solar cells, thereby providing new physical insights that can rationally guide ongoing efforts to improve device performance, reproducibility, and stability.


Computable Centering Methods for Spiraling Algorithms and their Duals, with Motivations from the theory of Lyapunov Functions. Splitting methods like Douglas Rachford (DR), ADMM, and FISTA solve problems whose objectives are sums of functions that may be evaluated separately, and all frequently show signs of spiraling. We show for prototypical feasibility problems that circumcentered reflection method (CRM), subgradient projections, and Newton Raphson are all describable as gradient based methods for minimizing Lyapunov functions constructed for DR operators, with the former returning the minimizers of spherical surrogates for the Lyapunov function. We study the more general class of operators that minimize such surrogates. In particular, we introduce a new method that shares these properties but with the added advantages that it 1) does not rely on subproblems (e.g. reflections) and so may be applied for any operator whose iterates spiral 2) provably has the aforementioned Lyapunov properties with few structural assumptions and so is generically suitable for primal dual implementation and 3) maps spaces of reduced dimension into themselves whenever the original operator does. This makes possible the first primal dual implementation of a method that seeks the center of spiraling iterates, which we describe, and provide a computed example (basis pursuit).


Interior decay of solutions to elliptic equations with respect to frequencies at the boundary. We prove decay estimates in the interior for solutions to elliptic equations in divergence form with Lipschitz continuous coefficients. The estimates explicitly depend on the distance from the boundary and on suitable notions of frequency of the Dirichlet boundary datum. We show that, as the frequency at the boundary grows, the square of a suitable norm of the solution in a compact subset of the domain decays in an inversely proportional manner with respect to the corresponding frequency. Under Lipschitz regularity assumptions, these estimates are essentially optimal and they have important consequences for the choice of optimal measurements for corresponding inverse boundary value problem.


PIC Net Point Cloud and Image Collaboration Network for Large Scale Place Recognition. Place recognition is one of the hot research fields in automation technology and is still an open issue, Camera and Lidar are two mainstream sensors used in this task, Camera based methods are easily affected by illumination and season changes, LIDAR cannot get the rich data as the image could , In this paper, we propose the PIC Net (Point cloud and Image Collaboration Network), which use attention mechanism to fuse the features of image and point cloud, and mine the complementary information between the two. Furthermore, in order to improve the recognition performance at night, we transform the night image into the daytime style. Comparison results show that the collaboration of image and point cloud outperform both image based and point cloud based method, the attention strategy and day night transform could further improve the performance.


Approximations of Lyapunov functions for ISS analysis of a class of nonlinear parabolic PDEs. This paper addresses the input to state stability (ISS) and integral input to state stability (iISS) for a class of nonlinear higher dimensional parabolic partial differential equations (PDEs) with different types of boundary disturbances (Robin or Neumann or Dirichlet) from different spaces by means of approximations of Lyapunov functions. Specifically, by constructing approximations of (coercive and non coercive) ISS Lyapunov functions we establish (i) the ISS and iISS in L 1 norm (and weighted L 1 norm) for PDEs with boundary disturbances from L q loc ( mathbb R L 1( partial Omega)) space for any q in 1, infty (ii) the iISS in L 1 norm (and weighted L 1 norm) for PDEs with boundary disturbances from L Phi loc ( mathbb R L 1( partial Omega)) space for certain Young function Phi and (iii) the ISS and iISS in L Phi norm (and weighted K Phi class) for PDEs with boundary disturbances from L q loc ( mathbb R K Phi( partial Omega)) class for any q in 1, infty and certain Young function Phi . The ISS properties stated in (ii) and (iii) are assessed in the framework of Orlicz space or Orlicz class.


Set Constraints, Pattern Match Analysis, and SMT. Set constraints provide a highly general way to formulate program analyses. However, solving arbitrary boolean combinations of set constraints is NEXPTIME hard. Moreover, while theoretical algorithms to solve arbitrary set constraints exist, they are either too complex to realistically implement or too slow to ever run. We present a translation that converts a set constraint formula into an SMT problem. Our technique allows for arbitrary boolean combinations of set constraints, and leverages the performance of modern SMT solvers. To show the usefulness of unrestricted set constraints, we use them to devise a pattern match analysis for functional languages, which ensures that missing cases of pattern matches are always unreachable. We implement our analysis in the Elm compiler and show that our translation is fast enough to be used in practical verification.


6DLS Modeling Nonplanar Frictional Surface Contacts for Grasping using 6D Limit Surfaces. Robot grasping with deformable gripper jaws results in nonplanar surface contacts if the jaws deform to the nonplanar local geometry of an object. The frictional force and torque that can be transmitted through a nonplanar surface contact are both three dimensional, resulting in a six dimensional frictional wrench (6DFW). Applying traditional planar contact models to such contacts leads to over conservative results as the models do not consider the nonplanar surface geometry and only compute a three dimensional subset of the 6DFW. To address this issue, we derive the 6DFW for nonplanar surfaces by combining concepts of differential geometry and Coulomb friction. We also propose two 6D limit surface (6DLS) models, generalized from well known three dimensional LS (3DLS) models, which describe the friction motion constraints for a contact. We evaluate the 6DLS models by fitting them to the 6DFW samples obtained from six parametric surfaces and 2,932 meshed contacts from finite element method simulations of 24 rigid objects. We further present an algorithm to predict multicontact grasp success by building a grasp wrench space with the 6DLS model of each contact. To evaluate the algorithm, we collected 1,035 physical grasps of ten 3D printed objects with a KUKA robot and a deformable parallel jaw gripper. In our experiments, the algorithm achieves 66.8 precision, a metric inversely related to false positive predictions, and 76.9 recall, a metric inversely related to false negative predictions. The 6DLS models increase recall by up to 26.1 over 3DLS models with similar precision.


Effective equidistribution for generalized higher step nilflows. The main results of this paper are to prove bounds for ergodic averages for nilflows on general higher step nilmanifolds. Under Diophantine condition on the frequency of a toral projection of the flow, we prove that almost all orbits become equidistributed at the polynomial speed. We analyze the exponent with the speed of decay which is determined by the number of steps and structure of general nilpotent Lie algebras. The main result follows from the technique over controlling scaling operators in irreducible representations and measure estimation on close return orbit on general nilmanifolds.


Ideal triangulations of 3 manifolds up to decorated transit equivalences. We consider 3 dimensional pseudo manifolds M with a given set of marked point V such that M V is the interior of a compact 3 manifold with boundary. An ideal triangulation T of (M, V ) has V as its set of vertices. A branching (T, b) enhances T to a Delta complex. Branched triangulations of (M, V ) are considered up to the b transit equivalence generated by isotopy and ideal branched moves which keep V pointwise fixed. We extend a well known connectivity result for naked triangulations by showing that branched ideal triangulations of (M, V) are equivalent to each other. A pre branching is a system of transverse orientations at the 2 facets of T verifying a certain global constraint pre branchings are considered up to a natural pb transit equivalence. If M is oriented, every branching b induces a pre branching w(b) and every b transit induces a pb transit. The quotient set of pre branchings up to transit equivalence is far to be trivial we get some information about it and we characterize the pre branchings of type w(b). Pre branched and branched moves are naturally organized in subfamilies which give rise to restricted transit equivalences. In the branching setting we revisit early results about the sliding transit equivalence and outline a conceptually different approach to the branched connectivity and eventually also to the naked one. The basic idea is to point out some structures of differential topological nature which are carried by every branched ideal triangulation, are preserved by the sliding transits and can be modified by the whole branched transits. The non ambiguous transit equivalence already widely studied on pre branchings lifts to a specialization of the sliding equivalence on branchings we point out a few specific insights, again in terms of carried structures preserved by the non ambiguous and which can be modified by the whole sliding transits.


Path dependent connectivity, not modularity, consistently predicts controllability of structural brain networks. The human brain displays rich communication dynamics that are thought to be particularly well reflected in its marked community structure. Yet, the precise relationship between community structure in structural brain networks and the communication dynamics that can emerge therefrom is not well understood. In addition to offering insight into the structure function relationship of networked systems, such an understanding is a critical step towards the ability to manipulate the brain's large scale dynamical activity in a targeted manner. We investigate the role of community structure in the controllability of structural brain networks. At the region level, we find that certain network measures of community structure are sometimes statistically correlated with measures of linear controllability. However, we then demonstrate that this relationship depends on the distribution of network edge weights. We highlight the complexity of the relationship between community structure and controllability by performing numerical simulations using canonical graph models with varying mesoscale architectures and edge weight distributions. Finally, we demonstrate that weighted subgraph centrality, a measure rooted in the graph spectrum, and which captures higher order graph architecture, is a stronger and more consistent predictor of controllability. Our study contributes to an understanding of how the brain's diverse mesoscale structure supports transient communication dynamics.


On the bracket of integrable derivations. We prove that any multi variate Hasse Schmidt derivation can be decomposed in terms of substitution maps and uni variate Hasse Schmidt derivations. As a consequence we prove that the bracket of two m integrable derivations is also m integrable, for m a positive integer or infinity.


A Transformer based Framework for Multivariate Time Series Representation Learning. In this work we propose for the first time a transformer based framework for unsupervised representation learning of multivariate time series. Pre trained models can be potentially used for downstream tasks such as regression and classification, forecasting and missing value imputation. By evaluating our models on several benchmark datasets for multivariate time series regression and classification, we show that not only does our modeling approach represent the most successful method employing unsupervised learning of multivariate time series presented to date, but also that it exceeds the current state of the art performance of supervised methods it does so even when the number of training samples is very limited, while offering computational efficiency. Finally, we demonstrate that unsupervised pre training of our transformer models offers a substantial performance benefit over fully supervised learning, even without leveraging additional unlabeled data, i.e., by reusing the same data samples through the unsupervised objective.


A Nonexistence Certificate for Projective Planes of Order Ten with Weight 15 Codewords. Using techniques from the fields of symbolic computation and satisfiability checking we verify one of the cases used in the landmark result that projective planes of order ten do not exist. In particular, we show that there exist no projective planes of order ten that generate codewords of weight fifteen, a result first shown in 1973 via an exhaustive computer search. We provide a simple satisfiability (SAT) instance and a certificate of unsatisfiability that can be used to automatically verify this result for the first time. All previous demonstrations of this result have relied on search programs that are difficult or impossible to verify in fact, our search found partial projective planes that were missed by previous searches due to previously undiscovered bugs. Furthermore, we show how the performance of the SAT solver can be dramatically increased by employing functionality from a computer algebra system (CAS). Our SAT CAS search runs significantly faster than all other published searches verifying this result.


Establishing Baselines for Text Classification in Low Resource Languages. While transformer based finetuning techniques have proven effective in tasks that involve low resource, low data environments, a lack of properly established baselines and benchmark datasets make it hard to compare different approaches that are aimed at tackling the low resource setting. In this work, we provide three contributions. First, we introduce two previously unreleased datasets as benchmark datasets for text classification and low resource multilabel text classification for the low resource language Filipino. Second, we pretrain better BERT and DistilBERT models for use within the Filipino setting. Third, we introduce a simple degradation test that benchmarks a model's resistance to performance degradation as the number of training samples are reduced. We analyze our pretrained model's degradation speeds and look towards the use of this method for comparing models aimed at operating within the low resource setting. We release all our models and datasets for the research community to use.


A theory of complex oscillatory integrals A case study. In this paper we develop a theory for oscillatory integrals with complex phases. When f mathbb C n to mathbb C , we evaluate this phase function on the basic character rm e (z) e 2 pi i x e 2 pi i y of mathbb C simeq mathbb R 2 (here z x iy in mathbb C or z (x,y) in mathbb R 2 ) and consider oscillatory integrals of the form I int mathbb C n rm e (f( underline z )) , phi( underline z ) , d underline z where phi in C infty c( mathbb C n) . Unfortunately basic scale invariant bounds for the oscillatory integrals I do not hold in the generality that they do in the real setting. Our main effort is to develop a perspective and arguments to locate scale invariant bounds in (necessarily) less generality than we are accustomed to in the real setting.


Larq Compute Engine Design, Benchmark, and Deploy State of the Art Binarized Neural Networks. We introduce Larq Compute Engine, the world's fastest Binarized Neural Network (BNN) inference engine, and use this framework to investigate several important questions about the efficiency of BNNs and to design a new state of the art BNN architecture. LCE provides highly optimized implementations of binary operations and accelerates binary convolutions by 8.5 18.5x compared to their full precision counterparts on Pixel 1 phones. LCE's integration with Larq and a sophisticated MLIR based converter allow users to move smoothly from training to deployment. By extending TensorFlow and TensorFlow Lite, LCE supports models which combine binary and full precision layers, and can be easily integrated into existing applications. Using LCE, we analyze the performance of existing BNN computer vision architectures and develop QuickNet, a simple, easy to reproduce BNN that outperforms existing binary networks in terms of latency and accuracy on ImageNet. Furthermore, we investigate the impact of full precision shortcuts and the relationship between number of MACs and model latency. We are convinced that empirical performance should drive BNN architecture design and hope this work will facilitate others to design, benchmark and deploy binary models.


The Sequent Calculus of Skew Monoidal Categories. Szlach 'anyi's skew monoidal categories are a well motivated variation of monoidal categories in which the unitors and associator are not required to be natural isomorphisms, but merely natural transformations in a particular direction. We present a sequent calculus for skew monoidal categories, building on the recent formulation by one of the authors of a sequent calculus for the Tamari order (skew semigroup categories). In this calculus, antecedents consist of a stoup (an optional formula) followed by a context, and the connectives behave like in the standard monoidal sequent calculus except that the left rules may only be applied in stoup position. We prove that this calculus is sound and complete with respect to existence of maps in the free skew monoidal category, and moreover that it captures equality of maps once a suitable equivalence relation is imposed on derivations. We then identify a subsystem of focused derivations and establish that it contains exactly one canonical representative from each equivalence class. This coherence theorem leads directly to simple procedures for deciding equality of maps in the free skew monoidal category and for enumerating any homset without duplicates. Finally, and in the spirit of Lambek's work, we describe the close connection between this proof theoretic analysis and Bourke and Lack's recent characterization of skew monoidal categories as left representable skew multicategories. We have formalized this development in the dependently typed programming language Agda.


Iterative phase retrieval for digital holography. This paper provides a tutorial of iterative phase retrieval algorithms based on the Gerchberg Saxton (GS) algorithm applied in digital holography. In addition, a novel GS based algorithm that allows reconstruction of 3D samples is demonstrated. The GS based algorithms recover complex valued wavefront by wavefront back and forth propagation between two planes with constraints superimposed in these two planes. Iterative phase retrieval allows quantitatively correct and twin image free reconstructions of object amplitude and phase distributions from its in line hologram. The present work derives the quantitative criteria on how many holograms are required to reconstruct a complex valued object distribution, be it a 2D or 3D sample. It is shown that for a sample that can be approximated as a 2D sample, a single shot in line hologram is sufficient to reconstruct the absorption and phase distributions of the sample. Previously, the GS based algorithms have been successfully employed to reconstruct samples that are limited to a 2D plane. However, realistic physical objects always have some finite thickness and therefore are 3D rather than 2D objects. This study demonstrates that 3D samples, including 3D phase objects, can be reconstructed from two or more holograms. It is shown that in principle, two holograms are sufficient to recover the entire wavefront diffracted by a 3D sample distribution. In this method, the reconstruction is performed by applying iterative phase retrieval between the planes where intensity was measured. The recovered complex valued wavefront is then propagated back to the sample planes, thus reconstructing the 3D distribution of the sample. This method can be applied for 3D samples such as 3D distribution of particles, thick biological samples, and other 3D phase objects. Examples of reconstructions of 3D objects, including phase objects, are provided.


Optimal Control Approach for Implementation of Sterile Insect Techniques. Vector or pest control is essential to reduce the risk of vector borne diseases or crop losses. Among the available biological control tools, the Sterile Insect Technique (SIT) is one of the most promising. However, SIT control campaigns must be carefully planned in advance in order to render desirable outcomes. In this paper, we design SIT control intervention programs that can avoid the real time monitoring of the wild population and require to mass rear a minimal overall number of sterile insects, in order to induce a local elimination of the wild population in the shortest time. Continuous time release programs are obtained by applying an optimal control approach, and then laying the groundwork of more practical SIT control programs consisting of periodic impulsive releases.


Interpretable Neural Computation for Real World Compositional Visual Question Answering. There are two main lines of research on visual question answering (VQA) compositional model with explicit multi hop reasoning, and monolithic network with implicit reasoning in the latent feature space. The former excels in interpretability and compositionality but fails on real world images, while the latter usually achieves better performance due to model flexibility and parameter efficiency. We aim to combine the two to build an interpretable framework for real world compositional VQA. In our framework, images and questions are disentangled into scene graphs and programs, and a symbolic program executor runs on them with full transparency to select the attention regions, which are then iteratively passed to a visual linguistic pre trained encoder to predict answers. Experiments conducted on the GQA benchmark demonstrate that our framework outperforms the compositional prior arts and achieves competitive accuracy among monolithic ones. With respect to the validity, plausibility and distribution metrics, our framework surpasses others by a considerable margin.


Nested Scale Editing for Conditional Image Synthesis. We propose an image synthesis approach that provides stratified navigation in the latent code space. With a tiny amount of partial or very low resolution image, our approach can consistently out perform state of the art counterparts in terms of generating the closest sampled image to the ground truth. We achieve this through scale independent editing while expanding scale specific diversity. Scale independence is achieved with a nested scale disentanglement loss. Scale specific diversity is created by incorporating a progressive diversification constraint. We introduce semantic persistency across the scales by sharing common latent codes. Together they provide better control of the image synthesis process. We evaluate the effectiveness of our proposed approach through various tasks, including image outpainting, image superresolution, and cross domain image translation.


A Hand Motion guided Articulation and Segmentation Estimation. In this paper, we present a method for simultaneous articulation model estimation and segmentation of an articulated object in RGB D images using human hand motion. Our method uses the hand motion in the processes of the initial articulation model estimation, ICP based model parameter optimization, and region selection of the target object. The hand motion gives an initial guess of the articulation model prismatic or revolute joint. The method estimates the joint parameters by aligning the RGB D images with the constraint of the hand motion. Finally, the target regions are selected from the cluster regions which move symmetrically along with the articulation model. Our experimental results show the robustness of the proposed method for the various objects.


Deep Reinforcement Learning and its Neuroscientific Implications. The emergence of powerful artificial intelligence is defining new research directions in neuroscience. To date, this research has focused largely on deep neural networks trained using supervised learning, in tasks such as image classification. However, there is another area of recent AI work which has so far received less attention from neuroscientists, but which may have profound neuroscientific implications deep reinforcement learning. Deep RL offers a comprehensive framework for studying the interplay among learning, representation and decision making, offering to the brain sciences a new set of research tools and a wide range of novel hypotheses. In the present review, we provide a high level introduction to deep RL, discuss some of its initial applications to neuroscience, and survey its wider implications for research on brain and behavior, concluding with a list of opportunities for next stage research.


Conjugate time in sub Riemannian problem on Cartan group. The Cartan group is the free nilpotent Lie group of rank 2 and step 3. We consider the left invariant sub Riemannian problem on the Cartan group defined by an inner product in the first layer of its Lie algebra. This problem gives a nilpotent approximation of an arbitrary sub Riemannian problem with the growth vector (2,3,5) . In previous works we described a group of symmetries of the sub Riemannian problem on the Cartan group, and the corresponding Maxwell time the first time when symmetric geodesics intersect one another. It is known that geodesics are not globally optimal after the Maxwell time. In this work we study local optimality of geodesics on the Cartan group. We prove that the first conjugate time along a geodesic is not less than the Maxwell time corresponding to the group of symmetries. We characterize geodesics for which the first conjugate time is equal to the first Maxwell time. Moreover, we describe continuity of the first conjugate time near infinite values.


A central limit theorem for the two sided descent statistic on Coxeter groups. We study the asymptotic behaviour of the statistic (des ides) which assigns to an element w of a finite Coxeter group W the number of descents of w plus the number of descents of its inverse. Our main result is a central limit theorem for the probability distributions associated to this statistic. This answers a question of Kahle Stump and generalises work of Chatterjee Diaconis, "Ozdemir and R "ottger.


Using the discrete radon transformation for grayscale image moments. Image moments are weighted sums over pixel values in a given image and are used in object detection and localization. Raw image moments are derived directly from the image and are fundamental in deriving moment invariants quantities. The current general algorithm for raw image moments is computationally expensive and the number of multiplications needed scales with the number of pixels in the image. For an image of size (N,M), it has O(NM) multiplications. In this paper we outline an algorithm using the Discrete Radon Transformation for computing the raw image moments of a grayscale image. It reduces two dimensional moment calculations to linear combinations of one dimensional moment calculations. We show that the number of multiplications needed scales as O(N M), making it faster then the most widely used algorithm of raw image moments.


ConjNLI Natural Language Inference Over Conjunctive Sentences. Reasoning about conjuncts in conjunctive sentences is important for a deeper understanding of conjunctions in English and also how their usages and semantics differ from conjunctive and disjunctive boolean logic. Existing NLI stress tests do not consider non boolean usages of conjunctions and use templates for testing such model knowledge. Hence, we introduce ConjNLI, a challenge stress test for natural language inference over conjunctive sentences, where the premise differs from the hypothesis by conjuncts removed, added, or replaced. These sentences contain single and multiple instances of coordinating conjunctions ("and", "or", "but", "nor") with quantifiers, negations, and requiring diverse boolean and non boolean inferences over conjuncts. We find that large scale pre trained language models like RoBERTa do not understand conjunctive semantics well and resort to shallow heuristics to make inferences over such sentences. As some initial solutions, we first present an iterative adversarial fine tuning method that uses synthetically created training data based on boolean and non boolean heuristics. We also propose a direct model advancement by making RoBERTa aware of predicate semantic roles. While we observe some performance gains, ConjNLI is still challenging for current methods, thus encouraging interesting future work for better understanding of conjunctions. Our data and code are publicly available at https github.com swarnaHub ConjNLI


Reflections on Euler's reflection formula and an additive analogue of Legendre's duplication formula. In this note, we look at some of the less explored aspects of the gamma function. We provide a new proof of Euler's reflection formula and discuss its significance in the theory of special functions. We also discuss a result of Landau concerning the determination of values of the gamma function using functional identities. We show that his result is sharp and extend it to complex arguments. In 1848, Oskar Schl "omilch gave an interesting additive analogue of the duplication formula. We prove a generalized version of this formula using the theory of hypergeometric functions.


Stability Guaranteed Reinforcement Learning for Contact rich Manipulation. Reinforcement learning (RL) has had its fair share of success in contact rich manipulation tasks but it still lags behind in benefiting from advances in robot control theory such as impedance control and stability guarantees. Recently, the concept of variable impedance control (VIC) was adopted into RL with encouraging results. However, the more important issue of stability remains unaddressed. To clarify the challenge in stable RL, we introduce the term all the time stability that unambiguously means that every possible rollout will be stability certified. Our contribution is a model free RL method that not only adopts VIC but also achieves all the time stability. Building on a recently proposed stable VIC controller as the policy parameterization, we introduce a novel policy search algorithm that is inspired by Cross Entropy Method and inherently guarantees stability. Our experimental studies confirm the feasibility and usefulness of stability guarantee and also features, to the best of our knowledge, the first successful application of RL with all the time stability on the benchmark problem of peg in hole.


A version of Calder ' o n Mityagin theorem for the class of rearrangement invariant groups. Let l 0 be the group (with respect to the coordinate wise addition) of all sequences of real numbers x (x k) k 1 infty that are eventually zero, equipped with the quasi norm x 0 rm card supp ,x . A description of orbits of elements in the pair (l 0,l 1) is given, which complements (in the sequence space setting) the classical Calder ' o n Mityagin theorem on a description of orbits of elements in the pair (l 1,l infty) . As a consequence, we obtain that the pair (l 0,l 1) is mathcal K monotone.


Infinitesimal bending of knots and energy change. We discuss infinitesimal bending of curves and knots in R 3 . A brief overview of the results on the infinitesimal bending of curves is outlined. Change of the Willmore energy, as well as of the Mobius energy under infinitesimal bending of knots is considered. Our visualization tool devoted to visual representation of infinitesimal bending of knots is presented.


A Unified Point Based Framework for 3D Segmentation. 3D point cloud segmentation remains challenging for structureless and textureless regions. We present a new unified point based framework for 3D point cloud segmentation that effectively optimizes pixel level features, geometrical structures and global context priors of an entire scene. By back projecting 2D image features into 3D coordinates, our network learns 2D textural appearance and 3D structural features in a unified framework. In addition, we investigate a global context prior to obtain a better prediction. We evaluate our framework on ScanNet online benchmark and show that our method outperforms several state of the art approaches. We explore synthesizing camera poses in 3D reconstructed scenes for achieving higher performance. In depth analysis on feature combinations and synthetic camera pose verify that features from different modalities benefit each other and dense camera pose sampling further improves the segmentation results.


Hydrogen bonding and percolation in propan 2 ol water liquid mixtures X ray diffraction experiments and computer simulations. Synchrotron X ray diffraction measurements have been conducted on aqueous mixtures of propan 2 ol (a.k.a. isopropanol, or 2 propanol), for alcohol contents between 10 and 90 molar , from room temperature down to 230 K. Molecular dynamics simulations, by using an all atom parametrization of the propan 2 ol molecule and the well known TIP4P 2005 water model, were able to provide semi quantitative descriptions of the measured total structure factors. Various quantities related to hydrogen bonding, like hydrogen bond numbers, size distribution of cyclic entities and cluster size distributions, have been determined from the particle co ordinates obtained from the simulations. The percolation threshold at room temperature could be estimated to be between isopropanol concentrations of 62 and 74 molar , whereas at very low temperature, calculations yielded a value above 90 molar .


Maximally additively reducible subsets of the integers. Let A, B subseteq mathbb N be two finite sets of natural numbers. We say that B is an additive divisor for A if there exists some C subseteq mathbb N with A B C . We prove that among those subsets of 0, 1, ldots, k which have 0 as an element, the full interval 0, 1, ldots,k has the most divisors. To generalize to sets which do not have 0 as an element, we prove a correspondence between additive divisors and lunar multiplication, introduced by Appelgate, LeBrun and Sloane (2011) in their study of a kind of min max arithmetic. The number of binary lunar divisors is related to compositions of integers which are restricted in that the first part is greater or equal to all other parts. We establish some bounds on such compositions to show that 1, ldots, k has the most divisors among all subsets of 0, 1, ldots, k . These results resolve two conjectures of LeBrun et al. regarding the maximal number of lunar binary divisors, a special case of a more general conjecture about lunar divisors in arbitrary bases. We resolve this third conjecture by generalizing from sum sets to sum multisets.


Uniqueness of a three dimensional stochastic differential equation. In order to extend the study of uniqueness property of multi dimensional systems of stochastic differential equations, in this paper, we look at the following three dimensional system of equations, of which the two dimensional case was well studied before dX t Y tdt quad, dY t Z tdt, quad dZ t X t alpha dB t . We proved that if (X 0,Y 0,Z 0) neq(0,0,0) , and frac 3 4 alpha 1 , then the system of equations has a unique solution in the strong sense.


On the e positivity of trees and spiders. We prove that for any tree with a vertex of degree at least six, its chromatic symmetric function is not e positive, that is, it cannot be written as a nonnegative linear combination of elementary symmetric functions. This makes significant progress towards a recent conjecture of Dahlberg, She, and van Willigenburg, who conjectured the result for all trees with a vertex of degree at least four. We also provide a series of conditions that can identify when the chromatic symmetric function of a spider, a tree consisting of multiple paths identified at an end, is not e positive. These conditions also generalize to trees and graphs with cut vertices. Finally, by applying a result of Orellana and Scott, we provide a method to inductively calculate certain coefficients in the elementary symmetric function expansion of the chromatic symmetric function of a spider, leading to further e positivity conditions for spiders.


Design and Experiments with LoCO AUV A Low Cost Open Source Autonomous Underwater Vehicle. In this paper we present LoCO AUV, a Low Cost, Open Autonomous Underwater Vehicle. LoCO is a general purpose, single person deployable, vision guided AUV, rated to a depth of 100 meters. We discuss the open and expandable design of this underwater robot, as well as the design of a simulator in Gazebo. Additionally, we explore the platform's preliminary local motion control and state estimation abilities, which enable it to perform maneuvers autonomously. In order to demonstrate its usefulness for a variety of tasks, we implement a variety of our previously presented human robot interaction capabilities on LoCO, including gestural control, diver following, and robot communication via motion. Finally, we discuss the practical concerns of deployment and our experiences in using this robot in pools, lakes, and the ocean. All design details, instructions on assembly, and code will be released under a permissive, open source license.


SelectFusion A Generic Framework to Selectively Learn Multisensory Fusion. Autonomous vehicles and mobile robotic systems are typically equipped with multiple sensors to provide redundancy. By integrating the observations from different sensors, these mobile agents are able to perceive the environment and estimate system states, e.g. locations and orientations. Although deep learning approaches for multimodal odometry estimation and localization have gained traction, they rarely focus on the issue of robust sensor fusion a necessary consideration to deal with noisy or incomplete sensor observations in the real world. Moreover, current deep odometry models also suffer from a lack of interpretability. To this extent, we propose SelectFusion, an end to end selective sensor fusion module which can be applied to useful pairs of sensor modalities such as monocular images and inertial measurements, depth images and LIDAR point clouds. During prediction, the network is able to assess the reliability of the latent features from different sensor modalities and estimate both trajectory at scale and global pose. In particular, we propose two fusion modules based on different attention strategies deterministic soft fusion and stochastic hard fusion, and we offer a comprehensive study of the new strategies compared to trivial direct fusion. We evaluate all fusion strategies in both ideal conditions and on progressively degraded datasets that present occlusions, noisy and missing data and time misalignment between sensors, and we investigate the effectiveness of the different fusion strategies in attending the most reliable features, which in itself, provides insights into the operation of the various models.


Dynamical and arithmetic degrees for random iterations of maps on projective space. We show that the dynamical degree of an (i.i.d) random sequence of dominant, rational self maps on projective space is almost surely constant. We then apply this result to height growth and height counting problems in random orbits.