Pose Assisted Multi Camera Collaboration for Active Object Tracking. Active Object Tracking (AOT) is crucial to many visionbased applications, e.g., mobile robot, intelligent surveillance. However, there are a number of challenges when deploying active tracking in complex scenarios, e.g., target is frequently occluded by obstacles. In this paper, we extend the single camera AOT to a multi camera setting, where cameras tracking a target in a collaborative fashion. To achieve effective collaboration among cameras, we propose a novel Pose Assisted Multi Camera Collaboration System, which enables a camera to cooperate with the others by sharing camera poses for active object tracking. In the system, each camera is equipped with two controllers and a switcher The vision based controller tracks targets based on observed images. The pose based controller moves the camera in accordance to the poses of the other cameras. At each step, the switcher decides which action to take from the two controllers according to the visibility of the target. The experimental results demonstrate that our system outperforms all the baselines and is capable of generalizing to unseen environments. The code and demo videos are available on our website https sites.google.com view pose assistedcollaboration.


Analysis of Obstacle based Probabilistic RoadMap Method using Geometric Probability. Sampling based planners have been successful in robot motion planning, with many degrees of freedom, but still remain ineffective in the presence of narrow passages within the configuration space. There exist several heuristics, which generate samples in the critical regions and improve the efficiency of probabilistic roadmap planners. In this paper, we present an evaluation of success probability of one such heuristic method, called obstacle based probabilistic roadmap planners or OBPRM, using geometric probability theory. The result indicates that the probability of success of generating free sample points around the surface of the n dimensional configuration space obstacle is directly proportional to the surface area of the obstacles.


Amenability of Bounded Automata Groups on Infinite Alphabets. We study the action of groups generated by bounded activity automata with infinite alphabets on their orbital Schreier graphs. We introduce an amenability criterion for such groups based on the recurrence of the first level action. This criterion is a natural extension of the result that all groups generated by bounded activity automata with finite alphabets are amenable. Our motivation comes from the investigation of iterated monodromy groups of entire functions.


Sparse spectral methods for partial differential equations on spherical caps. In recent years, sparse spectral methods for solving partial differential equations have been derived using hierarchies of classical orthogonal polynomials on intervals, disks, disk slices and triangles. In this work we extend the methodology to a hierarchy of non classical multivariate orthogonal polynomials on spherical caps. The entries of discretisations of partial differential operators can be effectively computed using formulae in terms of (non classical) univariate orthogonal polynomials. We demonstrate the results on partial differential equations involving the spherical Laplacian and biharmonic operators, showing spectral convergence.


A Non Standard Finite Difference Scheme for MHD Boundary Layer Fluid Flow. This paper deals with a non standard finite difference scheme defined on a quasi uniform mesh for approximate solutions of the MHD boundary layer flow of an incompressible fluid past a flat plate for a wide range of the magnetic parameter. The obtained numerical results are compared with those available in the literature. We show how to improve the obtained numerical results via a mesh refinement and a Richardson extrapolation.


Minimal colorings for properly colored subgraphs in complete graphs. Let pr(K n , G) be the maximum number of colors in an edge coloring of K n with no properly colored copy of G . In this paper, we show that pr(K n , G) ex(n, mathcal G' ) o(n 2 ), where mathcal G' G M M text is a matching of G . Furthermore, we determine the value of pr(K n , P l ) for l ge 27 and n ge 2l 3 and the exact value of pr(K n , G) , where G is C 5 , C 6 and K 4 , respectively. Also, we give an upper bound and a lower bound of pr(K n , K 2,3 ) .


Out of the Echo Chamber Detecting Countering Debate Speeches. An educated and informed consumption of media content has become a challenge in modern times. With the shift from traditional news outlets to social media and similar venues, a major concern is that readers are becoming encapsulated in "echo chambers" and may fall prey to fake news and disinformation, lacking easy access to dissenting views. We suggest a novel task aiming to alleviate some of these concerns that of detecting articles that most effectively counter the arguments and not just the stance made in a given text. We study this problem in the context of debate speeches. Given such a speech, we aim to identify, from among a set of speeches on the same topic and with an opposing stance, the ones that directly counter it. We provide a large dataset of 3,685 such speeches (in English), annotated for this relation, which hopefully would be of general interest to the NLP community. We explore several algorithms addressing this task, and while some are successful, all fall short of expert human performance, suggesting room for further research. All data collected during this work is freely available for research.


Random Sampling for Group By Queries. Random sampling has been widely used in approximate query processing on large databases, due to its potential to significantly reduce resource usage and response times, at the cost of a small approximation error. We consider random sampling for answering the ubiquitous class of group by queries, which first group data according to one or more attributes, and then aggregate within each group after filtering through a predicate. The challenge with group by queries is that a sampling method cannot focus on optimizing the quality of a single answer (e.g. the mean of selected data), but must simultaneously optimize the quality of a set of answers (one per group). We present CVOPT, a query and data driven sampling framework for a set of group by queries. To evaluate the quality of a sample, CVOPT defines a metric based on the norm (e.g. ell 2 or ell infty ) of the coefficients of variation (CVs) of different answers, and constructs a stratified sample that provably optimizes the metric. CVOPT can handle group by queries on data where groups have vastly different statistical characteristics, such as frequencies, means, or variances. CVOPT jointly optimizes for multiple aggregations and multiple group by clauses, and provides a way to prioritize specific groups or aggregates. It can be tuned to cases when partial information about a query workload is known, such as a data warehouse where queries are scheduled to run periodically. Our experimental results show that CVOPT outperforms current state of the art on sample quality and estimation accuracy for group by queries. On a set of queries on two real world data sets, CVOPT yields relative errors that are 5x smaller than competing approaches, under the same space budget.


Bi fidelity Stochastic Gradient Descent for Structural Optimization under Uncertainty. The presence of uncertainty in material properties and geometry of a structure is ubiquitous. The design of robust engineering structures, therefore, needs to incorporate uncertainty in the optimization process. Stochastic gradient descent (SGD) method can alleviate the cost of optimization under uncertainty, which includes statistical moments of quantities of interest in the objective and constraints. However, the design may change considerably during the initial iterations of the optimization process which impedes the convergence of the traditional SGD method and its variants. In this paper, we present two SGD based algorithms, where the computational cost is reduced by employing a low fidelity model in the optimization process. In the first algorithm, most of the stochastic gradient calculations are performed on the low fidelity model and only a handful of gradients from the high fidelity model are used per iteration, resulting in an improved convergence. In the second algorithm, we use gradients from low fidelity models to be used as control variate, a variance reduction technique, to reduce the variance in the search direction. These two bi fidelity algorithms are illustrated first with a conceptual example. Then, the convergence of the proposed bi fidelity algorithms is studied with two numerical examples of shape and topology optimization and compared to popular variants of the SGD method that do not use low fidelity models. The results show that the proposed use of a bi fidelity approach for the SGD method can improve the convergence. Two analytical proofs are also provided that show the linear convergence of these two algorithms under appropriate assumptions.


Some stable non elementary classes of modules. Fisher Fis75 and Baur Bau75 showed independently in the seventies that if T is a complete first order theory extending the theory of modules, then the class of models of T with pure embeddings is stable. In Maz4, 2.12 , it is asked if the same is true for any abstract elementary class (K, leq p) such that K is a class of modules and leq p is the pure submodule relation. In this paper we give some instances where this is true textbf Theorem. Assume R is an associative ring with unity. Let (K, leq p) be an AEC such that K subseteq R text Mod and K is closed under finite direct sums, then If K is closed under pure injective envelopes, then (K, leq p) is lambda stable for every lambda geq LS(K) such that lambda R aleph 0 lambda . If K is closed under pure submodules and pure epimorphic images, then (K, leq p) is lambda stable for every lambda such that lambda R aleph 0 lambda . Assume R is Von Neumann regular. If K is closed under submodules and has arbitrarily large models, then (K, leq p) is lambda stable for every lambda such that lambda R aleph 0 lambda . As an application of these results we give new characterizations of noetherian rings, pure semisimple rings, dedekind domains, and fields via superstability. Moreover, we show how these results can be used to show a link between being good in the stability hierarchy and being good in the axiomatizability hierarchy. Another application is the existence of universal models with respect to pure embeddings in several classes of modules. Among them, the class of flat modules and the class of injective torsion modules.


Configurational forces and nonlinear structural dynamics. Configurational, or Eshelby like, forces are shown to strongly influence the nonlinear dynamics of an elastic rod constrained with a frictionless sliding sleeve at one end and with an attached mass at the other end. The configurational force, generated at the sliding sleeve constraint and proportional to the square of the bending moment realized there, has been so far investigated only under quasi static setting and is now confirmed (through a variational argument) to be present within a dynamic framework. The deep influence of configurational forces on the dynamics is shown both theoretically (through the development of a dynamic nonlinear model in which the rod is treated as a nonlinear spring, obeying the Euler elastica, with negligible inertia) and experimentally (through a specifically designed experimental set up). During the nonlinear dynamics, the elastic rod may slip alternatively in and out from the sliding sleeve, becoming a sort of nonlinear oscillator displaying a motion eventually ending with the rod completely injected into or completely ejected from the sleeve. The present results may find applications in the dynamics of compliant and extensible devices, for instance, to guide the movement of a retractable and flexible robot arm.


Computer Stereo Vision for Autonomous Driving. As an important component of autonomous systems, autonomous car perception has had a big leap with recent advances in parallel computing architectures. With the use of tiny but full feature embedded supercomputers, computer stereo vision has been prevalently applied in autonomous cars for depth perception. The two key aspects of computer stereo vision are speed and accuracy. They are both desirable but conflicting properties, as the algorithms with better disparity accuracy usually have higher computational complexity. Therefore, the main aim of developing a computer stereo vision algorithm for resource limited hardware is to improve the trade off between speed and accuracy. In this chapter, we introduce both the hardware and software aspects of computer stereo vision for autonomous car systems. Then, we discuss four autonomous car perception tasks, including 1) visual feature detection, description and matching, 2) 3D information acquisition, 3) object detection recognition and 4) semantic image segmentation. The principles of computer stereo vision and parallel computing on multi threading CPU and GPU architectures are then detailed.


