Observability for generalized Schr "odinger equations and quantum limits on product manifolds. Given a closed product Riemannian manifold N M x M equipped with the product Riemannian metric g h h , we explore the observability properties for the generalized Schr "o dinger equation i partial t u F (g)u, where g is the Laplace Beltrami operator on N and F 0, infty ) rightarrow 0, infty ) is an increasing function. In this note, we prove observability in finite time on any open subset omega satisfying the so called Vertical Geometric Control Condition, stipulating that any vertical geodesic meets omega , under the additional assumption that the spectrum of F (g) satisfies a gap condition. A first consequence is that observability on omega for the Schr "o dinger equation is a strictly weaker property than the usual Geometric Control Condition on any product of spheres. A second consequence is that the Dirac measure along any geodesic of N is never a quantum limit.


On bias in social reviews of university courses. University course ranking forums are a popular means of disseminating information about satisfaction with the quality of course content and instruction, especially with undergraduate students. A variety of policy decisions by university administrators, instructional designers and teaching staff affect how students perceive the efficacy of pedagogies employed in a given course, in class and online. While there is a large body of research on qualitative driving factors behind the use of academic rating sites, there is little investigation of the (potential) implicit student bias on said forums towards desirable course outcomes at the institution level. To that end, we examine the connection between course outcomes (student reported GPA) and the overall ranking of the primary course instructor, as well as rating disparity by nature of course outcomes, for several hundred courses taught at Virginia Tech based on data collected from a popular academic rating forum. We also replicate our analysis for several public universities across the US. Our experiments indicate that there is a discernible albeit complex bias towards course outcomes in the professor ratings registered by students.


Crystals, semistandard tableaux and cyclic sieving phenomenon. In this paper, we study a new cyclic sieving phenomenon on the set mathsf SST n( lambda) of semistandard Young tableaux with the cyclic action mathsf c arising from its U q( mathfrak sl n) crystal structure. We prove that if lambda is a Young diagram with ell( lambda) n and gcd( n, lambda ) 1 , then the triple left( mathsf SST n( lambda), mathsf C , q kappa( lambda) s lambda(1,q, ldots, q n 1 ) right) exhibits the cyclic sieving phenomenon, where mathsf C is the cyclic group generated by mathsf c . We further investigate a connection between mathsf c and the promotion mathsf pr and show the bicyclic sieving phenomenon given by mathsf c and mathsf pr n for hook shape.


Spatial Propagation in Nonlocal Dispersal Fisher KPP Equations. In this paper we focus on three problems about the spreading speeds of nonlocal dispersal Fisher KPP equations. First, we study the signs of spreading speeds and find that they are determined by the asymmetry level of the nonlocal dispersal and f'(0) , where f is the reaction function. This indicates that asymmetric dispersal can influence the spatial dynamics in three aspects it can determine the spatial propagation directions of solutions, influence the stability of equilibrium states, and affect the monotone property of solutions. Second, we give an improved proof of the spreading speed result by constructing new lower solutions and using the new "forward backward spreading" method. Third, we establish the relationship between spreading speed and exponentially decaying initial data. Our result demonstrates that when dispersal is symmetric, spreading speed decreases along with the increase of the exponentially decaying rate. In addition, the results on the signs of spreading speeds are applied to two special cases where we present more details of the influence of asymmetric dispersal.


UAV Positioning and Power Control for Two Way Wireless Relaying. This paper considers an unmanned aerial vehicle enabled (UAV enabled) wireless network where a relay UAV is used for two way communications between a ground base station (BS) and a set of distant user equipment (UE). The UAV adopts the amplify and forward strategy for two way relaying over orthogonal frequency bands. The UAV positioning and the transmission powers of all nodes are jointly designed to maximize the sum rate of both uplink and downlink subject to transmission power constraints and the signal to noise ratio constraint on the UAV control channel. The formulated joint positioning and power control (JPPC) problem has an intricate expression of the sum rate due to two way transmissions and is difficult to solve in general. We propose a novel concave surrogate function for the sum rate and employ the successive convex approximation (SCA) technique for obtaining a high quality approximate solution. We show that the proposed surrogate function has a small curvature and enables a fast convergence of SCA. Furthermore, we develop a computationally efficient JPPC algorithm by applying the FISTA type accelerated gradient projection (AGP) algorithm to solve the SCA problem as well as one of the projection subproblem, resulting in a double loop AGP method. Simulation results show that the proposed JPPC algorithms are not only computationally efficient but also greatly outperform the heuristic approaches.


The space of sections of a smooth function. Given a compact manifold X with boundary and a submersion f X rightarrow Y whose restriction to the boundary of X has isolated critical points with distinct critical values and where Y is 0,1 or S 1 , the connected components of the space of sections of f are computed from pi 0 and pi 1 of the fibers of f . This computation is then leveraged to provide new results on a smoothed version of the evasion path problem for mobile sensor networks From the time varying homology of the covered region and the time varying cup product on cohomology of the boundary, a necessary and sufficient condition for existence of an evasion path and a lower bound on the number of homotopy classes of evasion paths are computed. No connectivity assumptions are required.


Discrete self similarity in the formation of satellites for viscous cavity break up. The breakup of a jet of a viscous fluid with viscosity mu 1 immersed into another viscous fluid with viscosity mu 2 is considered in the limit when the viscosity ratio lambda mu 1 mu 2 is close to zero. We show that, in this limit, a transition from ordinary continuous selfsimilarity to discrete selfsimilarity takes place as lambda decreases. The result being that instead of a single point breakup, the rupture of the inner jet occurs through the appearance of an infinite sequence of filaments of decreasing size that will eventually produce infinite sequences of bubbles of the inner fluid inside the outer fluid. The transition can be understood as the result of a Hopf bifurcation in the system of equations modelling the physical problem.


Qualitative counting closed geodesics. We investigate the geometry of word metrics on fundamental groups of manifolds associated with the generating sets consisting of elements represented by closed geodesics. We ask whether the diameter of such a metric is finite or infinite. The first answer we interpret as an abundance of closed geodesics, while the second one as their scarcity. We discuss examples for both cases.


Principles of seed banks complexity emerging from dormancy. Across the tree of life, populations have evolved the capacity to contend with suboptimal conditions by engaging in dormancy, whereby individuals enter a reversible state of reduced metabolic activity. The resulting seed banks are complex, storing information and imparting memory that gives rise to multi scale structures and networks spanning collections of cells to entire ecosystems. We outline the fundamental attributes and emergent phenomena associated with dormancy and seed banks, with the vision for a unifying and mathematically based framework that can address problems in the life sciences, ranging from global change to cancer biology.


VIOLIN A Large Scale Dataset for Video and Language Inference. We introduce a new task, Video and Language Inference, for joint multimodal understanding of video and text. Given a video clip with aligned subtitles as premise, paired with a natural language hypothesis based on the video content, a model needs to infer whether the hypothesis is entailed or contradicted by the given video clip. A new large scale dataset, named Violin (VIdeO and Language INference), is introduced for this task, which consists of 95,322 video hypothesis pairs from 15,887 video clips, spanning over 582 hours of video. These video clips contain rich content with diverse temporal dynamics, event shifts, and people interactions, collected from two sources (i) popular TV shows, and (ii) movie clips from YouTube channels. In order to address our new multimodal inference task, a model is required to possess sophisticated reasoning skills, from surface level grounding (e.g., identifying objects and characters in the video) to in depth commonsense reasoning (e.g., inferring causal relations of events in the video). We present a detailed analysis of the dataset and an extensive evaluation over many strong baselines, providing valuable insights on the challenges of this new task.


Probabilistic Resource Aware Session Types. Session types guarantee that message passing processes adhere to predefined communication protocols. Prior work on session types has focused on deterministic languages but many message passing systems, such as Markov chains and randomized distributed algorithms, are probabilistic. To model and analyze such systems, this article introduces probabilistic session types and explores their application in automatic expected resource analysis. Probabilistic session types describe probability distributions over messages and are a conservative extension of intuitionistic (binary) session types. To send on a probabilistic channel, processes have to utilize internal randomness from a probabilistic branching expression or external randomness from receiving on a probabilistic channel. The analysis for expected resource bounds is integrated with the type system and is a variant of automatic amortized resource analysis. It can automatically derive symbolic bounds for different cost metrics by reducing type inference to linear constraint solving. The technical contributions include the meta theory that is based on a novel nested multiverse semantics and a type reconstruction algorithm that allows flexible mixing of different sources of randomness without burdening the programmer with type annotations. The type system has been implemented in the language PRast. Experiments demonstrate that PRast is applicable in different domains such as resource analysis of randomized distributed algorithms, verification of limiting distributions in Markov chains, and analysis of probabilistic digital contracts.


A quasi linear irreducibility test in K x y . We provide an irreducibility test in the ring K x y whose complexity is quasi linear with respect to the discriminant valuation, assuming the input polynomial F square free and K a perfect field of characteristic zero or greater than deg(F). The algorithm uses the theory of approximate roots and may be seen as a generalisation of Abhyankhar's irreducibility criterion to the case of non algebraically closed residue fields.


