Maritime Coverage Enhancement Using UAVs Coordinated with Hybrid Satellite Terrestrial Networks. Due to its agile maneuverability, unmanned aerial vehicles (UAVs) have shown great promise for ondemand communications. In practice, UAV aided aerial base stations are not separate. Instead, they rely on existing satellites terrestrial systems for spectrum sharing and efficient backhaul. In this case, how to coordinate satellites, UAVs and terrestrial systems is still an open issue. In this paper, we deploy UAVs for coverage enhancement of a hybrid satellite terrestrial maritime communication network. Under the typical composite channel model including both large scale and small scale fading, the UAV trajectory and in flight transmit power are jointly optimized, subject to constraints on UAV kinematics, tolerable interference, backhaul, and the total energy of UAV for communications. Different from existing studies, only the location dependent large scale channel state information (CSI) is assumed available, because it is difficult to obtain the small scale CSI before takeoff in practice, and the ship positions can be obtained via the dedicated maritime Automatic Identification System. The optimization problem is non convex. We solve it by problem decomposition, successive convex optimization and bisection searching tools. Simulation results demonstrate that the UAV fits well with existing satellite and terrestrial systems, using the proposed optimization framework.


Orbit Braid Action on a Finite Generated Group. This paper aims to generalize Artin's ideas to establish an one to one correspondence between the orbit braid group B orb n( mathbb C , mathbb Z p) and a quotient of a group formed by some particular homeomorphisms of a punctured plane. First, we find a faithful representation of B orb n( mathbb C , mathbb Z p) in a finite generated group whose generators are corresponding to generators of fundamental group of the punctured plane, by examining the representation from B orb n( mathbb C times , mathbb Z p) to the fundamental group is faithful. Then we investigate some characterizations of orbit braid representation to come to our conclusion.