An Evaluation of Classification Methods for 3D Printing Time Series Data. Additive Manufacturing presents a great application area for Machine Learning because of the vast volume of data generated and the potential to mine this data to control outcomes. In this paper we present preliminary work on classifying infrared time series data representing melt pool temperature in a metal 3D printing process. Our ultimate objective is to use this data to predict process outcomes (e.g. hardness, porosity, surface roughness). In the work presented here we simply show that there is a signal in this data that can be used for the classification of different components and stages of the AM process. In line with other Machine Learning research on time series classification we use k Nearest Neighbour classifiers. The results we present suggests that Dynamic Time Warping is an effective distance measure compared with alternatives for 3D printing data of this type.


The Computational Complexity of Finding Temporal Paths under Waiting Time Constraints. Computing a (short) path between two vertices is one of the most fundamental primitives in graph algorithmics. In recent years, the study of paths in temporal graphs, that is, graphs where the vertex set is fixed but the edge set changes over time, gained more and more attention. A path is time respecting, or temporal, if it uses edges with non decreasing time stamps. We investigate a basic constraint for temporal paths, where the time spent at each vertex must not exceed a given duration Delta , referred to as Delta restless temporal paths. This constraint arises naturally in the modeling of real world processes like packet routing in communication networks and infection transmission routes of diseases where recovery confers lasting resistance. While finding temporal paths without waiting time restrictions is known to be doable in polynomial time, we show that the "restless variant" of this problem becomes computationally hard even in very restrictive settings. For example, it is W 1 hard when parameterized by the distance to disjoint path of the underlying graph, which implies W 1 hardness for many other parameters like feedback vertex number and pathwidth. A natural question is thus whether the problem becomes tractable in some natural settings. We explore several natural parameterizations, presenting FPT algorithms for three kinds of parameters (1) output related parameters (here, the maximum length of the path), (2) classical parameters applied to the underlying graph (e.g., feedback edge number), and (3) a new parameter called timed feedback vertex number, which captures finer grained temporal features of the input temporal graph, and which may be of interest beyond this work.


Spatio Temporal Analysis of Facial Actions using Lifecycle Aware Capsule Networks. Most state of the art approaches for Facial Action Unit (AU) detection rely upon evaluating facial expressions from static frames, encoding a snapshot of heightened facial activity. In real world interactions, however, facial expressions are usually more subtle and evolve in a temporal manner requiring AU detection models to learn spatial as well as temporal information. In this paper, we focus on both spatial and spatio temporal features encoding the temporal evolution of facial AU activation. For this purpose, we propose the Action Unit Lifecycle Aware Capsule Network (AULA Caps) that performs AU detection using both frame and sequence level features. While at the frame level the capsule layers of AULA Caps learn spatial feature primitives to determine AU activations, at the sequence level, it learns temporal dependencies between contiguous frames by focusing on relevant spatio temporal segments in the sequence. The learnt feature capsules are routed together such that the model learns to selectively focus more on spatial or spatio temporal information depending upon the AU lifecycle. The proposed model is evaluated on the commonly used BP4D and GFT benchmark datasets obtaining state of the art results on both the datasets.


Exemplar Guided Face Image Super Resolution without Facial Landmarks. Nowadays, due to the ubiquitous visual media there are vast amounts of already available high resolution (HR) face images. Therefore, for super resolving a given very low resolution (LR) face image of a person it is very likely to find another HR face image of the same person which can be used to guide the process. In this paper, we propose a convolutional neural network (CNN) based solution, namely GWAInet, which applies super resolution (SR) by a factor 8x on face images guided by another unconstrained HR face image of the same person with possible differences in age, expression, pose or size. GWAInet is trained in an adversarial generative manner to produce the desired high quality perceptual image results. The utilization of the HR guiding image is realized via the use of a warper subnetwork that aligns its contents to the input image and the use of a feature fusion chain for the extracted features from the warped guiding image and the input image. In training, the identity loss further helps in preserving the identity related features by minimizing the distance between the embedding vectors of SR and HR ground truth images. Contrary to the current state of the art in face super resolution, our method does not require facial landmark points for its training, which helps its robustness and allows it to produce fine details also for the surrounding face region in a uniform manner. Our method GWAInet produces photo realistic images in upscaling factor 8x and outperforms state of the art in quantitative terms and perceptual quality.


Memory Aware Denial of Service Attacks on Shared Cache in Multicore Real Time Systems. In this paper, we identify that memory performance plays a crucial role in the feasibility and effectiveness for performing denial of service attacks on shared cache. Based on this insight, we introduce new cache DoS attacks, which can be mounted from the user space and can cause extreme worst case execution time (WCET) impacts to cross core victims even if the shared cache is partitioned by taking advantage of the platform's memory address mapping information and HugePage support. We deploy these enhanced attacks on two popular embedded out of order multicore platforms using both synthetic and real world benchmarks. The proposed DoS attacks achieve up to 111X WCET increases on the tested platforms.


Functional Tucker approximation using Chebyshev interpolation. This work is concerned with approximating a trivariate function defined on a tensor product domain via function evaluations. Combining tensorized Chebyshev interpolation with a Tucker decomposition of low multilinear rank yields function approximations that can be computed and stored very efficiently. The existing Chebfun3 algorithm Hashemi and Trefethen, SIAM J. Sci. Comput., 39 (2017) uses a similar format but the construction of the approximation proceeds indirectly, via a so called slice Tucker decomposition. As a consequence, Chebfun3 sometimes uses unnecessarily many function evaluation and does not fully benefit from the potential of the Tucker decomposition to reduce, sometimes dramatically, the computational cost. We propose a novel algorithm Chebfun3F that utilizes univariate fibers instead of bivariate slices to construct the Tucker decomposition. Chebfun3F reduces the cost for the approximation for nearly all functions considered, typically by 75 , and sometimes by over 98 .


Deep Image to Video Adaptation and Fusion Networks for Action Recognition. Existing deep learning methods for action recognition in videos require a large number of labeled videos for training, which is labor intensive and time consuming. For the same action, the knowledge learned from different media types, e.g., videos and images, may be related and complementary. However, due to the domain shifts and heterogeneous feature representations between videos and images, the performance of classifiers trained on images may be dramatically degraded when directly deployed to videos. In this paper, we propose a novel method, named Deep Image to Video Adaptation and Fusion Networks (DIVAFN), to enhance action recognition in videos by transferring knowledge from images using video keyframes as a bridge. The DIVAFN is a unified deep learning model, which integrates domain invariant representations learning and cross modal feature fusion into a unified optimization framework. Specifically, we design an efficient cross modal similarities metric to reduce the modality shift among images, keyframes and videos. Then, we adopt an autoencoder architecture, whose hidden layer is constrained to be the semantic representations of the action class names. In this way, when the autoencoder is adopted to project the learned features from different domains to the same space, more compact, informative and discriminative representations can be obtained. Finally, the concatenation of the learned semantic feature representations from these three autoencoders are used to train the classifier for action recognition in videos. Comprehensive experiments on four real world datasets show that our method outperforms some state of the art domain adaptation and action recognition methods.


Improving Accuracy of Federated Learning in Non IID Settings. Federated Learning (FL) is a decentralized machine learning protocol that allows a set of participating agents to collaboratively train a model without sharing their data. This makes FL particularly suitable for settings where data privacy is desired. However, it has been observed that the performance of FL is closely tied with the local data distributions of agents. Particularly, in settings where local data distributions vastly differ among agents, FL performs rather poorly with respect to the centralized training. To address this problem, we hypothesize the reasons behind the performance degradation, and develop some techniques to address these reasons accordingly. In this work, we identify four simple techniques that can improve the performance of trained models without incurring any additional communication overhead to FL, but rather, some light computation overhead either on the client, or the server side. In our experimental analysis, combination of our techniques improved the validation accuracy of a model trained via FL by more than 12 with respect to our baseline. This is about 5 less than the accuracy of the model trained on centralized data.


Partitionable Asynchronous Cryptocurrency Blockchain. We consider operation of blockchain based cryptocurrency in case of partitioning. We define the Partitionable Blockchain Consensus Problem. The problem may have an interesting solution if the partitions proceed independently by splitting accounts. We prove that this problem is not solvable in the asynchronous system. The peers in the two partitions may not agree on the last jointly mined block or, alternatively, on the starting point of independent concurrent computation. We introduce a family of detectors that enable a solution. We establish the relationship between detectors. We present the algorithm that solves the Partitionable Blockchain Consensus Problem using our detectors. We extend our solution to multiple splits, message loss and to partition merging. We simulate and evaluate the performance of detectors, discuss the implementation of the detectors and future work.