The Effects of Gender Signals and Performance in Online Product Reviews. This work quantifies the effects of signaling and performing gender on the success of reviews written on the popular amazon shopping platform. Highly rated reviews play an important role in e commerce since they are prominently displayed below products. Differences in how gender signaling and gender performing review authors are received can lead to important biases in what content and perspectives are represented among top reviews. To investigate this, we extract signals of author gender from user names, distinguishing reviews where the author's likely gender can be inferred. Using reviews authored by these gender signaling authors, we train a deep learning classifier to quantify the gendered writing style or gendered performance of reviews written by authors who do not send clear gender signals via their user name. We contrast the effects of gender signaling and performance on review success using matching experiments. While we find no general trend that gendered signals or performances influence overall review success, we find strong context specific effects. For example, reviews in product categories such as Electronics or Computers are perceived as less helpful when authors signal that they are likely woman, but are received as more helpful in categories such as Beauty or Clothing. In addition to these interesting findings, our work provides a general chain of tools for studying gender specific effects across various social media platforms.


FairMOT On the Fairness of Detection and Re Identification in Multiple Object Tracking. Multi object tracking (MOT) is an important problem in computer vision which has a wide range of applications. Formulating MOT as multi task learning of object detection and re ID in a single network is appealing since it allows joint optimization of the two tasks and enjoys high computation efficiency. However, we find that the two tasks tend to compete with each other which need to be carefully addressed. In particular, previous works usually treat re ID as a secondary task whose accuracy is heavily affected by the primary detection task. As a result, the network is biased to the primary detection task which is not fair to the re ID task. To solve the problem, we present a simple yet effective approach termed as FairMOT based on the anchor free object detection architecture CenterNet. Note that it is not a naive combination of CenterNet and re ID. Instead, we present a bunch of detailed designs which are critical to achieve good tracking results by thorough empirical studies. The resulting approach achieves high accuracy for both detection and tracking. The approach outperforms the state of the art methods by a large margin on several public datasets. The source code and pre trained models are released at https github.com ifzhang FairMOT.


Sharp stability for the Riesz potential. In this paper we show the stability of the ball as maximizer of the Riesz potential among sets of given volume. The stability is proved with sharp exponent 1 2 , and is valid for any dimension N geq 2 and any power 1 alpha N .


A registration method for model order reduction data compression and geometry reduction. We propose a general i.e., independent of the underlying equation registration method for parameterized Model Order Reduction. Given the spatial domain Omega subset mathbb R d and a set of snapshots u k k 1 n rm train over Omega associated with n rm train values of the model parameters mu 1, ldots, mu n rm train in mathcal P , the algorithm returns a parameter dependent bijective mapping boldsymbol Phi Omega times mathcal P to mathbb R d the mapping is designed to make the mapped manifold u mu circ boldsymbol Phi mu , mu in mathcal P more suited for linear compression methods. We apply the registration procedure, in combination with a linear compression method, to devise low dimensional representations of solution manifolds with slowly decaying Kolmogorov N widths we also consider the application to problems in parameterized geometries. We present a theoretical result to show the mathematical rigor of the registration procedure. We further present numerical results for several two dimensional problems, to empirically demonstrate the effectivity of our proposal.


Equivalence of Hidden Markov Models with Continuous Observations. We consider Hidden Markov Models that emit sequences of observations that are drawn from continuous distributions. For example, such a model may emit a sequence of numbers, each of which is drawn from a uniform distribution, but the support of the uniform distribution depends on the state of the Hidden Markov Model. Such models generalise the more common version where each observation is drawn from a finite alphabet. We prove that one can determine in polynomial time whether two Hidden Markov Models with continuous observations are equivalent.


Diffusion inspired time varying phosphorescent decay in nanostructured environment. Structured environment controls dynamics of light matter interaction processes via modified local density of electromagnetic states. In typical scenarios, where nanosecond scale fluorescent processes are involved, mechanical conformational changes of the environment during the interaction processes can be safely neglected. However, slow decaying phosphorescent complexes (e.g. lanthanides) can efficiently sense micro and millisecond scale motion via near field interactions. As the result, lifetime statistics can inherit information about nano scale mechanical motion. Here we study light matter interaction dynamics of phosphorescent dyes, diffusing in a proximity of a plasmonic nanoantenna. The interplay between the time varying Purcell enhancement and stochastic motion of molecules is considered via a modified diffusion equation, and collective decay phenomena is analysed. Fluid properties, such as local temperature and diffusion coefficient are mapped on phosphorescent lifetime distribution extracted with the help of inverse Laplace transform. We present rather simple photonic platform enabling contactless all optical thermometry and diffusion measurement and paving a way for a plethora of possible applications. Among them, the proposed analysis can be used for detailed studies of nanofluidic processes in lab on a chip devices, which are extremely hard or even impossible to analyse with other optical methods.


Multi Frame to Single Frame Knowledge Distillation for 3D Object Detection. A common dilemma in 3D object detection for autonomous driving is that high quality, dense point clouds are only available during training, but not testing. We use knowledge distillation to bridge the gap between a model trained on high quality inputs at training time and another tested on low quality inputs at inference time. In particular, we design a two stage training pipeline for point cloud object detection. First, we train an object detection model on dense point clouds, which are generated from multiple frames using extra information only available at training time. Then, we train the model's identical counterpart on sparse single frame point clouds with consistency regularization on features from both models. We show that this procedure improves performance on low quality data during testing, without additional overhead.


Structuring Latent Spaces for Stylized Response Generation. Generating responses in a targeted style is a useful yet challenging task, especially in the absence of parallel data. With limited data, existing methods tend to generate responses that are either less stylized or less context relevant. We propose StyleFusion, which bridges conversation modeling and non parallel style transfer by sharing a structured latent space. This structure allows the system to generate stylized relevant responses by sampling in the neighborhood of the conversation model prediction, and continuously control the style level. We demonstrate this method using dialogues from Reddit data and two sets of sentences with distinct styles (arXiv and Sherlock Holmes novels). Automatic and human evaluation show that, without sacrificing appropriateness, the system generates responses of the targeted style and outperforms competitive baselines.


Hindsight for Foresight Unsupervised Structured Dynamics Models from Physical Interaction. A key challenge for an agent learning to interact with the world is to reason about physical properties of objects and to foresee their dynamics under the effect of applied forces. In order to scale learning through interaction to many objects and scenes, robots should be able to improve their own performance from real world experience without requiring human supervision. To this end, we propose a novel approach for modeling the dynamics of a robot's interactions directly from unlabeled 3D point clouds and images. Unlike previous approaches, our method does not require ground truth data associations provided by a tracker or any pre trained perception network. To learn from unlabeled real world interaction data, we enforce consistency of estimated 3D clouds, actions and 2D images with observed ones. Our joint forward and inverse network learns to segment a scene into salient object parts and predicts their 3D motion under the effect of applied actions. Moreover, our object centric model outputs action conditioned 3D scene flow, object masks and 2D optical flow as emergent properties. Our extensive evaluation both in simulation and with real world data demonstrates that our formulation leads to effective, interpretable models that can be used for visuomotor control and planning. Videos, code and dataset are available at http hind4sight.cs.uni freiburg.de


On first order rigidity for linear groups. The paper is a short survey of recent developments in the area of first order descriptions of linear groups. It is aimed to illuminate the known results and to pose the new problems relevant to logical characterizations of Chevalley groups and Kac Moody groups.


How Do Code Changes Evolve in Different Platforms? A Mining based Investigation. Code changes are performed differently in the mobile and non mobile platforms. Prior work has investigated the differences in specific platforms. However, we still lack a deeper understanding of how code changes evolve across different software platforms. In this paper, we present a study aiming at investigating the frequency of changes and how source code, build and test changes co evolve in mobile and non mobile platforms. We developed regression models to explain which factors influence the frequency of changes and applied the Apriori algorithm to find types of changes that frequently co occur. Our findings show that non mobile repositories have a higher number of commits per month and our regression models suggest that being mobile significantly impacts on the number of commits in a negative direction when controlling for confound factors, such as code size. We also found that developers do not usually change source code files together with build or test files. We argue that our results can provide valuable information for developers on how changes are performed in different platforms so that practices adopted in successful software systems can be followed.


Upmost efficiency, few micron sized midwave infrared HgCdTe photodetectors. A few micron thick structure that shows nearly 100 resonant polarized absorptance at a predefined midinfrared wavelength is designed and simulated. Like resonant cavity enhanced photodetector structure, it contains a thin absorber enclosed in a dielectric cavity but surrogates the mirrors by two grating on layer structures. Fair manufacturing tolerance while maintaining high peak efficiency is proved. Electromagnetic fields amplitudes and Poynting vector over the cavity absorber area are visualized and topology of electromagnetic power flow for two linear polarizations is discussed.


Bibasic sequences in Banach lattices. Given a Schauder basic sequence (x k) in a Banach lattice, we say that (x k) is bibasic if the expansion of every vector in x k converges not only in norm, but also in order. We prove that, in this definition, order convergence may be replaced with uniform convergence, with order boundedness of the partial sums, or with norm boundedness of finite suprema of the partial sums. The results in this paper extend and unify those from the pioneering paper "Order Schauder bases in Banach lattices" by A.Gumenchuk et al. In particular, we are able to characterize bibasic sequences in terms of the bibasis inequality, a result they obtained under certain additional assumptions. We then embark on a deeper study of their properties. We show that they are independent of ambient space, stable under small perturbations, and preserved under sequentially uniformly continuous norm isomorphic embeddings. We consider several special kinds of bibasic sequences, including permutable sequences, i.e., sequences for which every permutation is bibasic, and absolute sequences, i.e., sequences where expansions remain convergent after we replace every term with its modulus. We provide several equivalent characterizations of absolute sequences, showing how they relate to bibases and to further modifications of the basis inequality. We further consider bibasic sequences with unique order expansions. We show that this property does generally depend on ambient space, but not for the inclusion of c 0 into ell infty . We also show that small perturbations of bibases with unique order expansions have unique order expansions, but this is not true if "bibases" is replaced with "bibasic sequences". Finally, we consider uo bibasic sequences, which are obtained by replacing order convergence with uo convergence in the definition of a bibasic sequence. We show that such sequences are very common.