Dolphin A Spoken Language Proficiency Assessment System for Elementary Education. Spoken language proficiency is critically important for children's growth and personal development. Due to the limited and imbalanced educational resources in China, elementary students barely have chances to improve their oral language skills in classes. Verbal fluency tasks (VFTs) were invented to let the students practice their spoken language proficiency after school. VFTs are simple but concrete math related questions that ask students to not only report answers but speak out the entire thinking process. In spite of the great success of VFTs, they bring a heavy grading burden to elementary teachers. To alleviate this problem, we develop Dolphin, a spoken language proficiency assessment system for Chinese elementary education. Dolphin is able to automatically evaluate both phonological fluency and semantic relevance of students' VFT answers. We conduct a wide range of offline and online experiments to demonstrate the effectiveness of Dolphin. In our offline experiments, we show that Dolphin improves both phonological fluency and semantic relevance evaluation performance when compared to state of the art baselines on real world educational data sets. In our online A B experiments, we test Dolphin with 183 teachers from 2 major cities (Hangzhou and Xi'an) in China for 10 weeks and the results show that VFT assignments grading coverage is improved by 22 .


On the convergence of cutting plane methods for robust optimization with ellipsoidal uncertainty sets. Recent advances in cutting plane strategies applied to robust optimization problems show that they are competitive with respect to problem reformulations and interior point algorithms. However, although its application with polyhedral uncertainty sets guarantees convergence, finite termination when using ellipsoidal uncertainty sets is not theoretically guaranteed. This paper demonstrates that the cutting plane algorithm set out for ellipsoidal uncertainty sets in its more general form also converges in a finite number of steps.


On the crowdsourcing of behaviors for autonomous agents. This paper is concerned with the problem of designing, from data, agents that are able to craft their behavior from a number of contributors in order to fulfill some agent specific task. This is not necessarily known to the contributors. After formalizing this crowdsourcing process as a control problem, we present a result to synthesize behaviors from the information made available by the contributors. The result is turned into an algorithmic procedure and the theoretical findings are complemented via a numerical example.


A Semantic Approach for User Brand Targeting in On Line Social Networks. We propose a general framework for the recommendation of possible customers (users) to advertisers (e.g., brands) based on the comparison between On line Social Network profiles. In particular, we represent both user and brand profiles as trees where nodes correspond to categories and sub categories in the associated On line Social Network. When categories involve posts and comments, the comparison is based on word embedding, and this allows to take into account the similarity between topics popular in the brand profile and user preferences. Results on real datasets show that our approach is successfull in identifying the most suitable set of users to be used as target for a given advertisement campaign.


Bracketing brackets with bras and kets. Brackets are an essential component in aircraft manufacture and design, joining parts together, supporting weight, holding wires, and strengthening joints. Hundreds or thousands of unique brackets are used in every aircraft, but manufacturing a large number of distinct brackets is inefficient and expensive. Fortunately, many so called "different" brackets are in fact very similar or even identical to each other. In this manuscript, we present a data driven framework for constructing a comparatively small group of representative brackets from a large catalog of current brackets, based on hierarchical clustering of bracket data. We find that for a modern commercial aircraft, the full set of brackets can be reduced by 30 while still describing half of the test set sufficiently accurately. This approach is based on designing an inner product that quantifies a multi objective similarity between two brackets, which are the "bra" and the "ket" of the inner product. Although we demonstrate this algorithm to reduce the number of brackets in aerospace manufacturing, it may be generally applied to any large scale component standardization effort.


Generic simplicity of quantum Hamiltonian reductions. Let a reductive group G act on a smooth affine complex algebraic variety X. Let mathfrak g be the Lie algebra of G and mu T (X) to mathfrak g be the moment map. If the moment map is flat, and for a generic character chi mathfrak g to mathbb C , the action of G on mu 1 ( chi) is free, then we show that for very generic characters chi the corresponding quantum Hamiltonian reduction of the ring of differential operators D(X) is simple.


A Unified Seeding Framework. Online social networks have become a crucial medium to disseminate the latest political, commercial, and social information. Users with high visibility are often selected as seeds to spread information and affect their adoption in target groups. We study how gender differences and similarities can impact the information spreading process. Using a large scale Instagram dataset and a small scale Facebook dataset, we first conduct a multi faceted analysis taking the interaction type, directionality and frequency into account. To this end, we explore a variety of existing and new single and multihop centrality measures. Our analysis unveils that males and females interact differently depending on the interaction types, e.g., likes or comments, and they feature different support and promotion patterns. We complement prior work showing that females do not reach top visibility (often referred to as the glass ceiling effect) jointly factoring in the connectivity and interaction intensity, both of which were previously mainly discussed independently. Inspired by these observations, we propose a novel seeding framework, called Disparity Seeding, which aims at maximizing spread while reaching a target user group, e.g., a certain percentage of females promoting the influence of under represented groups. Disparity Seeding ranks influential users with two gender aware measures, the Target HI index and the Embedding index. Extensive simulations comparing Disparity Seeding with target agnostic algorithms show that Disparity Seeding meets the target percentage while effectively maximizing the spread. Disparity Seeding can be generalized to counter different types of inequality, e.g., race, and proactively promote minorities in the society.


The First Step Towards Modeling Unbreakable Malware. Constructing stealthy malware has gained increasing popularity among cyber attackers to conceal their malicious intent. Nevertheless, the constructed stealthy malware still fails to survive the reverse engineering by security experts. Therefore, this paper modeled a type of malware with an "unbreakable" security attribute unbreakable malware (UBM), and made a systematical probe into this new type of threat through modeling, method analysis, experiments, evaluation and anti defense capacity tests. Specifically, we first formalized the definition of UBM and analyzed its security attributes, put forward two core features that are essential for realizing the "unbreakable" security attribute, and their relevant tetrad for evaluation. Then, we worked out and implemented four algorithms for constructing UBM, and verified the "unbreakable" security attribute based on our evaluation of the abovementioned two core features. After that, the four verified algorithms were employed to construct UBM instances, and by analyzing their volume increment and anti defense capacity, we confirmed real world applicability of UBM. Finally, to address the new threats incurred by UBM to the cyberspace, this paper explored some possible defense measures, with a view to establishing defense systems against UBM attacks.


Runtime Analysis of Evolutionary Algorithms with Biased Mutation for the Multi Objective Minimum Spanning Tree Problem. Evolutionary algorithms (EAs) are general purpose problem solvers that usually perform an unbiased search. This is reasonable and desirable in a black box scenario. For combinatorial optimization problems, often more knowledge about the structure of optimal solutions is given, which can be leveraged by means of biased search operators. We consider the Minimum Spanning Tree (MST) problem in a single and multi objective version, and introduce a biased mutation, which puts more emphasis on the selection of edges of low rank in terms of low domination number. We present example graphs where the biased mutation can significantly speed up the expected runtime until (Pareto )optimal solutions are found. On the other hand, we demonstrate that bias can lead to exponential runtime if heavy edges are necessarily part of an optimal solution. However, on general graphs in the single objective setting, we show that a combined mutation operator which decides for unbiased or biased edge selection in each step with equal probability exhibits a polynomial upper bound as unbiased mutation in the worst case and benefits from bias if the circumstances are favorable.


Constructing minimal telescopers for rational functions in three discrete variables. We present a new algorithm for constructing minimal telescopers for rational functions in three discrete variables. This is the first discrete reduction based algorithm that goes beyond the bivariate case. The termination of the algorithm is guaranteed by a known existence criterion of telescopers. Our approach has the important feature that it avoids the potentially costly computation of certificates. Computational experiments are also provided so as to illustrate the efficiency of our approach.


Asymptotically rigid mapping class groups I Finiteness properties of braided Thompson's and Houghton's groups. This article is dedicated to the study of asymptotically rigid mapping class groups of infinitely punctured surfaces obtained by thickening planar trees. Such groups include the braided Ptolemy Thompson groups T sharp,T ast introduced by Funar and Kapoudjian, and the braided Houghton groups mathrm br H n introduced by Degenhardt. We present an elementary construction of a contractible cube complex, on which these groups act with cube stabilisers isomorphic to finite extensions of braid groups. As an application, we prove Funar Kapoudjian's and Degenhardt's conjectures by showing that T sharp,T ast are of type F infty and that mathrm br H n is of type F n 1 but not of type F n .


The asymptotics of nilpotent Galois groups. We prove an upper bound for the asymptotics of counting functions of number fields with nilpotent Galois groups.


Blow up criterion for the 2 D Prandtl equation. In this paper, we consider the 2 D Prandtl equation with constant outer flow and monotonic data. We prove that if the curvature of the velocity distribution(i.e., partial y 2u ) is bounded near the boundary, then the solution can not develop the singularity.


Stable and accurate numerical methods for generalized Kirchhoff Love plates. Efficient and accurate numerical algorithms are developed to solve a generalized Kirchhoff Love plate model subject to three common physical boundary conditions (i) clamped (ii) simply supported and (iii) free. We solve the model equation by discretizing the spatial derivatives using second order finite difference schemes, and then advancing the semi discrete problem in time with either an explicit predictor corrector or an implicit Newmark Beta time stepping algorithm. Stability analysis is conducted for the schemes and the results are used to determine stable time steps in practice. A series of carefully chosen test problems are solved to demonstrate the properties and applications of our numerical approaches. The numerical results confirm the stability and 2nd order accuracy of the algorithms, and are also comparable with experiments for similar thin plates. As an application, we illustrate a strategy to identify the natural frequencies of a plate using our numerical methods in conjunction with a fast Fourier transformation (FFT) power spectrum analysis of the computed data. Then we take advantage of one of the computed natural frequencies to simulate the interesting physical phenomena known as resonance and beat for a generalized Kirchhoff Love plate.


Challenges in designing edge based middlewares for the Internet of Things A survey. The Internet of Things paradigm connects edge devices via the Internet enabling them to be seamlessly integrated with a wide variety of applications. In recent years, the number of connected devices has grown significantly, along with the volume and variety of data that is being generated by these devices at the edge of the network. An edge based middleware is defined as a software that serves as an interface between the computational resources and the IoT devices, making communication possible among elements. Such middleware is required to provide the necessary functional components for sensor registration, discovery, workflow composition, and data pre processing. In recent years, the landscape of the edge middleware platforms has grown exponentially, each of them with different platform requirements, architectures, and features. The core of this survey is a comprehensive review of existing edge middleware solutions. In this regard, we propose a four layer architecture for the design of edge based middleware, along with some design goals for each of the proposed layer. The paper concludes with some open challenges and possible future research directions.


Extended full waveform inversion in the time domain by the augmented Lagrangian method. Extended full waveform inversion (FWI) has shown promising results for accurate estimation of subsurface parameters when the initial models are not sufficiently accurate. Frequency domain applications have shown that the augmented Lagrangian (AL) method solves the inverse problem accurately with a minimal effect of the penalty parameter choice. Applying this method in the time domain, however, is limited by two main factors (1) The challenge of data assimilated wavefield reconstruction due to the lack of an explicit time stepping and (2) The need to store the Lagrange multipliers, which is not feasible for the field scale problems. We show that these wavefields are efficiently determined from the associated data (projection of the wavefields onto the receivers space) by using explicit time stepping. Accordingly, based on the augmented Lagrangian, a new algorithm is proposed which performs in "data space" (a lower dimensional subspace of the full space) in which the wavefield reconstruction step is replaced by reconstruction of the associated data, thus requiring optimization in a lower dimensional space (convenient for handling the Lagrange multipliers). We show that this new algorithm can be implemented efficiently in the time domain with existing solvers for the FWI and at a cost comparable to that of the FWI while benefiting from the robustness of the extended FWI formulation. The results obtained by numerical examples show high performance of the proposed method for large scale time domain FWI.


L p Regularity of Toeplitz Operators on Generalized Hartogs Triangles. We obtain L p estimates for Toeplitz operators on the generalized Hartogs triangles mathbb H gamma (z 1,z 2) in mathbb C 2 z 1 gamma z 2 1 for two classes of positive radial symbols, one a power of the distance to the origin, and the other a power of the distance to the boundary.


Salient Facial Features from Humans and Deep Neural Networks. In this work, we explore the features that are used by humans and by convolutional neural networks (ConvNets) to classify faces. We use Guided Backpropagation (GB) to visualize the facial features that influence the output of a ConvNet the most when identifying specific individuals we explore how to best use GB for that purpose. We use a human intelligence task to find out which facial features humans find to be the most important for identifying specific individuals. We explore the differences between the saliency information gathered from humans and from ConvNets. Humans develop biases in employing available information on facial features to discriminate across faces. Studies show these biases are influenced both by neurological development and by each individual's social experience. In recent years the computer vision community has achieved human level performance in many face processing tasks with deep neural network based models. These face processing systems are also subject to systematic biases due to model architectural choices and training data distribution.


Algebraic properties of bounded Killing vector fields. In this paper, we consider a connected Riemannian manifold M where a connected Lie group G acts effectively and isometrically. Assume X in mathfrak g mathrm Lie (G) defines a bounded Killing vector field, we find some crucial algebraic properties of the decomposition X X r X s according to a Levi decomposition mathfrak g mathfrak r ( mathfrak g ) mathfrak s , where mathfrak r ( mathfrak g ) is the radical, and mathfrak s mathfrak s c oplus mathfrak s nc is a Levi subalgebra. The decomposition X X r X s coincides with the abstract Jordan decomposition of X , and is unique in the sense that it does not depend on the choice of mathfrak s . By these properties, we prove that the eigenvalues of mathrm ad (X) mathfrak g rightarrow mathfrak g are all imaginary. Furthermore, when M G H is a Riemannian homogeneous space, we can completely determine all bounded Killing vector fields induced by vectors in mathfrak g . We prove that the space of all these bounded Killing vector fields, or equivalently the space of all bounded vectors in mathfrak g for G H , is a compact Lie subalgebra, such that its semi simple part is the ideal mathfrak c mathfrak s c ( mathfrak r ( mathfrak g )) of mathfrak g , and its Abelian part is the sum of mathfrak c mathfrak c ( mathfrak r ( mathfrak g )) ( mathfrak s nc ) and all two dimensional irreducible mathrm ad ( mathfrak r ( mathfrak g )) representations in mathfrak c mathfrak c ( mathfrak n ) ( mathfrak s nc ) corresponding to nonzero imaginary weights, i.e. mathbb R linear functionals lambda mathfrak r ( mathfrak g ) rightarrow mathfrak r ( mathfrak g ) mathfrak n ( mathfrak g ) rightarrow mathbb R sqrt 1 , where mathfrak n ( mathfrak g ) is the nilradical.


Third Order Asymptotics of Variable Length Compression Allowing Errors. This study investigates the fundamental limits of variable length compression in which prefix free constraints are not imposed (i.e., one to one codes are studied) and non vanishing error probabilities are permitted. Due in part to a crucial relation between the variable length and fixed length compression problems, our analysis requires a careful and refined analysis of the fundamental limits of fixed length compression in the setting where the error probabilities are allowed to approach either zero or one polynomially in the blocklength. To obtain the refinements, we employ tools from moderate deviations and strong large deviations. Finally, we provide the third order asymptotics for the problem of variable length compression with non vanishing error probabilities. We show that unlike several other information theoretic problems in which the third order asymptotics are known, for the problem of interest here, the third order term depends on the permissible error probability.


FuCiTNet Improving the generalization of deep learning networks by the fusion of learned class inherent transformations. It is widely known that very small datasets produce overfitting in Deep Neural Networks (DNNs), i.e., the network becomes highly biased to the data it has been trained on. This issue is often alleviated using transfer learning, regularization techniques and or data augmentation. This work presents a new approach, independent but complementary to the previous mentioned techniques, for improving the generalization of DNNs on very small datasets in which the involved classes share many visual features. The proposed methodology, called FuCiTNet (Fusion Class inherent Transformations Network), inspired by GANs, creates as many generators as classes in the problem. Each generator, k , learns the transformations that bring the input image into the k class domain. We introduce a classification loss in the generators to drive the leaning of specific k class transformations. Our experiments demonstrate that the proposed transformations improve the generalization of the classification model in three diverse datasets.


Metric Dimension. In this manuscript, we provide a concise review of the concept of metric dimension for both deterministic as well as random graphs. Algorithms to approximate this quantity, as well as potential applications, are also reviewed. This work has been partially funded by the NSF IIS grant 1836914.


Exponential Automatic Amortized Resource Analysis. Automatic amortized resource analysis (AARA) is a type based technique for inferring concrete (non asymptotic) bounds on a program's resource usage. Existing work on AARA has focused on bounds that are polynomial in the sizes of the inputs. This paper presents and extension of AARA to exponential bounds that preserves the benefits of the technique, such as compositionality and efficient type inference based on linear constraint solving. A key idea is the use of the Stirling numbers of the second kind as the basis of potential functions, which play the same role as the binomial coefficients in polynomial AARA. To formalize the similarities with the existing analyses, the paper presents a general methodology for AARA that is instantiated to the polynomial version, the exponential version, and a combined system with potential functions that are formed by products of Stirling numbers and binomial coefficients. The soundness of exponential AARA is proved with respect to an operational cost semantics and the analysis of representative example programs demonstrates the effectiveness of the new analysis.


Symmetric ideals, Specht polynomials and solutions to symmetric systems of equations. An ideal of polynomials is symmetric if it is closed under permutations of variables. We relate general symmetric ideals to the so called Specht ideals generated by all Specht polynomials of a given shape. We show a connection between the leading monomials of polynomials in the ideal and the Specht polynomials contained in the ideal. This provides applications in several contexts. Most notably, this connection gives information about the solutions of the corresponding set of equations. From another perspective, it restricts the isotypic decomposition of the ideal viewed as a representation of the symmetric group.


Hindi Question Generation Using Dependency Structures. Hindi question answering systems suffer from a lack of data. To address the same, this paper presents an approach towards automatic question generation. We present a rule based system for question generation in Hindi by formalizing question transformation methods based on karaka dependency theory. We use a Hindi dependency parser to mark the karaka roles and use IndoWordNet a Hindi ontology to detect the semantic category of the karaka role heads to generate the interrogatives. We analyze how one sentence can have multiple generations from the same karaka role's rule. The generations are manually annotated by multiple annotators on a semantic and syntactic scale for evaluation. Further, we constrain our generation with the help of various semantic and syntactic filters so as to improve the generation quality. Using these methods, we are able to generate diverse questions, significantly more than number of sentences fed to the system.


Well posedness of a cross diffusion population model with nonlocal diffusion. We prove the existence and uniqueness of solution of a nonlocal cross diffusion competitive population model for two species. The model may be considered as a version, or even an approximation, of the paradigmatic Shigesada Kawasaki Teramoto cross diffusion model, in which the usual diffusion differential operator is replaced by an integral diffusion operator. The proof of existence of solutions is based on a compactness argument, while the uniqueness of solution is achieved through a duality technique.


Near Linear OS Scheduling Optimization for Memory Intensive Workloads on Multi socket Multi core servers. Multi socket multi core servers are used for solving some of the important problems in computing. Remote DRAM accesses can impact performance of certain applications running on such servers. This paper presents a new near linear operating system (OS) scheduling algorithm to reduce the impact of such remote DRAM accesses. By keeping track of the number of local and remote DRAM accesses, using performance counters, for every thread and applying this algorithm, I come up with a new schedule of threads for the next quantum. This new schedule reduces remote DRAM accesses and improves overall performance. I also show that this algorithm is actually linear in the best case. As the algorithm is near linear it is amenable for implementation in a real operating system.


On the Mean Residual Life of Cantor Type Distributions Properties and Economic Applications. In this paper, we consider the mean residual life (MRL) function of the Cantor distribution and study its properties. We show that the MRL function is continuous at all points, locally decreasing at all points outside the Cantor set and has a unique fixed point which we explicitly determine. These properties readily extend to the parametric family of p singular, Cantor type distributions introduced by Mandelbrot (1983). The findings offer evidence that, contrary to common perceptions, Cantor type distributions are tractable enough to be considered for practical applications. We provide such an example from the field of economics in which Cantor type distributions can be used to model markets with recurrent bandwagon effects and show that earlier anticipated bandwagon effects lead to higher monopolistic prices. We conclude with a simple implementation of the algorithm by Chalice (1991) to plot Cantor type distributions.


Text Steganalysis with Attentional LSTM CNN. With the rapid development of Natural Language Processing (NLP) technologies, text steganography methods have been significantly innovated recently, which poses a great threat to cybersecurity. In this paper, we propose a novel attentional LSTM CNN model to tackle the text steganalysis problem. The proposed method firstly maps words into semantic space for better exploitation of the semantic feature in texts and then utilizes a combination of Convolutional Neural Networks (CNNs) and Long Short Term Memory (LSTM) recurrent neural networks to capture both local and long distance contextual information in steganography texts. In addition, we apply attention mechanism to recognize and attend to important clues within suspicious sentences. After merge feature clues from Convolutional Neural Networks (CNNs) and Recurrent Neural Networks (RNNs), we use a softmax layer to categorize the input text as cover or stego. Experiments showed that our model can achieve the state of art result in the text steganalysis task.


TrollHunter Evader Automated Detection Evasion of Twitter Trolls During the COVID 19 Pandemic. This paper presents TrollHunter, an automated reasoning mechanism we used to hunt for trolls on Twitter during the COVID 19 pandemic in 2020. Trolls, poised to disrupt the online discourse and spread disinformation, quickly seized the absence of a credible response to COVID 19 and created a COVID 19 infodemic by promulgating dubious content on Twitter. To counter the COVID 19 infodemic, the TrollHunter leverages a unique linguistic analysis of a multi dimensional set of Twitter content features to detect whether or not a tweet was meant to troll. TrollHunter achieved 98.5 accuracy, 75.4 precision and 69.8 recall over a dataset of 1.3 million tweets. Without a final resolution of the pandemic in sight, it is unlikely that the trolls will go away, although they might be forced to evade automated hunting. To explore the plausibility of this strategy, we developed and tested an adversarial machine learning mechanism called TrollHunter Evader. TrollHunter Evader employs a Test Time Evasion (TTE) approach in a combination with a Markov chain based mechanism to recycle originally trolling tweets. The recycled tweets were able to achieve a remarkable 40 decrease in the TrollHunter's ability to correctly identify trolling tweets. Because the COVID 19 infodemic could have a harmful impact on the COVID 19 pandemic, we provide an elaborate discussion about the implications of employing adversarial machine learning to evade Twitter troll hunts.


Attention A Big Surprise for Cross Domain Person Re Identification. In this paper, we focus on model generalization and adaptation for cross domain person re identification (Re ID). Unlike existing cross domain Re ID methods, leveraging the auxiliary information of those unlabeled target domain data, we aim at enhancing the model generalization and adaptation by discriminative feature learning, and directly exploiting a pre trained model to new domains (datasets) without any utilization of the information from target domains. To address the discriminative feature learning problem, we surprisingly find that simply introducing the attention mechanism to adaptively extract the person features for every domain is of great effectiveness. We adopt two popular type of attention mechanisms, long range dependency based attention and direct generation based attention. Both of them can perform the attention via spatial or channel dimensions alone, even the combination of spatial and channel dimensions. The outline of different attentions are well illustrated. Moreover, we also incorporate the attention results into the final output of model through skip connection to improve the features with both high and middle level semantic visual information. In the manner of directly exploiting a pre trained model to new domains, the attention incorporation method truly could enhance the model generalization and adaptation to perform the cross domain person Re ID. We conduct extensive experiments between three large datasets, Market 1501, DukeMTMC reID and MSMT17. Surprisingly, introducing only attention can achieve state of the art performance, even much better than those cross domain Re ID methods utilizing auxiliary information from the target domain.


BPS Explained III The Leading Order Behavior of the BBGKY Hierarchy in a Plasma. This is the third in a series of lectures on the technique of dimensional continuation, employed by Brown, Preston and Singleton (BPS), for calculating Coulomb energy exchange rates in a plasma. Two important examples of such processes are the charged particle stopping power and the temperature equilibration rate between different plasma species. The first lecture was devoted to understanding the machinery of dimensional continuation, and the second concentrated on calculating the electron ion temperature equilibration rate in the extreme quantum limit. In this lecture, I will examine one of the main theoretical underpinnings of the BPS theory, namely, the dimensional reduction of the BBGKY hierarchy. I will prove that to leading order in the plasma coupling g , the BBGKY hierarchy reduces to the BE for dimensions greater then three and to the LBE for dimensions less than three. We must eventually return to three dimensions, and the BPS formalism shows that the simple poles associated with the BE and the LBE exactly cancel, rendering the limit in three dimensions finite. Furthermore, the leading order behavior of the LBE becomes next to leading order when the dimensions is analytically continued from less than three to greater than three. This provides the leading and next to leading order terms in g exactly, which is equivalent to an exact calculation of the so called Coulomb logarithm with no use of an integral cut off. In this way, BPS takes all Coulomb interactions into account to leading and next to leading order in g .


Revisiting Visual Grounding. We revisit a particular visual grounding method the "Image Retrieval Using Scene Graphs" (IRSG) system of Johnson et al. (2015). Our experiments indicate that the system does not effectively use its learned object relationship models. We also look closely at the IRSG dataset, as well as the widely used Visual Relationship Dataset (VRD) that is adapted from it. We find that these datasets exhibit biases that allow methods that ignore relationships to perform relatively well. We also describe several other problems with the IRSG dataset, and report on experiments using a subset of the dataset in which the biases and other problems are removed. Our studies contribute to a more general effort that of better understanding what machine learning methods that combine language and vision actually learn and what popular datasets actually test.


Quantum Boson Algebra and Poisson Geometry of the Flag Variety. In his work on crystal bases cite Kas , Kashiwara introduced a certain degeneration of the quantized universal enveloping algebra of a semi simple Lie algebra mathfrak g , which he called a quantum boson algebra. In this paper, we construct Kashiwara operators associated to all positive roots and use them to define a variant of Kashiwara's quantum boson algebra. We show that a quasi classical limit of the positive half of our variant is a Poisson algebra of the form (P simeq mathbb C mathfrak n ast , , , P) , where mathfrak n is the positive part of mathfrak g and , P is a Poisson bracket that has the same rank as, but is different from, the Kirillov Kostant bracket , KK on mathfrak n ast . Furthermore, we prove that, in the special case of type A , any linear combination a 1 , P a 2 , KK , a 1, a 2 in mathbb C , is again a Poisson bracket. In the general case, we establish an isomorphism of P and the Poisson algebra of regular functions on the open Bruhat cell in the flag variety. In type A , we also construct a Casimir function on the open Bruhat cell, together with its quantization, which may be thought of as an analog of the linear function on mathfrak n ast defined by a root vector for the highest root.


On conditions under which a probability distribution is uniquely determined by its moments. We study the relationship between the well known Carleman's condition guaranteeing that a probability distribution is uniquely determined by its moments, and a recent easily checkable condition on the rate of growth of the moments. We use asymptotic methods in theory of integrals and involve properties of the Lambert W function to show that the quadratic rate of growth of the ratios of consecutive moments, as a sufficient condition for uniqueness, is more restrictive than Carleman's condition. We derive a series of statements, one of them showing that Carleman's condition does not imply Hardy's condition, although the inverse implication is true. Related topics are also discussed.


Typical Snapshots Selection for Shortest Path Query in Dynamic Road Networks. Finding the shortest paths in road network is an important query in our life nowadays, and various index structures are constructed to speed up the query answering. However, these indexes can hardly work in real life scenario because the traffic condition changes dynamically, which makes the pathfinding slower than in the static environment. In order to speed up path query answering in the dynamic road network, we propose a framework to support these indexes. Firstly, we view the dynamic graph as a series of static snapshots. After that, we propose two kinds of methods to select the typical snapshots. The first kind is time based and it only considers the temporal information. The second category is the graph representation based, which considers more insights edge based that captures the road continuity, and vertex based that reflects the region traffic fluctuation. Finally, we propose the snapshot matching to find the most similar typical snapshot for the current traffic condition and use its index to answer the query directly. Extensive experiments on real life road network and traffic conditions validate the effectiveness of our approach.


Vector Valued Transference. Our principal result is the following. Let X and Y be Banach spaces, let G be a locally compact abelian group, and let K be an operator valued kernel defined on G with values in the space of bounded linear operators from X to Y . Suppose that R and tilde R are representations of G on X and Y respectively that intertwine the values of K . Then, under suitable boundedness conditions on R, tilde R and K , the formula T Kx int GK(u)R u xdu defines a bounded linear operator T K from X to Y with norm controlled by norm of convolution by K as a mapping from L p X(G) into L p Y(G) , (for all values of p in the range 1 le p infty .) A number of applications to the geometry of Banach spaces are given. Several results are proved in the setting of abstract commutative harmonic analysis. We outline the proof of the affirmative resolution of a conjecture of Rubio de Francia. This technique of transference is used to obtain dimension free estimates for certain operators in an Bbb R n setting.


General theory of lifting spaces. In his classical textbook on algebraic topology Edwin Spanier developed the theory of covering spaces within a more general framework of lifting spaces (i.e., Hurewicz fibrations with unique path lifting property). Among other, Spanier proved that for every space X there exists a universal lifting space, which however need not be simply connected, unless the base space X is semi locally simply connected. The question on what exactly is the fundamental group of the universal space was left unanswered. The main source of lifting spaces are inverse limits of covering spaces over X , or more generally, over some inverse system of spaces converging to X . Every metric space X can be obtained as a limit of an inverse system of polyhedra, and so inverse limits of covering spaces over the system yield lifting spaces over X . They are related to the geometry (in particular the fundamental group) of X in a similar way as the covering spaces over polyhedra are related to the fundamental group of their base. Thus lifting spaces appear as a natural replacement for the concept of covering spaces over base spaces with bad local properties. In this paper we develop a general theory of lifting spaces and prove that they are preserved by products, inverse limits and other important constructions. We show that maps from X to polyhedra give rise to coverings over X and use that to prove that for a connected, locally path connected and paracompact X , the fundamental group of the above mentioned Spanier's universal space is precisely the intersection of all Spanier groups associated to open covers of X , and that the later coincides with the shape kernel of X . Furthermore, we examine in more detail lifting spaces over X that arise as inverse limits of coverings over some approximations of X .


The Energy Sensor AMPK Adaptations to Exercise, Nutritional and Hormonal Signals. To sustain metabolism, intracellular ATP concentration must be regulated within an appropriate range. This coordination is achieved through the function of the AMP activated protein kinase (AMPK), a cellular "fuel gauge" that is expressed in essentially all eukaryotic cells as heterotrimeric complexes containing catalytic alpha subunits and regulatory beta and gamma subunits. When cellular energy status has been compromised, AMPK is activated by increases in AMP ATP or ADP ATP ratios and acts to restore energy homeostasis by stimulating energy production via catabolic pathways while decreasing non essential energy consuming pathways. Although the primary function of AMPK is to regulate energy homeostasis at a cell autonomous level, in multicellular organisms, the AMPK system has evolved to interact with hormones to regulate energy intake and expenditure at the whole body level. Thus, AMPK functions as a signaling hub, coordinating anabolic and catabolic pathways to balance nutrient supply with energy demand at both the cellular and whole body levels. AMPK is activated by various metabolic stresses such as ischemia or hypoxia or glucose deprivation and has both acute and long term effects on metabolic pathways and key cellular functions. In addition, AMPK appears to be a major sensor of energy demand in exercising muscle and acts both as a multitask gatekeeper and an energy regulator in skeletal muscle. Acute activation of AMPK has been shown to promote glucose transport and fatty acid oxidation while suppressing glycogen synthase activity and protein synthesis. Chronic activation of AMPK induces a shift in muscle fiber type composition, reduces markers of muscle degeneration and enhances muscle oxidative capacity potentially by stimulating mitochondrial biogenesis. Furthermore, recent evidence demonstrates that AMPK may not only regulate metabolism during exercise but also in the recovery phase. AMPK acts as a molecular transducer between exercise and insulin signaling and is necessary for the ability of prior contraction exercise to increase muscle insulin sensitivity. Based on these observations, drugs that activate AMPK might be expected to be useful in the treatment of metabolic disorders and insulin resistance in various conditions.


An Advert Creation System for 3D Product Placements. Over the past decade, the evolution of video sharing platforms has attracted a significant amount of investments on contextual advertising. The common contextual advertising platforms utilize the information provided by users to integrate 2D visual ads into videos. The existing platforms face many technical challenges such as ad integration with respect to occluding objects and 3D ad placement. This paper presents a Video Advertisement Placement Integration (Adverts) framework, which is capable of perceiving the 3D geometry of the scene and camera motion to blend 3D virtual objects in videos and create the illusion of reality. The proposed framework contains several modules such as monocular depth estimation, object segmentation, background foreground separation, alpha matting and camera tracking. Our experiments conducted using Adverts framework indicates the significant potential of this system in contextual ad integration, and pushing the limits of advertising industry using mixed reality technologies.


Future Frame Prediction of a Video Sequence. Predicting future frames of a video sequence has been a problem of high interest in the field of Computer Vision as it caters to a multitude of applications. The ability to predict, anticipate and reason about future events is the essence of intelligence and one of the main goals of decision making systems such as human machine interaction, robot navigation and autonomous driving. However, the challenge lies in the ambiguous nature of the problem as there may be multiple future sequences possible for the same input video shot. A naively designed model averages multiple possible futures into a single blurry prediction. Recently, two distinct approaches have attempted to address this problem as (a) use of latent variable models that represent underlying stochasticity and (b) adversarially trained models that aim to produce sharper images. A latent variable model often struggles to produce realistic results, while an adversarially trained model underutilizes latent variables and thus fails to produce diverse predictions. These methods have revealed complementary strengths and weaknesses. Combining the two approaches produces predictions that appear more realistic and better cover the range of plausible futures. This forms the basis and objective of study in this project work. In this paper, we proposed a novel multi scale architecture combining both approaches. We validate our proposed model through a series of experiments and empirical evaluations on Moving MNIST, UCF101, and Penn Action datasets. Our method outperforms the results obtained using the baseline methods.


The universal pre Lie Rinehart algebras of aromatic trees. We organize colored aromatic trees into a pre Lie Rinehart algebra (i.e. a flat torsion free Lie Rinehart algebra) endowed with a natural trace map, and show the freeness of this object among pre Lie Rinehart algebras with trace. This yields the algebraic foundations of aromatic B series.


Tilings from Graph Directed Iterated Function Systems. A new method for constructing self referential tilings of Euclidean space from a graph directed iterated function system, based on a combinatorial structure we call a pre tree, is introduced. In the special case that we refer to as balanced, the resulting tilings have a finite set of prototiles, are quasiperiodic but not periodic, and are self similar. A necessary and sufficient condition for two balanced tilings to be congruent is provided.


Five Equivalent Representations of a Phylogenetic Tree. A phylogenetic tree is a tree with a fixed set of leaves that has no vertices of degree two. In this paper, we axiomatically define four other discrete structures on the set of leaves. We prove that each of these structures is an equivalent representation of a phylogenetic tree.


On Ball Dentable Property in Banach Spaces. In this work, we introduce the notion of Ball dentable property in Banach spaces. We study certain stability results for the w Ball dentable property leading to a discussion on Ball dentability in the context of ideals of Banach spaces. We prove that the w Ball dentable property can be lifted from an M ideal to the whole Banach Space. We also prove similar results for strict ideals of a Banach space. We note that the space C(K,X) has w Ball dentable property when K is dispersed and X ast has the w Ball dentable property.


Identifying the optimal parameters for sprayed and inhaled drug particulates for intranasal targeting of SARS CoV 2 infection sites. Efficacy for COVID 19 treatments can be enhanced significantly through targeting the nasopharynx, which has been shown to be the dominant preliminary infection site for SARS CoV 2. Although intranasal drugs can be administered easily through drops or sprays, it is difficult to test whether current protocols will deliver the right amount of the drug to this location consistently. We are interested in developing an in silico prototyping tool to rapidly identify optimal parameters for intranasal delivery. In this study, we have applied computational fluid dynamics to simulate fluid flow through the nasal cavity and examined particle deposition for a drug formulation, mimicking different delivery methods. The nasal geometry models were derived using digitized and meshed computed tomography (CT) scans of human patients. Using the nasal geometries, we simulated two different airflows a laminar model at 15 LPM (Liters min) that simulated resting breathing rate and a Large Eddy Simulation (LES) model used to achieve a higher flow rate of 30 LPM. We were able to run particle tracking simulations for these two airflow schemes to test different drug properties such as particle size. The different injection methods used include surface injection which best replicates an inhaler based release of particle droplets into the nostril and the cone injection method which best replicates a spray into the nostril. The results of the study suggest that the most optimal drug particle size for targeting the intranasal infection sites is around 6 14 microns.


Spatiotemporal focusing through a multimode fiber via time domain wavefront shaping. We shape fs optical pulses and deliver them in a single spatial mode to the input of a multimode fiber. The pulse is shaped in time such that at the output of the multimode fiber an ultrashort pulse appears at a predefined focus. Our result shows how to raster scan an ultrashort pulse at the output of a stiff piece of square core step index multimode fiber and in this way the potential for making a nonlinear fluorescent image of the scene behind the fiber, while the connection to the multimode fiber can be established via a thin and flexible single mode fiber. The experimental results match our numerical simulation well.


On problems related to crossing families. Given a set of points in the plane, a emph crossing family is a collection of segments, each joining two of the points, such that every two segments intersect internally. Aronov et al. Combinatorica, 14(2) 127 134, 1994 proved that any set of n points contains a crossing family of size Omega( sqrt n ) . They also mentioned that there exist point sets whose maximum crossing family uses at most frac n 2 of the points. We improve the upper bound on the size of crossing families to 5 lceil frac n 24 rceil . We also introduce a few generalizations of crossing families, and give several lower and upper bounds on our generalized notions.


Flipping the Perspective in Contact Tracing. We introduce a fundamentally different paradigm for contact tracing for each positive case, do not only ask direct contacts to quarantine instead, tell everyone how many relationships away the disease just struck (so, "2" is a close physical contact of a close physical contact). This new approach, which has already been deployed in a publicly downloadable app, brings a new tool to bear on pandemic control, powered by network theory. Like a weather satellite providing early warning of incoming hurricanes, it empowers individuals to see transmission approaching from far away, and incites behavior change to directly avoid exposure. This flipped perspective engages natural self interested instincts of self preservation, reducing reliance on altruism, and the resulting caution reduces pandemic spread in the social vicinity of each infection. Consequently, our new system solves the behavior coordination problem which has hampered many other app based interventions to date. We also provide a heuristic mathematical analysis that shows how our system already achieves critical mass from the user perspective at very low adoption thresholds (likely below 10 in some common types of communities as indicated empirically in the first practical deployment) after that point, the design of our system naturally accelerates further adoption, while also alerting even non users of the app. This article seeks to lay the theoretical foundation for our approach, and to open the area for further research along many dimensions.


Complexity estimates for triangular hierarchical matrix algorithms. Triangular factorizations are an important tool for solving integral equations and partial differential equations with hierarchical matrices ( mathcal H matrices). Experiments show that using an mathcal H matrix LR factorization to solve a system of linear questions is superior to direct inversion both with respect to accuracy and efficiency, but so far theoretical estimates quantifying these advantages were missing. Due to a lack of symmetry in mathcal H matrix algorithms, we cannot hope to prove that the LR factorization takes one third of the operations of the inversion or the matrix multiplication, as in standard linear algebra. We can, however, prove that the LR factorization together with two other operations of similar complexity, i.e., the inversion and multiplication of triangular matrices, requires not more operations than the matrix multiplication. We can complete the estimates by proving an improved upper bound for the complexity of the matrix multiplication, designed for recently introduced variants of classical mathcal H matrices.


BMO spaces associated to operators with generalised Poisson bounds on non doubling manifolds with ends. Consider a non doubling manifold with ends M mathfrak R n sharp , mathbb R m where mathfrak R n mathbb R n times mathbb S m n for m n ge 3 . We say that an operator L has a generalised Poisson kernel if sqrt L generates a semigroup e t sqrt L whose kernel p t(x,y) has an upper bound similar to the kernel of e t sqrt Delta where Delta is the Laplace Beltrami operator on M . An example for operators with generalised Gaussian bounds is the Schr "odinger operator L Delta V where V is an arbitrary non negative locally integrable potential. In this paper, our aim is to introduce the BMO space rm BMO L(M) associated to operators with generalised Poisson bounds which serves as an appropriate setting for certain singular integrals with rough kernels to be bounded from L infty (M) into this new rm BMO L(M) . On our rm BMO L(M) spaces, we show that the John Nirenberg inequality holds and we show an interpolation theorem for a holomorphic family of operators which interpolates between L q(M) and rm BMO L(M) . As an application, we show that the holomorphic functional calculus m( sqrt L ) is bounded from L infty (M) into rm BMO L(M) , and bounded on L p(M) for 1 p infty .


Global Convergence of Second order Dynamics in Two layer Neural Networks. Recent results have shown that for two layer fully connected neural networks, gradient flow converges to a global optimum in the infinite width limit, by making a connection between the mean field dynamics and the Wasserstein gradient flow. These results were derived for first order gradient flow, and a natural question is whether second order dynamics, i.e., dynamics with momentum, exhibit a similar guarantee. We show that the answer is positive for the heavy ball method. In this case, the resulting integro PDE is a nonlinear kinetic Fokker Planck equation, and unlike the first order case, it has no apparent connection with the Wasserstein gradient flow. Instead, we study the variations of a Lyapunov functional along the solution trajectories to characterize the stationary points and to prove convergence. While our results are asymptotic in the mean field limit, numerical simulations indicate that global convergence may already occur for reasonably small networks.


Determining a vibrational distribution with a broadband optical source. This work presents an experimental protocol conceived to determine the vibrational distribution of barium monofluoride molecules seeded in a supersonic beam of argon. Here, as in many cases, the detection signal is related to the number of molecules by an efficiency involving several parameters that may be difficult to determine properly. In particular, this efficiency depends on the vibrational level of the detected molecules. Our approach avoids these complications by comparing different detection signals generated by different vibrational excitations. Such an excitation is made possible by the use of a broadband optical source that depletes a specific vibrational level whose population is redistributed in the other levels.


On generalized configuration space and its homotopy groups. Let M be a subset of vector space or projective space. The authors define the emph generalized configuration space of M which is formed by n tuples of elements of M where any k elements of each n tuple are linearly independent. The emph generalized configuration space gives a generalization of the classical configuration space defined by E.Fadell. Denote the emph generalized configuration space of M by W k,n (M) . The authors are mainly interested in the calculation about the homotopy groups of generalized configuration space. This article gives the fundamental groups of generalized configuration spaces of mathbb R P m for some special cases, and the connections between the homotopy groups of generalized configuration spaces of S m and the homotopy groups of Stiefel manifolds. It is also proved that the higher homotopy groups of generalized configuration spaces W k,n (S m) and W k,n ( mathbb R P m) are isomorphic.


Adversarial Permutation Guided Node Representations for Link Prediction. After observing a snapshot of a social network, a link prediction (LP) algorithm identifies node pairs between which new edges will likely materialize in future. Most LP algorithms estimate a score for currently non neighboring node pairs, and rank them by this score. Recent LP systems compute this score by comparing dense, low dimensional vector representations of nodes. Graph neural networks (GNNs), in particular graph convolutional networks (GCNs), are popular examples. For two nodes to be meaningfully compared, their embeddings should be indifferent to reordering of their neighbors. GNNs typically use simple, symmetric set aggregators to ensure this property, but this design decision has been shown to produce representations with limited expressive power. Sequence encoders are more expressive, but are permutation sensitive by design. Recent efforts to overcome this dilemma turn out to be unsatisfactory for LP tasks. In response, we propose PermGNN, which aggregates neighbor features using a recurrent, order sensitive aggregator and directly minimizes an LP loss while it is attacked' by adversarial generator of neighbor permutations. By design, PermGNN has more expressive power compared to earlier symmetric aggregators. Next, we devise an optimization framework to map PermGNN's node embeddings to a suitable locality sensitive hash, which speeds up reporting the top K most likely edges for the LP task. Our experiments on diverse datasets show that our outperforms several state of the art link predictors by a significant margin, and can predict the most likely edges fast.


Memorizing All for Implicit Discourse Relation Recognition. Implicit discourse relation recognition is a challenging task due to the absence of the necessary informative clue from explicit connectives. The prediction of relations requires a deep understanding of the semantic meanings of sentence pairs. As implicit discourse relation recognizer has to carefully tackle the semantic similarity of the given sentence pairs and the severe data sparsity issue exists in the meantime, it is supposed to be beneficial from mastering the entire training data. Thus in this paper, we propose a novel memory mechanism to tackle the challenges for further performance improvement. The memory mechanism is adequately memorizing information by pairing representations and discourse relations of all training instances, which right fills the slot of the data hungry issue in the current implicit discourse relation recognizer. Our experiments show that our full model with memorizing the entire training set reaches new state of the art against strong baselines, which especially for the first time exceeds the milestone of 60 accuracy in the 4 way task.


Minimal accessible categories. We give a purely category theoretic proof of the result of Makkai and Par 'e saying that the category bf Lin of linearly ordered sets and order preserving injective mappings is a minimal finitely accessible category. We also discuss the existence of a minimal aleph 1 accessible category.


Markerless Augmented Advertising for Sports Videos. Markerless augmented reality can be a challenging computer vision task, especially in live broadcast settings and in the absence of information related to the video capture such as the intrinsic camera parameters. This typically requires the assistance of a skilled artist, along with the use of advanced video editing tools in a post production environment. We present an automated video augmentation pipeline that identifies textures of interest and overlays an advertisement onto these regions. We constrain the advertisement to be placed in a way that is aesthetic and natural. The aim is to augment the scene such that there is no longer a need for commercial breaks. In order to achieve seamless integration of the advertisement with the original video we build a 3D representation of the scene, place the advertisement in 3D, and then project it back onto the image plane. After successful placement in a single frame, we use homography based, shape preserving tracking such that the advertisement appears perspective correct for the duration of a video clip. The tracker is designed to handle smooth camera motion and shot boundaries.


Anisotropic Moser Trudinger inequality involving L n norm in the entire space mathbb R n . Let F mathbb R n rightarrow 0, infty) be a convex function of class C 2 ( mathbb R n backslash 0 ) which is even and positively homogeneous of degree 1, and its polar F 0 represents a Finsler metric on mathbb R n . The anisotropic Sobolev norm in W 1,n left( mathbb R n right) is defined by begin equation u F left( int mathbb R n F n ( nabla u) u n right) frac 1 n . end equation In this paper, the following sharp anisotropic Moser Trudinger inequality involving L n norm underset u in W 1,n ( mathbb R n ), left Vert u right Vert F leq 1 sup int mathbb R n Phi left( lambda n left vert u right vert frac n n 1 left( 1 alpha left Vert u right Vert n n right) frac 1 n 1 right) dx infty in the entire space mathbb R n for any 0 leq alpha 1 is established, where Phi left( t right) e t underset j 0 overset n 2 sum frac t j j! , lambda n n frac n n 1 kappa n frac 1 n 1 and kappa n is the volume of the unit Wulff ball in mathbb R n . It is also shown that the above supremum is infinity for all alpha geq1 . Moreover, we prove the supremum is attained, namely, there exists a maximizer for the above supremum when alpha 0 is sufficiently small. The proof of main results in this paper is based on the method of blow up analysis.


