Semibricks in extriangulated categories. Let mathcal X be a semibrick in an extriangulated category mathscr C . Let mathcal T be the filtration subcategory generated by mathcal X . We give a one to one correspondence between simple semibricks and length wide subcategories in mathscr C . This generalizes a bijection given by Ringel in module categories, which has been generalized by Enomoto to exact categories. Moreover, we also give a one to one correspondence between cotorsion pairs in mathcal T and certain subsets of mathcal X . Applying to the simple minded systems of an triangulated category, we recover a result given by Dugas.


Spectral Analysis and Fixed Point Stability of Deep Neural Dynamics. In this work, we analyze the eigenvalue spectra and stability of discrete time dynamical systems parametrized by deep neural networks. In particular, we leverage a representation of deep neural networks as pointwise affine maps, thus exposing their local linear operators and making them accessible to classical system analytic methods.The view of neural networks as affine parameter varying maps allows us to "crack open the black box" of neural network dynamical behavior by visualizing stationary points, state space partitioning, and eigenvalue spectra. We provide sufficient conditions for the fixed point stability of discrete time deep neural dynamical systems. Empirically, we analyze the variance in dynamical behavior and eigenvalue spectra of local linear operators of neural dynamics with varying weight factorizations, activation functions, bias terms, and depths.


On the Connection between Dynamical Optimal Transport and Functional Lifting. Functional lifting methods provide a tool for approximating solutions of difficult non convex problems by embedding them into a larger space. In this work, we investigate a mathematically rigorous formulation based on embedding into the space of pointwise probability measures over a fixed range Gamma . Interestingly, this approach can be derived as a generalization of the theory of dynamical optimal transport. Imposing the established continuity equation as a constraint corresponds to variational models with first order regularization. By modifying the continuity equation, the approach can also be extended to models with higher order regularization.


Singular solutions for the constant Q curvature problem. This paper is devoted to the construction of weak solutions to the singular constant Q curvature problem. We build on several tools developed in the last years. This is the first construction of singular metrics on closed manifolds of sufficiently large dimension with constant (positive) Q curvature.


Long Term Personalization of an In Home Socially Assistive Robot for Children With Autism Spectrum Disorders. Socially assistive robots (SAR) have shown great potential to augment the social and educational development of children with autism spectrum disorders (ASD). As SAR continues to substantiate itself as an effective enhancement to human intervention, researchers have sought to study its longitudinal impacts in real world environments, including the home. Computational personalization stands out as a central computational challenge as it is necessary to enable SAR systems to adapt to each child's unique and changing needs. Toward that end, we formalized personalization as a hierarchical human robot learning framework (hHRL) consisting of five controllers (disclosure, promise, instruction, feedback, and inquiry) mediated by a meta controller that utilized reinforcement learning to personalize instruction challenge levels and robot feedback based on each user's unique learning patterns. We instantiated and evaluated the approach in a study with 17 children with ASD, aged 3 to 7 years old, over month long interventions in their homes. Our findings demonstrate that the fully autonomous SAR system was able to personalize its instruction and feedback over time to each child's proficiency. As a result, every child participant showed improvements in targeted skills and long term retention of intervention content. Moreover, all child users were engaged for a majority of the intervention, and their families reported the SAR system to be useful and adaptable. In summary, our results show that autonomous, personalized SAR interventions are both feasible and effective in providing long term in home developmental support for children with diverse learning needs.


Tightly coupled Fusion of Global Positional Measurements in Optimization based Visual Inertial Odometry. Motivated by the goal of achieving robust, drift free pose estimation in long term autonomous navigation, in this work we propose a methodology to fuse global positional information with visual and inertial measurements in a tightly coupled nonlinear optimization based estimator. Differently from previous works, which are loosely coupled, the use of a tightly coupled approach allows exploiting the correlations amongst all the measurements. A sliding window of the most recent system states is estimated by minimizing a cost function that includes visual re projection errors, relative inertial errors, and global positional residuals. We use IMU preintegration to formulate the inertial residuals and leverage the outcome of such algorithm to efficiently compute the global position residuals. The experimental results show that the proposed method achieves accurate and globally consistent estimates, with negligible increase of the optimization computational cost. Our method consistently outperforms the loosely coupled fusion approach. The mean position error is reduced up to 50 with respect to the loosely coupled approach in outdoor Unmanned Aerial Vehicle (UAV) flights, where the global position information is given by noisy GPS measurements. To the best of our knowledge, this is the first work where global positional measurements are tightly fused in an optimization based visual inertial odometry algorithm, leveraging the IMU preintegration method to define the global positional factors.


Monge Amp ere equation with bounded periodic data. We consider the Monge Amp ere equation det(D 2u) f in mathbb R n , where f is a positive bounded periodic function. We prove that u must be the sum of a quadratic polynomial and a periodic function. For f equiv 1 , this is the classic result by J "orgens, Calabi and Pogorelov. For f in C alpha , this was proved by Caffarelli and the first named author.


Compactness of scalar flat conformal metrics on low dimensional manifolds with constant mean curvature on boundary. We concern C 2 compactness of the solution set of the boundary Yamabe problem on smooth compact Riemannian manifolds with boundary provided that their dimensions are 4 , 5 or 6 . By conducting a quantitative analysis of a linear equation associated with the problem, we prove that the trace free second fundamental form must vanish at possible blow up points of a sequence of blowing up solutions. Applying this result and the positive mass theorem, we deduce the C 2 compactness for all 4 manifolds (which may be non umbilic). For the 5 dimensional case, we also establish that a sum of the second order derivatives of the trace free second fundamental form is non negative at possible blow up points. We essentially use this fact to obtain the C 2 compactness for all 5 manifolds. Finally, we show that the C 2 compactness on 6 manifolds is true if the trace free second fundamental form on the boundary never vanishes.


Slicing a single wireless collision channel among throughput and timeliness sensitive services. The fifth generation (5G) wireless system has a platform driven approach, aiming to support heterogeneous connections with very diverse requirements. The shared wireless resources should be sliced in a way that each user perceives that its requirement has been met. Heterogeneity challenges the traditional notion of resource efficiency, as the resource usage has cater for, e.g. rate maximization for one user and timeliness requirement for another user. This paper treats a model for radio access network (RAN) uplink, where a throughput demanding broadband user shares wireless resources with an intermittently active user that wants to optimize the timeliness, expressed in terms of latency reliability or Age of Information (AoI). We evaluate the trade offs between throughput and timeliness for Orthogonal Multiple Access (OMA) as well as Non Orthogonal Multiple Access (NOMA) with successive interference cancellation (SIC). We observe that NOMA with SIC, in a conservative scenario with destructive collisions, is just slightly inferior to that of OMA, which indicates that it may offer significant benefits in practical deployments where the capture effect is frequently encountered. On the other hand, finding the optimal configuration of NOMA with SIC depends on the activity pattern of the intermittent user, to which OMA is insensitive.


Fractional diffusion limit of a linear Boltzmann model with reflective boundaries in a half space. We investigate the fractional diffusion limit of a Linear Boltzmann equation with heavy tailed velocity equilibrium in a half space with Maxwell boundary conditions. We derive a new confined version of the fractional Laplacian and show uniqueness of weak solutions to the associated non local diffusion equation. This paper extends previous results of L. Cesbron, A. Mellet and M. Puel 5 on the same kinetic model with diffusive boundary conditions.


Bilinear integral operator on Morrey Banach spaces and its application. In this paper, we give the definability of bilinear singular and fractional integral operators on Morrey Banach space, as well as their commutators and we prove the boundedness of such operators on Morrey Banach spaces. Moreover, the necessary condition for BMO via the bounedness of bilinear commutators on Morrey Banach space is also given. As a application of our main results, we get the necessary conditions for BMO via the bounedness of bilinear integral operators on weighted Morrey space and Morrey space with variable exponents. Finally, we obtain the boundedness of bilinear C Z operator on Morrey space with variable exponents.


Introducing Syntactic Structures into Target Opinion Word Extraction with Deep Learning. Targeted opinion word extraction (TOWE) is a sub task of aspect based sentiment analysis (ABSA) which aims to find the opinion words for a given aspect term in a sentence. Despite their success for TOWE, the current deep learning models fail to exploit the syntactic information of the sentences that have been proved to be useful for TOWE in the prior research. In this work, we propose to incorporate the syntactic structures of the sentences into the deep learning models for TOWE, leveraging the syntax based opinion possibility scores and the syntactic connections between the words. We also introduce a novel regularization technique to improve the performance of the deep learning models based on the representation distinctions between the words in TOWE. The proposed model is extensively analyzed and achieves the state of the art performance on four benchmark datasets.


Optical Flow Estimation in the Deep Learning Age. Akin to many subareas of computer vision, the recent advances in deep learning have also significantly influenced the literature on optical flow. Previously, the literature had been dominated by classical energy based models, which formulate optical flow estimation as an energy minimization problem. However, as the practical benefits of Convolutional Neural Networks (CNNs) over conventional methods have become apparent in numerous areas of computer vision and beyond, they have also seen increased adoption in the context of motion estimation to the point where the current state of the art in terms of accuracy is set by CNN approaches. We first review this transition as well as the developments from early work to the current state of CNNs for optical flow estimation. Alongside, we discuss some of their technical details and compare them to recapitulate which technical contribution led to the most significant accuracy improvements. Then we provide an overview of the various optical flow approaches introduced in the deep learning age, including those based on alternative learning paradigms (e.g., unsupervised and semi supervised methods) as well as the extension to the multi frame case, which is able to yield further accuracy improvements.