Arbitrary access temporal pulse cloaking and restoring in periodically poled lithium niobate. Temporal cloaks have inspired the innovation of research on security and efficiency of quantum and fiber communications for concealing temporal events. The existing temporal cloaking approaches possessing ps ns cloaking windows employed the third order nonlinearity mostly. Here we explore a temporal cloak for perpetually concealing pulse events using high efficiency second order nonlinearity. A temporal pulse event was cloaked as a continuous wave with constant intensity and restored by polarization dependent sum frequency generation processes between the continuous wave and probe. The variety of quasi phase matching second order nonlinear processes in periodically poled lithium niobate make sure the pulse event cannot be filched during transmission. The proposed temporal cloak predicts hopeful applications in information security of photonic integrated circuit on lithium niobite thin film.


Non smooth variational regularization for processing manifold valued data. Many methods for processing scalar and vector valued images, volumes and other data in the context of inverse problems are based on variational formulations. Such formulations require appropriate regularization functionals that model expected properties of the object to reconstruct. Prominent examples of regularization functionals in a vector space context are the total variation (TV) and the Mumford Shah functional, as well as higher order schemes such as total generalized variation models. Driven by applications where the signals or data live in nonlinear manifolds, there has been quite some interest in developing analogous methods for nonlinear, manifold valued data recently. In this chapter, we consider various variational regularization methods for manifold valued data. In particular, we consider TV minimization as well as higher order models such as total generalized variation (TGV). Also, we discuss (discrete) Mumford Shah models and related methods for piecewise constant data. We develop discrete energies for denoising and report on algorithmic approaches to minimize them. Further, we also deal with the extension of such methods to incorporate indirect measurement terms, thus addressing the inverse problem setup. Finally, we discuss wavelet sparse regularization for manifold valued data.


Tori Can't Collapse to an Interval. Here we prove that under a lower sectional curvature bound, a sequence of Riemannian manifolds diffeomorphic to the standard m dimensional torus cannot converge in the Gromov Hausdorff sense to a closed interval. The proof is done by contradiction by analyzing suitable covers of a contradicting sequence, obtained from the Burago Gromov Perelman generalization of the Yamaguchi fibration theorem.


Bianchi's additional symmetries. In a 2012 note in Comptes Rendus Math 'e matique, the author did try to answer a question of Jean Pierre Serre it has recently been announced that the scope of that answer needs an adjustment, and the details of this adjustment are given in the present paper. The original question is the following. Consider the ring of integers O in an imaginary quadratic number field, and the Borel Serre compactification of the quotient of hyperbolic 3 space by SL 2 (O). Consider the map alpha induced on homology when attaching the boundary into the Borel Serre compactification. How can one determine the kernel of alpha (in degree 1) ? Serre used a global topological argument and obtained the rank of the kernel of alpha . He added the question what submodule precisely this kernel is.


Quasi bounded geometry of the Bergman metric and equivalence of invariant metrics. We provide the tractable computational method to show the equivalence of invariant metrics on large classes of hyperbolic K "ahler manifolds with the Bergman metric. Precisely, we consider a class of bounded weakly pseudoconvex domains Omega subset mathbb C n with Lipschitz boundaries partial Omega having three properties (i) there exists a compact subset K subset Omega cup partial Omega such that for any point x in Omega , there exists an automorphism phi Omega rightarrow Omega with phi(x) in Omega cap K , (ii) the holomorphic sectional curvature of the Bergman metric is negative near partial K cap partial Omega , and (iii) the Bergman metric admits the quasi bounded geometry. For this class, we show that the Bergman metric is uniformly equivalent to the complete K "ahler Einstein metric with Ricci curvature equal to 1 and to the Kobayashi Royden metric. As nontrivial example, we consider the 3 dimensional bounded domains E q,r (x,y,z) in mathbb C 3 x 2 y q 1, x 2 z r 1 ,q,r 0. We proceed with the necessary computations on E q,r to verify all assumptions (i),(ii), and (iii). Finally, we introduce the symmetric curvature property of the Bergman metric and show that E q,r satisfies the symmetric curvature property at the (0,0,0) in E q,r if and only if q r .


Statistical and machine learning ensemble modelling to forecast sea surface temperature. In situ and remotely sensed observations have potential to facilitate data driven predictive models for oceanography. A suite of machine learning models, including regression, decision tree and deep learning approaches were developed to estimate sea surface temperatures (SST). Training data consisted of satellite derived SST and atmospheric data from The Weather Company. Models were evaluated in terms of accuracy and computational complexity. Predictive skill were assessed against observations and a state of the art, physics based model from the European Centre for Medium Weather Forecasting. Results demonstrated that by combining automated feature engineering with machine learning approaches, accuracy comparable to existing state of the art can be achieved. Models captured seasonal patterns in the data and qualitatively reproduce short term variations driven by atmospheric forcing. Further, it demonstrated that machine learning based approaches can be used as transportable prediction tools for ocean variables the data driven nature of the approach naturally integrates with automatic deployment frameworks, where model deployments are guided by data rather than user parametrisation and expertise. The low computational cost of inference makes the approach particularly attractive for edge based computing where predictive models could be deployed on low power devices in the marine environment.


Learning to Solve a Rubik's Cube with a Dexterous Hand. We present a learning based approach to solving a Rubik's cube with a multi fingered dexterous hand. Despite the promising performance of dexterous in hand manipulation, solving complex tasks which involve multiple steps and diverse internal object structure has remained an important, yet challenging task. In this paper, we tackle this challenge with a hierarchical deep reinforcement learning method, which separates planning and manipulation. A model based cube solver finds an optimal move sequence for restoring the cube and a model free cube operator controls all five fingers to execute each move step by step. To train our models, we build a high fidelity simulator which manipulates a Rubik's Cube, an object containing high dimensional state space, with a 24 DoF robot hand. Extensive experiments on 1400 randomly scrambled Rubik's cubes demonstrate the effectiveness of our method, achieving an average success rate of 90.3 .


On a theorem of Ledermann and Neumann. We give a short and self contained proof of a theorem of Ledermann and Neumann stating that there are only finitely many finite groups with a given number of automorphisms. We also discuss the history of related conjectures.


Computing harmonic maps between Riemannian manifolds. In the previous paper GLM2018 , we showed that the theory of harmonic maps between Riemannian manifolds may be discretized by introducing triangulations with vertex and edge weights on the domain manifold. In the present paper, we study convergence of the discrete theory to the smooth theory when taking finer and finer triangulations. We present suitable conditions on the weighted triangulations that ensure convergence of discrete harmonic maps to smooth harmonic maps. Our computer software Harmony implements these methods to computes equivariant harmonic maps in the hyperbolic plane.


Interaction with Ubiquitous Robots and Autonomous IoT. Robotics have been slowly permeating Internet of Things (IoT) where the previously ubiquitous but static sensors are now given the power to actively navigate the environment and even interact with users. Emergence of these ubiquitous swarms of robots not only opens up the range of possible applications, but also increases the number of elements to study and design for. We do not yet understand how, when, and where these robots should move, manipulate, and touch around people. Through user centered studies, we aim to better understand how to best design for interaction with Autonomous IoT or a swarm of ubiquitous robots.


Modal characterization of thermal emitters using the Method of Moments. Electromagnetic sources relying on spontaneous emission are difficult to characterize without a proper framework due to the partial spatial coherence of the emitted fields. In this paper, we propose to characterize emitters of any shape through their natural emitting modes, i.e. a set of coherent modes that add up incoherently. The resulting framework is very intuitive since any emitter is regarded as a multimode antenna with zero correlation between modes. Moreover, for any finite emitter, the modes form a compact set that can be truncated. Each significant mode corresponds to one independent degree of freedom through which the emitter radiates power. The proposed formalism is implemented using the Method of Moments (MoM) and applied to a lossy sphere and a lossy ellipsoid. It is shown that electrically small structures can be characterized with a small number of modes, and that this number grows as the structure becomes electrically large.


On transformations and graphic methods of algebraically 3 dimensional force, velocity and displacement systems. In engineering practice one often encounters planar problems, where the corresponding vector space of forces, velocities or (infinitesimal) displacements is three dimensional. This paper shows how these spaces can be factorized, such that the arising equivalence classes correspond to points and lines of action of the forces velocities displacements in the (projective) plane. It is shown how the study of projective transformations and dualities of planar mechanical systems is closely related to the study of linear maps of these spaces. A few past results are analysed and sometimes extended to show the power of this description.


On Relevant Equilibria in Reachability Games. We study multiplayer reachability games played on a finite directed graph equipped with target sets, one for each player. In those reachability games, it is known that there always exists a Nash equilibrium (NE) and a subgame perfect equilibrium (SPE). But sometimes several equilibria may coexist such that in one equilibrium no player reaches his target set whereas in another one several players reach it. It is thus very natural to identify "relevant" equilibria. In this paper, we consider different notions of relevant equilibria including Pareto optimal equilibria and equilibria with high social welfare. We provide complexity results for various related decision problems.