Non linear monotone positive maps. We study several classes of general non linear positive maps between C algebras, which are not necessary completely positive maps. We characterize the class of the compositions of multiplicative maps and positive linear mapsas the class of non linear maps of boundedly positive type abstractly. We consider three classes of non linear positive maps defined only on the positive cones, which are the classes of being monotone, supercongruent or concave. Any concave maps are monotone. The intersection of the monotone maps and the supercongruent maps characterizes the class of monotone Borel functional calculus. We give many examples of non linear positive maps, which show that there exist no other relations among these three classes in general.


Dimension of Images of Large Level Sets. Let k be a natural number. We consider k times continuously differentiable real valued functions f E to mathbb R , where E is some interval on the line having positive length. For 0 alpha 1 let I alpha(f) denote the set of values y in mathbb R whose preimage f 1 (y) has Hausdorff dimension dim f 1 (y) ge alpha . We consider how large can be the Hausdorff dimension of I alpha(f) , as f ranges over the set C k(E, mathbb R ) of all k times continuously differentiable functions from E into mathbb R . We show that the sharp upper bound on dim I alpha(f) is displaystyle frac 1 alpha k . Accepted for Mathematica Scandanavica


The Trace Method for Cotangent Sums. This paper presents a combinatorial study of sums of integer powers of the cotangent which is a popular theme in classical calculus. Our main tool the realization of cotangent values as eigenvalues of a simple self adjoint matrix with integer matrix. We use the trace method to draw conclusions about integer values of the sums and expand generating functions to obtain explicit evaluations. It is remarkable that throughout the calculations the combinatorics are governed by the higher tangent and arctangent numbers exclusively. Finally we indicate a new approximation of the values of the Riemann zeta function at even integer arguments.