Residual Finiteness and Related Properties in Monounary Algebras and their Direct Products. In this paper we discuss the relationship between direct products of monounary algebras and their components, with respect to the properties of residual finiteness, strong weak subalgebra separability, and complete separability. For each of these properties mathcal P , we give a graphical criterion mathcal C P such that a monounary algebra A has property mathcal P if and only if it satisfies mathcal C P . We also show that for a direct product A times B of monounary algebras, A times B has property mathcal P if and only if one of the following is true either both A and B have property mathcal P , or at least one of A or B are backwards bounded, a special property which dominates direct products and which guarantees all mathcal P hold.


Modeling and Prediction of Rigid Body Motion with Planar Non Convex Contact. We present a principled method for motion prediction via dynamic simulation for rigid bodies in intermittent contact with each other where the contact region is a planar non convex contact patch. Such methods are useful in planning and control for robotic manipulation. The planar non convex contact patch can either be a topologically connected set or disconnected set. Most work in rigid body dynamic simulation assume that the contact between objects is a point contact, which may not be valid in many applications. In this paper, by using the convex hull of the contact patch, we build on our recent work on simulating rigid bodies with convex contact patches for simulating motion of objects with planar non convex contact patches. We formulate a discrete time mixed complementarity problem where we solve the contact detection and integration of the equations of motion simultaneously. We solve for the equivalent contact point (ECP) and contact impulse of each contact patch simultaneously along with the state, i.e., configuration and velocity of the objects. We prove that although we are representing a patch contact by an equivalent point, our model for enforcing non penetration constraints ensure that there is no artificial penetration between the contacting rigid bodies. We provide empirical evidence to show that our method can seamlessly capture transition among different contact modes like patch contact, multiple or single point contact.


Enabling RAN Slicing Through Carrier Aggregation in mmWave Cellular Networks. The ever increasing number of connected devices and of new and heterogeneous mobile use cases implies that 5G cellular systems will face demanding technical challenges. For example, Ultra Reliable Low Latency Communication (URLLC) and enhanced Mobile Broadband (eMBB) scenarios present orthogonal Quality of Service (QoS) requirements that 5G aims to satisfy with a unified Radio Access Network (RAN) design. Network slicing and mmWave communications have been identified as possible enablers for 5G. They provide, respectively, the necessary scalability and flexibility to adapt the network to each specific use case environment, and low latency and multi gigabit per second wireless links, which tap into a vast, currently unused portion of the spectrum. The optimization and integration of these technologies is still an open research challenge, which requires innovations at different layers of the protocol stack. This paper proposes to combine them in a RAN slicing framework for mmWaves, based on carrier aggregation. Notably, we introduce MilliSlice, a cross carrier scheduling policy that exploits the diversity of the carriers and maximizes their utilization, thus simultaneously guaranteeing high throughput for the eMBB slices and low latency and high reliability for the URLLC flows.


Exact double averages of twisted L values. Consider central L values of even weight elliptic or Hilbert modular forms f twisted by ideal class characters chi of an imaginary quadratic extension K . Fixing chi , and assuming K is inert at each prime dividing the level, one knows simple exact formulas for averages over newforms f of squarefree levels satisfying a parity condition on the number of prime factors. These averages stabilize when the level is large with respect to K (the "stable range"). In weight 2, we obtain exact formulas for a simultaneous average over both f and chi . We allow for non squarefree levels with any number of prime factors, and ramification or splitting of K above the level. Under elementary conditions on the level, these double averages are "stable" in all ranges. Two consequences are generalizations of the aforementioned stable (single) averages and effective results on nonvanishing of central L values.


Learning Spatial Awareness to Improve Crowd Counting. The aim of crowd counting is to estimate the number of people in images by leveraging the annotation of center positions for pedestrians' heads. Promising progresses have been made with the prevalence of deep Convolutional Neural Networks. Existing methods widely employ the Euclidean distance (i.e., L 2 loss) to optimize the model, which, however, has two main drawbacks (1) the loss has difficulty in learning the spatial awareness (i.e., the position of head) since it struggles to retain the high frequency variation in the density map, and (2) the loss is highly sensitive to various noises in crowd counting, such as the zero mean noise, head size changes, and occlusions. Although the Maximum Excess over SubArrays (MESA) loss has been previously proposed to address the above issues by finding the rectangular subregion whose predicted density map has the maximum difference from the ground truth, it cannot be solved by gradient descent, thus can hardly be integrated into the deep learning framework. In this paper, we present a novel architecture called SPatial Awareness Network (SPANet) to incorporate spatial context for crowd counting. The Maximum Excess over Pixels (MEP) loss is proposed to achieve this by finding the pixel level subregion with high discrepancy to the ground truth. To this end, we devise a weakly supervised learning scheme to generate such region with a multi branch architecture. The proposed framework can be integrated into existing deep crowd counting methods and is end to end trainable. Extensive experiments on four challenging benchmarks show that our method can significantly improve the performance of baselines. More remarkably, our approach outperforms the state of the art methods on all benchmark datasets.


Linear Response Theory for Nonlinear Stochastic Differential Equations with alpha stable L ' e vy Noises. We consider a nonlinear stochastic differential equation driven by an alpha stable L ' e vy process ( 1 alpha 2 ). We first obtain some regularity results for the probability density of its invariant measure via establishing the a priori estimate of the corresponding stationary Fokker Planck equation. Then by the a priori estimate of Kolmogorov backward equations and the perturbation property of Markov semigroup, we derive the response function and generalize the famous linear response theory in nonequilibrium statistical mechanics to non Gaussian stochastic dynamic systems.


A diameter bound for compact surfaces and the Plateau Douglas problem. In this paper we give a geometric argument for bounding the diameter of a connected compact surface (with boundary) of arbitrary codimension in Euclidean space in terms of Topping's diameter bound for closed surfaces (without boundary). The obtained estimate is expected to be optimal for minimal surfaces in the sense that optimality follows if the Topping conjecture holds true. Our result directly implies an explicit nonexistence criterion in the classical Plateau Douglas problem. We exhibit examples of boundary contours to ensure that our criterion is of different type from classical criteria based on the maximum principle and White's criterion based on a density estimate.


On Weierstrass mock modular forms and a dimension formula for certain vertex operator algebras. Using techniques from the theory of mock modular forms and harmonic Maass forms, especially Weierstrass mock modular forms, we establish several dimension formulas for certain strongly rational, holomorphic vertex operator algebras, complementing previous work by van Ekeren, M "oller, and Scheithauer.


Periodic Bandits and Wireless Network Selection. Bandit style algorithms have been studied extensively in stochastic and adversarial settings. Such algorithms have been shown to be useful in multiplayer settings, e.g. to solve the wireless network selection problem, which can be formulated as an adversarial bandit problem. A leading bandit algorithm for the adversarial setting is EXP3. However, network behavior is often repetitive, where user density and network behavior follow regular patterns. Bandit algorithms, like EXP3, fail to provide good guarantees for periodic behaviors. A major reason is that these algorithms compete against fixed action policies, which is ineffective in a periodic setting. In this paper, we define a periodic bandit setting, and periodic regret as a better performance measure for this type of setting. Instead of comparing an algorithm's performance to fixed action policies, we aim to be competitive with policies that play arms under some set of possible periodic patterns F (for example, all possible periodic functions with periods 1,2, cdots,P ). We propose Periodic EXP4, a computationally efficient variant of the EXP4 algorithm for periodic settings. With K arms, T time steps, and where each periodic pattern in F is of length at most P , we show that the periodic regret obtained by Periodic EXP4 is at most O big( sqrt PKT log K KT log F big) . We also prove a lower bound of Omega big( sqrt PKT KT frac log F log K big) for the periodic setting, showing that this is optimal within log factors. As an example, we focus on the wireless network selection problem. Through simulation, we show that Periodic EXP4 learns the periodic pattern over time, adapts to changes in a dynamic environment, and far outperforms EXP3.


A data science approach to drug safety Semantic and visual mining of adverse drug events from clinical trials of pain treatments. Clinical trials are the basis of Evidence Based Medicine. Trial results are reviewed by experts and consensus panels for producing meta analyses and clinical practice guidelines. However, reviewing these results is a long and tedious task, hence the meta analyses and guidelines are not updated each time a new trial is published. Moreover, the independence of experts may be difficult to appraise. On the contrary, in many other domains, including medical risk analysis, the advent of data science, big data and visual analytics allowed moving from expert based to fact based knowledge. Since 12 years, many trial results are publicly available online in trial registries. Nevertheless, data science methods have not yet been applied widely to trial data. In this paper, we present a platform for analyzing the safety events reported during clinical trials and published in trial registries. This platform is based on an ontological model including 582 trials on pain treatments, and uses semantic web technologies for querying this dataset at various levels of granularity. It also relies on a 26 dimensional flower glyph for the visualization of the Adverse Drug Events (ADE) rates in 13 categories and 2 levels of seriousness. We illustrate the interest of this platform through several use cases and we were able to find back conclusions that were initially found during meta analyses. The platform was presented to four experts in drug safety, and is publicly available online, with the ontology of pain treatment ADE.


Identification of linear dynamical systems and machine learning. The topic of identification of dynamic systems, has been at the core of modern control , following the fundamental works of Kalman. Realization Theory has been one of the major outcomes in this domain, with the possibility of identifying a dynamic system from an input output relationship. The recent development of machine learning concepts has rejuvanated interest for identification. In this paper, we review briefly the results of realization theory, and develop some methods inspired by Machine Learning concepts.