What Programs Want Automatic Inference of Input Data Specifications. Nowadays, as machine learned software quickly permeates our society, we are becoming increasingly vulnerable to programming errors in the data pre processing or training software, as well as errors in the data itself. In this paper, we propose a static shape analysis framework for input data of data processing programs. Our analysis automatically infers necessary conditions on the structure and values of the data read by a data processing program. Our framework builds on a family of underlying abstract domains, extended to indirectly reason about the input data rather than simply reasoning about the program variables. The choice of these abstract domain is a parameter of the analysis. We describe various instances built from existing abstract domains. The proposed approach is implemented in an open source static analyzer for Python programs. We demonstrate its potential on a number of representative examples.


How long is the Chaos Game?. In the 1988 textbook "Fractals Everywhere" M. Barnsley introduced an algorithm for generating fractals through a random procedure which he called the "chaos game". Using ideas from the classical theory of covering times of Markov chains we prove an asymptotic formula for the expected time taken by this procedure to generate a delta dense subset of a given self similar fractal satisfying the open set condition.


A large scale comparison of social media coverage and mentions captured by the two altmetric aggregators Altmetric.com and PlumX. The increased social media attention to scholarly articles has resulted in efforts to create platforms services to track and measure the social media transactions around scholarly articles in different social platforms (such as Twitter, Blog, Facebook) and academic social networks (such as Mendeley, Academia and ResearchGate). Altmetric.com and PlumX are two popular aggregators that track social media activity around scholarly articles from a variety of social platforms and provide the coverage and transaction data to researchers for various purposes. However, some previous studies have shown that the social media data captured by the two aggregators have differences in terms of coverage and magnitude of mentions. This paper aims to revisit the question by doing a large scale analysis of social media mentions of a data sample of 1,785,149 publication records (drawn from multiple disciplines, demographies, publishers). Results obtained show that PlumX tracks more wide sources and more articles as compared to Altmetric.com. However, the coverage and average mentions of the two aggregators vary across different social media platforms, with Altmetric.com recording higher mentions in Twitter and Blog, and PlumX recording higher mentions in Facebook and Mendeley, for the same set of articles. The coverage and average mentions captured by the two aggregators across different document types, disciplines and publishers is also analyzed.


Games Where You Can Play Optimally with Arena Independent Finite Memory. For decades, two player (antagonistic) games on graphs have been a framework of choice for many important problems in theoretical computer science. A notorious one is controller synthesis, which can be rephrased through the game theoretic metaphor as the quest for a winning strategy of the system in a game against its antagonistic environment. Depending on the specification, optimal strategies might be simple or quite complex, for example having to use (possibly infinite) memory. Hence, research strives to understand which settings allow for simple strategies. In 2005, Gimbert and Zielonka provided a complete characterization of preference relations (a formal framework to model specifications and game objectives) that admit memoryless optimal strategies for both players. In the last fifteen years however, practical applications have driven the community toward games with complex or multiple objectives, where memory finite or infinite is almost always required. Despite much effort, the exact frontiers of the class of preference relations that admit finite memory optimal strategies still elude us. In this work, we establish a complete characterization of preference relations that admit optimal strategies using arena independent finite memory, generalizing the work of Gimbert and Zielonka to the finite memory case. We also prove an equivalent to their celebrated corollary of great practical interest if both players have optimal (arena independent )finite memory strategies in all one player games, then it is also the case in all two player games. Finally, we pinpoint the boundaries of our results with regard to the literature our work completely covers the case of arena independent memory (e.g., multiple parity objectives, lower and upper bounded energy objectives), and paves the way to the arena dependent case (e.g., multiple lower bounded energy objectives).


Extreme values for iterated integrals of the logarithm of the Riemann zeta function. In this paper, we give an approximate formula for the measure of extreme values for the logarithm of the Riemann zeta function and its iterated integrals. The result recovers the unconditional best result for the Omega result of S 1 (t) for the part of minus of Tsang.


Developments in Multi Agent Fair Allocation. Fairness is becoming an increasingly important concern when designing markets, allocation procedures, and computer systems. I survey some recent developments in the field of multi agent fair allocation.


Better Code, Better Sharing On the Need of Analyzing Jupyter Notebooks. By bringing together code, text, and examples, Jupyter notebooks have become one of the most popular means to produce scientific results in a productive and reproducible way. As many of the notebook authors are experts in their scientific fields, but laymen with respect to software engineering, one may ask questions on the quality of notebooks and their code. In a preliminary study, we experimentally demonstrate that Jupyter notebooks are inundated with poor quality code, e.g., not respecting recommended coding practices, or containing unused variables and deprecated functions. Considering the education nature of Jupyter notebooks, these poor coding practices as well as the lacks of quality control might be propagated into the next generation of developers. Hence, we argue that there is a strong need to programmatically analyze Jupyter notebooks, calling on our community to pay more attention to the reliability of Jupyter notebooks.


Event Based, Near Eye Gaze Tracking Beyond 10,000Hz. The cameras in modern gaze tracking systems suffer from fundamental bandwidth and power limitations, constraining data acquisition speed to 300 Hz realistically. This obstructs the use of mobile eye trackers to perform, e.g., low latency predictive rendering, or to study quick and subtle eye motions like microsaccades using head mounted devices in the wild. Here, we propose a hybrid frame event based near eye gaze tracking system offering update rates beyond 10,000 Hz with an accuracy that matches that of high end desktop mounted commercial trackers when evaluated in the same conditions. Our system builds on emerging event cameras that simultaneously acquire regularly sampled frames and adaptively sampled events. We develop an online 2D pupil fitting method that updates a parametric model every one or few events. Moreover, we propose a polynomial regressor for estimating the point of gaze from the parametric pupil model in real time. Using the first event based gaze dataset, available at https github.com aangelopoulos event based gaze tracking , we demonstrate that our system achieves accuracies of 0.45 degrees 1.75 degrees for fields of view from 45 degrees to 98 degrees. With this technology, we hope to enable a new generation of ultra low latency gaze contingent rendering and display techniques for virtual and augmented reality.


Mass selective removal of ions from Paul traps using parametric excitation. We study a method for mass selective removal of ions from a Paul trap by parametric excitation. This can be achieved by applying an oscillating electric quadrupole field at twice the secular frequency omega text sec using pairs of opposing electrodes. While excitation near the resonance with the frequency omega text sec only leads to a linear increase of the amplitude with excitation duration, parametric excitation near 2 , omega text sec results in an exponential increase of the amplitude. This enables efficient removal of ions from the trap with modest excitation voltages and narrow bandwidth, therefore substantially reducing the disturbance of ions with other charge to mass ratios. We numerically study and compare the mass selectivity of the two methods. In addition, we experimentally show that the barium isotopes with 136 and 137 nucleons can be removed from small ion crystals and ejected out of the trap while keeping 138 text Ba ions Doppler cooled, corresponding to a mass selectivity of better than Delta m m 1 138 . This method can be widely applied to ion trapping experiments without major modifications, since it only requires modulating the potential of the ion trap.


Modeling Institutional Credit Risk with Financial News. Credit risk management, the practice of mitigating losses by understanding the adequacy of a borrower's capital and loan loss reserves, has long been imperative to any financial institution's long term sustainability and growth. MassMutual is no exception. The company is keen on effectively monitoring downgrade risk, or the risk associated with the event when credit rating of a company deteriorates. Current work in downgrade risk modeling depends on multiple variations of quantitative measures provided by third party rating agencies and risk management consultancy companies. As these structured numerical data become increasingly commoditized among institutional investors, there has been a wide push into using alternative sources of data, such as financial news, earnings call transcripts, or social media content, to possibly gain a competitive edge in the industry. The volume of qualitative information or unstructured text data has exploded in the past decades and is now available for due diligence to supplement quantitative measures of credit risk. This paper proposes a predictive downgrade model using solely news data represented by neural network embeddings. The model standalone achieves an Area Under the Receiver Operating Characteristic Curve (AUC) of more than 80 percent. The output probability from this news model, as an additional feature, improves the performance of our benchmark model using only quantitative measures by more than 5 percent in terms of both AUC and recall rate. A qualitative evaluation also indicates that news articles related to our predicted downgrade events are specially relevant and high quality in our business context.


Fast Manipulability Maximization Using Continuous Time Trajectory Optimization. A significant challenge in manipulation motion planning is to ensure agility in the face of unpredictable changes during task execution. This requires the identification and possible modification of suitable joint space trajectories, since the joint velocities required to achieve a specific endeffector motion vary with manipulator configuration. For a given manipulator configuration, the joint space to task space velocity mapping is characterized by a quantity known as the manipulability index. In contrast to previous control based approaches, we examine the maximization of manipulability during planning as a way of achieving adaptable and safe joint space to task space motion mappings in various scenarios. By representing the manipulator trajectory as a continuous time Gaussian process (GP), we are able to leverage recent advances in trajectory optimization to maximize the manipulability index during trajectory generation. Moreover, the sparsity of our chosen representation reduces the typically large computational cost associated with maximizing manipulability when additional constraints exist. Results from simulation studies and experiments with a real manipulator demonstrate increases in manipulability, while maintaining smooth trajectories with more dexterous (and therefore more agile) arm configurations.