A discussion on "Numerical computations of resonant sloshing using the modified isoAdvector method and the buoyancy modified turbulence closure model" Appl. Ocean Res. (2019), 93, article no. 101829, doi 10.1016.j.apor.2019.05.014 . A discussion on Li et al. (2019) Numerical computations of resonant sloshing using the modified isoAdvector method and the buoyancy modified turbulence closure model. Appl. Ocean Res. 93, article no. 101829, DOI 10.1016.j.apor.2019.05.014 is provided. Some mis characterizations regarding the work of Larsen and Fuhrman (2018) On the over production of turbulence beneath surface waves using Reynolds averaged Navier Stokes models. J. Fluid Mech. 853, 419 460, DOI 10.1017 jfm.2018.577 , on stabilizing two equation turbulence closures beneath surface waves, are clarified.


Suspicious Massive Registration Detection via Dynamic Heterogeneous Graph Neural Networks. Massive account registration has raised concerns on risk management in e commerce companies, especially when registration increases rapidly within a short time frame. To monitor these registrations constantly and minimize the potential loss they might incur, detecting massive registration and predicting their riskiness are necessary. In this paper, we propose a Dynamic Heterogeneous Graph Neural Network framework to capture suspicious massive registrations (DHGReg). We first construct a dynamic heterogeneous graph from the registration data, which is composed of a structural subgraph and a temporal subgraph. Then, we design an efficient architecture to predict suspicious benign accounts. Our proposed model outperforms the baseline models and is computationally efficient in processing a dynamic heterogeneous graph constructed from a real world dataset. In practice, the DHGReg framework would benefit the detection of suspicious registration behaviors at an early stage.


Low Complexity Tilings of the Plane. A two dimensional configuration is a coloring of the infinite grid Z 2 with finitely many colors. For a finite subset D of Z 2, the D patterns of a configuration are the colored patterns of shape D that appear in the configuration. The number of distinct D patterns of a configuration is a natural measure of its complexity. A configuration is considered having low complexity with respect to shape D if the number of distinct D patterns is at most D , the size of the shape. This extended abstract is a short review of an algebraic method to study periodicity of such low complexity configurations.


On multi interpolated multiple zeta values. In this note we introduce multi interpolated multiple zeta values. We provide a basic decomposition of these objects involving ordered partitions. We also obtain identities for special instances of multi interpolated multiple zeta values zeta vec t ( s k) , generalizing earlier results. Moreover, we introduce a product for multi interpolated multiple zeta values.


Recommendation of Move Method Refactoring Using Path Based Representation of Code. Software refactoring plays an important role in increasing code quality. One of the most popular refactoring types is the Move Method refactoring. It is usually applied when a method depends more on members of other classes than on its own original class. Several approaches have been proposed to recommend Move Method refactoring automatically. Most of them are based on heuristics and have certain limitations (e.g., they depend on the selection of metrics and manually defined thresholds). In this paper, we propose an approach to recommend Move Method refactoring based on a path based representation of code called code2vec that is able to capture the syntactic structure and semantic information of a code fragment. We use this code representation to train a machine learning classifier suggesting to move methods to more appropriate classes. We evaluate the approach on two publicly available datasets a manually compiled dataset of well known open source projects and a synthetic dataset with automatically injected code smell instances. The results show that our approach is capable of recommending accurate refactoring opportunities and outperforms JDeodorant and JMove, which are state of the art tools in this field.


Private Function Computation for Noncolluding Coded Databases. Private computation in a distributed storage system (DSS) is a generalization of the private information retrieval (PIR) problem. In such setting a user wishes to compute a function of f messages stored in n noncolluding coded databases, i.e., databases storing data encoded with an n,k linear storage code, while revealing no information about the desired function to the databases. We consider the problem of private polynomial computation (PPC). In PPC, a user wishes to compute a multivariate polynomial of degree at most g over f variables (or messages) stored in multiple databases. First, we consider the private computation of polynomials of degree g 1 , i.e., private linear computation (PLC) for coded databases. In PLC, a user wishes to compute a linear combination over the f messages while keeping the coefficients of the desired linear combination hidden from the database. For a linearly encoded DSS, we present a capacity achieving PLC scheme and show that the PLC capacity, which is the ratio of the desired amount of information and the total amount of downloaded information, matches the maximum distance separable coded capacity of PIR for a large class of linear storage codes. Then, we consider private computation of higher degree polynomials, i.e., g 1 . For this setup, we construct two novel PPC schemes. In the first scheme, we consider Reed Solomon coded databases with Lagrange encoding, which leverages ideas from recently proposed star product PIR and Lagrange coded computation. The second scheme considers the special case of coded databases with systematic Lagrange encoding. Both schemes yield improved rates, while asymptotically, as f rightarrow infty , the systematic scheme gives a significantly better computation retrieval rate compared to all known schemes up to some storage code rate that depends on the maximum degree of the candidate polynomials.


Object RPE Dense 3D Reconstruction and Pose Estimation with Convolutional Neural Networks for Warehouse Robots. We present an approach for recognizing all objects in a scene and estimating their full pose from an accurate 3D instance aware semantic reconstruction using an RGB D camera. Our framework couples convolutional neural networks (CNNs) and a state of the art dense Simultaneous Localisation and Mapping (SLAM) system, ElasticFusion, to achieve both high quality semantic reconstruction as well as robust 6D pose estimation for relevant objects. While the main trend in CNN based 6D pose estimation has been to infer object's position and orientation from single views of the scene, our approach explores performing pose estimation from multiple viewpoints, under the conjecture that combining multiple predictions can improve the robustness of an object detection system. The resulting system is capable of producing high quality object aware semantic reconstructions of room sized environments, as well as accurately detecting objects and their 6D poses. The developed method has been verified through experimental validation on the YCB Video dataset and a newly collected warehouse object dataset. Experimental results confirmed that the proposed system achieves improvements over state of the art methods in terms of surface reconstruction and object pose prediction. Our code and video are available at https sites.google.com view object rpe.


Particle resolved simulations of shock induced flow through particle clouds at different Reynolds numbers. This study investigates the Reynolds number dependence of shock induced flow through particle layers at 10 volume fraction, using ensemble averaged results from particle resolved large eddy simulations. The advantage of using large eddy simulations to study this problem is that they capture the strong velocity shears and flow separation caused by the no slip condition at the particle surfaces. The shock particle cloud interaction produces a reflected shock wave, whose strength increases with decreasing particle Reynolds number. This results in important changes to the flow field that enters the particle cloud. The results show an approximate proportionality between the mean flow velocity and the flow fluctuation magnitudes. Maximum particle drag forces are in excellent agreement with previous inviscid studies, and we complement these results with statistics of time averaged particle forces as well as the variation of temporal oscillations. The results of this work provides a basis for development of improved simplified dispersed flow models.


Regionally proximal relation of order d along arithmetic progressions and nilsystems. The regionally proximal relation of order d along arithmetic progressions, namely bf AP d for d in N , is introduced and investigated. It turns out that if (X,T) is a topological dynamical system with bf AP d Delta , then each ergodic measure of (X,T) is isomorphic to a d step pro nilsystem, and thus (X,T) has zero entropy. Moreover, it is shown that if (X,T) is a strictly ergodic distal system with the property that the maximal topological and measurable d step pro nilsystems are isomorphic, then bf AP d bf RP d for each d in mathbb N . It follows that for a minimal infty pro nilsystem, bf AP d bf RP d for each d in mathbb N . An example which is a strictly ergodic distal system with discrete spectrum whose maximal equicontinuous factor is not isomorphic to the Kronecker factor is constructed.


math.NA cs.NA physics.data-an physics.flu-dyn

Randomized methods to characterize large scale vortical flow network. We demonstrate the effective use of randomized methods for linear algebra to perform network based analysis of complex vortical flows. Network theoretic approaches can reveal the connectivity structures among a set of vortical elements and analyze their collective dynamics. These approaches have recently been generalized to analyze high dimensional turbulent flows, for which network computations can become prohibitively expensive. In this work, we propose efficient methods to approximate network quantities, such as the leading eigendecomposition of the adjacency matrix, using randomized methods. Specifically, we use the Nystr "om method to approximate the leading eigenvalues and eigenvectors, achieving significant computational savings and reduced memory requirements. The effectiveness of the proposed technique is demonstrated on two high dimensional flow fields two dimensional flow past an airfoil and two dimensional turbulence. We find that quasi uniform column sampling outperforms uniform column sampling, while both feature the same computational complexity.


On the cohomology of line bundles over certain flag schemes II. Over a field K of characteristic p , let Z be the incidence variety in mathbb P d times ( mathbb P d) and let mathcal L be the restriction to Z of the line bundle mathcal O ( n d) boxtimes mathcal O (n) , where n p f with 0 leq f leq p 2 . We prove that H d(Z, mathcal L ) is the simple operatorname GL d 1 module corresponding to the partition lambda 0 (p 1 f,p 1,f 1) . When f 0 , using the first author's description of H d(Z, mathcal L ) and Jantzen's sum formula, we obtain as a by product that the sum of the monomial symmetric functions m lambda , for all partitions lambda of 2p 1 less than (p 1,p 1,1) in the dominance order, is the alternating sum of the Schur functions S p 1,p 1 i,1 i 1 for i 0, dots,p 2 .