A Model for Software Contexts. It is widely acknowledged by researchers and practitioners that software development methodologies are generally adapted to suit specific project contexts. Research into practices as implemented has been fragmented and has tended to focus either on the strength of adherence to a specific methodology or on how the efficacy of specific practices is affected by contextual factors. We submit the need for a more holistic, integrated approach to investigating context related best practice. We propose a six dimensional model of the problem space, with dimensions organisational drivers (why), space and time (where), culture (who), product life cycle stage (when), product constraints (what) and engagement constraints (how). We test our model by using it to describe and explain a reported implementation study. Our contributions are a novel approach to understanding situated software practices and a preliminary model for software contexts.


Concurrent Kleene Algebra with Observations from Hypotheses to Completeness. Concurrent Kleene Algebra (CKA) extends basic Kleene algebra with a parallel composition operator, which enables reasoning about concurrent programs. However, CKA fundamentally misses tests, which are needed to model standard programming constructs such as conditionals and mathsf while loops. It turns out that integrating tests in CKA is subtle, due to their interaction with parallelism. In this paper we provide a solution in the form of Concurrent Kleene Algebra with Observations (CKAO). Our main contribution is a completeness theorem for CKAO. Our result resorts on a more general study of CKA "with hypotheses", of which CKAO turns out to be an instance this analysis is of independent interest, as it can be applied to extensions of CKA other than CKAO.