Investigating solvent effects on the magnetic properties of molybdate ions (MoO 4 2 ) with relativistic embedding. We investigate the ability of mechanical and electronic density functional theory (DFT) based embedding approaches to describe the solvent effects on nuclear magnetic resonance (NMR) shielding constants of the 95 Mo nucleus in the molybdate ion in aqueous solution. From the description obtained from calculations with two and four component relativistic Hamiltonians, we find that for such systems spin orbit coupling effects are clearly important for absolute shielding values, but for relative quantities a scalar relativistic treatment provides a sufficient estimation of the solvent effects. We find that the electronic contributions to the solvent effects are relatively modest yet decisive to provide a more accurate magnetic response of the system, when compared to reference supermolecular calculations. We analyze the errors in the embedding calculations by statistical methods as well as through a real space representation of NMR shielding densities, which are shown to provide a clear picture of the physical processes at play.


Modality Shifting Attention Network for Multi modal Video Question Answering. This paper considers a network referred to as Modality Shifting Attention Network (MSAN) for Multimodal Video Question Answering (MVQA) task. MSAN decomposes the task into two sub tasks (1) localization of temporal moment relevant to the question, and (2) accurate prediction of the answer based on the localized moment. The modality required for temporal localization may be different from that for answer prediction, and this ability to shift modality is essential for performing the task. To this end, MSAN is based on (1) the moment proposal network (MPN) that attempts to locate the most appropriate temporal moment from each of the modalities, and also on (2) the heterogeneous reasoning network (HRN) that predicts the answer using an attention mechanism on both modalities. MSAN is able to place importance weight on the two modalities for each sub task using a component referred to as Modality Importance Modulation (MIM). Experimental results show that MSAN outperforms previous state of the art by achieving 71.13 test accuracy on TVQA benchmark dataset. Extensive ablation studies and qualitative analysis are conducted to validate various components of the network.


Analysis of the Impact of Mask wearing in Viral Spread Implications for COVID 19. Masks are used as part of a comprehensive strategy of measures to limit transmission and save lives during the COVID 19 pandemic. Research about the impact of mask wearing in the COVID 19 pandemic has raised formidable interest across multiple disciplines. In this paper, we investigate the impact of mask wearing in spreading processes over complex networks. This is done by studying a heterogeneous bond percolation process over a multi type network model, where nodes can be one of two types (mask wearing, and not mask wearing). We provide analytical results that accurately predict the expected epidemic size and probability of emergence as functions of the characteristics of the spreading process (e.g., transmission probabilities, inward and outward efficiency of the masks, etc.), the proportion of mask wearers in the population, and the structure of the underlying contact network. In addition to the theoretical analysis, we also conduct extensive simulations on random networks. We also comment on the analogy between the mask model studied here and the multiple strain viral spreading model with mutations studied recently by Eletreby et al.


Tool Support of Formal Methods for Privacy by Design. Formal methods are, in principle, suited for supporting the recent paradigm of privacy by design, but no overview is available that summarizes which particular approaches have been investigated, for which application domains they are suited, and whether they are implemented and available as tools. Using the techniques of search based literature review and snowballing this paper answers those questions for a selected set of research papers.


On the expected number of real roots of random polynomials arising from evolutionary game theory. In this paper, we obtain finite estimates and asymptotic formulas for the expected number of real roots of two classes of random polynomials arising from evolutionary game theory. As a consequence of our analysis, we achieve an asymptotic formula for the expected number of internal equilibria in multi player two strategy random evolutionary games. Our results contribute both to evolutionary game theory and random polynomial theory.


System Outage Probability of PS SWIPT Enabled Two Way AF Relaying with Hardware Impairments. In this paper, we investigate the system outage probability of a simultaneous wireless information and power transfer (SWIPT) based two way amplify and forward (AF) relay network considering transceiver hardware impairments (HIs), where the energy constrained relay node processes the received signals based on a power splitting protocol and the two terminals employ a selection combining (SC) scheme to exploit the signals from the direct and relaying links. Assuming independent but non identically distributed Nakagami m fading channels, we derive the system outage probability in a closed form, which enables us to identify two crucial ceiling effects on the system outage probability caused by HIs in the high data rate regions, i.e., relay cooperation ceiling (RCC) and overall system ceiling (OSC). Specifically, the RCC prevents the relaying link from participating in cooperative communications, while the OSC leaves the overall system in outage. Furthermore, we derive the achievable diversity gain of the considered network, which shows that the diversity gain equals either the shape parameter of the direct link or zero. Computer simulations are provided to validate the correctness of our analytical results, and study the effects of various system parameters on the system outage performance and the optimal power splitting ratio, as well as the energy efficiency.


Noisy Deductive Reasoning How Humans Construct Math, and How Math Constructs Universes. We present a computational model of mathematical reasoning according to which mathematics is a fundamentally stochastic process. That is, on our model, whether or not a given formula is deemed a theorem in some axiomatic system is not a matter of certainty, but is instead governed by a probability distribution. We then show that this framework gives a compelling account of several aspects of mathematical practice. These include 1) the way in which mathematicians generate research programs, 2) the applicability of Bayesian models of mathematical heuristics, 3) the role of abductive reasoning in mathematics, 4) the way in which multiple proofs of a proposition can strengthen our degree of belief in that proposition, and 5) the nature of the hypothesis that there are multiple formal systems that are isomorphic to physically possible universes. Thus, by embracing a model of mathematics as not perfectly predictable, we generate a new and fruitful perspective on the epistemology and practice of mathematics.


On the text AC 0 oplus complexity of Andreev's Problem. Andreev's Problem states the following Given an integer d and a subset of S subseteq mathbb F q times mathbb F q , is there a polynomial y p(x) of degree at most d such that for every a in mathbb F q , (a,p(a)) in S ? We show an text AC 0 oplus lower bound for this problem. This problem appears to be similar to the list recovery problem for degree d Reed Solomon codes over mathbb F q which states the following Given subsets A 1, ldots,A q of mathbb F q , output all (if any) the Reed Solomon codewords contained in A 1 times cdots times A q . For our purpose, we study this problem when A 1, ldots, A q are random subsets of a given size, which may be of independent interest.


Ride N' Rhythm, Bike as an Embodied Musical Instrument to Improve Music Perception for Young Children. Music plays a crucial role in young children's development. Current research lacks the design of an interactive system for younger children that could generate dynamic music change in response to the children's body movement. In this paper, we present the design of bike as an embodied musical instrument for young children 2 5 years old to improve their music perception skills. In the Ride N' Rhythm prototype, the rider's body position maps to the music volume and the speed of the bike maps to the tempo. The design of the prototype incorporates the Embodied Music Cognition theory and Dalcroze Eurhythmics pedagogy, and aims to internalize the 'intuitive' knowing and musical understanding via the combination of music and body movement.


Hybrid mimetic finite difference and virtual element formulation for coupled poromechanics. We present a hybrid mimetic finite difference and virtual element formulation for coupled single phase poromechanics on unstructured meshes. The key advantage of the scheme is that it is convergent on complex meshes containing highly distorted cells with arbitrary shapes. We use a local pressure jump stabilization method based on unstructured macro elements to prevent the development of spurious pressure modes in incompressible problems approaching undrained conditions. A scalable linear solution strategy is obtained using a block triangular preconditioner designed specifically for the saddle point systems arising from the proposed discretization. The accuracy and efficiency of our approach are demonstrated numerically on two dimensional benchmark problems.


Globalized distributionally robust optimization problems under the moment based framework. This paper is devoted to reduce the conservatism of distributionally robust optimization with moments information. Since the optimal solution of distributionally robust optimization is required to be feasible for all uncertain distributions in a given ambiguity distribution set and so the conservatism of the optimal solution is inevitable. To address this issue, we introduce the globalized distributionally robust counterpart (GDRC) which allows constraint violations controlled by functional distance of the true distribution to the inner uncertainty distribution set. We obtain the deterministic equivalent forms for several GDRCs under the moment based framework. To be specific, we show the deterministic equivalent system of inequalities for the GDRCs under second order moment information with a separable distance function and a jointly convex distance function, respectively. Moreover, the feasible set of the system is convex. We also develop the deterministic equivalent inequality for the GDRC under first order moment and support information. The computationally tractable examples are presented for these GDRCs. A numerical tests of a portfolio optimization problem is given to show the efficiency of our methods and the results demonstrate that the globalized distributionally robust solutions is non conservative and flexible compared to the distributionally robust solutions.


Diagonalization of the finite Hilbert transform on two adjacent intervals the Riemann Hilbert approach. In this paper we study the spectra of bounded self adjoint linear operators that are related to finite Hilbert transforms mathcal H L L 2( b L,0 ) to L 2( 0,b R ) and mathcal H R L 2( 0,b R ) to L 2( b L,0 ) . These operators arise when one studies the interior problem of tomography. The diagonalization of mathcal H R, mathcal H L has been previously obtained, but only asymptotically when b L neq b R . We implement a novel approach based on the method of matrix Riemann Hilbert problems (RHP) which diagonalizes mathcal H R, mathcal H L explicitly. We also find the asymptotics of the solution to a related RHP and obtain error estimates.


Cubic Metric Reduction for Repetitive CAZAC Sequences in frequency domain. In NR based Access to Unlicensed Spectrum (NR U) of 5G system, to satisfy the rules of Occupied Channel Bandwidth (OCB) of unlicensed spectrum, the channels of PRACH and PUCCH have to use some sequence repetition mechanisms in frequency domain. These repetition mechanisms will cause serious cubic metric(CM) problems for these channels, although these two types of channels are composed of Constant Amplitude Zero Auto correlation(CAZAC) sequences.. Based on the characteristics of CAZAC sequences, which are used for PRACH and PUCCH (refer to PUCCH format 0 and format 1) in 5G NR, in this paper, we propose some new mechanisms of CM reduction for these two types of channels considering the design principles to ensure the sequence performance of the auto correlation and cross correlation. Then the proposed CM schemes are evaluated and the optimized parameters are further provided considering CM performance and the complexity.