Domain Specific Embedding Network for Zero Shot Recognition. Zero Shot Learning (ZSL) seeks to recognize a sample from either seen or unseen domain by projecting the image data and semantic labels into a joint embedding space. However, most existing methods directly adapt a well trained projection from one domain to another, thereby ignoring the serious bias problem caused by domain differences. To address this issue, we propose a novel Domain Specific Embedding Network (DSEN) that can apply specific projections to different domains for unbiased embedding, as well as several domain constraints. In contrast to previous methods, the DSEN decomposes the domain shared projection function into one domain invariant and two domain specific sub functions to explore the similarities and differences between two domains. To prevent the two specific projections from breaking the semantic relationship, a semantic reconstruction constraint is proposed by applying the same decoder function to them in a cycle consistency way. Furthermore, a domain division constraint is developed to directly penalize the margin between real and pseudo image features in respective seen and unseen domains, which can enlarge the inter domain difference of visual features. Extensive experiments on four public benchmarks demonstrate the effectiveness of DSEN with an average of 9.2 improvement in terms of harmonic mean. The code is available in url https github.com mboboGO DSEN for GZSL .


Order Matters Shuffling Sequence Generation for Video Prediction. Predicting future frames in natural video sequences is a new challenge that is receiving increasing attention in the computer vision community. However, existing models suffer from severe loss of temporal information when the predicted sequence is long. Compared to previous methods focusing on generating more realistic contents, this paper extensively studies the importance of sequential order information for video generation. A novel Shuffling sEquence gEneration network (SEE Net) is proposed that can learn to discriminate unnatural sequential orders by shuffling the video frames and comparing them to the real video sequence. Systematic experiments on three datasets with both synthetic and real world videos manifest the effectiveness of shuffling sequence generation for video prediction in our proposed model and demonstrate state of the art performance by both qualitative and quantitative evaluations. The source code is available at https github.com andrewjywang SEENet.


Extremal problems for vanishing functions in Bergman spaces. We prove two sharp estimates for the subspace of a standard weighted Bergman space that consists of functions vanishing at a given point (with prescribed multiplicity).


Convergence Behaviour of Bystanders An Analysis of 2016 Munich Shooting Twitter Crisis Communication. While convergence behaviour archetypes can explain behaviour of individuals who actively converge on and participate in crises, less is known about individuals who converge on an event and choose to remain passive i.e. "bystanders". Bystanders are important, because of their proximity to an event and their function as an "eye witness". To investigate the role of bystanders in crisis communications we analysed Twitter communication generated from the 2016 Munich Shooting event. Our findings revealed the impassive convergence behaviour archetype could influence an event as a passive and rational "eye witness", by gathering and sharing information close to where the event is occurring.


A Dataset for Statutory Reasoning in Tax Law Entailment and Question Answering. Legislation can be viewed as a body of prescriptive rules expressed in natural language. The application of legislation to facts of a case we refer to as statutory reasoning, where those facts are also expressed in natural language. Computational statutory reasoning is distinct from most existing work in machine reading, in that much of the information needed for deciding a case is declared exactly once (a law), while the information needed in much of machine reading tends to be learned through distributional language statistics. To investigate the performance of natural language understanding approaches on statutory reasoning, we introduce a dataset, together with a legal domain text corpus. Straightforward application of machine reading models exhibits low out of the box performance on our questions, whether or not they have been fine tuned to the legal domain. We contrast this with a hand constructed Prolog based system, designed to fully solve the task. These experiments support a discussion of the challenges facing statutory reasoning moving forward, which we argue is an interesting real world task that can motivate the development of models able to utilize prescriptive rules specified in natural language.


Comparing Dualities in the K(n) local Category. In their work on the period map and the dualizing sheaf for Lubin Tate space, Gross and the second author wrote down an equivalence between the Spanier Whitehead and Brown Comenetz duals of certain type n complexes in the K(n) local category at large primes. In the culture of the time, these results were accessible to educated readers, but this seems no longer to be the case therefore, in this note we give the details. Because we are at large primes, the key result is algebraic in the Picard group of Lubin Tate space, two important invertible sheaves become isomorphic modulo p .


Khovanov homology and cobordisms between split links. In this paper, we study the (in)sensitivity of the Khovanov functor to four dimensional linking of surfaces. We prove that if L and L' are split links, and C is a cobordism between L and L' that is the union of disjoint (but possibly linked) cobordisms between the components of L and the components of L' , then the map on Khovanov homology induced by C is completely determined by the maps induced by the individual components of C and does not detect the linking between the components. As a corollary, we prove that a strongly homotopy ribbon concordance (i.e., a concordance whose complement can be built with only 1 and 2 handles) induces an injection on Khovanov homology, which generalizes a result of the second author and Zemke. Additionally, we show that a non split link cannot be ribbon concordant to a split link.


math.NA cs.NA physics.comp-ph physics.flu-dyn

Fully Discrete Explicit Locally Entropy Stable Schemes for the Compressible Euler and Navier Stokes Equations. Recently, relaxation methods have been developed to guarantee the preservation of a single global functional of the solution of an ordinary differential equation. Here, we generalize this approach to guarantee local entropy inequalities for finitely many convex functionals (entropies) and apply the resulting methods to the compressible Euler and Navier Stokes equations. Based on the unstructured hp adaptive SSDC framework of entropy conservative or dissipative semidiscretizations using summation by parts and simultaneous approximation term operators, we develop the first discretizations for compressible computational fluid dynamics that are primary conservative, locally entropy stable in the fully discrete sense under a usual CFL condition, explicit except for the parallelizable solution of a single scalar equation per element, and arbitrarily high order accurate in space and time. We demonstrate the accuracy and the robustness of the fully discrete explicit locally entropy stable solver for a set of test cases of increasing complexity.


Analytic maps of parabolic and elliptic type with trivial centralisers. We prove that for a dense set of irrational numbers alpha , the analytic centraliser of the map e 2 pi i alpha z z 2 near 0 is trivial. We also prove that some analytic circle diffeomorphisms in the Arnold family, with irrational rotation numbers, have trivial centralisers. These provide the first examples of such maps with trivial centralisers.


Revisiting Feature Alignment for One stage Object Detection. Recently, one stage object detectors gain much attention due to their simplicity in practice. Its fully convolutional nature greatly reduces the difficulty of training and deployment compared with two stage detectors which require NMS and sorting for the proposal stage. However, a fundamental issue lies in all one stage detectors is the misalignment between anchor boxes and convolutional features, which significantly hinders the performance of one stage detectors. In this work, we first reveal the deep connection between the widely used im2col operator and the RoIAlign operator. Guided by this illuminating observation, we propose a RoIConv operator which aligns the features and its corresponding anchors in one stage detection in a principled way. We then design a fully convolutional AlignDet architecture which combines the flexibility of learned anchors and the preciseness of aligned features. Specifically, our AlignDet achieves a state of the art mAP of 44.1 on the COCO test dev with ResNeXt 101 backbone.


Predictive Control and Communication Co Design A Gaussian Process Regression Approach. While Remote control over wireless connections is a key enabler for scalable control systems consisting of multiple actuator sensor pairs, i.e., control systems, it entails two technical challenges. Due to the lack of wireless resources, only a limited number of control systems can be served, making the state observations outdated. Further, even after scheduling, the state observations received through wireless channels are distorted, hampering control stability. To address these issues, in this article we propose a scheduling algorithm that guarantees the age of information (AoI) of the last received states. Meanwhile, for non scheduled sensor actuator pairs, we propose a machine learning (ML) aided predictive control algorithm, in which states are predicted using a Gaussian process regression (GPR). Since the GPR prediction credibility decreases with the AoI of the input data, both predictive control and AoI based scheduler should be co designed. Hence, we formulate a joint scheduling and transmission power optimization via the Lyapunov optimization framework. Numerical simulations corroborate that the proposed co designed predictive control and AoI based scheduling achieves lower control errors, compared to a benchmark scheme using a round robin scheduler without state prediction.


LaKSA A Probabilistic Proof of Stake Protocol. We present Large scale Known committee Stake based Agreement (LaKSA), a chain based Proof of Stake protocol that is dedicated, but not limited, to cryptocurrencies. LaKSA minimizes interactions between nodes through lightweight committee voting, resulting in a simpler, more robust, and more scalable proposal than competing systems. It also mitigates other drawbacks of previous systems, such as high reward variance and long confirmation times. LaKSA can support large numbers of nodes by design, and provides probabilistic safety guarantees in which a client makes commit decisions by calculating the probability that a transaction is reverted based on its blockchain view. We present a thorough analysis of LaKSA and report on its implementation and evaluation. Furthermore, our new technique of proving safety can be applied more broadly to other Proof of Stake protocols.


6G White Paper on Edge Intelligence. In this white paper we provide a vision for 6G Edge Intelligence. Moving towards 5G and beyond the future 6G networks, intelligent solutions utilizing data driven machine learning and artificial intelligence become crucial for several real world applications including but not limited to, more efficient manufacturing, novel personal smart device environments and experiences, urban computing and autonomous traffic settings. We present edge computing along with other 6G enablers as a key component to establish the future 2030 intelligent Internet technologies as shown in this series of 6G White Papers. In this white paper, we focus in the domains of edge computing infrastructure and platforms, data and edge network management, software development for edge, and real time and distributed training of ML AI algorithms, along with security, privacy, pricing, and end user aspects. We discuss the key enablers and challenges and identify the key research questions for the development of the Intelligent Edge services. As a main outcome of this white paper, we envision a transition from Internet of Things to Intelligent Internet of Intelligent Things and provide a roadmap for development of 6G Intelligent Edge.


An Algorithm for Constructing All Supercharacter Theories of a Finite Group. In 2008, Diaconis annd Isaacs introduced the notion of a supercharacter theory of a finite group in which supercharacters replace with irreducible characters and superclasses by conjugacy classes. In this paper, we introduce an algorithm for constructing supercharacter theories of a finite group by which all supercharacter theories of groups containing up to 14 conjugacy classes are calculated.