The geometric sieve for quadrics. We develop a version of Ekedahl's geometric sieve for integral quadratic forms of rank at least five. As one ranges over the zeros of such quadratic forms, we use the sieve to compute the density of coprime values of polynomials, and furthermore, to address a question about local solubility in families of varieties parameterised by the zeros.


Saturn ring defect around a spherical particle immersed in nematic liquid crystal. We consider a nematic liquid crystal occupying the three dimensional domain in the exterior of a spherical colloid particle. The nematic is subject to Dirichlet boundary conditions that enforce orthogonal attachment of nematic molecules to the surface of the particle. Our main interest is to understand the behavior of energy critical configurations of the Landau de Gennes Q tensor model in the limit of vanishing correlation length. We demonstrate existence of configurations with a single Saturn ring defect approaching the equator of the particle and no other line or point defects. We show this by analyzing asymptotics of energy minimizers under two symmetry constraints rotational equivariance around the vertical axis and reflection across the horizontal plane. Energy blow up at the ring defect is a significant obstacle to constructing well behaved comparison maps needed to eliminate the possibility of point defects. The boundary estimates we develop to address this issue are new and should be applicable to a wider class of problems.


Uncertainty over Uncertainty Investigating the Assumptions, Annotations, and Text Measurements of Economic Policy Uncertainty. Methods and applications are inextricably linked in science, and in particular in the domain of text as data. In this paper, we examine one such text as data application, an established economic index that measures economic policy uncertainty from keyword occurrences in news. This index, which is shown to correlate with firm investment, employment, and excess market returns, has had substantive impact in both the private sector and academia. Yet, as we revisit and extend the original authors' annotations and text measurements we find interesting text as data methodological research questions (1) Are annotator disagreements a reflection of ambiguity in language? (2) Do alternative text measurements correlate with one another and with measures of external predictive validity? We find for this application (1) some annotator disagreements of economic policy uncertainty can be attributed to ambiguity in language, and (2) switching measurements from keyword matching to supervised machine learning classifiers results in low correlation, a concerning implication for the validity of the index.


Polynomization of the Bessenrodt Ono inequality. In this paper we investigate the generalization of the Bessenrodt Ono inequality by following Gian Carlo Rota's advice in studying problems in combinatorics and number theory in terms of roots of polynomials. We consider the number of k colored partitions of n as special values of polynomials P n(x) . We prove for all real numbers x 2 and a,b in mathbb N with a b 2 the inequality begin equation P a(x) , cdot , P b(x) P a b (x). end equation We show that P n(x) P n 1 (x) for x geq 1 , which generalizes p(n) p(n 1) , where p(n) denotes the partition function. Finally, we observe for small values, the opposite can be true since for example P 2( 3 sqrt 10 ) P 3 ( 3 sqrt 10 ) .


AMLSI A Novel Accurate Action Model Learning Algorithm. This paper presents new approach based on grammar induction called AMLSI Action Model Learning with State machine Interactions. The AMLSI approach does not require a training dataset of plan traces to work. AMLSI proceeds by trial and error it queries the system to learn with randomly generated action sequences, and it observes the state transitions of the system, then AMLSI returns a PDDL domain corresponding to the system. A key issue for domain learning is the ability to plan with the learned domains. It often happens that a small learning error leads to a domain that is unusable for planning. Unlike other algorithms, we show that AMLSI is able to lift this lock by learning domains from partial and noisy observations with sufficient accuracy to allow planners to solve new problems.


To save the Environmental degradation Please pay for ecosystem services!. Project planners should consider the monetary value of ecosystem services in the regional service category and add it to the cost calculation of the project as environmental cost. Managers should monitor and regularly maintain the ecological environment within the project area to maintain the benefits of environmental costs.With regard to the problem of predicting how the model changes over time, we use LSTM to realize dynamic evaluation. The analysis that has been made shows that the monetary value of urban ecological services has increased. The environment is still being damaged. Through neural network memory and learning, the problem can be found, and the model can be modified in time.


An adjunction inequality obstruction to isotopy of embedded surfaces in 4 manifolds. Consider a smooth 4 manifold X and a diffeomorphism f X to X . We give an obstruction in the form of an adjunction inequality for an embedded surface in X to be isotopic to its image under f . It follows that the minimal genus of a surface representing a given homology class and which is isotopic to its image under f is generally larger than the minimal genus without the isotopy condition. We give examples where the inequality is strict. We use our obstruction to construct examples of infinitely many embedded surfaces which are all continuously isotopic but mutually non isotopic smoothly.


Sim Real Joint Reinforcement Transfer for 3D Indoor Navigation. There has been an increasing interest in 3D indoor navigation, where a robot in an environment moves to a target according to an instruction. To deploy a robot for navigation in the physical world, lots of training data is required to learn an effective policy. It is quite labour intensive to obtain sufficient real environment data for training robots while synthetic data is much easier to construct by rendering. Though it is promising to utilize the synthetic environments to facilitate navigation training in the real world, real environment are heterogeneous from synthetic environment in two aspects. First, the visual representation of the two environments have significant variances. Second, the houseplans of these two environments are quite different. Therefore two types of information, i.e. visual representation and policy behavior, need to be adapted in the reinforcement model. The learning procedure of visual representation and that of policy behavior are presumably reciprocal. We propose to jointly adapt visual representation and policy behavior to leverage the mutual impacts of environment and policy. Specifically, our method employs an adversarial feature adaptation model for visual representation transfer and a policy mimic strategy for policy behavior imitation. Experiment shows that our method outperforms the baseline by 19.47 without any additional human annotations.


Evaluating Stochastic Rankings with Expected Exposure. We introduce the concept of emph expected exposure as the average attention ranked items receive from users over repeated samples of the same query. Furthermore, we advocate for the adoption of the principle of equal expected exposure given a fixed information need, no item should receive more or less expected exposure than any other item of the same relevance grade. We argue that this principle is desirable for many retrieval objectives and scenarios, including topical diversity and fair ranking. Leveraging user models from existing retrieval metrics, we propose a general evaluation methodology based on expected exposure and draw connections to related metrics in information retrieval evaluation. Importantly, this methodology relaxes classic information retrieval assumptions, allowing a system, in response to a query, to produce a emph distribution over rankings instead of a single fixed ranking. We study the behavior of the expected exposure metric and stochastic rankers across a variety of information access conditions, including emph ad hoc retrieval and recommendation. We believe that measuring and optimizing expected exposure metrics using randomization opens a new area for retrieval algorithm development and progress.


Modularization of Research Software for Collaborative Open Source Development. Software systems evolve over their lifetime. Changing conditions, such as requirements or customer requests make it inevitable for developers to perform adjustments to the underlying code base. Especially in the context of open source software where everybody can contribute, requirements can change over time and new user groups may be addressed. In particular, research software is often not structured with a maintainable and extensible architecture. In combination with obsolescent technologies, this is a challenging task for new developers, especially, when students are involved. In this paper, we report on the modularization process and architecture of our open source research project ExplorViz towards a microservice architecture. The new architecture facilitates a collaborative development process for both researchers and students. We describe the modularization measures and present how we solved occurring issues and enhanced our development process. Afterwards, we illustrate our modularization approach with our modernized, extensible software system architecture and highlight the improved collaborative development process. Finally, we present a proof of concept implementation featuring several developed extensions in terms of architecture and extensibility.


The matrix taxonomy of left exact categories. This paper is concerned with the problem of classifying left exact categories according to their matrix properties' a particular category theoretic property represented by integer matrices. We obtain an algorithm for deciding whether a conjunction of these matrix properties follows from another. Computer implementation of this algorithm allows one to peer into the complex structure of the poset of all matrix classes', i.e., the poset of all collections of left exact categories determined by these matrix properties. Among elements of this poset are the collections of Mal'tsev categories, majority categories, (left exact) arithmetical categories, as well as left exact extensions of various classes of varieties of universal algebras, obtained through a process of syntactical refinement' of familiar Mal'tsev conditions studied in universal algebra.


Specifics about Specific Ion Adsorption from Heterodyne Detected Second Harmonic Generation. Ion specific outcomes at aqueous interfaces remain among the most enigmatic phenomena in interfacial chemistry. Here, charged fused silica water interfaces have been probed by homodyne and heterodyne detected (HD) second harmonic generation (SHG) spectroscopy at pH 7 and pH 5.8 and for concentrations of LiCl, NaCl, NaBr, NaI, KCl, RbCl, and CsCl ranging from 10 mc microM to several 100 mM. For ionic strengths around 0.1 mM to 1 mM, SHG intensities increase reversibly by up to 15 compared to the condition of zero added salt because of optical phase matching and electrical double layer. For ionic strengths above 1 mM, use of any combination of cations and anions produces decreases in SHG response by as much as 50 , trending with ion softness when compared to the condition of zero added salt. Gouy Chapman model fits to homodyned SHG intensities for the alkali halides studied here show charge densities increase significantly with decreasing cation size. HD SHG measurements indicate diffuse layer properties probed by the SHG process are invariant with ion identity, while Stern layer properties, as reported by chi(2), are subject to ion specificity for the ions surveyed in this work in the order of chi(2)RbCl 1 2 chi(2)NaCl 1 4 chi(2)NaI .