Blurring the Line Between Structure and Learning to Optimize and Adapt Receptive Fields. The visual world is vast and varied, but its variations divide into structured and unstructured factors. We compose free form filters and structured Gaussian filters, optimized end to end, to factorize deep representations and learn both local features and their degree of locality. Our semi structured composition is strictly more expressive than free form filtering, and changes in its structured parameters would require changes in free form architecture. In effect this optimizes over receptive field size and shape, tuning locality to the data and task. Dynamic inference, in which the Gaussian structure varies with the input, adapts receptive field size to compensate for local scale variation. Optimizing receptive field size improves semantic segmentation accuracy on Cityscapes by 1 2 points for strong dilated and skip architectures and by up to 10 points for suboptimal designs. Adapting receptive fields by dynamic Gaussian structure further improves results, equaling the accuracy of free form deformation while improving efficiency.


A Process Mining Software Comparison. www.processmining software.com is a dedicated website for process mining software comparison and was developed to give practitioners and researchers an overview of commercial tools available on the market. Based on literature review and experimental tool testing, a set of criteria was developed in order to assess the tools' functional capabilities in an objective manner. With our publicly accessible website, we intend to increase the transparency of tool functionality. Being an academic endeavour, the non commercial nature of the study ensures a less biased assessment as compared with reports from analyst firms.