Sharp upper bounds on the length of the shortest closed geodesic on complete punctured spheres of finite area. We establish sharp universal upper bounds on the length of the shortest closed geodesic on a punctured sphere with three or four ends endowed with a complete Riemannian metric of finite area. These sharp curvature free upper bounds are expressed in terms of the area of the punctured sphere. In both cases, we describe the extremal metrics, which are modeled on the Calabi Croke sphere or the tetrahedral sphere. We also extend these optimal inequalities for reversible and non necessarily reversible Finsler metrics. In this setting, we obtain optimal bounds for spheres with a larger number of punctures. Finally, we present a roughly asymptotically optimal upper bound on the length of the shortest closed geodesic for spheres surfaces with a large number of punctures in terms of the area.


Fast Automatic Feature Selection for Multi Period Sliding Window Aggregate in Time Series. As one of the most well known artificial feature sampler, the sliding window is widely used in scenarios where spatial and temporal information exists, such as computer vision, natural language process, data stream, and time series. Among which time series is common in many scenarios like credit card payment, user behavior, and sensors. General feature selection for features extracted by sliding window aggregate calls for time consuming iteration to generate features, and then traditional feature selection methods are employed to rank them. The decision of key parameter, i.e. the period of sliding windows, depends on the domain knowledge and calls for trivial. Currently, there is no automatic method to handle the sliding window aggregate features selection. As the time consumption of feature generation with different periods and sliding windows is huge, it is very hard to enumerate them all and then select them. In this paper, we propose a general framework using Markov Chain to solve this problem. This framework is very efficient and has high accuracy, such that it is able to perform feature selection on a variety of features and period options. We show the detail by 2 common sliding windows and 3 types of aggregation operators. And it is easy to extend more sliding windows and aggregation operators in this framework by employing existing theory about Markov Chain.