Strong Field Terahertz Control of Plasmon Induced Opacity in Photoexcited Metamaterial. A terahertz metamaterial consisting of radiative slot antennas and subradiant complementary split ring resonators exhibits plasmon induced opacity in a narrow spectral range due to the destructive interference between the bright and dark modes of the coupled oscillators. Femtosecond optical excitations instantly quench the mode coupling and plasmon oscillations, injecting photocarriers into the metamaterial. The plasmon resonances in the coupled metamaterial are transiently restored by intense terahertz pulses. The strong terahertz fields induce intervalley scattering and interband tunneling of the photocarries, and achieve significant reduction of the photocarrier mobility. The ultrafast dynamics of the nonlinear THz interactions reveals intricate interplay between photocarriers and plasmon oscillations. The high field THz control of the plasmon oscillations implies potential applications to ultrahigh speed plasmonics.


Compact Sobolev embeddings on non compact manifolds via orbit expansions of isometry groups. Given a complete non compact Riemannian manifold (M,g) with certain curvature restrictions, we introduce an expansion condition concerning a group of isometries G of (M,g) that characterizes the coerciveness of G in the sense of Skrzypczak and Tintarev (Arch. Math., 2013). Furthermore, under these conditions, compact Sobolev type embeddings a la Berestycki Lions are proved for the full range of admissible parameters (Sobolev, Moser Trudinger and Morrey). We also consider the case of non compact Randers type Finsler manifolds with finite reversibility constant inheriting similar embedding properties as their Riemannian companions sharpness of such constructions are shown by means of the Funk model. As an application, a quasilinear PDE on Randers spaces is studied by using the above compact embeddings and variational arguments.


Why carbon dioxide makes stellarators so important. The increasing level of atmospheric carbon dioxide has driven public discourse throughout the world. An immediate implementation of carbon free energy sources is demanded with little discussion of costs, technical constraints on the sources, or implications of high residual levels of carbon dioxide. Residual carbon dioxide can be removed from the air, but the cost to remove the carbon dioxide produced by human activity during a year is thought to be trillions of dollars otherwise it remains in the atmosphere for centuries. Economic considerations may limit wind and solar sources to less than 40 of the electricity production. Fission or fusion may be the only choice for most of the rest. Development costs are orders of magnitude smaller than implementation costs, which are tens of trillions of dollars for fission. A needless delay in the development of fusion has enormous financial implications. As will be shown stellarators are better positioned than any other concept for a fast path to fusion. A computationally derived conceptual design for a stellarator reactor may allow final design and construction to be initiated without the delay of intermediate generations of experiments. The most urgent issue is the development of conceptual designs.


Linear Time Recognition of Equimatchable Split Graphs. A maximal matching M that consists of independent edges is a subgraph of a simple and undirected graph G for which G M forms an independent set. A graph G is called equimatchable if all maximal matchings have the same number of edges. On the other hand, G is called as a split graph if its vertices can be partitioned into two subsets for which one of them forms a clique whereas the second forms an independent set. We will give a linear time algorithm for recognition of equimatchable split graphs.


Knowing What, How and Why A Near Complete Solution for Aspect based Sentiment Analysis. Target based sentiment analysis or aspect based sentiment analysis (ABSA) refers to addressing various sentiment analysis tasks at a fine grained level, which includes but is not limited to aspect extraction, aspect sentiment classification, and opinion extraction. There exist many solvers of the above individual subtasks or a combination of two subtasks, and they can work together to tell a complete story, i.e. the discussed aspect, the sentiment on it, and the cause of the sentiment. However, no previous ABSA research tried to provide a complete solution in one shot. In this paper, we introduce a new subtask under ABSA, named aspect sentiment triplet extraction (ASTE). Particularly, a solver of this task needs to extract triplets (What, How, Why) from the inputs, which show WHAT the targeted aspects are, HOW their sentiment polarities are and WHY they have such polarities (i.e. opinion reasons). For instance, one triplet from "Waiters are very friendly and the pasta is simply average" could be ('Waiters', positive, 'friendly'). We propose a two stage framework to address this task. The first stage predicts what, how and why in a unified model, and then the second stage pairs up the predicted what (how) and why from the first stage to output triplets. In the experiments, our framework has set a benchmark performance in this novel triplet extraction task. Meanwhile, it outperforms a few strong baselines adapted from state of the art related methods.


RoNIN Robust Neural Inertial Navigation in the Wild Benchmark, Evaluations, and New Methods. This paper sets a new foundation for data driven inertial navigation research, where the task is the estimation of positions and orientations of a moving subject from a sequence of IMU sensor measurements. More concretely, the paper presents 1) a new benchmark containing more than 40 hours of IMU sensor data from 100 human subjects with ground truth 3D trajectories under natural human motions 2) novel neural inertial navigation architectures, making significant improvements for challenging motion cases and 3) qualitative and quantitative evaluations of the competing methods over three inertial navigation benchmarks. We will share the code and data to promote further research.


On 3 and 9 regular cubic partitions. Let a 3(n) and a 9(n) are 3 and 9 regular cubic partitions of n . In this paper, we find the infinite family of congruences modulo powers of 3 for a 3(n) and a 9(n) such as a 3 left (3 2 alpha n frac 3 2 alpha 1 4 right ) equiv 0 pmod 3 alpha and a 9 left (3 alpha 1 n 3 alpha 1 1 right ) equiv 0 pmod 3 alpha 1 .


Positivity Certificates via Integral Representations. Complete monotonicity is a strong positivity property for real valued functions on convex cones. It is certified by the kernel of the inverse Laplace transform. We study this for negative powers of hyperbolic polynomials. Here the certificate is the Riesz kernel in Garding's integral representation. The Riesz kernel is a hypergeometric function in the coefficients of the given polynomial. For monomials in linear forms, it is a Gel'fand Aomoto hypergeometric function, related to volumes of polytopes. We establish complete monotonicity for sufficiently negative powers of elementary symmetric functions. We also show that small negative powers of these polynomials are not completely monotone, proving one direction of a conjecture by Scott and Sokal.


Uniqueness of higher integrable solution to the Landau equation with Coulomb interactions. We are concerned with the uniqueness of weak solution to the spatially homogeneous Landau equation with Coulomb interactions under the assumption that the solution is bounded in the space L infty(0,T,L p( R 3)) for some p 3 2 . The proof uses a weighted Poincar 'e Sobolev inequality recently introduced in cite GG18 .


Understanding YouTube Communities via Subscription based Channel Embeddings. YouTube is an important source of news and entertainment worldwide, but the scale makes it challenging to study the ideas and topics being discussed on the platform. This paper presents new methods to discover and classify YouTube channels which enable the analysis of communities and categories on the platform using orders of magnitude more channels than have been used in previous studies. Instead of using channel and video data as features for classification as other researchers have, these methods use a self supervised learning approach that leverages the public subscription pages of commenters. We test the classification method on the task of predicting the political lean of YouTube news channels and find that it outperforms the previous best model on the task. Further experiments also show that there are important advantages to using commenter subscriptions to discover channels. The subscription data, along with an iterative approach, is applied to discover, to our current understanding, the most comprehensive set of English language socio political YouTube channels yet to be analyzed. We experiment with predicting more fine grained political tags for channels using a previously annotated dataset and find that our model performs better than the average individual human reviewer for most of the top tags. This fine grained political tag model is then applied to the newly discovered English language socio political channels to create a new dataset to analyze the amount of traffic going to different political content. The data shows that some tags, such as "Partisan Right" and "Conspiracy", are significantly under represented when looking only at the most popular socio political channels. Through the use of our methods, we are able to get a much more accurate picture of the size of these communities on YouTube.


Dynamic causal modelling of COVID 19. This technical report describes a dynamic causal model of the spread of coronavirus through a population. The model is based upon ensemble or population dynamics that generate outcomes, like new cases and deaths over time. The purpose of this model is to quantify the uncertainty that attends predictions of relevant outcomes. By assuming suitable conditional dependencies, one can model the effects of interventions (e.g., social distancing) and differences among populations (e.g., herd immunity) to predict what might happen in different circumstances. Technically, this model leverages state of the art variational (Bayesian) model inversion and comparison procedures, originally developed to characterise the responses of neuronal ensembles to perturbations. Here, this modelling is applied to epidemiological populations to illustrate the kind of inferences that are supported and how the model per se can be optimised given timeseries data. Although the purpose of this paper is to describe a modelling protocol, the results illustrate some interesting perspectives on the current pandemic for example, the nonlinear effects of herd immunity that speak to a self organised mitigation process.


Effects of Depth Layer Switching between an Optical See Through Head Mounted Display and a Body Proximate Display. Optical see through head mounted displays (OST HMDs) typically display virtual content at a fixed focal distance while users need to integrate this information with real world information at different depth layers. This problem is pronounced in body proximate multi display systems, such as when an OST HMD is combined with a smartphone or smartwatch. While such joint systems open up a new design space, they also reduce users' ability to integrate visual information. We quantify this cost by presenting the results of an experiment (n 24) that evaluates human performance in a visual search task across an OST HMD and a body proximate display at 30 cm. The results reveal that task completion time increases significantly by approximately 50 and the error rate increases significantly by approximately 100 compared to visual search on a single depth layer. These results highlight a design trade off when designing joint OST HMD body proximate display systems.