On Enhanced Dissipation for the Boussinesq Equations. In this article we consider the stability and damping problem for the 2D Boussinesq equations with partial dissipation near a two parameter family of stationary solutions which includes Couette flow and hydrostatic balance. In the first part we show that for the linearized problem in an infinite periodic channel the evolution is asymptotically stable if any diffusion coefficient is non zero. In particular, this imposes weaker conditions than for example vertical diffusion. Furthermore, we study the interaction of shear flow, hydrostatic balance and partial dissipation. In a second part we adapt the methods used by Bedrossian, Vicol and Wang in the Navier Stokes problem and combine them with cancellation properties of the Boussinesq equations to establish small data stability and enhanced dissipation results for the nonlinear Boussinesq problem with full dissipation.


On Usefulness of the Deep Learning Based Bug Localization Models to Practitioners. Background Developers spend a significant amount of time and efforts to localize bugs. In the literature, many researchers proposed state of the art bug localization models to help developers localize bugs easily. The practitioners, on the other hand, expect a bug localization tool to meet certain criteria, such as trustworthiness, scalability, and efficiency. The current models are not capable of meeting these criteria, making it harder to adopt these models in practice. Recently, deep learning based bug localization models have been proposed in the literature, which show a better performance than the state of the art models. Aim In this research, we would like to investigate whether deep learning models meet the expectations of practitioners or not. Method We constructed a Convolution Neural Network and a Simple Logistic model to examine their effectiveness in localizing bugs. We train these models on five open source projects written in Java and compare their performance with the performance of other state of the art models trained on these datasets. Results Our experiments show that although the deep learning models perform better than classic machine learning models, they meet the adoption criteria set by the practitioners only partially. Conclusions This work provides evidence that the practitioners should be cautious while using the current state of the art models for production level use cases. It also highlights the need for standardization of performance benchmarks to ensure that bug localization models are assessed equitably and realistically.


Improving Map Re localization with Deep 'Movable' Objects Segmentation on 3D LiDAR Point Clouds. Localization and Mapping is an essential component to enable Autonomous Vehicles navigation, and requires an accuracy exceeding that of commercial GPS based systems. Current odometry and mapping algorithms are able to provide this accurate information. However, the lack of robustness of these algorithms against dynamic obstacles and environmental changes, even for short time periods, forces the generation of new maps on every session without taking advantage of previously obtained ones. In this paper we propose the use of a deep learning architecture to segment movable objects from 3D LiDAR point clouds in order to obtain longer lasting 3D maps. This will in turn allow for better, faster and more accurate re localization and trajectoy estimation on subsequent days. We show the effectiveness of our approach in a very dynamic and cluttered scenario, a supermarket parking lot. For that, we record several sequences on different days and compare localization errors with and without our movable objects segmentation method. Results show that we are able to accurately re locate over a filtered map, consistently reducing trajectory errors between an average of 35.1 with respect to a non filtered map version and of 47.9 with respect to a standalone map created on the current session.