On the impact of treewidth in the computational complexity of freezing dynamics. An automata network is a network of entities, each holding a state from a finite set and evolving according to a local update rule which depends only on its neighbors in the network's graph. It is freezing if there is an order on states such that the state evolution of any node is non decreasing in any orbit. They are commonly used to model epidemic propagation, diffusion phenomena like bootstrap percolation or cristal growth. In this paper we establish how treewidth and maximum degree of the underlying graph are key parameters which influence the overall computational complexity of finite freezing automata networks. First, we define a general model checking formalism that captures many classical decision problems prediction, nilpotency, predecessor, asynchronous reachability. Then, on one hand, we present an efficient parallel algorithm that solves the general model checking problem in NC for any graph with bounded degree and bounded treewidth. On the other hand, we show that these problems are hard in their respective classes when restricted to families of graph with polynomially growing treewidth. For prediction, predecessor and asynchronous reachability, we establish the hardness result with a fixed set defiend update rule that is universally hard on any input graph of such families.


Dynamic Knowledge embedding and tracing. The goal of knowledge tracing is to track the state of a student's knowledge as it evolves over time. This plays a fundamental role in understanding the learning process and is a key task in the development of an intelligent tutoring system. In this paper we propose a novel approach to knowledge tracing that combines techniques from matrix factorization with recent progress in recurrent neural networks (RNNs) to effectively track the state of a student's knowledge. The proposed emph DynEmb framework enables the tracking of student knowledge even without the concept skill tag information that other knowledge tracing models require while simultaneously achieving superior performance. We provide experimental evaluations demonstrating that DynEmb achieves improved performance compared to baselines and illustrating the robustness and effectiveness of the proposed framework. We also evaluate our approach using several real world datasets showing that the proposed model outperforms the previous state of the art. These results suggest that combining embedding models with sequential models such as RNNs is a promising new direction for knowledge tracing.


An Interactive Data Visualization and Analytics Tool to Evaluate Mobility and Sociability Trends During COVID 19. The COVID 19 outbreak has dramatically changed travel behavior in affected cities. The C2SMART research team has been investigating the impact of COVID 19 on mobility and sociability. New York City (NYC) and Seattle, two of the cities most affected by COVID 19 in the U.S. were included in our initial study. An all in one dashboard with data mining and cloud computing capabilities was developed for interactive data analytics and visualization to facilitate the understanding of the impact of the outbreak and corresponding policies such as social distancing on transportation systems. This platform is updated regularly and continues to evolve with the addition of new data, impact metrics, and visualizations to assist public and decision makers to make informed decisions. This paper presents the architecture of the COVID related mobility data dashboard and preliminary mobility and sociability metrics for NYC and Seattle.


Unsupervised Summarization for Chat Logs with Topic Oriented Ranking and Context Aware Auto Encoders. Automatic chat summarization can help people quickly grasp important information from numerous chat messages. Unlike conventional documents, chat logs usually have fragmented and evolving topics. In addition, these logs contain a quantity of elliptical and interrogative sentences, which make the chat summarization highly context dependent. In this work, we propose a novel unsupervised framework called RankAE to perform chat summarization without employing manually labeled data. RankAE consists of a topic oriented ranking strategy that selects topic utterances according to centrality and diversity simultaneously, as well as a denoising auto encoder that is carefully designed to generate succinct but context informative summaries based on the selected utterances. To evaluate the proposed method, we collect a large scale dataset of chat logs from a customer service environment and build an annotated set only for model evaluation. Experimental results show that RankAE significantly outperforms other unsupervised methods and is able to generate high quality summaries in terms of relevance and topic coverage.


Asymptotic expansion at infinity of solutions of special Lagrangian equations. We obtain a quantitative high order expansion at infinity of solutions for a family of fully nonlinear elliptic equations on exterior domain, refine the study of the asymptotic behavior of the Monge Amp ere equation, the special Lagrangian equation and other elliptic equations, and give the precise gap between exterior maximal (or minimal) gradient graph and the entire case.


Mathematical validation of a continuum model for relaxation of interacting steps in crystal surfaces in 2 space dimensions. In this paper we study the boundary value problem for the equation mbox div left(D( nabla u) nabla left( mbox div left( nabla u p 2 nabla u beta frac nabla u nabla u right) right) right) au f in the z (x,y) plane. This problem is derived from a continuum model for the relaxation of a crystal surface below the roughing temperature. The mathematical challenge is of two folds. First, the mobility D( nabla u) is a 2 times 2 matrix whose smallest eigenvalue is not bounded away from 0 below. Second, the equation contains the 1 Laplace operator, whose mathematical properties are still not well understood. Existence of a weak solution is obtained. In particular, nabla u is shown to be bounded when p frac 4 3 .


Localisations of half closed modules and the unbounded Kasparov product. In the context of the Kasparov product in unbounded KK theory, a well known theorem by Kucerovsky provides sufficient conditions for an unbounded Kasparov module to represent the (internal) Kasparov product of two other unbounded Kasparov modules. In this article, we discuss several improved and generalised variants of Kucerovsky's theorem. First, we provide a generalisation which relaxes the positivity condition, by replacing the lower bound by a relative lower bound. Second, we also discuss Kucerovsky's theorem in the context of half closed modules, which generalise unbounded Kasparov modules to symmetric (rather than self adjoint) operators. In order to deal with the positivity condition for such non self adjoint operators, we introduce a fairly general localisation procedure, which (using a suitable approximate unit) provides a 'localised representative' for the KK class of a half closed module. Using this localisation procedure, we then prove several variants of Kucerovsky's theorem for half closed modules. A distinct advantage of the localised approach, also in the special case of self adjoint operators (i.e., for unbounded Kasparov modules), is that the (global) positivity condition in Kucerovsky's original theorem is replaced by a (less restrictive) 'local' positivity condition, which is closer in spirit to the well known Connes Skandalis theorem in the bounded picture of KK theory.


On the p text th variation of a class of fractal functions. The concept of the p text th variation of a continuous function f along a refining sequence of partitions is the key to a pathwise It o integration theory with integrator f . Here, we analyze the p text th variation of a class of fractal functions, containing both the Takagi van der Waerden and Weierstra ss functions. We use a probabilistic argument to show that these functions have linear p text th variation for a parameter p ge1 , which can be interpreted as the reciprocal Hurst parameter of the function. It is shown moreover that if functions are constructed from (a skewed version of) the tent map, then the slope of the p text th variation can be computed from the p text th moment of a (non symmetric) infinite Bernoulli convolution. Finally, we provide a recursive formula of these moments and use it to discuss the existence and non existence of a signed version of the p text th variation, which occurs in pathwise It o calculus when p ge3 is an odd integer.


An explicit pseudo energy conserving time integration scheme for Hamiltonian dynamics. We propose a new explicit pseudo energy and momentum conserving scheme for the time integration of Hamiltonian systems. The scheme, which is formally second order accurate, is based on two key ideas the integration during the time steps of forces between free flight particles and the use of momentum jumps at the discrete time nodes leading to a two step formulation for the acceleration. The pseudo energy conservation is established under exact force integration, whereas it is valid to second order accuracy in the presence of quadrature errors. Moreover, we devise an asynchronous version of the scheme that can be used in the framework of slow fast time stepping strategies. The scheme is validated against classical benchmarks and on nonlinear or inhomogeneous wave propagation problems.


An AI based, Multi stage detection system of banking botnets. Banking Trojans, botnets are primary drivers of financially motivated cybercrime. In this paper, we first analyzed how an APT based banking botnet works step by step through the whole lifecycle. Specifically, we present a multi stage system that detects malicious banking botnet activities which potentially target the organizations. The system leverages Cyber Data Lake as well as multiple artificial intelligence techniques at different stages. The evaluation results using public datasets showed that Deep Learning based detections were highly successful compared with baseline models.


Quantum anti quenching of radiation from laser driven structured plasma channels. We demonstrate that in the interaction of a high power laser pulse with a structured solid density plasma channel, clear quantum signatures of stochastic radiation emission manifest, disclosing a novel avenue to studying the quantized nature of photon emission. In contrast to earlier findings we observe that the total radiated energy for very short interaction times, achieved by studying thin plasma channel targets, is significantly larger in a quantum radiation model as compared to a calculation including classical radiation reaction, i.e., we observe quantum anti quenching. By means of a detailed analytical analysis and a refined test particle model, corroborated by a full kinetic plasma simulation, we demonstrate that this counter intuitive behavior is due to the constant supply of energy to the setup through the driving laser. We comment on an experimental realization of the proposed setup, feasible at upcoming high intensity laser facilities, since the required thin targets can be manufactured and the driving laser pulses provided with existing technology.


Characteristic Cohomology II Matrix Singularities. Let mathcal V subset M denote any of the varieties of singular m times m complex matrices which may be general, symmetric, or skew symmetric ( m even), or m times p matrices, in the corresponding space M of such matrices. A "matrix singularity", mathcal V 0 of "type mathcal V ", for any of the mathcal V subset M is defined as mathcal V 0 f 0 1 ( mathcal V ) by a germ f 0 mathbb C n, 0 to M, 0 (appropriately transverse to mathcal V ). In part I of this paper we introduced the notion of characteristic cohomology for a singularity mathcal V 0 of type mathcal V for the Milnor fiber (for mathcal V a hypersurface) and for the complement and link (in the general case). We determine here the characteristic cohomology for matrix singularities in all of these cases. For these singularities we had shown in another paper that the Milnor fibers and complements have "compact model submanifolds", which are classical symmetric spaces in the sense of Cartan. We show that characteristic subalgebra is the image of an exterior algebra (or in one case a module on two generators over an exterior algebra) on an explicit set of generators. We give "detection criteria"using the vanishing compact models for identifying a exterior subalgebras in the characteristic sublgebra, when f 0 contains a special type of "unfurled kite map". This will be valid for the Milnor fiber, complement, and link.