Perfectoid Shimura varieties and the Calegari Emerton conjectures. We prove many new cases of a conjecture of Calegari Emerton describing the qualitative properties of completed cohomology. The heart of our argument is a careful inductive analysis of completed cohomology on the Borel Serre boundary. As a key input to this induction, we prove a new perfectoidness result for towers of minimally compactified Shimura varieties of pre abelian type, generalizing previous work of Scholze.


SiamSNN Siamese Spiking Neural Networks for Energy Efficient Object Tracking. Recently spiking neural networks (SNNs), the third generation of neural networks has shown remarkable capabilities of energy efficient computing, which is a promising alternative for deep neural networks (DNNs) with high energy consumption. SNNs have reached competitive results compared to DNNs in relatively simple tasks and small datasets such as image classification and MNIST CIFAR, while few studies on more challenging vision tasks on complex datasets. In this paper, we focus on extending deep SNNs to object tracking, a more advanced vision task with embedded applications and energy saving requirements, and present a spike based Siamese network called SiamSNN. Specifically, we propose an optimized hybrid similarity estimation method to exploit temporal information in the SNNs, and introduce a novel two status coding scheme to optimize the temporal distribution of output spike trains for further improvements. SiamSNN is the first deep SNN tracker that achieves short latency and low precision loss on the visual object tracking benchmarks OTB2013 2015, VOT2016 2018, and GOT 10k. Moreover, SiamSNN achieves notably low energy consumption and real time on Neuromorphic chip TrueNorth.


The Racah Algebra as a Subalgebra of the Bannai Ito Algebra. Assume that mathbb F is a field with operatorname char mathbb F not 2 . The Racah algebra Re is a unital associative mathbb F algebra defined by generators and relations. The generators are A , B , C , D and the relations assert that A,B B,C C,A 2D and each of A,D AC BA , B,D BA CB , C,D CB AC is central in Re . The Bannai Ito algebra mathfrak BI is a unital associative mathbb F algebra generated by X , Y , Z and the relations assert that each of X,Y Z , Y,Z X , Z,X Y is central in mathfrak BI . It was discovered that there exists an mathbb F algebra homomorphism zeta colon Re to mathfrak BI that sends A mapsto frac (2X 3)(2X 1) 16 , B mapsto frac (2Y 3)(2Y 1) 16 , C mapsto frac (2Z 3)(2Z 1) 16 . We show that zeta is injective and therefore Re can be considered as an mathbb F subalgebra of mathfrak BI . Moreover we show that any Casimir element of Re can be uniquely expressed as a polynomial in X,Y Z , Y,Z X , Z,X Y and X Y Z with coefficients in mathbb F .


SurviveCovid 19 An Educational Game to Facilitate Habituation of Social Distancing and Other Health Measures for Covid 19 Pandemic. Covid 19 has been causing severe loss to the human race. Considering the mode of spread and severity, it is essential to make it a habit to follow various safety precautions such as using sanitizers and masks and maintaining social distancing to prevent the spread of Covid 19. Individuals are widely educated about the safety measures against the disease through various modes such as announcements through online or physical awareness campaigns, advertisements in the media and so on. The younger generations today spend considerably more time on mobile phones and games. However, there are very few applications or games aimed to help in practicing safety measures against a pandemic, which is much lesser in the case of Covid 19. Hence, we propose a 2D survival based game, SurviveCovid 19, aimed to educate people about safety precautions to be taken for Covid 19 outside their homes by incorporating social distancing and usage of masks and sanitizers in the game. SurviveCovid 19 has been designed as an Android based mobile game, along with a desktop (browser) version, and has been evaluated through a remote quantitative user survey, with 30 volunteers using the questionnaire based on the MEEGA model. The survey results are promising, with all the survey questions having a mean value greater than 3.5. The game's quality factor was 69.3, indicating that the game could be classified as excellent quality, according to the MEEGA model.


Repeat Authenticate Scheme for Multicasting of Blockchain Information in IoT Systems. We study the problem of efficiently disseminating authenticated blockchain information from blockchain nodes (servers) to Internet of Things (IoT) devices, through a wireless base station (BS). In existing blockchain protocols, upon generation of a new block, each IoT device receives a copy of the block header, authenticated via digital signature by one or more trusted servers. Since it relies on unicast transmissions, the required communication resources grow linearly with the number of IoT devices. We propose a more efficient scheme, in which a single copy of each block header is multicasted, together with the signatures of servers. In addition, if IoT devices tolerate a delay, we exploit the blockchain structure to amortize the authentication in time, by transmitting only a subset of signature in each block period. Finally, the BS sends redundant information, via a repetition code, to deal with the unreliable wireless channel, with the aim of decreasing the amount of feedback required from IoT devices. Our analysis shows the trade off between timely authentication of blocks and reliability of the communication, depending on the packet loss rate offered by the channel. The numerical results show that the performance benefits of the proposed scheme makes it a viable starting point for designing new lightweight protocols for blockchains.


Classification of Motorcycles using Extracted Images of Traffic Monitoring Videos. Due to the great growth of motorcycles in the urban fleet and the growth of the study on its behavior and of how this vehicle affects the flow of traffic becomes necessary the development of tools and techniques different from the conventional ones to identify its presence in the traffic flow and be able to extract your information. The article in question attempts to contribute to the study on this type of vehicle by generating a motorcycle image bank and developing and calibrating a motorcycle classifier by combining the LBP techniques to create the characteristic vectors and the classification technique LinearSVC to perform the predictions. In this way the classifier of vehicles of the type motorcycle developed in this research can classify the images of vehicles extracted of videos of monitoring between two classes motorcycles and non motorcycles with a precision and an accuracy superior to 0,9.


Credit Scoring for Good Enhancing Financial Inclusion with Smartphone Based Microlending. Globally, two billion people and more than half of the poorest adults do not use formal financial services. Consequently, there is increased emphasis on developing financial technology that can facilitate access to financial products for the unbanked. In this regard, smartphone based microlending has emerged as a potential solution to enhance financial inclusion. We propose a methodology to improve the predictive performance of credit scoring models used by these applications. Our approach is composed of several steps, where we mostly focus on engineering appropriate features from the user data. Thereby, we construct pseudo social networks to identify similar people and combine complex network analysis with representation learning. Subsequently we build credit scoring models using advanced machine learning techniques with the goal of obtaining the most accurate credit scores, while also taking into consideration ethical and privacy regulations to avoid unfair discrimination. A successful deployment of our proposed methodology could improve the performance of microlending smartphone applications and help enhance financial wellbeing worldwide.


Projective and conformal closed manifolds with a higher rank lattice action. We prove global results about actions of cocompact lattices in higher rank simple Lie groups on closed manifolds endowed with either a projective class of connections or a conformal class of pseudo Riemannian metrics of signature (p,q) , with min(p,q) geq 2 . In the continuity of a recent article, provided that such a structure is locally equivalent to its model mathbf X , the main question treated here is the completeness of the associated (G, mathbf X ) structure. Because of the similarities between the model spaces of projective geometry and non Lorentzian conformal geometry, a number of arguments apply in both contexts. We therefore present the proofs in parallel. The conclusion is that in both cases, when the real rank is maximal, the manifold is globally equivalent to either the model space mathbf X or its double cover.


Compact Oblivious Routing in Weighted Graphs. The space requirement for routing tables is an important characteristic of routing schemes. For the cost measure of minimizing the total network load there exist a variety of results that show tradeoffs between stretch and required size for the routing tables. This paper designs compact routing schemes for the cost measure congestion, where the goal is to minimize the maximum relative load of a link in the network (the relative load of a link is its traffic divided by its bandwidth). We show that for arbitrary undirected graphs we can obtain oblivious routing strategies with competitive ratio tilde mathcal O (1) that have header length tilde mathcal O (1) , label size tilde mathcal O (1) , and require routing tables of size tilde mathcal O ( operatorname deg (v)) at each vertex v in the graph. This improves a result of R "acke and Schmid who proved a similar result in unweighted graphs.


Type aware Convolutional Neural Networks for Slot Filling. The slot filling task aims at extracting answers for queries about entities from text, such as "Who founded Apple". In this paper, we focus on the relation classification component of a slot filling system. We propose type aware convolutional neural networks to benefit from the mutual dependencies between entity and relation classification. In particular, we explore different ways of integrating the named entity types of the relation arguments into a neural network for relation classification, including a joint training and a structured prediction approach. To the best of our knowledge, this is the first study on type aware neural networks for slot filling. The type aware models lead to the best results of our slot filling pipeline. Joint training performs comparable to structured prediction. To understand the impact of the different components of the slot filling pipeline, we perform a recall analysis, a manual error analysis and several ablation studies. Such analyses are of particular importance to other slot filling researchers since the official slot filling evaluations only assess pipeline outputs. The analyses show that especially coreference resolution and our convolutional neural networks have a large positive impact on the final performance of the slot filling pipeline. The presented models, the source code of our system as well as our coreference resource is publicy available.