The value of randomized strategies in distributionally robust risk averse network interdiction games. Conditional Value at Risk (CVaR) is widely used to account for the preferences of a risk averse agent in the extreme loss scenarios. To study the effectiveness of randomization in interdiction games with an interdictor that is both risk and ambiguity averse, we introduce a distributionally robust network interdiction game where the interdictor randomizes over the feasible interdiction plans in order to minimize the worst case CVaR of the flow with respect to both the unknown distribution of the capacity of the arcs and his mixed strategy over interdicted arcs. The flow player, on the contrary, maximizes the total flow in the network. By using the budgeted uncertainty set, we control the degree of conservatism in the model and reformulate the interdictor's non linear problem as a bi convex optimization problem. For solving this problem to any given optimality level, we devise a spatial branch and bound algorithm that uses the McCormick inequalities and reduced reformulation linearization technique (RRLT) to obtain convex relaxation of the problem. We also develop a column generation algorithm to identify the optimal support of the convex relaxation which is then used in the coordinate descent algorithm to determine the upper bounds. The efficiency and convergence of the spatial branch and bound algorithm is established in the numerical experiments. Further, our numerical experiments show that randomized strategies can have significantly better in sample and out of sample performance than optimal deterministic ones.


Fast Noise Removal for k Means Clustering. This paper considers k means clustering in the presence of noise. It is known that k means clustering is highly sensitive to noise, and thus noise should be removed to obtain a quality solution. A popular formulation of this problem is called k means clustering with outliers. The goal of k means clustering with outliers is to discard up to a specified number z of points as noise outliers and then find a k means solution on the remaining data. The problem has received significant attention, yet current algorithms with theoretical guarantees suffer from either high running time or inherent loss in the solution quality. The main contribution of this paper is two fold. Firstly, we develop a simple greedy algorithm that has provably strong worst case guarantees. The greedy algorithm adds a simple preprocessing step to remove noise, which can be combined with any k means clustering algorithm. This algorithm gives the first pseudo approximation preserving reduction from k means with outliers to k means without outliers. Secondly, we show how to construct a coreset of size O(k log n) . When combined with our greedy algorithm, we obtain a scalable, near linear time algorithm. The theoretical contributions are verified experimentally by demonstrating that the algorithm quickly removes noise and obtains a high quality clustering.


The investor problem based on the HJM model. We consider a consumption investment problem (both on finite and infinite time horizon) in which the investor has an access to the bond market. In our approach prices of bonds with different maturities are described by the general HJM factor model. We assume that the bond market consists of entire family of rolling bonds and the investment strategy is a general signed measure distributed on all real numbers representing time to maturity specifications for different rolling bonds. In particular, we can consider portfolio of coupon bonds. The investor's objective is to maximize time additive utility of the consumption process. We solve the problem by means of the HJB equation for which we prove required regularity of its solution and all required estimates to ensure applicability of the verification theorem. Explicit calculations for affine models are presented.


physics.comp-ph cs.NA math.DS math.NA physics.ed-ph

A numerical damped oscillator approach to constrained Schr " o dinger equations. This article explains and illustrates the use of a set of coupled dynamical equations, second order in a fictitious time, which converges to solutions of stationary Schr " o dinger equations with additional constraints. We include three qualitative different numerical examples the radial Schr " o dinger equation for the hydrogen atom the two dimensional harmonic oscillator with degenerate excited states and finally a non linear Schr " o dinger equation for rotating states. The presented method is intuitive, with analogies in classical mechanics for damped oscillators, and easy to implement, either in own coding, or with software for dynamical systems. Hence, we find it suitable to introduce it in a continuation course in quantum mechanics or generally in applied mathematics courses which contain computational parts.


Polysemous Visual Semantic Embedding for Cross Modal Retrieval. Visual semantic embedding aims to find a shared latent space where related visual and textual instances are close to each other. Most current methods learn injective embedding functions that map an instance to a single point in the shared space. Unfortunately, injective embedding cannot effectively handle polysemous instances with multiple possible meanings at best, it would find an average representation of different meanings. This hinders its use in real world scenarios where individual instances and their cross modal associations are often ambiguous. In this work, we introduce Polysemous Instance Embedding Networks (PIE Nets) that compute multiple and diverse representations of an instance by combining global context with locally guided features via multi head self attention and residual learning. To learn visual semantic embedding, we tie up two PIE Nets and optimize them jointly in the multiple instance learning framework. Most existing work on cross modal retrieval focuses on image text data. Here, we also tackle a more challenging case of video text retrieval. To facilitate further research in video text retrieval, we release a new dataset of 50K video sentence pairs collected from social media, dubbed MRW (my reaction when). We demonstrate our approach on both image text and video text retrieval scenarios using MS COCO, TGIF, and our new MRW dataset.


Improving Layer wise Adaptive Rate Methods using Trust Ratio Clipping. Training neural networks with large batch is of fundamental significance to deep learning. Large batch training remarkably reduces the amount of training time but has difficulties in maintaining accuracy. Recent works have put forward optimization methods such as LARS and LAMB to tackle this issue through adaptive layer wise optimization using trust ratios. Though prevailing, such methods are observed to still suffer from unstable and extreme trust ratios which degrades performance. In this paper, we propose a new variant of LAMB, called LAMBC, which employs trust ratio clipping to stabilize its magnitude and prevent extreme values. We conducted experiments on image classification tasks such as ImageNet and CIFAR 10 and our empirical results demonstrate promising improvements across different batch sizes.


Multi Task Offloading over Vehicular Clouds under Graph based Representation. Vehicular cloud computing has emerged as a promising paradigm for realizing user requirements in computation intensive tasks in modern driving environments. In this paper, a novel framework of multi task offloading over vehicular clouds (VCs) is introduced where tasks and VCs are modeled as undirected weighted graphs. Aiming to achieve a trade off between minimizing task completion time and data exchange costs, task components are efficiently mapped to available virtual machines in the related VCs. The problem is formulated as a non linear integer programming problem, mainly under constraints of limited contact between vehicles as well as available resources, and addressed in low traffic and rush hour scenarios. In low traffic cases, we determine optimal solutions in rush hour cases, a connection restricted randommatching based subgraph isomorphism algorithm is proposed that presents low computational complexity. Evaluations of the proposed algorithms against greedy based baseline methods are conducted via extensive simulations.


Chance Constrained and Yield aware Optimization of Photonic ICs with Non Gaussian Correlated Process Variations. Uncertainty quantification has become an efficient tool for uncertainty aware prediction, but its power in yield aware optimization has not been well explored from either theoretical or application perspectives. Yield optimization is a much more challenging task. On one side, optimizing the generally non convex probability measure of performance metrics is difficult. On the other side, evaluating the probability measure in each optimization iteration requires massive simulation data, especially when the process variations are non Gaussian correlated. This paper proposes a data efficient framework for the yield aware optimization of photonic ICs. This framework optimizes the design performance with a yield guarantee, and it consists of two modules a modeling module that builds stochastic surrogate models for design objectives and chance constraints with a few simulation samples, and a novel yield optimization module that handles probabilistic objectives and chance constraints in an efficient deterministic way. This deterministic treatment avoids repeatedly evaluating probability measures at each iteration, thus it only requires a few simulations in the whole optimization flow. We validate the accuracy and efficiency of the whole framework by a synthetic example and two photonic ICs. Our optimization method can achieve more than 30 times reduction of simulation cost and better design performance on the test cases compared with a Bayesian yield optimization approach developed recently.


A Compact High Frequency Voltage Amplifier for Superconductor Semiconductor Logic Interface. The many advantages of cryogenically cooled Single Flux Quantum (SFQ) circuits imply that the high speed and low voltage output signals must be amplified and interfaced with standard electronics. State of the art low noise and wide band amplifiers are required to interface with room temperature electronics. One solution is to place preamplifiers at the cryogenic stage, which requires specific semiconductor design and fabrication. However, a more viable and energy efficient approach is to integrate the pulsed logic circuit output stages with on chip superconductor preamplifiers. We designed, fabricated, and tested an on chip compact voltage multiplier integrated with the output stage of SFQ circuits to increase the voltage amplitude of SFQ pulses. The circuit is designed with the same technology as the logic circuit hence its noise level is lower, and it works at higher frequencies compared to CMOS amplifiers and due to quantized nature of it there is no added noise. The fabricated circuit has a compact size of 160 um x 320um and provides about 10 dB gain with measured 600 uV output voltage at frequencies up to 25 GHz in simulations. By stacking more levels, over 20 dB gain at circuit level is achievable as shown in simulations. Moreover the gain of the superconductor voltage amplifier is quantized and programmable.


Feature Interaction Aware Configuration Prioritization for Configurable Code. Unexpected interactions among features induce most bugs in a configurable software system. Exhaustively analyzing all the exponential number of possible configurations is prohibitively costly. Thus, various sampling techniques have been proposed to systematically narrow down the exponential number of legal configurations to be analyzed. Since analyzing all selected configurations can require a huge amount of effort, fault based configuration prioritization, that helps detect faults earlier, can yield practical benefits in quality assurance. In this paper, we propose CoPro, a novel formulation of feature interaction bugs via common program entities enabled disabled by the features. Leveraging from that, we develop an efficient feature interaction aware configuration prioritization technique for a configurable system by ranking the configurations according to their total number of potential bugs. We conducted several experiments to evaluate CoPro on the ability to detect configuration related bugs in a public benchmark. We found that CoPro outperforms the state of the art configuration prioritization techniques when we add them on advanced sampling algorithms. In 78 of the cases, CoPro ranks the buggy configurations at the top 3 positions in the resulting list. Interestingly, CoPro is able to detect 17 not yet discovered feature interaction bugs.