Hardness of Bichromatic Closest Pair with Jaccard Similarity. Consider collections mathcal A and mathcal B of red and blue sets, respectively. Bichromatic Closest Pair is the problem of finding a pair from mathcal A times mathcal B that has similarity higher than a given threshold according to some similarity measure. Our focus here is the classic Jaccard similarity textbf a cap textbf b textbf a cup textbf b for ( textbf a , textbf b ) in mathcal A times mathcal B . We consider the approximate version of the problem where we are given thresholds j 1 j 2 and wish to return a pair from mathcal A times mathcal B that has Jaccard similarity higher than j 2 if there exists a pair in mathcal A times mathcal B with Jaccard similarity at least j 1 . The classic locality sensitive hashing (LSH) algorithm of Indyk and Motwani (STOC '98), instantiated with the MinHash LSH function of Broder et al., solves this problem in tilde O(n 2 delta ) time if j 1 ge j 2 1 delta . In particular, for delta Omega(1) , the approximation ratio j 1 j 2 1 j 2 delta increases polynomially in 1 j 2 . In this paper we give a corresponding hardness result. Assuming the Orthogonal Vectors Conjecture (OVC), we show that there cannot be a general solution that solves the Bichromatic Closest Pair problem in O(n 2 Omega(1) ) time for j 1 j 2 1 j 2 o(1) . Specifically, assuming OVC, we prove that for any delta 0 there exists an varepsilon 0 such that Bichromatic Closest Pair with Jaccard similarity requires time Omega(n 2 delta ) for any choice of thresholds j 2 j 1 1 delta , that satisfy j 1 le j 2 1 varepsilon .


Asymptotic shifting numbers in triangulated categories. We introduce invariants, called shifting numbers, that measure the asymptotic amount by which an autoequivalence of a triangulated category translates inside the category. The invariants are analogous to Poincare translation numbers that are widely used in dynamical systems. We additionally establish that in some examples the shifting numbers provide a quasimorphism on the group of autoequivalences. Additionally, we relate our shifting numbers to the entropy function introduced by Dimitrov, Haiden, Katzarkov, and Kontsevich.


The definability of the extender sequence mathbb E from mathbb E upharpoonright aleph 1 in L mathbb E . Let M be an iterable fine structural mouse. We prove that if E in M and M models E is a countably complete short extender whose support is a cardinal theta and mathcal H theta subseteq mathrm Ult (V,E) '' then E is in the extender sequence mathbb E M of M . We also prove other related facts, and use them to establish that if kappa is an uncountable cardinal of M and ( kappa ) M exists in M then ( mathcal H kappa ) M satisfies the Axiom of Global Choice. We then prove that if M satisfies the Power Set Axiom then mathbb E M is definable over the universe of M from the parameter X mathbb E M upharpoonright aleph 1 M , and therefore M satisfies Every set is mathrm OD X ''. We also prove various local versions of this fact in which M has a largest cardinal, and a version for generic extensions of M . As a consequence, for example, the minimal proper class mouse with a Woodin limit of Woodin cardinals models V mathrm HOD ''. This adapts to many other similar examples. We also describe a simplified approach to Mitchell Steel fine structure, which does away with the parameters u n .


Deformation of the scalar curvature and the mean curvature. On a compact manifold M with boundary partial M , we study the problem of prescribing the scalar curvature in M and the mean curvature on the boundary partial M simultaneously. To do this, we introduce the notion of singular metric, which is inspired by the early work of Fischer Marsden in 18 and Lin Yuan in 23 for closed manifold. We show that we can prescribe the scalar curvature and the mean curvature simultaneously for generic scalar flat manifolds with minimal boundary. We also prove some rigidity results for the flat manifolds with totally geodesic boundary.


Covariance within Random Integer Compositions. Fix a positive integer N . Select an additive composition xi of N uniformly out of 2 N 1 possibilities. The interplay between the number of parts in xi and the maximum part in xi is our focus. It is not surprising that correlations rho(N) between these quantities are negative we earlier gave inconclusive evidence that lim N to infty rho(N) is strictly less than zero. A proof of this result would imply asymptotic dependence. We now retract our presumption in such an unforeseen outcome. Similar experimental findings apply when xi is a 1 free composition, i.e., possessing only parts geq 2 .


Spying on your neighbors Fine grained probing of contextual embeddings for information about surrounding words. Although models using contextual word embeddings have achieved state of the art results on a host of NLP tasks, little is known about exactly what information these embeddings encode about the context words that they are understood to reflect. To address this question, we introduce a suite of probing tasks that enable fine grained testing of contextual embeddings for encoding of information about surrounding words. We apply these tasks to examine the popular BERT, ELMo and GPT contextual encoders, and find that each of our tested information types is indeed encoded as contextual information across tokens, often with near perfect recoverability but the encoders vary in which features they distribute to which tokens, how nuanced their distributions are, and how robust the encoding of each feature is to distance. We discuss implications of these results for how different types of models breakdown and prioritize word level context information when constructing token embeddings.


Adaptive confidence thresholding for monocular depth estimation. Self supervised monocular depth estimation has become an appealing solution to the lack of ground truth labels, but its reconstruction loss often produces over smoothed results across object boundaries and is incapable of handling occlusion explicitly. In this paper, we propose a new approach to leverage pseudo ground truth depth maps of stereo images generated from self supervised stereo matching methods. The confidence map of the pseudo ground truth depth map is estimated to mitigate performance degeneration by inaccurate pseudo depth maps. To cope with the prediction error of the confidence map itself, we also leverage the threshold network that learns the threshold dynamically conditioned on the pseudo depth maps. The pseudo depth labels filtered out by the thresholded confidence map are used to supervise the monocular depth network. Furthermore, we propose the probabilistic framework that refines the monocular depth map with the help of its uncertainty map through the pixel adaptive convolution (PAC) layer. Experimental results demonstrate superior performance to state of the art monocular depth estimation methods. Lastly, we exhibit that the proposed threshold learning can also be used to improve the performance of existing confidence estimation approaches.


Adaptive control for hindlimb locomotion in a simulated mouse through temporal cerebellar learning. Human beings and other vertebrates show remarkable performance and efficiency in locomotion, but the functioning of their biological control systems for locomotion is still only partially understood. The basic patterns and timing for locomotion are provided by a central pattern generator (CPG) in the spinal cord. The cerebellum is known to play an important role in adaptive locomotion. Recent studies have given insights into the error signals responsible for driving the cerebellar adaptation in locomotion. However, the question of how the cerebellar output influences the gait remains unanswered. We hypothesize that the cerebellar correction is applied to the pattern formation part of the CPG. Here, a bio inspired control system for adaptive locomotion of the musculoskeletal system of the mouse is presented, where a cerebellar like module adapts the step time by using the double support interlimb asymmetry as a temporal teaching signal. The control system is tested on a simulated mouse in a split belt treadmill setup similar to those used in experiments with real mice. The results show adaptive locomotion behavior in the interlimb parameters similar to that seen in humans and mice. The control system adaptively decreases the double support asymmetry that occurs due to environmental perturbations in the split belt protocol.


Canonical Hilbert Burch matrices for power series. Sets of zero dimensional ideals in the polynomial ring k x,y that share the same leading term ideal with respect to a given term ordering are known to be affine spaces called Gr "obner cells. Conca Valla and Constantinescu parametrize such Gr "obner cells in terms of certain canonical Hilbert Burch matrices for the lexicographical and degree lexicographical term orderings, respectively. In this paper, we give a parametrization of (x,y) primary ideals in Gr "obner cells which is compatible with the local structure of such ideals. More precisely, we extend previous results to the local setting by defining a notion of canonical Hilbert Burch matrices of zero dimensional ideals in the power series ring k x,y with a given leading term ideal with respect to a local term ordering.


Reinforced Curriculum Learning on Pre trained Neural Machine Translation Models. The competitive performance of neural machine translation (NMT) critically relies on large amounts of training data. However, acquiring high quality translation pairs requires expert knowledge and is costly. Therefore, how to best utilize a given dataset of samples with diverse quality and characteristics becomes an important yet understudied question in NMT. Curriculum learning methods have been introduced to NMT to optimize a model's performance by prescribing the data input order, based on heuristics such as the assessment of noise and difficulty levels. However, existing methods require training from scratch, while in practice most NMT models are pre trained on big data already. Moreover, as heuristics, they do not generalize well. In this paper, we aim to learn a curriculum for improving a pre trained NMT model by re selecting influential data samples from the original training set and formulate this task as a reinforcement learning problem. Specifically, we propose a data selection framework based on Deterministic Actor Critic, in which a critic network predicts the expected change of model performance due to a certain sample, while an actor network learns to select the best sample out of a random batch of samples presented to it. Experiments on several translation datasets show that our method can further improve the performance of NMT when original batch training reaches its ceiling, without using additional new training data, and significantly outperforms several strong baseline methods.


Parameterized Wasserstein mean with its properties. A new least squares mean of positive definite matrices for the divergence associated with the sandwiched quasi relative entropy has been introduced. It generalizes the well known Wasserstein mean for covariance matrices of Gaussian distributions with mean zero, so we call it the parameterized Wasserstein mean. We investigate in this article norm inequality of the parameterized Wasserstein mean, give its bounds with respect to the Loewner order, and show the extended version of Lie Trotter Kato formula for the parameterized Wasserstein mean. Finally we show the log majorzation properties of the parameterized Wasserstein mean by using the Cartan mean.


Survey on Reliable Deep Learning Based Person Re Identification Models Are We There Yet?. Intelligent video surveillance (IVS) is currently an active research field in computer vision and machine learning and provides useful tools for surveillance operators and forensic video investigators. Person re identification (PReID) is one of the most critical problems in IVS, and it consists of recognizing whether or not an individual has already been observed over a camera in a network. Solutions to PReID have myriad applications including retrieval of video sequences showing an individual of interest or even pedestrian tracking over multiple camera views. Different techniques have been proposed to increase the performance of PReID in the literature, and more recently researchers utilized deep neural networks (DNNs) given their compelling performance on similar vision problems and fast execution at test time. Given the importance and wide range of applications of re identification solutions, our objective herein is to discuss the work carried out in the area and come up with a survey of state of the art DNN models being used for this task. We present descriptions of each model along with their evaluation on a set of benchmark datasets. Finally, we show a detailed comparison among these models, which are followed by some discussions on their limitations that can work as guidelines for future research.


Free differential Galois groups. We study the structure of the absolute differential Galois group of a rational function field over an algebraically closed field of characteristic zero. In particular, we relate the behavior of differential embedding problems to the condition that the absolute differential Galois group is free as a proalgebraic group. Building on this, we prove Matzat's freeness conjecture in the case that the field of constants is algebraically closed of countably infinite transcendence degree over the rationals. This is the first known case of the twenty year old conjecture.


Towards Multimodal Response Generation with Exemplar Augmentation and Curriculum Optimization. Recently, variational auto encoder (VAE) based approaches have made impressive progress on improving the diversity of generated responses. However, these methods usually suffer the cost of decreased relevance accompanied by diversity improvements. In this paper, we propose a novel multimodal response generation framework with exemplar augmentation and curriculum optimization to enhance relevance and diversity of generated responses. First, unlike existing VAE based models that usually approximate a simple Gaussian posterior distribution, we present a Gaussian mixture posterior distribution (i.e, multimodal) to further boost response diversity, which helps capture complex semantics of responses. Then, to ensure that relevance does not decrease while diversity increases, we fully exploit similar examples (exemplars) retrieved from the training data into posterior distribution modeling to augment response relevance. Furthermore, to facilitate the convergence of Gaussian mixture prior and posterior distributions, we devise a curriculum optimization strategy to progressively train the model under multiple training criteria from easy to hard. Experimental results on widely used SwitchBoard and DailyDialog datasets demonstrate that our model achieves significant improvements compared to strong baselines in terms of diversity and relevance.


A numerical approach for solving fractional optimal control problems using modified hat functions. We introduce a numerical method, based on modified hat functions, for solving a class of fractional optimal control problems. In our scheme, the control and the fractional derivative of the state function are considered as linear combinations of the modified hat functions. The fractional derivative is considered in the Caputo sense while the Riemann Liouville integral operator is used to give approximations for the state function and some of its derivatives. To this aim, we use the fractional order integration operational matrix of the modified hat functions and some properties of the Caputo derivative and Riemann Liouville integral operators. Using results of the considered basis functions, solving the fractional optimal control problem is reduced to the solution of a system of nonlinear algebraic equations. An error bound is proved for the approximate optimal value of the performance index obtained by the proposed method. The method is then generalized for solving a class of fractional optimal control problems with inequality constraints. The most important advantages of our method are easy implementation, simple operations, and elimination of numerical integration. Some illustrative examples are considered to demonstrate the effectiveness and accuracy of the proposed technique.


A stochastic approach to enhanced diffusion. We provide examples of initial data which saturate the enhanced diffusion rates proved for general shear flows which are H " o lder regular or Lipschitz continuous with critical points, and for regular circular flows, establishing the sharpness of those results. Our proof makes use of a probabilistic interpretation of the dissipation of solutions to the advection diffusion equation.


Padding Ain't Enough Assessing the Privacy Guarantees of Encrypted DNS. DNS over TLS (DoT) and DNS over HTTPS (DoH) encrypt DNS to guard user privacy by hiding DNS resolutions from passive adversaries. Yet, past attacks have shown that encrypted DNS is still sensitive to traffic analysis. As a consequence, RFC 8467 proposes to pad messages prior to encryption, which heavily reduces the characteristics of encrypted traffic. In this paper, we show that padding alone is insufficient to counter DNS traffic analysis. We propose a novel traffic analysis method that combines size and timing information to infer the websites a user visits purely based on encrypted and padded DNS traces. To this end, we model DNS sequences that capture the complexity of websites that usually trigger dozens of DNS resolutions instead of just a single DNS transaction. A closed world evaluation based on the Alexa top 10k websites reveals that attackers can deanonymize at least half of the test traces in 80.2 of all websites, and even correctly label all traces for 32.0 of the websites. Our findings undermine the privacy goals of state of the art message padding strategies in DoT DoH. We conclude by showing that successful mitigations to such attacks have to remove the entropy of inter arrival timings between query responses.


On the Use of Randomness in Local Distributed Graph Algorithms. We attempt to better understand randomization in local distributed graph algorithms by exploring how randomness is used and what we can gain from it We first ask the question of how much randomness is needed to obtain efficient randomized algorithms. We show that for all locally checkable problems for which polylog n time randomized algorithms exist, there are such algorithms even if either (I) there is a only a single (private) independent random bit in each polylog n neighborhood of the graph, (II) the (private) bits of randomness of different nodes are only polylog n wise independent, or (III) there are only polylog n bits of global shared randomness (and no private randomness). Second, we study how much we can improve the error probability of randomized algorithms. For all locally checkable problems for which polylog n time randomized algorithms exist, we show that there are such algorithms that succeed with probability 1 n 2 varepsilon( log log n) 2 and more generally T round algorithms, for T geq polylog n , that succeed with probability 1 n 2 varepsilon log 2T . We also show that polylog n time randomized algorithms with success probability 1 2 2 log varepsilon n for some varepsilon 0 can be derandomized to polylog n time deterministic algorithms. Both of the directions mentioned above, reducing the amount of randomness and improving the success probability, can be seen as partial derandomization of existing randomized algorithms. In all the above cases, we also show that any significant improvement of our results would lead to a major breakthrough, as it would imply significantly more efficient deterministic distributed algorithms for a wide class of problems.


Scaling up Psychology via Scientific Regret Minimization A Case Study in Moral Decisions. Do large datasets provide value to psychologists? Without a systematic methodology for working with such datasets, there is a valid concern that analyses will produce noise artifacts rather than true effects. In this paper, we offer a way to enable researchers to systematically build models and identify novel phenomena in large datasets. One traditional approach is to analyze the residuals of models the biggest errors they make in predicting the data to discover what might be missing from those models. However, once a dataset is sufficiently large, machine learning algorithms approximate the true underlying function better than the data, suggesting instead that the predictions of these data driven models should be used to guide model building. We call this approach "Scientific Regret Minimization" (SRM) as it focuses on minimizing errors for cases that we know should have been predictable. We demonstrate this methodology on a subset of the Moral Machine dataset, a public collection of roughly forty million moral decisions. Using SRM, we found that incorporating a set of deontological principles that capture dimensions along which groups of agents can vary (e.g. sex and age) improves a computational model of human moral judgment. Furthermore, we were able to identify and independently validate three interesting moral phenomena criminal dehumanization, age of responsibility, and asymmetric notions of responsibility.


Representing and Reasoning about Dynamic Code. Dynamic code, i.e., code that is created or modified at runtime, is ubiquitous in today's world. The behavior of dynamic code can depend on the logic of the dynamic code generator in subtle and non obvious ways, with significant security implications, e.g., JIT compiler bugs can lead to exploitable vulnerabilities in the resulting JIT compiled code. Existing approaches to program analysis do not provide adequate support for reasoning about such behavioral relationships. This paper takes a first step in addressing this problem by describing a program representation and a new notion of dependency that allows us to reason about dependency and information flow relationships between the dynamic code generator and the generated dynamic code. Experimental results show that analyses based on these concepts are able to capture properties of dynamic code that cannot be identified using traditional program analyses.


Weighted persistent homology for osmolyte molecular aggregation and hydrogen bonding network analysis. It has long been observed that trimethylamin N oxide (TMAO) and urea demonstrate dramatically different properties in a protein folding process. Even with the enormous theoretical and experimental research work of the two osmolytes, various aspects of their underlying mechanisms still remain largely elusive. In this paper, we propose to use the weighted persistent homology to systematically study the osmolytes molecular aggregation and their hydrogen bonding network from a local topological perspective. We consider two weighted models, i.e., localized persistent homology (LPH) and interactive persistent homology (IPH). From the localized persistent homology models, we have found that TMAO and urea have very different local topology. TMAO shows local network structures. With the concentration increase, the circle elements in these networks show a clear increase in their total numbers and a decrease in their relative sizes. In contrast, urea shows two types of local topological patterns, i.e., local clusters around 6 AA and a few global circle elements at around 12 AA. From the interactive persistent homology models, it has been found that our persistent radial distribution function (PRDF) from the global scale IPH has same physical properties as the traditional radial distribution function (RDF). Moreover, PRDFs from the local scale IPH can also be generated and used to characterize the local interaction information. Other than the clear difference of the first peak value of PRDFs at filtration size 4 AA, TMAO and urea also shows very different behaviors at the second peak region from filtration size 5 AA to 10 AA.


Algebraic cycles on Todorov surfaces of type (2,12) . We focus on Voisin's conjecture on 0 cycles on the self product of surfaces of geometric genus one, which arises in the context of the Bloch Beilinson filtration conjecture. We verify this conjecture for the family of Todorov surfaces of type (2,12) , giving an explicit description of this family as quotient surfaces of the complete intersection of four quadrics in mathbb P 6 . We give some motivic applications.


Global well posedness for the fifth order KdV equation in H 1 ( mathbb R ) . We prove global well posedness of the fifth order Korteweg de Vries equation on the real line for initial data in H 1 ( mathbb R ) . By comparison, the optimal regularity for well posedness on the torus is known to be L 2( mathbb R mathbb Z ) . In order to prove this result, we develop a strategy for integrating the local smoothing effect into the method of commuting flows introduced previously in the context of KdV. It is this synthesis that allows us to go beyond the known threshold on the torus.


iCaps An Interpretable Classifier via Disentangled Capsule Networks. We propose an interpretable Capsule Network, iCaps, for image classification. A capsule is a group of neurons nested inside each layer, and the one in the last layer is called a class capsule, which is a vector whose norm indicates a predicted probability for the class. Using the class capsule, existing Capsule Networks already provide some level of interpretability. However, there are two limitations which degrade its interpretability 1) the class capsule also includes classification irrelevant information, and 2) entities represented by the class capsule overlap. In this work, we address these two limitations using a novel class supervised disentanglement algorithm and an additional regularizer, respectively. Through quantitative and qualitative evaluations on three datasets, we demonstrate that the resulting classifier, iCaps, provides a prediction along with clear rationales behind it with no performance degradation.