Observation of gain pinned dissipative solitons in a microcavity laser. We demonstrate an experimental approach to create dissipative solitons in a microcavity laser. In particular, we shape the spatial gain profile of a quasi one dimensional microcavity laser with a nonresonant, pulsed optical pump to create spatially localised structures, called gain pinned dissipative solitons that exist due to the balance of gain and nonlinear losses and are confined to a diffraction limited volume. The ultrafast formation dynamics and decay of the gain pinned solitons are probed directly, showing that they are created on a picosecond timescale, orders of magnitude faster than laser cavity solitons. All of the experimentally observed features and dynamics are reconstructed by using a standard complex Ginzburg Landau model.


ACTNET end to end learning of feature activations and multi stream aggregation for effective instance image retrieval. We propose a novel CNN architecture called ACTNET for robust instance image retrieval from large scale datasets. Our key innovation is a learnable activation layer designed to improve the signal to noise ratio (SNR) of deep convolutional feature maps. Further, we introduce a controlled multi stream aggregation, where complementary deep features from different convolutional layers are optimally transformed and balanced using our novel activation layers, before aggregation into a global descriptor. Importantly, the learnable parameters of our activation blocks are explicitly trained, together with the CNN parameters, in an end to end manner minimising triplet loss. This means that our network jointly learns the CNN filters and their optimal activation and aggregation for retrieval tasks. To our knowledge, this is the first time parametric functions have been used to control and learn optimal aggregation. We conduct an in depth experimental study on three non linear activation functions Sine Hyperbolic, Exponential and modified Weibull, showing that while all bring significant gains the Weibull function performs best thanks to its ability to equalise strong activations. The results clearly demonstrate that our ACTNET architecture significantly enhances the discriminative power of deep features, improving significantly over the state of the art retrieval results on all datasets.


Fairness Metrics A Comparative Analysis. Algorithmic fairness is receiving significant attention in the academic and broader literature due to the increasing use of predictive algorithms, including those based on artificial intelligence. One benefit of this trend is that algorithm designers and users have a growing set of fairness measures to choose from. However, this choice comes with the challenge of identifying how the different fairness measures relate to one another, as well as the extent to which they are compatible or mutually exclusive. We describe some of the most widely used fairness metrics using a common mathematical framework and present new results on the relationships among them. The results presented herein can help place both specialists and non specialists in a better position to identify the metric best suited for their application and goals.


The Iterated Local Directed Transitivity Model for Social Networks. We introduce a new directed graph model for social networks, based on the transitivity of triads. In the Iterated Local Directed Transitivity (ILDT) model, new nodes are born over discrete time steps, and inherit the link structure of their parent nodes. The ILDT model may be viewed as a directed analogue of the ILT model for undirected graphs introduced in cite ilt . We investigate network science and graph theoretical properties of ILDT digraphs. We prove that the ILDT model exhibits a densification power law, so that the digraphs generated by the models densify over time. The number of directed triads are investigated, and counts are given of the number of directed 3 cycles and transitive 3 cycles. A higher number of transitive 3 cycles are generated by the ILDT model, as found in real world, on line social networks. In many instances of the chosen initial digraph, the model eventually generates graphs with Hamiltonian directed cycles. We finish with a discussion of the eigenvalues of the adjacency matrices of ILDT directed graphs, and provide further directions.


A Polynomial Time Algorithm for the k Disjoint Shortest Paths Problem. The disjoint paths problem is a fundamental problem in algorithmic graph theory and combinatorial optimization. For a given graph G and a set of k pairs of terminals in G , it asks for the existence of k vertex disjoint paths connecting each pair of terminals. The proof of Robertson and Seymour JCTB 1995 of the existence of an n 3 algorithm for any fixed k is one of the highlights of their Graph Minors project. In this paper, we focus on the version of the problem where all the paths are required to be shortest paths. This problem, called the disjoint shortest paths problem, was introduced by Eilam Tzoreff DAM 1998 where she proved that the case k 2 admits a polynomial time algorithm. This problem has received some attention lately, especially since the proof of the existence of a polynomial time algorithm in the directed case when k 2 by B 'erczi and Kobayashi ESA 2017 . However, the existence of a polynomial algorithm when k 3 in the undirected version remained open since 1998. In this paper we show that for any fixed k , the disjoint shortest paths problem admits a polynomial time algorithm. In fact for any fixed C , the algorithm can be extended to treat the case where each path connecting the pair (s,t) has length at most d(s,t) C .


Impedance Control of a Transfemoral Prosthesis using Continuously Varying Ankle Impedances and Multiple Equilibria. Impedance controllers are popularly used in the field of lower limb prostheses and exoskeleton development. Such controllers assume the joint to be a spring damper system described by a discrete set of equilibria and impedance parameters. Said parameters are estimated via a least squares optimization that minimizes the difference between the controller's output torque and human joint torque. Other researchers have used perturbation studies to determine empirical values for ankle impedance. The resulting values vary greatly from the prior least squares estimates. While perturbation studies are more credible, they require immense investment. This paper extended the least squares approach to reproduce the results of perturbation studies. The resulting impedance parameters were successfully tested on a powered transfemoral prosthesis, AMPRO II. Further, the paper investigated the effect of multiple equilibria on the least square estimation and the performance of the impedance controller. Finally, the paper uses the proposed least squares optimization method to estimate knee impedance.


Using Automatically Extracted Minimum Spans to Disentangle Coreference Evaluation from Boundary Detection. The common practice in coreference resolution is to identify and evaluate the maximum span of mentions. The use of maximum spans tangles coreference evaluation with the challenges of mention boundary detection like prepositional phrase attachment. To address this problem, minimum spans are manually annotated in smaller corpora. However, this additional annotation is costly and therefore, this solution does not scale to large corpora. In this paper, we propose the MINA algorithm for automatically extracting minimum spans to benefit from minimum span evaluation in all corpora. We show that the extracted minimum spans by MINA are consistent with those that are manually annotated by experts. Our experiments show that using minimum spans is in particular important in cross dataset coreference evaluation, in which detected mention boundaries are noisier due to domain shift. We will integrate MINA into https github.com ns moosavi coval for reporting standard coreference scores based on both maximum and automatically detected minimum spans.


Modeling microbial cross feeding at intermediate scale portrays community dynamics and species coexistence. Social interaction between microbes can be described at many levels of details, ranging from the biochemistry of cell cell interactions to the ecological dynamics of populations. Choosing the best level to model microbial communities without losing generality remains a challenge. Here we propose to model cross feeding interactions at an intermediate level between genome scale metabolic models of individual species and consumer resource models of ecosystems, which is suitable to empirical data. We applied our method to three published examples of multi strain Escherichia coli communities with increasing complexity consisting of uni , bi , and multi directional cross feeding of either substitutable metabolic byproducts or essential nutrients. The intermediate scale model accurately described empirical data and could quantify exchange rates elusive by other means, such as the byproduct secretions, even for a complex community of 14 amino acid auxotrophs. We used the three models to study each community's limits of robustness to perturbations such as variations in resource supply, antibiotic treatments and invasion by other "cheaters" species. Our analysis provides a foundation to quantify cross feeding interactions from experimental data, and highlights the importance of metabolic exchanges in the dynamics and stability of microbial communities.


NightOwl Robotic Platform for Wheeled Service Robot. NightOwl is a robotic platform designed exclusively for a wheeled service robot. The robot navigates autonomously in omnidirectional fashion movement and equipped with LIDAR to sense the surrounding area. The platform itself was built using the Robot Operating System (ROS) and written in two different programming languages (C and Python). NightOwl is composed of several modular programs, namely hardware controller, light detection and ranging (LIDAR), simultaneous localization and mapping (SLAM), world model, path planning, robot control, communication, and behaviour. The programs run in parallel and communicate reciprocally to share various information. This paper explains the role of modular programs in the term of input, process, and output. In addition, NightOwl provides simulation visualized in both Gazebo and RViz. The robot in its environment is visualized by Gazebo. Sensor data from LIDAR and results from SLAM will be visualized by RViz.


A fast algorithm for time dependent radiative transport equation based on integral formulation. In this work, we introduce a fast numerical algorithm to solve the time dependent radiative transport equation (RTE). Our method uses the integral formulation of RTE and applies the treecode algorithm to reduce the computational complexity from O(M 2 1 d ) to O(M 1 1 d log M ), where M is the number of points in the physical domain. The error analysis is presented and numerical experiments are performed to validate our algorithm.


Degeneracy Results for Fully Nonlinear Integral Operators. It is shown that integral operators of the fully nonlinear type K(x)(t) int Omega k(t,s,x(t),x(s)) ,ds exhibit similar degeneracy phenomena in a large class of spaces as superposition operators F(x)(t) f(t,x(t)) . In particular, K is Fr 'echet differentiable in L p only if it is affine with respect to the " x(t) " argument. Similar degeneracy results hold if K satisfies a local Lipschitz or compactness condition. Also vector functions, infinite measure spaces, and a much richer class of function spaces than only L p are considered. As a side result, degeneracy assertions for superposition operators are obtained in this more general setting, complementing the known results for scalar functions. As a particular example, it is shown that the operators arising in continuous limits of coupled Kuramoto oscillators fail everywhere to be Fr 'echet differentiability or locally compact.