Further Results and Discussions on Random Cayley Graphs. Consider the random Cayley graph of a finite group G with respect to k generators chosen uniformly at random, with 1 ll k lesssim log G . The results of this article supplement those in the three main papers on random Cayley graphs. The majority of the results are inspired by a universality' conjecture of Aldous and Diaconis (1985). To start, we study the limit profile of cutoff for the simple random walk on this random graph, as well as a detailed investigation into mixing properties when G mathbb Z p d with p prime. We then exposit a proof of Diaconis and Saloff Coste (1994) establishing lack of cutoff when k asymp 1 . We move onto discussing material from our companion paper on matrix groups. We then study distance of a typical element of G from the identity in an L q type graph distance in the Abelian set up. Finally, we give necessary and sufficient conditions for k independent uniform elements of G to generate G , ie for the random Cayley graph to be connected, based on work of Pomerance (2001). The aforementioned results all hold with high probability over the random Cayley graph.


First Steps Towards a Runtime Analysis When Starting With a Good Solution. The mathematical runtime analysis of evolutionary algorithms traditionally regards the time an algorithm needs to find a solution of a certain quality when initialized with a random population. In practical applications it may be possible to guess solutions that are better than random ones. We start a mathematical runtime analysis for such situations. We observe that different algorithms profit to a very different degree from a better initialization. We also show that the optimal parameterization of the algorithm can depend strongly on the quality of the initial solutions. To overcome this difficulty, self adjusting and randomized heavy tailed parameter choices can be profitable. Finally, we observe a larger gap between the performance of the best evolutionary algorithm we found and the corresponding black box complexity. This could suggest that evolutionary algorithms better exploiting good initial solutions are still to be found. These first findings stem from analyzing the performance of the (1 1) evolutionary algorithm and the static, self adjusting, and heavy tailed (1 ( lambda, lambda)) GA on the OneMax benchmark, but we are optimistic that the question how to profit from good initial solutions is interesting beyond these first examples.


Exploration of another Sol Lewitt puzzle from Barry Cipra. At MOVES 2019, Barry Cipra casually introduced a new "Sol Lewitt" puzzle to fellow conference goers. Several brainstorming sessions ensued with Barry, Peter Winkler , Donna Dietz, and other attendees. This paper is to document the puzzle and some insights so others can enjoy and build on this lovely puzzle. (Look for it in an upcoming book by Peter!)


An advanced workflow for single particle imaging with the limited data at an X ray free electron laser. An improved analysis for single particle imaging (SPI) experiments, using the limited data, is presented here. Results are based on a study of bacteriophage PR772 performed at the AMO instrument at the Linac Coherent Light Source (LCLS) as part of the SPI initiative. Existing methods were modified to cope with the shortcomings of the experimental data inaccessibility of information from the half of the detector and small fraction of single hits. General SPI analysis workflow was upgraded with the expectation maximization based classification of diffraction patterns and mode decomposition on the final virus structure determination step. The presented processing pipeline allowed us to determine the three dimensional structure of the bacteriophage PR772 without symmetry constraints with a spatial resolution of 6.9 nm. The obtained resolution was limited by the scattering intensity during the experiment and the relatively small number of single hits.


Surveying undergraduate Greek student's knowledge on some issues of radiations and Nuclear Energy. In this work we present some results from a survey aimed to assess the knowledge and views of the Greek undergraduate students (technology oriented) on some issues of radiations, nuclear energy and their consequences. Findings indicate that the, examined group, of Greek students have a series of misconceptions and faulty views on radiations and general nuclear issues. No significant differences in the students responses related to the type of secondary school they attended were found. Moreover, analysis according to gender, indicated that females are less informed than males in most of the examined issues


Does purely physical information have meaning? A comment on Carlo Rovelli's paper Meaning information evolution arXiv 1611.02420 . The note discusses the concept of meaningful, physical information presented by Carlo Rovelli. It points out certain consequences of the information model not elucidated in the original paper but important to its comprehensive understanding.


How Long Might We Wait at Random?. In discrete time, customers arrive at random. Each waits until one of three servers is available each thereafter departs at random. We seek the distribution of maximum line length of idle customers. Algebraic expressions obtained for the two server scenario do not appear feasible here. We also review well known distributional results for maximum wait time associated with an M M 1 queue and speculate about their generalization.


Complexity Reduction in Density Functional Theory Calculations of Large Systems System Partitioning and Fragment Embedding. With the development of low order scaling methods for performing Kohn Sham Density Functional Theory, it is now possible to perform fully quantum mechanical calculations of systems containing tens of thousands of atoms. However, with an increase in the size of system treated comes an increase in complexity, making it challenging to analyze such large systems and determine the cause of emergent properties. To address this issue, in this paper we present a systematic complexity reduction methodology which can break down large systems into their constituent fragments, and quantify inter fragment interactions. The methodology proposed here requires no a priori information or user interaction, allowing a single workflow to be automatically applied to any system of interest. We apply this approach to a variety of different systems, and show how it allows for the derivation of new system descriptors, the design of QM MM partitioning schemes, and the novel application of graph metrics to molecules and materials.


Community structures in simplicial complexes an application to wildlife corridor designing in Central India Eastern Ghats landscape complex, India. The concept of simplicial complex from Algebraic Topology is applied to understand and model the flow of genetic information, processes and organisms between the areas of unimpaired habitats to design a network of wildlife corridors for Tigers (Panthera Tigris Tigris) in Central India Eastern Ghats landscape complex. The work extends and improves on a previous work that has made use of the concept of minimum spanning tree obtained from the weighted graph in the focal landscape, which suggested a viable corridor network for the tiger population of the Protected Areas (PAs) in the landscape complex. Centralities of the network identify the habitat patches and the critical parameters that are central to the process of tiger movement across the network. We extend the concept of vertex centrality to that of the simplicial centrality yielding inter vertices adjacency and connection. As a result, the ecological information propagates expeditiously and even on a local scale in these networks representing a well integrated and self explanatory model as a community structure. A simplicial complex network based on the network centralities calculated in the landscape matrix presents a tiger corridor network in the landscape complex that is proposed to correspond better to reality than the previously proposed model. Because of the aforementioned functional and structural properties of the network, the work proposes an ecological network of corridors for the most tenable usage by the tiger populations both in the PAs and outside the PAs in the focal landscape.


Logical Neural Networks. We propose a novel framework seamlessly providing key properties of both neural nets (learning) and symbolic logic (knowledge and reasoning). Every neuron has a meaning as a component of a formula in a weighted real valued logic, yielding a highly intepretable disentangled representation. Inference is omnidirectional rather than focused on predefined target variables, and corresponds to logical reasoning, including classical first order logic theorem proving as a special case. The model is end to end differentiable, and learning minimizes a novel loss function capturing logical contradiction, yielding resilience to inconsistent knowledge. It also enables the open world assumption by maintaining bounds on truth values which can have probabilistic semantics, yielding resilience to incomplete knowledge.


Toward Multiple Federated Learning Services Resource Sharing in Mobile Edge Networks. Federated Learning is a new learning scheme for collaborative training a shared prediction model while keeping data locally on participating devices. In this paper, we study a new model of multiple federated learning services at the multi access edge computing server. Accordingly, the sharing of CPU resources among learning services at each mobile device for the local training process and allocating communication resources among mobile devices for exchanging learning information must be considered. Furthermore, the convergence performance of different learning services depends on the hyper learning rate parameter that needs to be precisely decided. Towards this end, we propose a joint resource optimization and hyper learning rate control problem, namely MS FEDL, regarding the energy consumption of mobile devices and overall learning time. We design a centralized algorithm based on the block coordinate descent method and a decentralized JP miADMM algorithm for solving the MS FEDL problem. Different from the centralized approach, the decentralized approach requires many iterations to obtain but it allows each learning service to independently manage the local resource and learning process without revealing the learning service information. Our simulation results demonstrate the convergence performance of our proposed algorithms and the superior performance of our proposed algorithms compared to the heuristic strategy.


Nonlinear energy loss in the oscillations of coated and uncoated bubbles Role of thermal, radiation damping and encapsulating shell at various excitation pressures. A simple generalized model (GM) for coated bubbles accounting for the effect of compressibility of the liquid is presented. The GM was then coupled with nonlinear ODEs that account for the thermal effects. Starting with mass and momentum conservation equations for a bubbly liquid and using the GM, nonlinear pressure dependent terms were derived for energy dissipation due to thermal damping (Td), radiation damping (Rd) and dissipation due to the viscosity of liquid (Ld) and coating (Cd). The dissipated energies were solved for uncoated and coated 2 20 mu m bubbles over a frequency range of 0.25f r 2.5f r ( f r is the bubble resonance) and for various acoustic pressures (1kPa 300kPa). Thermal effects were examined for air and C3F8 gas cores in each case. For uncoated bubbles with an air gas core and a diameter larger than 4 mu m , thermal damping is the strongest damping factor. When pressure increases, the contributions of Rd grow faster and become the dominant damping mechanism for pressure dependent resonance frequencies (e.g. fundamental and super harmonic resonances). For coated bubbles, Cd is the strongest damping mechanism. As pressure increases Rd contributes more to damping compared to Ld and Td. In case of air bubbles, as pressure increases, the linear thermal model largely deviates from the nonlinear model and accurate modeling requires inclusion of the full thermal model. However, for coated C3F8 bubbles of diameter 1 8 mu m , typically used in medical ultrasound, thermal effects maybe neglected even at higher pressures. We show that the scattering to damping ratio (STDR), a measure of the effectiveness of the bubble as contrast agent, is pressure dependent and can be maximized for specific frequency ranges and pressures.