Proof of Kaneko Tsumura Conjecture on Triple T Values. Many mathbb Q linear relations exist between multiple zeta values, the most interesting of which are various weighted sum formulas. In this paper, we generalized these to Euler sums and some other variants of multiple zeta values by considering the generating functions of the Euler sums. Through this approach we are able to re prove a few known formulas, confirm a conjecture of Kaneko and Tsumura on triple T values, and discover many new identities.


Fourier Mukai transforms and stable sheaves on Weierstrass elliptic surfaces. On a Weierstra ss elliptic surface X , we define a limit' of Bridgeland stability conditions, denoted as Z l stability, by moving the polarisation towards the fiber direction in the ample cone while keeping the volume of the polarisation fixed. We describe conditions under which a slope stable torsion free sheaf is taken by a Fourier Mukai transform to a Z l stable object, and describe a modification upon which a Z l semistable object is taken by the inverse Fourier Mukai transform to a slope semistable torsion free sheaf. We also study wall crossing for Bridgeland stability, and show that 1 dimensional twisted Gieseker semistable sheaves are taken by a Fourier Mukai transform to Bridgeland semistable objects.


The Best Uniform Rational Approximation Applications to Solving Equations Involving Fractional powers of Elliptic Operators. In this paper we consider one particular mathematical problem of this large area of fractional powers of self adjoined elliptic operators, defined either by Dunford Taylor like integrals or by the representation through the spectrum of the elliptic operator. Due to the mathematical modeling of various non local phenomena using such operators recently a number of numerical methods for solving equations involving operators of fractional order were introduced, studied, and tested. Here we consider the discrete counterpart of such problems obtained from finite difference or finite element approximations of the corresponding elliptic problems. In this report we provide all necessary information regarding the best uniform rational approximation (BURA) r k, alpha (t) P k(t) Q k(t) of t alpha on delta, 1 for various alpha , delta , and k . The results are presented in 160 tables containing the coefficients of P k(t) and Q k(t) , the zeros and the poles of r k, alpha (t) , the extremal point of the error t alpha r k, alpha (t) , the representation of r k, alpha (t) in terms of partial fractions, etc. Moreover, we provide links to the files with the data that characterize r k, alpha (t) which are available with enough significant digits so one can use them in his her own computations.


The e positivity of two families of (claw, 2K 2) free graphs. Motivated by Stanley's conjecture about the e positivity of claw free incomparability graphs, Hamel and her collaborators studied the e positivity of (claw, H) free graphs, where H is a four vertex graph. In this paper we establish the e positivity of generalized pyramid graphs and 2K 2 free unit interval graphs, which are two important families of (claw, 2K 2) free graphs. Hence we affirmatively solve one problem proposed by Hamel, Ho a ng and Tuero, and another problem considered by Foley, Ho a ng and Merkel.


Extreme Low Frequency Ultrathin Acoustic Absorbing Metasurface. We introduce a multi coiled acoustic metasurface providing a quasi perfect absorption (reaching 99.99 in experiments) at extremely low frequency of 50 Hz, and simultaneously featuring an ultrathin thickness down to lambda 527 (1.3 cm). In contrast to the state of the art, this original conceived multi coiled metasurface offers additional degrees of freedom capable to tune the acoustic impedance effectively without increasing the total thickness. We provide analytical derivation, numerical simulation and experimental demonstrations for this unique absorber concept, and discuss its physical mechanism which breaks the quarter wavelength resonator theory. Furthermore, based on the same conceptual approach, we propose a broadband lowfrequency metasurface absorber by coupling unit cells exhibiting different properties.


Predictive Process Model Monitoring using Recurrent Neural Networks. The field of predictive process monitoring focuses on modelling future characteristics of running business process instances, typically by either predicting the outcome of particular objectives (e.g. completion (time), cost), or next in sequence prediction (e.g. what is the next activity to execute). This paper introduces Processes As Movies (PAM), a technique that provides a middle ground between these predictive monitoring. It does so by capturing declarative process constraints between activities in various windows of a process execution trace, which represent a declarative process model at subsequent stages of execution. This high dimensional representation of a process model allows the application of predictive modelling on how such constraints appear and vanish throughout a process' execution. Various recurrent neural network topologies tailored to high dimensional input are used to model the process model evolution with windows as time steps, including encoder decoder long short term memory networks, and convolutional long short term memory networks. Results show that these topologies are very effective in terms of accuracy and precision to predict a process model's future state, which allows process owners to simultaneously verify what linear temporal logic rules hold in a predicted process window (objective based), and verify what future execution traces are allowed by all the constraints together (trace based).


Plasmon lifetime enhancement in a bright dark mode coupled system. Metallic nanoparticles can localize the incident light to hotspots as plasmon oscillations, where the intensity can be increased up to four orders of magnitude. Even though the lifetime of plasmons are typically short, it can be increased via interactions with quantum emitters, e.g. spaser nano lasers. However, molecules can bleach in days. Here, we study the lifetime enhancement of plasmon excitations due to the coupling with longer lifetime dark plasmon modes. Exact solutions of the 3D Maxwell equations, i.e. FDTD, demonstrates that the lifetime of the coupled system increases, as also predicted by a basic oscillator model. We report an optimum bright dark plasmon mode coupling, where lifetime enhancement becomes maximum, and show that no precise positioning of the nanostructures is required to obtain enhanced lifetime.


Some Rigidity Results on Complete Finsler Manifolds. We provide an extension of Obata's theorem to Finsler geometry and establish some rigidity results based on a second order differential equation. Mainly, we prove that every complete connected Finsler manifold of positive constant flag curvature is isometrically homeomorphic to an Euclidean sphere endowed with a certain Finsler metric and vice versa. Based on these results, we present a classification of Finsler manifolds which admit a transnormal function. Specifically, we show that if a complete Finsler manifold admits a transnormal function with exactly two critical points, then it is homeomorphic to a sphere.


Bath's law, correlations and magnitude distributions. The empirical Bath's law is derived from the magnitude difference statistical distribution of earthquake pairs. The pair distribution related to earthquake correlations is presented. The single event distribution of dynamically correlated earthquakes is derived, by means of the geometric growth model of energy accumulation in the focal region. The dynamical correlations may account, at least partially, for the roll off effect in the Gutenberg Richter distributions. The seismic activity which accompanies a main shock, including both the aftershocks and the foreshocks, can be viewed as fluctuations in magnitude. The extension of the magnitude difference to negative values leads to a vanishing mean value of the fluctuations and to the standard deviation as a measure of these fluctuations. It is suggested that the standard deviation of the magnitude difference is the average difference in magnitude between the main shock and its largest aftershock (foreshock), thus providing an insight into the nature and the origin of the Bath's law. It is shown that moderate magnitude doublets may be viewed as Bath partners. Deterministic time magnitude correlations of the accompanying seismic activity are also presented.