Isabelle Stone breaking the glass ceiling with thin films and teaching. Physicist Isabelle Stone forged ahead in what was largely a men's profession in the early 1900s. She is credited as the first woman in the United States to obtain a Ph.D. in physics, one of the two women founders of the American Physical Society, and one of only two women to attend the first International Congress of Physics. Hers is the story of an unmarried, educated woman doing scientific research, living and working abroad, and providing educational stepping stones for more women to go to college. It starts with the electric resistance of thin films in Chicago and becomes a journey in teaching women up and down the east coast, across the Atlantic, and back again.


Steady three dimensional ideal flows with nonvanishing vorticity in domains with edges. We prove an existence result for solutions to the stationary Euler equations in a domain with nonsmooth boundary. This is an extension of a previous existence result in smooth domains by Alber (1992). The domains we consider have a boundary consisting of three parts, one where fluid flows into the domain, one where the fluid flows out, and one which no fluid passes through. These three parts meet at right angles. An example of this would be a right cylinder with fluid flowing in at one end and out at the other, with no fluid going through the mantle. A large part of the proof is dedicated to studying the Poisson equation and the related compatibility conditions required for solvability in this kind of domain.


Global weighted gradient estimates for nonlinear p Laplacian type elliptic equations and its application. We obtain the global weighted W 1,p estimates for weak solutions of nonlinear elliptic equations over Reifenberg flat domains. Where nonlinearity A(x,z, xi) is assumed to be local uniform continuous in z and have small BMO semi norm in x . Moreover, we derive Besov regularity for solutions of a class of special harmonic equations by making use of W 1,p estimate. Keywords global weighted W 1,p estimates quasilinear equations Besov regularity


Data Quality Evaluation using Probability Models. This paper discusses an approach with machine learning probability models to evaluate the difference between good and bad data quality in a dataset. A decision tree algorithm is used to predict data quality based on no domain knowledge of the datasets under examination. It is shown that for the data examined, the ability to predict the quality of data based on simple good bad pre labelled learning examples is accurate, however in general it may not be sufficient for useful production data quality assessment.


A polynomial time algorithm for the routing flow shop problem with two machines an asymmetric network with a fixed number of nodes. We consider the routing flow shop problem with two machines on an asymmetric network. For this problem we discuss properties of an optimal schedule and present a polynomial time algorithm assuming the number of nodes of the network to be bounded by a constant. To the best of our knowledge, this is the first positive result on the complexity of the routing flow shop problem with an arbitrary structure of the transportation network, even in the case of a symmetric network. This result stands in contrast with the complexity of the two machine routing open shop problem, which was shown to be NP hard even on the two node network.


Classification of simple Harish Chandra modules over the N 1 Ramond algebra. In this paper, we give a new approach to classify all simple Harish Chandra modules for the N 1 Ramond algebra based on the so called A cover theory developed in cite BF


Metric results on summatory arithmetic functions on Beatty sets. Let f colon mathbb N rightarrow mathbb C be an arithmetic function and consider the Beatty set mathcal B ( alpha) lbrace , lfloor n alpha rfloor n in mathbb N , rbrace associated to a real number alpha , where lfloor xi rfloor denotes the integer part of a real number xi . We show that the asymptotic formula Bigl lvert sum substack 1 leq m leq x m in mathcal B ( alpha) f(m) frac 1 alpha sum 1 leq m leq x f(m) Bigr rvert 2 ll f, alpha, varepsilon ( log x) ( log log x) 3 varepsilon sum 1 leq m leq x lvert f(m) rvert 2 holds for almost all alpha 1 with respect to the Lebesgue measure. This significantly improves an earlier result due to Abercrombie, Banks, and Shparlinski. The proof uses a recent Fourier analytic result of Lewko and Radziwi l l based on the classical Carleson Hunt inequality. Moreover, using a probabilistic argument, we establish the existence of functions f colon mathbb N to lbrace , pm 1 , rbrace for which the above error term is optimal up to logarithmic factors.


The norm of a skew polynomial. Let D be a finite dimensional division algebra over its center and R D t sigma, delta a skew polynomial ring. Under certain assumptions on delta and sigma , the ring of central quotients D(t sigma, delta) f g , , f in D t sigma, delta , g in C(D t sigma, delta ) of D t sigma, delta is a central simple algebra with reduced norm N . We calculate the norm N(f) for some skew polynomials f in R and investigate when and how the reducibility of N(f) reflects the reducibility of f .


Well posedness of compressible magneto micropolar fluid equations. We are concerned with compressible magneto micropolar fluid equations (1.1) (1.2). The global existence and large time behaviour of solutions near a constant state to the magneto micropolar Navier Stokes Poisson (MMNSP) system is investigated in mathbb R 3 . By a refined energy method, the global existence is established under the assumption that the H 3 norm of the initial data is small, but the higher order derivatives can be large. If the initial data belongs to homogeneous Sobolev spaces or homogeneous Besov spaces, we prove the optimal time decay rates of the solution and its higher order spatial derivatives. Meanwhile, we also obtain the usual L p L 2 (1 leq p leq2) type of the decay rates without requiring that the L p norm of initial data is small.


A game theoretical approach to homothetic robust forward investment performance processes in stochastic factor models. This paper studies an optimal forward investment problem in an incomplete market with model uncertainty, in which the underlying stocks depend on the correlated stochastic factors. The uncertainty stems from the probability measure chosen by an investor to evaluate the performance. We obtain directly the representation of the homothetic robust forward performance processes in factor form by combining the zero sum stochastic differential game and ergodic BSDE approach. We also establish the connections with the risk sensitive zero sum stochastic differential games over an infinite horizon with ergodic payoff criteria, as well as with the classical robust expected utilities for long time horizons. Finally, we give an example to illustrate that our approach can be applied to address a type of robust forward investment performance processes with negative realization processes.


Lyndon words versus inverse Lyndon words queries on suffixes and bordered words. Lyndon words have been largely investigated and showned to be a useful tool to prove interesting combinatorial properties of words. In this paper we state new properties of both Lyndon and inverse Lyndon factorizations of a word w , with the aim of exploring their use in some classical queries on w . The main property we prove is related to a classical query on words. We prove that there are relations between the length of the longest common extension (or longest common prefix) lcp(x,y) of two different suffixes x,y of a word w and the maximum length mathcal M of two consecutive factors of the inverse Lyndon factorization of w . More precisely, mathcal M is an upper bound on the length of lcp(x,y) . This result is in some sense stronger than the compatibility property, proved by Mantaci, Restivo, Rosone and Sciortino for the Lyndon factorization and here for the inverse Lyndon factorization. Roughly, the compatibility property allows us to extend the mutual order between local suffixes of (inverse) Lyndon factors to the suffixes of the whole word. A main tool used in the proof of the above results is a property that we state for factors m i with nonempty borders in an inverse Lyndon factorization a nonempty border of m i cannot be a prefix of the next factor m i 1 . The last property we prove shows that if two words share a common overlap, then their Lyndon factorizations can be used to capture the common overlap of the two words. The above results open to the study of new applications of Lyndon words and inverse Lyndon words in the field of string comparison.


Towards a common performance and effectiveness terminology for digital proximity tracing applications. Digital proximity tracing (DPT) for Sars CoV 2 pandemic mitigation is a complex intervention with the primary goal to notify app users about possible risk exposures to infected persons. Policymakers and DPT operators need to know whether their system works as expected in terms of speed or yield (performance) and whether DPT is making an effective contribution to pandemic mitigation (also in comparison to and beyond established mitigation measures, particularly manual contact tracing). Thereby, performance and effectiveness are not to be confused. Not only are there conceptual differences but also diverse data requirements. This article describes differences between performance and effectiveness measures and attempts to develop a terminology and classification system for DPT evaluation. We discuss key aspects for critical assessments of whether the integration of additional data measurements into DPT apps beyond what is required to fulfill its primary notification role may facilitate an understanding of performance and effectiveness of planned and deployed DPT apps. Therefore, the terminology and a classification matrix may offer some guidance to DPT system operators regarding which measurements to prioritize. DPT developers and operators may also make conscious decisions to integrate measures for epidemic monitoring but should be aware that this introduces a secondary purpose to DPT that is not part of the original DPT design. Ultimately, the integration of further information for epidemic monitoring into DPT involves a trade off between data granularity and linkage on the one hand, and privacy on the other. Decision makers should be aware of the trade off and take it into account when planning and developing DPT notification and monitoring systems or intending to assess the added value of DPT relative to existing contact tracing systems.


Gallai Ramsey number for double stars. Given a graph G and a positive integer k , the emph Gallai Ramsey number is defined to be the minimum number of vertices n such that any k edge coloring of K n contains either a rainbow (all different colored) copy of G or a monochromatic copy of G . In this paper, we obtain general upper and lower bounds on the Gallai Ramsey numbers for double stars S(n,m) , where S(n,m) is the graph obtained from the union of two stars K 1,n and K 1,m by adding an edge between their centers. We also provide the sharp result in some cases.