Parallel Multi Hypothesis Algorithm for Criticality Estimation in Traffic and Collision Avoidance. Due to the current developments towards autonomous driving and vehicle active safety, there is an increasing necessity for algorithms that are able to perform complex criticality predictions in real time. Being able to process multi object traffic scenarios aids the implementation of a variety of automotive applications such as driver assistance systems for collision prevention and mitigation as well as fall back systems for autonomous vehicles. We present a fully model based algorithm with a parallelizable architecture. The proposed algorithm can evaluate the criticality of complex, multi modal (vehicles and pedestrians) traffic scenarios by simulating millions of trajectory combinations and detecting collisions between objects. The algorithm is able to estimate upcoming criticality at very early stages, demonstrating its potential for vehicle safety systems and autonomous driving applications. An implementation on an embedded system in a test vehicle proves in a prototypical manner the compatibility of the algorithm with the hardware possibilities of modern cars. For a complex traffic scenario with 11 dynamic objects, more than 86 million pose combinations are evaluated in 21 ms on the GPU of a Drive PX 2.


Driver Drowsiness Classification Based on Eye Blink and Head Movement Features Using the k NN Algorithm. Modern advanced driver assistance systems analyze the driving performance to gather information about the driver's state. Such systems are able, for example, to detect signs of drowsiness by evaluating the steering or lane keeping behavior and to alert the driver when the drowsiness state reaches a critical level. However, these kinds of systems have no access to direct cues about the driver's state. Hence, the aim of this work is to extend the driver drowsiness detection in vehicles using signals of a driver monitoring camera. For this purpose, 35 features related to the driver's eye blinking behavior and head movements are extracted in driving simulator experiments. Based on that large dataset, we developed and evaluated a feature selection method based on the k Nearest Neighbor algorithm for the driver's state classification. A concluding analysis of the best performing feature sets yields valuable insights about the influence of drowsiness on the driver's blink behavior and head movements. These findings will help in the future development of robust and reliable driver drowsiness monitoring systems to prevent fatigue induced accidents.


Excitable Networks for Finite State Computation with Continuous Time Recurrent Neural Networks. Continuous time recurrent neural networks (CTRNN) are systems of coupled ordinary differential equations that are simple enough to be insightful for describing learning and computation, from both biological and machine learning viewpoints. We describe a direct constructive method of realising finite state input dependent computations on an arbitrary directed graph. The constructed system has an excitable network attractor whose dynamics we illustrate with a number of examples. The resulting CTRNN has intermittent dynamics trajectories spend long periods of time close to steady state, with rapid transitions between states. Depending on parameters, transitions between states can either be excitable (inputs or noise needs to exceed a threshold to induce the transition), or spontaneous (transitions occur without input or noise). In the excitable case, we show the threshold for excitability can be made arbitrarily sensitive.


Mapping class groups of surfaces of genus geq 3 do not virtually surject to mathbb Z . We prove a well known conjecture of Nikolai Ivanov which states that if X is a surface of genus geq 3 (with any number of punctures and boundary components), rm Mod (X) is the mapping class group of X , and K rm Mod (X) is a finite index subgroup, then K does not virtually surject to mathbb Z . As a corollary of this we get that H 1(Z mathbb Q ) 0 whenever Z is a finite cover of mathcal M g,n , the moduli space of complex algebraic curves of genus g geq 3 with n marked points.


physics.app-ph physics.comp-ph physics.flu-dyn physics.plasm-ph

The ElectroHydroDynamic force distribution in surface AC Dielectric Barrier Discharge actuators do streamers dictate the ionic wind profiles?. We show that the spatio temporal ElectroHydroDynamic (EHD) force production in surface AC Dielectric Barrier Discharge (AC DBD) actuators is strongly influenced by both the streamer regime during the positive phase and the micro discharge regime during the negative phase. Focusing on the spatial EHD force profiles, we demonstrate that the ionic wind spatial distribution can only be explained by the positive contribution of the streamer regime. The location of maximum ionic wind is found to be directly linked with the maximum elongation of the streamers at several millimeters from the exposed electrode. In both positive and negative phases of the AC DBD operation, residual volumetric and surface charges once again linked to the streamer formation and afterburn, result to a variety of positive EHD force zones which, when time averaged in one AC period, contribute to the generation of the experimentally observed induced thin wall jet. Through a thorough elaboration of our numerical results, we provide an illustrative explanation of the EHD force spatio temporal evolution, showcase the importance of streamers and retrieve a correct representation of the ionic wind spatial profiles when compared to experiments.


Carleson measures on convex domains. Following M.Abate and A.Saracco's work on strongly pseudoconvex domains in mathbb C n , we characterize Carleson measures of A 2(D) in bounded convex domains with smooth boundary of finite type. We also give examples of Carleson measures with uniformly discrete (with respect to the Kobayashi distance) sequences.


Implementations of efficient univariate polynomial matrix algorithms and application to bivariate resultants. Complexity bounds for many problems on matrices with univariate polynomial entries have been improved in the last few years. Still, for most related algorithms, efficient implementations are not available, which leaves open the question of the practical impact of these algorithms, e.g. on applications such as decoding some error correcting codes and solving polynomial systems or structured linear systems. In this paper, we discuss implementation aspects for most fundamental operations multiplication, truncated inversion, approximants, interpolants, kernels, linear system solving, determinant, and basis reduction. We focus on prime fields with a word size modulus, relying on Shoup's C library NTL. Combining these new tools to implement variants of Villard's algorithm for the resultant of generic bivariate polynomials (ISSAC 2018), we get better performance than the state of the art for large parameters.


Group theoretical origin of symmetries of hypergeometric class equations and functions. We show that properties of hypergeometric class equations and functions become transparent if we derive them from appropriate 2nd order differential equations with constant coefficients. More precisely, properties of the hypergeometric and Gegenbauer equation can be derived from generalized symmetries of the Laplace equation in 4, resp. 3 dimension. Properties of the confluent, resp. Hermite equation can be derived from generalized symmetries of the heat equation in 2, resp. 1 dimension. Finally, the theory of the 1F 1 equation (equivalent to the Bessel equation) follows from the symmetries of the Helmholtz equation in 2 dimensions. All these symmetries become very simple when viewed on the level of the 6 or 5 dimensional ambient space. Crucial role is played by the Lie algebra of generalized symmetries of these 2nd order PDE's, its Cartan algebra, the set of roots and the Weyl group. Standard hypergeometric class functions are special solutions of these PDE's diagonalizing the Cartan algebra. Recurrence relations of these functions correspond to the roots. Their discrete symmetries correspond to the elements of the Weyl group.


Automatic Critical Mechanic Discovery Using Playtraces in Video Games. We present a new method of automatic critical mechanic discovery for video games using a combination of game description parsing and playtrace information. This method is applied to several games within the General Video Game Artificial Intelligence (GVG AI) framework. In a user study, human identified mechanics are compared against system identified critical mechanics to verify alignment between humans and the system. The results of the study demonstrate that the new method is able to match humans with higher consistency than baseline. Our system is further validated by comparing MCTS agents augmented with critical mechanics and vanilla MCTS agents on 4 games from GVG AI. Our new playtrace method shows a significant performance improvement over the baseline for all 4 tested games. The proposed method also shows either matched or improved performance over the old method, demonstrating that playtrace information is responsible for more complete critical mechanic discovery.


The Extension Degree Conditions for Fractional Factor. In Gao's previous work, the authors determined several graph degree conditions of a graph which admits fractional factor in particular settings. It was revealed that these degree conditions are tight if b f(x) g(x) a for all vertices x in G . In this paper, we continue to discuss these degree conditions for admitting fractional factor in the setting that several vertices and edges are removed and there is a difference Delta between g(x) and f(x) for every vertex x in G . These obtained new degree conditions reformulate Gao's previous conclusions, and show how Delta acts in the results. Furthermore, counterexamples are structured to reveal the sharpness of degree conditions in the setting f(x) g(x) Delta .


Consistency Analysis of Replication Based Probabilistic Key Value Stores. Partial quorum systems are widely used in distributed key value stores due to their latency benefits at the expense of providing weaker consistency guarantees. The probabilistically bounded staleness framework (PBS) studied the latency consistency trade off of Dynamo style partial quorum systems through Monte Carlo event based simulations. In this paper, we study the latency consistency trade off for such systems analytically and derive a closed form expression for the inconsistency probability. Our approach allows fine tuning of latency and consistency guarantees in key value stores, which is intractable using Monte Carlo event based simulations.


Between Broadway and the Hudson A Bijection of Corridor Paths. We present a substantial generalization of the equinumeracy of grand Dyck paths and Dyck path prefixes, constrained within a band. The number of constrained paths starting at level i and ending in a window of size 2j 2 is equal to the number starting at level j and ending in a window of size 2i 2 centered around the same point. A new encoding of lattice paths provides a bijective proof.


Linear Consistency for Proof of Stake Blockchains. The blockchain data structure maintained via the longest chain rule popularized by Bitcoin is a powerful algorithmic tool for consensus algorithms. Such algorithms achieve consistency for blocks in the chain as a function of their depth from the end of the chain. While the analysis of Bitcoin guarantees consistency with error 2 k for blocks of depth O(k) , the state of the art of proof of stake (PoS) blockchains suffers from a quadratic dependence on k these protocols, exemplified by Ouroboros (Crypto 2017), Ouroboros Praos (Eurocrypt 2018) and Sleepy Consensus (Asiacrypt 2017), can only establish that depth Theta(k 2) is sufficient. Whether this quadratic gap is an intrinsic limitation of PoS due to issues such as the nothing at stake problem has been an urgent open question, as deployed PoS blockchains further rely on consistency for protocol correctness. We give an axiomatic theory of blockchain dynamics that permits rigorous reasoning about the longest chain rule and achieve, in broad generality, Theta(k) dependence on depth in order to achieve consistency error 2 k . In particular, for the first time, we show that PoS protocols can match proof of work protocols for linear consistency. We analyze the associated stochastic process, give a recursive relation for the critical functionals of this process, and derive tail bounds in both i.i.d. and martingale settings via associated generating functions.