Effective Context and Fragment Feature Usage for Named Entity Recognition. In this paper, we explore a new approach to named entity recognition (NER) with the goal of learning from context and fragment features more effectively, contributing to the improvement of overall recognition performance. We use the recent fixed size ordinally forgetting encoding (FOFE) method to fully encode each sentence fragment and its left right contexts into a fixed size representation. Next, we organize the context and fragment features into groups, and feed each feature group to dedicated fully connected layers. Finally, we merge each group's final dedicated layers and add a shared layer leading to a single output. The outcome of our experiments show that, given only tokenized text and trained word embeddings, our system outperforms our baseline models, and is competitive to the state of the arts of various well known NER tasks.


Normal limit laws for vertex degrees in randomly grown hooking networks and bipolar networks. We consider two types of random networks grown in blocks. Hooking networks are grown from a set of graphs as blocks, each with a labelled vertex called a hook. At each step in the growth of the network, a vertex called a latch is chosen from the hooking network and a copy of one of the blocks is attached by fusing its hook with the latch. Bipolar networks are grown from a set of directed graphs as blocks, each with a single source and a single sink. At each step in the growth of the network, an arc is chosen and is replaced with a copy of one of the blocks. Using P 'olya urns, we prove normal limit laws for the degree distributions of both networks. We extend previous results by allowing for more than one block in the growth of the networks and by studying arbitrarily large degrees.


Fusion products of twisted modules in permutation orbifolds. Let V be a vertex operator algebra, k a positive integer and sigma a permutation automorphism of the vertex operator algebra V otimes k . In this paper, we determine the fusion product of any V otimes k module with any sigma twisted V otimes k module.


A Survey on Spatial Modulation in Emerging Wireless Systems Research Progresses and Applications. Spatial modulation (SM) is an innovative and promising digital modulation technology that strikes an appealing trade off between spectral efficiency and energy efficiency with a simple design philosophy. SM enjoys plenty of benefits and shows great potential to fulfill the requirements of future wireless communications. The key idea behind SM is to convey additional information typically through the ON OFF states of transmit antennas and simultaneously save the implementation cost by reducing the number of radio frequency chains. As a result, the SM concept can have widespread effects on diverse applications and can be applied in other signal domains such as frequency time code angle domain or even across multiple domains. This survey provides a comprehensive overview of the latest results and progresses in SM research. Specifically, the fundamental principles, variants of system design, and enhancements of SM are described in detail. Furthermore, the integration of the SM family with other promising techniques, applications to emerging communication systems, and extensions to new signal domains are also extensively studied.


An Analytical and Rigorous Method for Analysis of an Array of Magnetically Biased Graphene Ribbons. A sheet of graphene under magnetic bias attains anisotropic surface conductivity, opening the door for realizing compact devices such as Faraday rotators, isolators and circulators. In this paper, an accurate and analytical method is proposed for a periodic array of graphene ribbons under magnetic bias. The method is based on integral equations governing the induced surface currents on the coplanar array of graphene ribbons. For subwavelength size ribbons subjected to normally incident plane waves, the current distribution is derived leading to analytical expressions for the reflection transmission coefficients. The results obtained are in excellent agreement with full wave simulations and predict resonant spectral effects that cannot be accounted for by existing semi analytical methods. Finally, we extract an analytical, closed form solution for the Faraday rotation of magnetically biased graphene ribbons. In contrast to previous studies, this paper presents a fast, precise and reliable technique for analyzing magnetically biased array of graphene ribbons, which are one of the most popular graphene based structures.


Advanced Strategies of Portfolio Management in the Heston Market Model. There is a great number of factors to take into account when building and managing an investment portfolio. It is widely believed that a proper set up of the portfolio combined with a good, robust management strategy is the key to successful investment. In this paper, we aim at an analysis of two aspects that may have an impact on investment performance diversity of assets and inclusion of cash in the portfolio. We also propose two new management strategies based on the MACD and RSI factors known from technical analysis. Monte Carlo simulations within the Heston model of a market are used to perform numerical experiments.


State dependent regulation of cortical processing speed via gain modulation. To thrive in dynamic environments, animals must be capable of rapidly and flexibly adapting behavioral responses to a changing context and internal state. Examples of behavioral flexibility include faster stimulus responses when attentive and slower responses when distracted. Contextual or state dependent modulations may occur early in the cortical hierarchy and may be implemented via top down projections from cortico cortical or neuromodulatory pathways. However, the computational mechanisms mediating the effects of such projections are not known. Here, we introduce a theoretical framework to classify the effects of cell type specific top down perturbations on the information processing speed of cortical circuits. Our theory demonstrates that perturbation effects on stimulus processing can be predicted by intrinsic gain modulation, which controls the timescale of the circuit dynamics. Our theory leads to counter intuitive effects such as improved performance with increased input variance. We tested the model predictions using large scale electrophysiological recordings from the visual hierarchy in freely running mice, where we found that a decrease in single cell intrinsic gain during locomotion led to an acceleration of visual processing. Our results establish a novel theory of cell type specific perturbations, applicable to top down modulation as well as optogenetic and pharmacological manipulations. Our theory links connectivity, dynamics, and information processing via gain modulation.


A pretorsion theory for the category of all categories. A pretorsion theory for the category of all categories is presented. The associated prekernels and precokernels are calculated for every functor.


Dynamic list coloring of 1 planar graphs. A graph is k planar if it can be drawn in the plane so that each edge is crossed at most k times. Typically, the class of 1 planar graphs is among the most investigated graph families within the so called "beyond planar graphs". A dynamic ell list coloring of a graph is a proper coloring so that each vertex receives a color from a list of ell distinct candidate colors assigned to it, and meanwhile, there are at least two colors appearing in the neighborhood of every vertex of degree at least two. In this paper, we prove that each 1 planar graph has a dynamic 11 list coloring. Moreover, we show a relationship between the dynamic coloring of 1 planar graphs and the proper coloring of 2 planar graphs, which states that the dynamic (list) chromatic number of the class of 1 planar graphs is at least the (list) chromatic number of the class of 2 planar graphs.


Visual Semantic Embedding Model Informed by Structured Knowledge. We propose a novel approach to improve a visual semantic embedding model by incorporating concept representations captured from an external structured knowledge base. We investigate its performance on image classification under both standard and zero shot settings. We propose two novel evaluation frameworks to analyse classification errors with respect to the class hierarchy indicated by the knowledge base. The approach is tested using the ILSVRC 2012 image dataset and a WordNet knowledge base. With respect to both standard and zero shot image classification, our approach shows superior performance compared with the original approach, which uses word embeddings.


The Fractional Preferential Attachment Scale Free Network Model. Many networks generated by nature have two generic properties they are formed in the process of preferential attachment and they are scale free. Considering these features, by interfering with mechanism of the preferential attachment , we propose a generalisation of the Barab 'asi Albert model the 'Fractional Preferential Attachment' (FPA) scale free network model that generates networks with time independent degree distributions p(k) sim k gamma with degree exponent 2 gamma leq3 (where gamma 3 corresponds to the typical value of the BA model). In the FPA model, the element controlling the network properties is the f parameter, where f in (0,1 rangle . Depending on the different values of f parameter, we study the statistical properties of the numerically generated networks. We investigate the topological properties of FPA networks such as degree distribution, degree correlation (network assortativity), clustering coefficient, average node degree, network diameter, average shortest path length and features of fractality. We compare the obtained values with the results for various synthetic and real world networks. It is found that, depending on f , the FPA model generates networks with parameters similar to the real world networks. Furthermore, it is shown that f parameter has a significant impact on, among others, degree distribution and degree correlation of generated networks. Therefore, the FPA scale free network model can be an interesting alternative to existing network models. In addition, it turns out that, regardless of the value of f , FPA networks are not fractal.


Sig SDEs model for quantitative finance. Mathematical models, calibrated to data, have become ubiquitous to make key decision processes in modern quantitative finance. In this work, we propose a novel framework for data driven model selection by integrating a classical quantitative setup with a generative modelling approach. Leveraging the properties of the signature, a well known path transform from stochastic analysis that recently emerged as leading machine learning technology for learning time series data, we develop the Sig SDE model. Sig SDE provides a new perspective on neural SDEs and can be calibrated to exotic financial products that depend, in a non linear way, on the whole trajectory of asset prices. Furthermore, we our approach enables to consistently calibrate under the pricing measure mathbb Q and real world measure mathbb P . Finally, we demonstrate the ability of Sig SDE to simulate future possible market scenarios needed for computing risk profiles or hedging strategies. Importantly, this new model is underpinned by rigorous mathematical analysis, that under appropriate conditions provides theoretical guarantees for convergence of the presented algorithms.


Large deviations for random walks on Lie groups. We study large deviations for random walks on Lie groups defined by sigma n n exp( frac1nX 1) cdots exp( frac1nX n) , where X n n geq1 is an i.i.d sequence of bounded random variables in the Lie algebra mathfrak g . We follow a similar approach as in the proof of large deviations for geodesic random walks as given in Ver19 . This approach makes it possible to simply rescale the increments of the random walk, without having to resort to dilations in order to reduce the influence of higher order commutators. Finally, we will apply this large deviation result to the Lie group of stochastic matrices.