A lightweight design for serverless Function as a Service. FaaS (Function as a Service) allows developers to upload and execute code in the cloud without managing servers. FaaS offerings from leading public cloud providers are based on system microVM or application container technologies such as Firecracker or Docker. In this paper, we demonstrate that lightweight high level runtimes, such as WebAssembly, could offer performance and scaling advantages over existing solutions, and could enable finely grained pay as you use business models. We compared widely used performance benchmarks between Docker native and WebAssembly implementations of the same algorithms. We also discuss the barriers for WebAssembly adoption in serverless computing, such as the lack of tooling support.


ArXivDigest A Living Lab for Personalized Scientific Literature Recommendation. Providing personalized recommendations that are also accompanied by explanations as to why an item is recommended is a research area of growing importance. At the same time, progress is limited by the availability of open evaluation resources. In this work, we address the task of scientific literature recommendation. We present arXivDigest, which is an online service providing personalized arXiv recommendations to end users and operates as a living lab for researchers wishing to work on explainable scientific literature recommendations.


2D Linear Time Variant Controller for Human's Intention Detection for Reach to Grasp Trajectories in Novel Scenes. Designing robotic assistance devices for manipulation tasks is challenging. This work is concerned with improving accuracy and usability of semi autonomous robots, such as human operated manipulators or exoskeletons. The key insight is to develop a system that takes into account context and user awareness to take better decisions in how to assist the user. The context awareness is implemented by enabling the system to automatically generate a set of candidate grasps and reach to grasp trajectories in novel, cluttered scenes. The user awareness is implemented as a linear time variant feedback controller to facilitate the motion towards the most promising grasp. Our approach is demonstrated in a simple 2D example in which participants are asked to grasp a specific object in a clutter scene. Our approach also reduce the number of controllable dimensions for the user by providing only control on x and y axis, while orientation of the end effector and the pose of its fingers are inferred by the system. The experimental results show the benefits of our approach in terms of accuracy and execution time with respect to a pure manual control.


Simplified Eigenvalue Analysis for Turbomachinery Aerodynamics with Cyclic Symmetry. Eigenvalue analysis is widely used for linear instability analysis in both external and internal aerodynamics. It typically involves finding the steady state, linearizing around it to obtain the Jacobian, and then solving for its eigenvalues and eigenvectors. When the flow is modelled with Reynolds averaged Navier Stokes equations with a large boundary layer resolving mesh, the resulting eigenvalue problem can be of very high dimensions, and is thus computationally very challenging. To reduce the computational cost, a simplified approach is proposed to compute the eigenvalues and eigenvectors, by exploiting the cyclic symmetric nature of annular fluid domain for typical compressors. It is shown that via a rotational transformation, the Jacobian can be reduced to a block circulant matrix, whose eigenvalues and eigenvectors then can be computed using only one sector of the entire domain. This simplified approach significantly lowers the memory overhead and the CPU time of the eigenvalue analysis without compromising on the accuracy. The proposed method is applied to the eigenvalue analysis of an annular compressor cascade with 22 repeated sectors and it is shown the spectrum of the whole annulus can be obtained by using the information of 1 sector only, demonstrating the effectiveness of the proposed method.


Linear perturbations of the Wigner transform and the Weyl quantization. We study a class of quadratic time frequency representations that, roughly speaking, are obtained by linear perturbations of the Wigner transform. They satisfy Moyal's formula by default and share many other properties with the Wigner transform, but in general they do not belong to Cohen's class. We provide a characterization of the intersection of the two classes. To any such time frequency representation, we associate a pseudodifferential calculus. We investigate the related quantization procedure, study the properties of the pseudodifferential operators, and compare the formalism with that of the Weyl calculus.


Continuous integration logic. We combine continuous and integral logics and found a logical framework for metric measure spaces equipped with a family of continuous relations and operations. We prove the ultraproduct theorem and deduce compactness and other usual results. We also give applications of the compactness theorem in metric measure theory.


OTSLM Toolbox for Structured Light Methods. We present a new Matlab toolbox for generating phase and amplitude patterns for digital micro mirror device (DMD) and liquid crystal (LC) based spatial light modulators (SLMs). This toolbox consists of a collection of algorithms commonly used for generating patterns for these devices with a focus on optical tweezers beam shaping applications. In addition to the algorithms provided, we have put together a range of user interfaces for simplifying the use of these patterns. The toolbox currently has functionality to generate patterns which can be saved as a image or displayed on a device screen using the supplied interface. We have only implemented interfaces for the devices our group currently uses but we believe that extending the code we provide to other devices should be fairly straightforward. The range of algorithms included in the toolbox is not exhaustive. However, by making the toolbox open sources and available on GitHub we hope that other researchers working with these devices will contribute their patterns algorithms to the toolbox.


Accurate and efficient DFT based diabatization for hole and electron transfer using absolutely localized molecular orbitals. Diabatic states and the couplings between them are important for quantifying, elucidating, and predicting the rates and mechanisms of many chemical and biochemical processes. Here, we propose and investigate approaches to accurately compute diabatic couplings from density functional theory (DFT) using absolutely localized molecular orbitals (ALMOs). ALMOs provide an appealing approach to generate variationally optimized diabatic states and obtain their associated forces that allows for the relaxation of the donor and acceptor orbitals in a way that is internally consistent in how the method treats both the donor and acceptor states. Here, we show that one can obtain more accurate electronic couplings between ALMO based diabats by employing the symmetrized transition density matrix to evaluate the exchange correlation contribution. We demonstrate that this approach yields accurate results in comparison to other commonly used DFT based diabatization methods across a wide array of electron and hole transfer processes occurring in systems ranging from conjugated organic molecules, such as thiophene and pentacene, to DNA base pairs. We also show that this approach yields accurate diabatic couplings even when combined with lower tiers of the DFT hierarchy, opening the door to combining it with quantum dynamics approaches to provide an ab initio treatment of nonadiabatic processes in the condensed phase.


2.5D Image based Robotic Grasping. We consider the problem of robotic grasping using depth RGB information sampling from a real sensor. we design an encoder decoder neural network to predict grasp policy in real time. This method can fuse the advantage of depth image and RGB image at the same time and is robust for grasp and observation height.We evaluate our method in a physical robotic system and propose an open loop algorithm to realize robotic grasp operation. We analyze the result of experiment from multi perspective and the result shows that our method is competitive with the state of the art in grasp performance, real time and model size. The video is available in https youtu.be Wxw r5a8qV0


Chocolatine Outage Detection for Internet Background Radiation. The Internet is a complex ecosystem composed of thousands of Autonomous Systems (ASs) operated by independent organizations each AS having a very limited view outside its own network. These complexities and limitations impede network operators to finely pinpoint the causes of service degradation or disruption when the problem lies outside of their network. In this paper, we present Chocolatine, a solution to detect remote connectivity loss using Internet Background Radiation (IBR) through a simple and efficient method. IBR is unidirectional unsolicited Internet traffic, which is easily observed by monitoring unused address space. IBR features two remarkable properties it is originated worldwide, across diverse ASs, and it is incessant. We show that the number of IP addresses observed from an AS or a geographical area follows a periodic pattern. Then, using Seasonal ARIMA to statistically model IBR data, we predict the number of IPs for the next time window. Significant deviations from these predictions indicate an outage. We evaluated Chocolatine using data from the UCSD Network Telescope, operated by CAIDA, with a set of documented outages. Our experiments show that the proposed methodology achieves a good trade off between true positive rate (90 ) and false positive rate (2 ) and largely outperforms CAIDA's own IBR based detection method. Furthermore, performing a comparison against other methods, i.e., with BGP monitoring and active probing, we observe that Chocolatine shares a large common set of outages with them in addition to many specific outages that would otherwise go undetected.


Coordinate independent singular perturbation reduction for systems with three time scales. On the basis of recent work by Cardin and Teixeira on ordinary differential equations with more than two time scales, we devise a coordinate independent reduction for systems with three time scales thus no a priori separation of variables into fast, slow etc. is required. Moreover we consider arbitrary parameter dependent systems and extend earlier work on Tikhonov Fenichel parameter values i.e. parameter values from which singularly perturbed systems emanate upon small perturbations to the three time scale setting. We apply our results to two standard systems from biochemistry.


Differentials and distances in probabilistic coherence spaces (extended version). In probabilistic coherence spaces, a denotational model of probabilistic functional languages, morphisms are analytic and therefore smooth. We explore two related applications of the corresponding derivatives. First we show how derivatives allow to compute the expectation of execution time in the weak head reduction of probabilistic PCF (pPCF). Next we apply a general notion of "local" differential of morphisms to the proof of a Lipschitz property of these morphisms allowing in turn to relate the observational distance on pPCF terms to a distance the model is naturally equipped with. This suggests that extending probabilistic programming languages with derivatives, in the spirit of the differential lambda calculus, could be quite meaningful.


Revisiting Anchor Mechanisms for Temporal Action Localization. Most of the current action localization methods follow an anchor based pipeline depicting action instances by pre defined anchors, learning to select the anchors closest to the ground truth, and predicting the confidence of anchors with refinements. Pre defined anchors set prior about the location and duration for action instances, which facilitates the localization for common action instances but limits the flexibility for tackling action instances with drastic varieties, especially for extremely short or extremely long ones. To address this problem, this paper proposes a novel anchor free action localization module that assists action localization by temporal points. Specifically, this module represents an action instance as a point with its distances to the starting boundary and ending boundary, alleviating the pre defined anchor restrictions in terms of action localization and duration. The proposed anchor free module is capable of predicting the action instances whose duration is either extremely short or extremely long. By combining the proposed anchor free module with a conventional anchor based module, we propose a novel action localization framework, called A2Net. The cooperation between anchor free and anchor based modules achieves superior performance to the state of the art on THUMOS14 (45.5 vs. 42.8 ). Furthermore, comprehensive experiments demonstrate the complementarity between the anchor free and the anchor based module, making A2Net simple but effective.


An extension of S noetherian rings and modules. For any commutative ring A we introduce a generalization of S noetherian rings using a hereditary torsion theory sigma instead of a multiplicatively closed subset S subseteq A . It is proved that if A is a totally sigma noetherian ring, then sigma is of finite type, and that totally sigma noetherian is a local property.


Convergence Analysis of Block Coordinate Algorithms with Determinantal Sampling. We analyze the convergence rate of the randomized Newton like method introduced by Qu et. al. (2016) for smooth and convex objectives, which uses random coordinate blocks of a Hessian over approximation matrix bM instead of the true Hessian. The convergence analysis of the algorithm is challenging because of its complex dependence on the structure of bM . However, we show that when the coordinate blocks are sampled with probability proportional to their determinant, the convergence rate depends solely on the eigenvalue distribution of matrix bM , and has an analytically tractable form. To do so, we derive a fundamental new expectation formula for determinantal point processes. We show that determinantal sampling allows us to reason about the optimal subset size of blocks in terms of the spectrum of bM . Additionally, we provide a numerical evaluation of our analysis, demonstrating cases where determinantal sampling is superior or on par with uniform sampling.


Optimization results for the higher eigenvalues of the p Laplacian associated with sign changing capacitary measures. In this paper we prove the existence of an optimal set for the minimization of the k th variational eigenvalue of the p Laplacian among p quasi open sets of fixed measure included in a box of finite measure. An analogous existence result is obtained for eigenvalues of the p Laplacian associated with Schr "odinger potentials. In order to deal with these nonlinear shape optimization problems, we develop a general approach which allows to treat the continuous dependence of the eigenvalues of the p Laplacian associated with sign changing capacitary measures under gamma convergence.


Green's functions, Biot Savart Operators and Linking Numbers on Negatively Curved Symmetric Spaces. We construct radial fundamental solutions for the differential form Laplacian on negatively curved symmetric spaces. At least one of these Green's functions also yields a Biot Savart Opearator, i.e. a right inverse of the exterior differential on closed forms with image in the kernel of the codifferential. Any Biot Savart operator gives rise to a Gauss linking integral.


Matem 'aticas B 'asicas (con Software Libre). This is a book on elementary mathematics suitable to use in courses for first year students of science and engineering. Students often find the formal approach to math courses rather discouraging, and demand 'rel life applications' in order to grasp the need for these courses. The text has plenty of such applications, treated with the free software Maxima (a CAS) and Geogebra (a DGS). Its level is more or less that of a 'Pre Calculus' course, but the contents and style of presentation are different in that they are determined by the applications in each chapter.


Characterization of SiPM Avalanche Triggering Probabilities. Silicon Photo Multipliers (SiPMs) are detectors sensitive to single photons that are used to detect scintillation and Cherenkov light in a variety of physics and medical imaging applications. SiPMs measure single photons by amplifying the photo generated carriers (electrons or holes) via a Geiger mode avalanche. The Photon Detection Efficiency (PDE) is the combined probability that a photon is absorbed in the active volume of the device with a subsequently triggered avalanche. Absorption and avalanche triggering probabilities are correlated since the latter probability depends on where the photon is absorbed. In this paper, we introduce a physics motivated parameterization of the avalanche triggering probability that describes the PDE of a SiPM as a function of its reverse bias voltage, at different wavelengths. This parameterization is based on the fact that in p on n SiPMs the induced avalanches are electron driven in the ultra violet and near ultra violet ranges, while they become increasingly hole driven towards the near infra red range. The model has been successfully applied to characterize two Hamamatsu MPPCs and one FBK SiPM, and it can be extended to other SiPMs. Furthermore, this model provides key insight on the electric field structure within SiPMs, which can explain the limitation of existing devices and be used to optimize the performance of future SiPMs.


Providing In network Support to Coflow Scheduling. Many emerging distributed applications, including big data analytics, generate a number of flows that concurrently transport data across data center networks. To improve their performance, it is required to account for the behavior of a collection of flows, i.e., coflows, rather than individual. State of the art solutions allow for a near optimal completion time by continuously reordering the unfinished coflows at the end host, using network priorities. This paper shows that dynamically changing flow priorities at the end host, without taking into account in flight packets, can cause high degrees of packet re ordering, thus imposing pressure on the congestion control and potentially harming network performance in the presence of switches with shallow buffers. We present pCoflow, a new solution that integrates end host based coflow ordering with in network scheduling based on packet history. Our evaluation shows that pCoflow improves in CCT upon state of the art solutions by up to 34 for varying load.


On Adaptivity Gaps of Influence Maximization under the Independent Cascade Model with Full Adoption Feedback. In this paper, we study the adaptivity gap of the influence maximization problem under independent cascade model when full adoption feedback is available. Our main results are to derive upper bounds on several families of well studied influence graphs, including in arborescences, out arborescences and bipartite graphs. Especially, we prove that the adaptivity gap for the in arborescence is between frac e e 1 , frac 2e e 1 and for the out arborescence, the gap is between frac e e 1 , 2 . These are the first constant upper bounds in the full adoption feedback model. We provide several novel ideas to tackle with correlated feedback appearing in the adaptive stochastic optimization, which we believe to be of independent interests.


Singular paths spaces and applications. Motivated by recent applications in rough volatility and regularity structures, notably the notion of singular modelled distribution, we study paths, rough paths and related objects with a quantified singularity at zero. In a pure path setting this allows us to leverage on existing SLE Besov estimates to see that SLE traces takes values in a singular H "older space, which quantifies a well known boundary effect in the regime kappa 1 . We then consider the integration theory against singular rough paths and some extensions thereof. This gives a method to reconcile, from a regularity structure point of view, different singular kernels used to construct (fractional) rough volatility models and an effective reduction to the stationary case which is crucial to apply general renormalisation methods.


Rolling Optimization of Mobile Energy Storage Fleets for Resilient Service Restoration. Mobile energy storage systems (MESSs) provide promising solutions to enhance distribution system resilience in terms of mobility and flexibility. This paper proposes a rolling integrated service restoration strategy to minimize the total system cost by coordinating the scheduling of MESS fleets, resource dispatching of microgrids and network reconfiguration of distribution systems. The integrated strategy takes into account damage and repair to both the roads in transportation networks and the branches in distribution systems. The uncertainties in load consumption and the status of roads and branches are modeled as scenario trees using Monte Carlo simulation method. The operation strategy of MESSs is modeled by a stochastic multi layer time space network technique. A rolling optimization framework is adopted to dynamically update system damage, and the coordinated scheduling at each time interval over the prediction horizon is formulated as a two stage stochastic mixed integer linear program with temporal spatial and operation constraints. The proposed model is verified on two integrated test systems, one is with Sioux Falls transportation network and four 33 bus distribution systems, and the other is the Singapore transportation network based test system connecting six 33 bus distribution systems. The results demonstrate the effectiveness of MESS mobility to enhance distribution system resilience due to the coordination of mobile and stationary resources.


Learning Propagation for Arbitrarily structured Data. Processing an input signal that contains arbitrary structures, e.g., superpixels and point clouds, remains a big challenge in computer vision. Linear diffusion, an effective model for image processing, has been recently integrated with deep learning algorithms. In this paper, we propose to learn pairwise relations among data points in a global fashion to improve semantic segmentation with arbitrarily structured data, through spatial generalized propagation networks (SGPN). The network propagates information on a group of graphs, which represent the arbitrarily structured data, through a learned, linear diffusion process. The module is flexible to be embedded and jointly trained with many types of networks, e.g., CNNs. We experiment with semantic segmentation networks, where we use our propagation module to jointly train on different data images, superpixels and point clouds. We show that SGPN consistently improves the performance of both pixel and point cloud segmentation, compared to networks that do not contain this module. Our method suggests an effective way to model the global pairwise relations for arbitrarily structured data.


A multiscale model for Rayleigh Taylor and Richtmyer Meshkov instabilities. We develop a novel multiscale model of interface motion for the Rayleigh Taylor instability (RTI) and Richtmyer Meshkov instability (RMI) for two dimensional, inviscid, compressible flows with vorticity, which yields a fast running numerical algorithm that produces both qualitatively and quantitatively similar results to a resolved gas dynamics code, while running approximately two orders of magnitude (in time) faster. Our multiscale model is founded upon a new compressible incompressible decomposition of the velocity field u v w . The incompressible component w of the velocity is also irrotational and is solved using a new asymptotic model of the Birkhoff Rott singular integral formulation of the incompressible Euler equations, which reduces the problem to one spatial dimension. This asymptotic model, called the higher order z model, is derived using small nonlocality as the asymptotic parameter, allows for interface turn over and roll up, and yields a significant simplification for the equation describing the evolution of the amplitude of vorticity. This incompressible component w of the velocity controls the small scale structures of the interface and can be solved efficiently on fine grids. Meanwhile, the compressible component of the velocity v remains continuous near contact discontinuities and can be computed on relatively coarse grids, while receiving subgrid scale information from w . We first validate the incompressible higher order z model by comparison with classical RTI experiments as well as full point vortex simulations. We then consider both the RTI and the RMI problems for our multiscale model of compressible flow with vorticity, and show excellent agreement with our high resolution gas dynamics solutions.