Pure tone modes for a 5 3 elliptic drum. The paper exhibits several standing modes of a 5 3 elliptic drum computed using Mathieu functions. To match the boundary conditions, I used Newton's method on the appropriate modified Mathieu equation using the Squire Trapp formula for computing derivatives. I tabulate the requisite values of the parameter q for these low frequency modes.


Linear programming bounds for cliques in Paley graphs. The Lov ' a sz theta number is a semidefinite programming bound on the clique number of (the complement of) a given graph. Given a vertex transitive graph, every vertex belongs to a maximal clique, and so one can instead apply this semidefinite programming bound to the local graph. In the case of the Paley graph, the local graph is circulant, and so this bound reduces to a linear programming bound, allowing for fast computations. Impressively, the value of this program with Schrijver's nonnegativity constraint rivals the state of the art closed form bound recently proved by Hanson and Petridis. We conjecture that this linear programming bound improves on the Hanson Petridis bound infinitely often, and we derive the dual program to facilitate proving this conjecture.


Generalized Zhou inverses in rings. We introduce and study a new class of generalized inverses in rings. An element a in a ring R has generalized Zhou inverse if there exists b in R such that bab b, b in comm 2(a), a n ab in sqrt J(R) for some n in Bbb N . We prove that a in R has generalized Zhou inverse if and only if there exists p p 2 in comm 2(a) such that a n p in sqrt J(R) for some n in Bbb N . Cline's formula and Jacobson's Lemma for generalized Zhou inverses are established. In particular, the Zhou inverse in a ring is characterized.


Explaining reputation assessments. Reputation is crucial to enabling human or software agents to select among alternative providers. Although several effective reputation assessment methods exist, they typically distil reputation into a numerical representation, with no accompanying explanation of the rationale behind the assessment. Such explanations would allow users or clients to make a richer assessment of providers, and tailor selection according to their preferences and current context. In this paper, we propose an approach to explain the rationale behind assessments from quantitative reputation models, by generating arguments that are combined to form explanations. Our approach adapts, extends and combines existing approaches for explaining decisions made using multi attribute decision models in the context of reputation. We present example argument templates, and describe how to select their parameters using explanation algorithms. Our proposal was evaluated by means of a user study, which followed an existing protocol. Our results give evidence that although explanations present a subset of the information of trust scores, they are sufficient to equally evaluate providers recommended based on their trust score. Moreover, when explanation arguments reveal implicit model information, they are less persuasive than scores.


Ingesting High Velocity Streaming Graphs from Social Media Sources. Many data science applications like social network analysis use graphs as their primary form of data. However, acquiring graph structured data from social media presents some interesting challenges. The first challenge is the high data velocity and bursty nature of the social media data. The second challenge is that the complex nature of the data makes the ingestion process expensive. If we want to store the streaming graph data in a graph database, we face a third challenge the database is very often unable to sustain the ingestion of high velocity, high burst data. We have developed an adaptive buffering mechanism and a graph compression technique that effectively mitigates the problem. A novel aspect of our method is that the adaptive buffering algorithm uses the data rate, the data content as well as the CPU resources of the database machine to determine an optimal data ingestion mechanism. We further show that an ingestion time graph compression strategy improves the efficiency of the data ingestion into the database. We have verified the efficacy of our ingestion optimization strategy through extensive experiments.


Low threshold anti Stokes Raman laser on chip. Raman lasers based on integrated silica whispering gallery mode resonant cavities have enabled numerous applications from telecommunications to biodetection. To overcome the intrinsically low Raman gain value of silica, these devices leverage their ultra high quality factors (Q), allowing sub mW stimulated Raman scattering (SRS) lasing thresholds to be achieved. A closely related nonlinear behavior to SRS is stimulated anti Stokes Raman scattering (SARS). This nonlinear optical process combines the pump photon with the SRS photon to generate an upconverted photon. Therefore, in order to achieve SARS, the efficiency of the SRS process must be high. As a result, achieving SARS in on chip resonant cavities has been challenging due to the low lasing efficiencies of these devices. In the present work, metal doped ultra high Q (Q 107) silica microcavity arrays are fabricated on chip. The metal dopant plays multiple roles in improving the device performance. It increases the Raman gain of the cavity material, and it decreases the optical mode area, thus increasing the circulating intensity. As a result, these devices have SRS lasing efficiencies that are over 10x larger than conventional silica microcavities while maintaining low lasing thresholds. This combination enables SARS to be generated with sub mW input powers and significantly improved anti Stokes Raman lasing efficiency.


The Horton Strahler Number of Conditioned Galton Watson Trees. The Horton Strahler number of a tree is a measure of its branching complexity it is also known in the literature as the register function. We show that for critical Galton Watson trees with finite variance conditioned to be of size n , the Horton Strahler number grows as frac 1 2 log 2 n in probability. We further define some generalizations of this number. Among these are the rigid Horton Strahler number and the k ary register function, for which we prove asymptotic results analogous to the standard case.


Numerical study for the phase transition of the area interaction model. In this paper we present numerical analysis of the phase transition of the area interaction model, which is a standard model of Statistical Mechanics. The theoretical results are based on a recent paper by Dereudre Houdebert cite dereudre houdebert 2018 SharpTransitionWR which provides a complete phase diagram except on a bounded (implicit) domain. With our numerical analysis we give an approximative explicit description of this domain. This region is related to the theoretical function beta mapsto widetilde z c a( beta, 1) which is percolation threshold of the model, for given beta . We provide a numerical approximation of this function in order to fully understand the phase diagram. Furthermore our numerical results confirm the still unproven conjecture stating that non uniqueness holds if and only if z beta is large enough, with a value of the threshold obtained from the simulation of beta c simeq 1.726 .


Knapsack and the power word problem in solvable Baumslag Solitar groups. We prove that the power word problem for the solvable Baumslag Solitar groups mathsf BS (1,q) langle a,t mid t a t 1 a q rangle can be solved in mathsf TC 0 . In the power word problem, the input consists of group elements g 1, ldots, g d and binary encoded integers n 1, ldots, n d and it is asked whether g 1 n 1 cdots g d n d 1 holds. Moreover, we prove that the knapsack problem for mathsf BS (1,q) is mathsf NP complete. In the knapsack problem, the input consists of group elements g 1, ldots, g d,h and it is asked whether the equation g 1 x 1 cdots g d x d h has a solution in mathbb N d .


Closed loop control of forced turbulent jets. Closed loop control of turbulent flows is a challenging problem with important practical and fundamental implications. We perform closed loop control of forced, turbulent jets based on a wave cancellation strategy. The study is motivated by the success of recent studies in applying wave cancellation to control instability waves in transitional boundary layers and free shear flows. Using a control law obtained through a system identification technique, we successfully implement wave cancellation based, closed loop control, achieving order of magnitude attenuations of velocity fluctuations. Control is shown to reduce fluctuation levels over an extensive streamwise range.


A Mixed Signal Large Dynamic Range Front End ASIC for High Capacitance Detectors. A 64 channel mixed mode ASIC, suitable for particle detectors of large dynamic range and high capacitance up to hundreds of pF, is presented here. Each channel features an analogue front end for signal amplification and filtering, and a mixed signal back end to digitise and store the signal information. The analogue part consists of a low input impedance programmable gain pre amplifier based on a regulated common gate (RCG) input stage, two shapers optimised for time and energy measurements. The back end part mainly includes discriminators, TDCs and ADCs, which are used to process the signal and encode both the time of arrival and the charge in the input signal with a fully digital output. The programmable gain of the front end (up to 400 fC input dynamic range) and the versatile back end allow the readout of different gaseous detectors like GEM, MicroMEGAS and MWPC. The ASIC is designed for an event rate up to 100 kHz per channel and a power consumption less than 9 mW channel, has been fabricated in a 110 nm CMOS technology.


Sensitivity of steady states in a degenerately damped stochastic Lorenz system. We study stability of solutions for a randomly driven and degenerately damped version of the Lorenz '63 model. Specifically, we prove that when damping is absent in one of the temperature components, the system possesses a unique invariant probability measure if and only if noise acts on the convection variable. On the other hand, if there is a positive growth term on the vertical temperature profile, we prove that there is no normalizable invariant state. Our approach relies on the derivation and analysis of non trivial Lyapunov functions which ensure positive recurrence or null recurrence transience of the dynamics.


Convergence Analysis of Accelerated Stochastic Gradient Descent under the Growth Condition. We study the convergence of accelerated stochastic gradient descent for strongly convex objectives under the growth condition, which states that the variance of stochastic gradient is bounded by a multiplicative part that grows with the full gradient, and a constant additive part. Through the lens of the growth condition, we investigate four widely used accelerated methods Nesterov's accelerated method (NAM), robust momentum method (RMM), accelerated dual averaging method (ADAM), and implicit ADAM (iADAM). While these methods are known to improve the convergence rate of SGD under the condition that the stochastic gradient has bounded variance, it is not well understood how their convergence rates are affected by the multiplicative noise. In this paper, we show that these methods all converge to a neighborhood of the optimum with accelerated convergence rates (compared to SGD) even under the growth condition. In particular, NAM, RMM, iADAM enjoy acceleration only with a mild multiplicative noise, while ADAM enjoys acceleration even with a large multiplicative noise. Furthermore, we propose a generic tail averaged scheme that allows the accelerated rates of ADAM and iADAM to nearly attain the theoretical lower bound (up to a logarithmic factor in the variance term).


Non integrality of integrable over K "ahler differential forms. We show that for a normal isolated singularity the module of square integrable regular differential forms of top degree is not integral over the module of K "ahler differential forms. This is related to the fibre dimension of the Nash transform.


A uniqueness result for 3D incompressible fluid rigid body interaction problem. We study a 3D nonlinear moving boundary fluid structure interaction problem describing the interaction of the fluid flow with a rigid body. The fluid flow is governed by 3D incompressible Navier Stokes equations, while the motion of the rigid body is described by a system of ordinary differential equations called Euler equations for the rigid body. The equations are fully coupled via dynamical and kinematic coupling conditions. We consider two different kinds of kinematic coupling conditions no slip and slip. In both cases we prove a generalization of the well known weak strong uniqueness result for the Navier Stokes equations to the fluid rigid body system. More precisely, we prove that weak solutions that additionally satisfy Prodi Serrin L r L s condition are unique in the class of Leray Hopf weak solutions.


Parameter Efficient Transfer from Sequential Behaviors for User Modeling and Recommendation. Inductive transfer learning has had a big impact on computer vision and NLP domains but has not been used in the area of recommender systems. Even though there has been a large body of research on generating recommendations based on modeling user item interaction sequences, few of them attempt to represent and transfer these models for serving downstream tasks where only limited data exists. In this paper, we delve on the task of effectively learning a single user representation that can be applied to a diversity of tasks, from cross domain recommendations to user profile predictions. Fine tuning a large pre trained network and adapting it to downstream tasks is an effective way to solve such tasks. However, fine tuning is parameter inefficient considering that an entire model needs to be re trained for every new task. To overcome this issue, we develop a parameter efficient transfer learning architecture, termed as PeterRec, which can be configured on the fly to various downstream tasks. Specifically, PeterRec allows the pre trained parameters to remain unaltered during fine tuning by injecting a series of re learned neural networks, which are small but as expressive as learning the entire network. We perform extensive experimental ablation to show the effectiveness of the learned user representation in five downstream tasks. Moreover, we show that PeterRec performs efficient transfer learning in multiple domains, where it achieves comparable or sometimes better performance relative to fine tuning the entire model parameters. Codes and datasets are available at https github.com fajieyuan sigir2020 peterrec.


Hyperparameters optimization for Deep Learning based emotion prediction for Human Robot Interaction. To enable humanoid robots to share our social space we need to develop technology for easy interaction with the robots using multiple modes such as speech, gestures and share our emotions with them. We have targeted this research towards addressing the core issue of emotion recognition problem which would require less computation resources and much lesser number of network hyperparameters which will be more adaptive to be computed on low resourced social robots for real time communication. More specifically, here we have proposed an Inception module based Convolutional Neural Network Architecture which has achieved improved accuracy of upto 6 improvement over the existing network architecture for emotion classification when combinedly tested over multiple datasets when tried over humanoid robots in real time. Our proposed model is reducing the trainable Hyperparameters to an extent of 94 as compared to vanilla CNN model which clearly indicates that it can be used in real time based application such as human robot interaction. Rigorous experiments have been performed to validate our methodology which is sufficiently robust and could achieve high level of accuracy. Finally, the model is implemented in a humanoid robot, NAO in real time and robustness of the model is evaluated.


Boundary stabilization of a one dimensional wave equation by a switching time delay a theoretical and numerical study. This paper deals with the boundary stabilization problem of a one dimensional wave equation with a switching time delay in the boundary. We show that the problem is well posed in the sense of semigroups theory of linear operators. Then, we provide a theoretical and numerical study of the exponential stability of the system under an appropriate delay coefficient.


Markov modulated generalized Ornstein Uhlenbeck processes and an application in risk theory. We derive the Markov modulated generalized Ornstein Uhlenbeck process by embedding a Markov modulated random recurrence equation in continuous time. The obtained process turns out to be the unique solution of a certain stochastic differential equation driven by a bivariate Markov additive process. We present this stochastic differential equation as well as its solution explicitely in terms of the driving Markov additive process. Moreover, we give necessary and sufficient conditions for strict stationarity of the Markov modulated generalized Ornstein Uhlenbeck process, and prove that its stationary distribution is given by the distribution of a specific exponential functional of Markov additive processes. Finally we propose an application of the Markov modulated generalized Ornstein Uhlenbeck process as Markov modulated risk model with stochastic investment. This generalizes Paulsen's risk process to a Markov switching environment. We derive a formula in this risk model that expresses the ruin probability in terms of the distribution of an exponential functional of a Markov additive process.


Autonomous Exploration Under Uncertainty via Deep Reinforcement Learning on Graphs. We consider an autonomous exploration problem in which a range sensing mobile robot is tasked with accurately mapping the landmarks in an a priori unknown environment efficiently in real time it must choose sensing actions that both curb localization uncertainty and achieve information gain. For this problem, belief space planning methods that forward simulate robot sensing and estimation may often fail in real time implementation, scaling poorly with increasing size of the state, belief and action spaces. We propose a novel approach that uses graph neural networks (GNNs) in conjunction with deep reinforcement learning (DRL), enabling decision making over graphs containing exploration information to predict a robot's optimal sensing action in belief space. The policy, which is trained in different random environments without human intervention, offers a real time, scalable decision making process whose high performance exploratory sensing actions yield accurate maps and high rates of information gain.


Homeorhesis in Waddington's Landscape by Epigenetic Feedback Regulation. In multicellular organisms, cells differentiate into several distinct types during early development. Determination of each cellular state, along with the ratio of each cell type, as well as the developmental course during cell differentiation are highly regulated processes that are robust to noise and environmental perturbations throughout development. Waddington metaphorically depicted this robustness as the epigenetic landscape in which the robustness of each cellular state is represented by each valley in the landscape. This robustness is now conceptualized as an approach toward an attractor in a gene expression dynamical system. However, there is still an incomplete understanding of the origin of landscape change, which is accompanied by branching of valleys that corresponds to the differentiation process. Recent progress in developmental biology has unveiled the molecular processes involved in epigenetic modification, which will be a key to understanding the nature of slow landscape change. Nevertheless, the contribution of the interplay between gene expression and epigenetic modification to robust landscape changes, known as homeorhesis, remains elusive. Here, we introduce a theoretical model that combines epigenetic modification with gene expression dynamics driven by a regulatory network. In this model, epigenetic modification changes the feasibility of expression, i.e., the threshold for expression dynamics, and a slow positive feedback process from expression to the threshold level is introduced. Under such epigenetic feedback, several fixed point attractors with distinct expression patterns are generated hierarchically shaping the epigenetic landscape with successive branching of valleys. This theory provides a quantitative framework for explaining homeorhesis in development as postulated by Waddington, based on dynamical system theory with slow feedback reinforcement.


Conjugate Transforms on Dyadic Group. In this paper we study the properties of the Lebesgue constant of the conjugate transforms. For conjugate Fej 'er means we will find necessary and sufficient condition on t for which the estimation E left vert widetilde sigma n left( t right) f right vert lesssim E left vert f right vert holds . We also prove that for dyadic irrational t , L log L is maximal Orlicz space for which the estimation E left vert widetilde sigma n left( t right) f right vert lesssim 1 E left( left vert f right vert log left vert f right vert right) is valid.


On the Colin de Verdiere graph number and penny graphs. The Colin de Verdiere number of graph G, denoted by mu(G), is a spectral invariant of G that is related to some of its topological properties. For example, mu(G) leq 3 iff G is planar. A penny graph is the contact graph of equal radii disks with disjoint interiors in the plane. In this note we prove lower bounds on mu(G) when the complement bar G is a penny graph.


Procedure Planning in Instructional Videos. In this paper, we study the problem of procedure planning in instructional videos, which can be seen as a step towards enabling autonomous agents to plan for complex tasks in everyday settings such as cooking. Given the current visual observation of the world and a visual goal, we ask the question "What actions need to be taken in order to achieve the goal?". The key technical challenge is to learn structured and plannable state and action spaces directly from unstructured videos. We address this challenge by proposing Dual Dynamics Networks (DDN), a framework that explicitly leverages the structured priors imposed by the conjugate relationships between states and actions in a learned plannable latent space. We evaluate our method on real world instructional videos. Our experiments show that DDN learns plannable representations that lead to better planning performance compared to existing planning approaches and neural network policies.


Benchmarking Parallelism in FaaS Platforms. Serverless computing has seen a myriad of work exploring its potential. Some systems tackle Function as a Service (FaaS) properties on automatic elasticity and scale to run highly parallel computing jobs. However, they focus on specific platforms and convey that their ideas can be extrapolated to any FaaS runtime. An important question arises do all FaaS platforms fit parallel computations? In this paper, we argue that not all of them provide the necessary means to host highly parallel applications. To validate our hypothesis, we create a comparative framework and categorize the architectures of four cloud FaaS offerings, emphasizing parallel performance. We attest and extend this description with an empirical experiment that consists in plotting in deep detail the evolution of a parallel computing job on each service. The analysis of our results evinces that FaaS is not inherently good for parallel computations and architectural differences across platforms are decisive to categorize their performance. A key insight is the importance of virtualization technologies and the scheduling approach of FaaS platforms. Parallelism improves with lighter virtualization and proactive scheduling due to finer resource allocation and faster elasticity. This causes some platforms like AWS and IBM to perform well for highly parallel computations, while others such as Azure present difficulties to achieve the required parallelism degree. Consequently, the information in this paper becomes of special interest to help users choose the most adequate infrastructure for their parallel applications.


Explosion analysis from images Trinity and Beirut. Images of an explosion can be used to study some of its physical properties. After reviewing the key aspects of the method originally developed to study the first nuclear detonation and analyzing the Trinity blast data, the method is applied to the Beirut explosion of August 2020 by using images from videos posted online. The applicability of the method is discussed and the process of selection, extraction, and analysis of the data is presented. The estimate for the energy yield of the Beirut explosion is found to be 2.3 1.1 1.1 TJ or 0.6 0.3 0.3 kt of TNT equivalent. The result is consistent with others recently appeared in the literature using different methods. Notice that this article includes content that some readers may find distressing.


Axiomatic representation theory of finite groups by way of groupoids. We survey several notions of Mackey functors and biset functors found in the literature and prove some old and new theorems comparing them. While little here will surprise the experts, we draw a conceptual and unified picture by making systematic use of finite groupoids. This provides a road map for the various approaches to the axiomatic representation theory of finite groups, as well as some details which are hard to find in writing.


Difference Necklaces. An (a,b) difference necklace of length n is a circular arrangement of the integers 0, 1, 2, ldots , n 1 such that any two neighbours have absolute difference a or b . We prove that, subject to certain conditions on a and b , such arrangements exist, and provide recurrence relations for the number of (a,b) difference necklaces for ( a, b ) ( 1, 2 ) , ( 1, 3 ) , ( 2, 3 ) and ( 1, 4 ) . Using techniques similar to those employed for enumerating Hamiltonian cycles in certain families of graphs, we obtain these explicit recurrence relations and prove that the number of (a,b) difference necklaces of length n satisfies a linear recurrence relation for all permissible values a and b . Our methods generalize to necklaces where an arbitrary number of differences is allowed.


Beyond Our Behavior The GDPR and Humanistic Personalization. Personalization should take the human person seriously. This requires a deeper understanding of how recommender systems can shape both our self understanding and identity. We unpack key European humanistic and philosophical ideas underlying the General Data Protection Regulation (GDPR) and propose a new paradigm of humanistic personalization. Humanistic personalization responds to the IEEE's call for Ethically Aligned Design (EAD) and is based on fundamental human capacities and values. Humanistic personalization focuses on narrative accuracy the subjective fit between a person's self narrative and both the input (personal data) and output of a recommender system. In doing so, we re frame the distinction between implicit and explicit data collection as one of nonconscious ("organismic") behavior and conscious ("reflective") action. This distinction raises important ethical and interpretive issues related to agency, self understanding, and political participation. Finally, we discuss how an emphasis on narrative accuracy can reduce opportunities for epistemic injustice done to data subjects.


Aristotle' Relations An Interpretation in Combinatory Logic. The usual modelling of the syllogisms of the Organon by a calculus of classes does not include relations. Aristotle may however have envisioned them in the first two books as the category of relatives, where he allowed them to compose with themselves. Composition is the main operation in combinatory logic, which therefore offers itself for a new kind of modelling. The resulting calculus includes also composition of predicates by logical connectives.


Tight Bounds for the Price of Anarchy and Stability in Sequential Transportation Games. In this paper, we analyze a transportation game first introduced by Fotakis, Gourv es, and Monnot in 2017, where players want to be transported to a common destination as quickly as possible and, in order to achieve this goal, they have to choose one of the available buses. We introduce a sequential version of this game and provide bounds for the Sequential Price of Stability and the Sequential Price of Anarchy in both metric and non metric instances, considering three social cost functions the total traveled distance by all buses, the maximum distance traveled by a bus, and the sum of the distances traveled by all players (a new social cost function that we introduce). Finally, we analyze the Price of Stability and the Price of Anarchy for this new function in simultaneous transportation games.


On the existence of global smooth solutions to the parabolic elliptic Keller Segel system with irregular initial data. We consider the parabolic elliptic Keller Segel system left begin aligned u t Delta u chi nabla cdot (u nabla v), 0 Delta v v u end aligned right. tag star in a smooth bounded domain Omega subseteq mathbb R n , n in mathbb N , with Neumann boundary conditions. We look at both chemotactic attraction ( chi 0 ) and repulsion ( chi 0 ) scenarios in two and three dimensions. The key feature of interest for the purposes of this paper is under which conditions said system still admits global classical solutions due to the smoothing properties of the Laplacian even if the initial data is very irregular. Regarding this, we show for initial data mu in mathcal M ( overline Omega ) that, if either begin align bullet n 2, , chi 0 , text or bullet n 2, , chi 0 , text and the initial mass is small or bullet n 3, , chi 0 , text and mu f in L p( Omega), p 1 end align holds, it is still possible to construct global classical solutions to ( star ), which are continuous in t 0 in the vague topology on M ( overline Omega ) .


Algorithms for reconstruction over single and multiple deletion channels. Recent advances in DNA sequencing technology and DNA storage systems have rekindled the interest in deletion channels. Multiple recent works have looked at variants of sequence reconstruction over a single and over multiple deletion channels, a notoriously difficult problem due to its highly combinatorial nature. Although works in theoretical computer science have provided algorithms which guarantee perfect reconstruction with multiple independent observations from the deletion channel, they are only applicable in the large blocklength regime and more restrictively, when the number of observations is also large. Indeed, with only a few observations, perfect reconstruction of the input sequence may not even be possible in most cases. In such situations, maximum likelihood (ML) and maximum aposteriori (MAP) estimates for the deletion channels are natural questions that arise and these have remained open to the best of our knowledge. In this work, we take steps to answer the two aforementioned questions. Specifically 1. We show that solving for the ML estimate over the single deletion channel (which can be cast as a discrete optimization problem) is equivalent to solving its relaxation, a continuous optimization problem 2. We exactly compute the symbolwise posterior distributions (under some assumptions on the priors) for both the single as well as multiple deletion channels. As part of our contributions, we also introduce tools to visualize and analyze error events, which we believe could be useful in other related problems concerning deletion channels.


Interaction between coaxial dielectric disks enhances the Q factor. We study the behavior of resonant modes under variation of the distance between two coaxial dielectric disks and show an avoided crossing of resonances because of interaction between the disks. Owing to coaxial arrange of disks the consideration is separated by the azimuthal index m 0, 1, 2, ldots . In the present paper we consider the case m 0 . For a long enough distance the resonant modes can be classified as symmetric and antisymmetric hybridizations of the resonant modes of the isolated disk. With decreasing of the distance the interaction becomes stronger that gives rise to avoided crossing of different resonances of the isolated disk. That in turn enhances the Q factor of two disks by one order in magnitude compared to the Q factor of isolated disk.


Linked partition ideals, directed graphs and q multi summations. Finding an Andrews Gordon type generating function identity for a linked partition ideal is difficult in most cases. In this paper, we will handle this problem in the setting of graph theory. With the generating function of directed graphs with an empty'' vertex, we then turn our attention to a q difference system. This q difference system eventually yields a factorization problem of a special type of column functional vectors involving q multi summations. Finally, using a recurrence relation satisfied by certain q multi summations, we are able to provide non computer assisted proofs of some Andrews Gordon type generating function identities. These proofs also have an interesting connection with binary trees.


Posterior GAN Towards Informative and Coherent Response Generation with Posterior Generative Adversarial Network. Neural conversational models learn to generate responses by taking into account the dialog history. These models are typically optimized over the query response pairs with a maximum likelihood estimation objective. However, the query response tuples are naturally loosely coupled, and there exist multiple responses that can respond to a given query, which leads the conversational model learning burdensome. Besides, the general dull response problem is even worsened when the model is confronted with meaningless response training instances. Intuitively, a high quality response not only responds to the given query but also links up to the future conversations, in this paper, we leverage the query response future turn triples to induce the generated responses that consider both the given context and the future conversations. To facilitate the modeling of these triples, we further propose a novel encoder decoder based generative adversarial learning framework, Posterior Generative Adversarial Network (Posterior GAN), which consists of a forward and a backward generative discriminator to cooperatively encourage the generated response to be informative and coherent by two complementary assessment perspectives. Experimental results demonstrate that our method effectively boosts the informativeness and coherence of the generated response on both automatic and human evaluation, which verifies the advantages of considering two assessment perspectives.


AFrame Extending DataFrames for Large Scale Modern Data Analysis (Extended Version). Analyzing the increasingly large volumes of data that are available today, possibly including the application of custom machine learning models, requires the utilization of distributed frameworks. This can result in serious productivity issues for "normal" data scientists. This paper introduces AFrame, a new scalable data analysis package powered by a Big Data management system that extends the data scientists' familiar DataFrame operations to efficiently operate on managed data at scale. AFrame is implemented as a layer on top of Apache AsterixDB, transparently scaling out the execution of DataFrame operations and machine learning model invocation through a parallel, shared nothing big data management system. AFrame incrementally constructs SQL queries and leverages AsterixDB's semistructured data management facilities, user defined function support, and live data ingestion support. In order to evaluate the proposed approach, this paper also introduces an extensible micro benchmark for use in evaluating DataFrame performance in both single node and distributed settings via a collection of representative analytic operations. This paper presents the architecture of AFrame, describes the underlying capabilities of AsterixDB that efficiently support modern data analytic operations, and utilizes the proposed benchmark to evaluate and compare the performance and support for large scale data analyses provided by alternative DataFrame libraries.


Hyperspectral terahertz microscopy via nonlinear ghost imaging. We experimentally demonstrate Time Resolved Nonlinear Ghost Imaging and its ability to perform hyperspectral imaging in difficult to access wavelength regions, such as the Terahertz domain. We operate by combining nonlinear quadratic sparse generation and nonlinear detection in the Fourier plane. We demonstrate that traditional time slice approaches are prone to essential limitations in near field imaging due to space time coupling, which is overcome by our technique. As a proof of concept of our implementation, we show that we can provide experimental access to hyperspectral images completely unrecoverable through standard fixed time methods.


Coordinated Container Migration and Base Station Handover in Mobile Edge Computing. Offloading computationally intensive tasks from mobile users (MUs) to a virtualized environment such as containers on a nearby edge server, can significantly reduce processing time and hence end to end (E2E) delay. However, when users are mobile, such containers need to be migrated to other edge servers located closer to the MUs to keep the E2E delay low. Meanwhile, the mobility of MUs necessitates handover among base stations in order to keep the wireless connections between MUs and base stations uninterrupted. In this paper, we address the joint problem of container migration and base station handover by proposing a coordinated migration handover mechanism, with the objective of achieving low E2E delay and minimizing service interruption. The mechanism determines the optimal destinations and time for migration and handover in a coordinated manner, along with a delta checkpoint technique that we propose. We implement a testbed edge computing system with our proposed coordinated migration handover mechanism, and evaluate the performance using real world applications implemented with Docker container (an industry standard). The results demonstrate that our mechanism achieves 30 40 lower service downtime and 13 22 lower E2E delay as compared to other mechanisms. Our work is instrumental in offering smooth user experience in mobile edge computing.


Scattering of partially coherent radiation by non Hermitian localized structures having Parity Time symmetry. A theoretical model based on two point scatterers is suggested to investigate scattering of partially coherent radiation by a non Hermitian localized structure, invariant under the simultaneous symmetry operations of parity inversion and time reversal. Within the first order Born approximation, and the formalism of classical coherence theory, the spectral density of the scattered field in the far zone is obtained analytically. We find that the unidirectional character of the scattered radiation, which is one of the principal effects present in non Hermitian structures, may be suppressed due to the coherence properties of the radiation without changing the geometry of the structure. Asymmetric spectral changes of the scattered radiation due to the non Hermitian character of the material are also observed.


XCOPA A Multilingual Dataset for Causal Commonsense Reasoning. In order to simulate human language capacity, natural language processing systems must be able to reason about the dynamics of everyday situations, including their possible causes and effects. Moreover, they should be able to generalise the acquired world knowledge to new languages, modulo cultural differences. Advances in machine reasoning and cross lingual transfer depend on the availability of challenging evaluation benchmarks. Motivated by both demands, we introduce Cross lingual Choice of Plausible Alternatives (XCOPA), a typologically diverse multilingual dataset for causal commonsense reasoning in 11 languages, which includes resource poor languages like Eastern Apur 'imac Quechua and Haitian Creole. We evaluate a range of state of the art models on this novel dataset, revealing that the performance of current methods based on multilingual pretraining and zero shot fine tuning falls short compared to translation based transfer. Finally, we propose strategies to adapt multilingual models to out of sample resource lean languages where only a small corpus or a bilingual dictionary is available, and report substantial improvements over the random baseline. The XCOPA dataset is freely available at github.com cambridgeltl xcopa.


An Elastic IoT Device Management Platform. With the recent advancement of technologies over the past year, IoT has become a paradigm in which devices communicate with each other and the cloud to achieve various applications in multidisciplinary fields. However, developing, deploying, and experimenting with IoT applications are still tedious, expensive, and time consuming due to the factors like heterogeneity of hardware and software. This is where an IoT testbed plays a vital role in aiding developers to test their applications without being deploying it to the target environment. In this paper, we present a testbed that is scalable for heterogeneous devices and mainly focused on a small scale and medium scale IoT application. This testbed would be best suited for testing applications which demand robust nature, remote monitoring and control, incorporation of heterogeneous devices, location tracking of devices, and easy troubleshooting with security and internet connectivity concerns. This testbed is also embraced with the feature to work limit access to the internet. A detailed explanation of the design and architecture of the proposed testbed is provided. We also present a conceptual prototype of the testbed and the results obtained on experimenting under various conditions.


Subsums of Null Sequences A Survey and Open Questions. We give a survey on the different results involving the topological structure of subsums of null sequences.


An improved binary programming formulation for the secure domination problem. The secure domination problem, a variation of the domination problem with some important real world applications, is considered. Very few algorithmic attempts to solve this problem have been presented in literature, and the most successful to date is a binary programming formulation which is solved using CPLEX. A new binary programming formulation is proposed here which requires fewer constraints and fewer binary variables than the existing formulation. It is implemented in CPLEX, and tested on certain families of graphs that have previously been considered in the context of secure domination. It is shown that the runtime required for the new formulation to solve the instances is significantly less than that of the existing formulation. An extension of our formulation that solves the related, but further constrained, secure connected domination problem is also given to the best of the authors' knowledge, this is the first such formulation in literature.


Non Archimedean volumes of metrized nef line bundles. Let L be a line bundle on a proper, geometrically reduced scheme X over a non trivially valued non Archimedean field K . Roughly speaking, the non Archimedean volume of a continuous metric on the Berkovich analytification of L measures the asymptotic growth of the space of small sections of tensor powers of L . For a continuous semipositive metric on L in the sense of Zhang, we show first that the non Archimedean volume agrees with the energy. The existence of such a semipositive metric yields that L is nef. A second result is that the non Archimedean volume is differentiable at any semipositive continuous metric. These results are known when L is ample, and the purpose of this paper is to generalize them to the nef case. The method is based on a detailed study of the content and the volume of a finitely presented torsion module over the (possibly non noetherian) valuation ring of K .


Collaborative Decoding of Polynomial Codes for Distributed Computation. We show that polynomial codes (and some related codes) used for distributed matrix multiplication are interleaved Reed Solomon codes and, hence, can be collaboratively decoded. We consider a fault tolerant setup where t worker nodes return erroneous values. For an additive random Gaussian error model, we show that for all t N K , errors can be corrected with probability 1. Further, numerical results show that in the presence of additive errors, when L Reed Solomon codes are collaboratively decoded, the numerical stability in recovering the error locator polynomial improves with increasing L .


A proof of S o rensen's conjecture on Hermitian surfaces. In this article we prove a conjecture formulated by A.B. Soerensen in 1991 on the maximal number of mathbb F q 2 rational points on the intersection of a non degenerate Hermitian surface and a surface of degree d le q.


To pipeline or not to pipeline, that is the question. In designing query processing primitives, a crucial design choice is the method for data transfer between two operators in a query plan. As we were considering this critical design mechanism for an in memory database system that we are building, we quickly realized that (surprisingly) there isn't a clear definition of this concept. Papers are full or ad hoc use of terms like pipelining and blocking, but as these terms are not crisply defined, it is hard to fully understand the results attributed to these concepts. To address this limitation, we introduce a clear terminology for how to think about data transfer between operators in a query pipeline. We show that there isn't a clear definition of pipelining and blocking, and that there is a full spectrum of techniques based on a simple concept called unit of transfer. Next, we develop an analytical model for inter operator communication, and highlight the key parameters that impact performance (for in memory database settings). Armed with this model, we then apply it to the system we are designing and highlight the insights we gathered from this exercise. We find that the gap between pipelining and non pipelining query execution, w.r.t. key factors such as performance and memory footprint is quite narrow, and thus system designers should likely rethink the notion of pipelining vs. blocking for in memory database systems.


On a Repulsion Keller Segel System with a Logarithmic Sensitivity. In this paper, we study the initial boundary value problem of a repulsion Keller Segel system with a logarithmic sensitivity modeling the reinforced random walk. By establishing an energy dissipation identity, we prove the existence of classical solutions in two dimensions as well as existence of weak solutions in the three dimensional setting. Moreover, it is shown that the weak solutions enjoys an eventual regularity property, i.e., it becomes regular after certain time T 0 . An exponential convergence rate toward the spatially homogeneous steady states is obtained as well. We adopt a new approach developed recently by the author cite J19 to study the eventual regularity. The argument is based on observation of the exponential stability of constant solutions in scaling invariant spaces together with certain dissipative property of the global solutions in the same spaces.


Fridman Function, Injectivity Radius Function and Squeezing Function. Very recently, the Fridman function of a complex manifold X has been identified as a dual of the squeezing function of X . In this paper, we prove that the Fridman function for certain hyperbolic complex manifold X is bounded above by the injectivity radius function of X . This result also suggests us to use the Fridman function to extend the definition of uniform thickness to higher dimensional hyperbolic complex manifolds. We also establish an expression for the Fridman function (with respect to the Kobayashi metric) when X mathbb D diagup Gamma and Gamma is a torsion free discrete subgroup of isometries on the standard open unit disk mathbb D . Hence, explicit formulae of the Fridman functions for the annulus A r and the punctured disk mathbb D are derived. These are the first explicit non constant Fridman functions. Finally, we explore the boundary behaviour of the Fridman functions (with respect to the Kobayashi metric) and the squeezing functions for regular type hyperbolic Riemann surfaces and planar domains respectively.


On distance covariance in metric and Hilbert spaces. Distance covariance is a measure of dependence between two random variables that take values in two, in general different, metric spaces, see Sz 'ekely, Rizzo and Bakirov (2007) and Lyons (2013). It is known that the distance covariance, and its generalization alpha distance covariance, can be defined in several different ways that are equivalent under some moment conditions. The present paper considers four such definitions and find minimal moment conditions for each of them, together with some partial results when these conditions are not satisfied. The paper also studies the special case when the variables are Hilbert space valued, and shows under weak moment conditions that two such variables are independent if and only if their ( alpha )distance covariance is 0 this extends results by Lyons (2013) and Dehling et al. (2018 ). The proof uses a new definition of distance covariance in the Hilbert space case, generalizing the definition for Euclidean spaces using characteristic functions by Sz 'ekely, Rizzo and Bakirov (2007).


Deterministic Leader Election in Anonymous Radio Networks. We consider leader election in anonymous radio networks modeled as simple undirected connected graphs. Nodes communicate in synchronous rounds. Nodes are anonymous and execute the same deterministic algorithm, so symmetry can be broken only in one way by different wake up times of the nodes. In which situations is it possible to break symmetry and elect a leader using time as symmetry breaker? To answer this question, we consider configurations. A configuration is the underlying graph with nodes tagged by non negative integers with the following meaning. A node can either wake up spontaneously in the round shown on its tag, according to some global clock, or can be woken up hearing a message sent by one of its already awoken neighbours. The local clock of a node starts at its wakeup and nodes do not have access to the global clock determining their tags. A configuration is feasible if there exists a distributed algorithm that elects a leader for this configuration. Our main result is a complete algorithmic characterization of feasible configurations we design a centralized decision algorithm, working in polynomial time, whose input is a configuration and which decides if the configuration is feasible. We also provide a dedicated deterministic distributed leader election algorithm for each feasible configuration that elects a leader for this configuration in time O(n 2 sigma) , where n is the number of nodes and sigma is the difference between the largest and smallest tag of the configuration. We then prove that there cannot exist a universal deterministic distributed algorithm electing a leader for all feasible configurations. In fact, we show that such a universal algorithm cannot exist even for the class of 4 node feasible configurations. We also prove that a distributed version of our decision algorithm cannot exist.


Modeling Graph Structure via Relative Position for Text Generation from Knowledge Graphs. We present Graformer, a novel Transformer based encoder decoder architecture for graph to text generation. With our novel graph self attention, the encoding of a node relies on all nodes in the input graph not only direct neighbors facilitating the detection of global patterns. We represent the relation between two nodes as the length of the shortest path between them. Graformer learns to weight these node node relations differently for different attention heads, thus virtually learning differently connected views of the input graph. We evaluate Graformer on two popular graph to text generation benchmarks, AGENDA and WebNLG, where it achieves strong performance while using many fewer parameters than other approaches.


Controlling the Photoelectric Effect in the Time Domain. When an atom or molecule absorbs a high energy photon, an electron is emitted with a well defined energy and a highly symmetric angular distribution, ruled by energy quantization and parity conservation. These rules seemingly break down when small quantum systems are exposed to short and intense light pulses, which raise the question of their universality for the simplest case of the photoelectric effect. Here we investigate the photoionization of helium by a sequence of attosecond pulses in the presence of a weak infrared dressing field. We continuously control the energy and introduce an asymmetry in the emission direction of the photoelectrons, thus contradicting well established quantum mechanical predictions. This control is possible due to an extreme temporal confinement of the light matter interaction. Our work extends time domain coherent control schemes to one of the fastest processes in nature, the photoelectric effect.


Trained Trajectory based Automated Parking System using Visual SLAM on Surround View Cameras. Automated Parking is becoming a standard feature in modern vehicles. Existing parking systems build a local map to be able to plan for maneuvering towards a detected slot. Next generation parking systems have an use case where they build a persistent map of the environment where the car is frequently parked, say for example, home parking or office parking. The pre built map helps in re localizing the vehicle better when its trying to park the next time. This is achieved by augmenting the parking system with a Visual SLAM pipeline and the feature is called trained trajectory parking in the automotive industry. In this paper, we discuss the use cases, design and implementation of a trained trajectory automated parking system. The proposed system is deployed on commercial vehicles and the consumer application is illustrated in url https youtu.be nRWF5KhyJZU . The focus of this paper is on the application and the details of vision algorithms are kept at high level.


MART Memory Augmented Recurrent Transformer for Coherent Video Paragraph Captioning. Generating multi sentence descriptions for videos is one of the most challenging captioning tasks due to its high requirements for not only visual relevance but also discourse based coherence across the sentences in the paragraph. Towards this goal, we propose a new approach called Memory Augmented Recurrent Transformer (MART), which uses a memory module to augment the transformer architecture. The memory module generates a highly summarized memory state from the video segments and the sentence history so as to help better prediction of the next sentence (w.r.t. coreference and repetition aspects), thus encouraging coherent paragraph generation. Extensive experiments, human evaluations, and qualitative analyses on two popular datasets ActivityNet Captions and YouCookII show that MART generates more coherent and less repetitive paragraph captions than baseline methods, while maintaining relevance to the input video events. All code is available open source at https github.com jayleicn recurrent transformer


Policy Based Federated Learning. In this paper we present PoliFL, a decentralized, edge based framework that supports heterogeneous privacy policies for federated learning. We evaluate our system on three use cases that train models with sensitive user data collected by mobile phones predictive text, image classification, and notification engagement prediction on a Raspberry Pi edge device. We find that PoliFL is able to perform accurate model training and inference within reasonable resource and time budgets while also enforcing heterogeneous privacy policies.


Internet of Things based innovations in Saudi healthcare sector A methodological approach for investigating adoption issues. Using today's Internet network capacities, this technology has extended various benefits in healthcare sectors. For instance, existing studies already indicated that information technology applications with IoT based innovations may revolutionize the healthcare industry and subsequently help to improve the real time reporting of patients' health data. It should be noted that the adoption of IoT and its relevant interventions in the health sector has not been as fast as the uptake been observed in other industries. To tackle this issue, we develop a qualitative phenomenological approach for investigating factors that affect IoT adoption and its integration into healthcare service delivery in Saudi Arabia.


Students taught by a first time instructor using active learning teaching strategies outperform students taught by a highly regarded traditional instructor. In this paper we put forth a model for physics course reform that uniquely uses proven, research based active learning strategies to help students improve their physics knowledge and problem solving skills. In this study, we compared the exam performance of students in two sections of the same introductory physics course. One section (the traditional section, N 258) was taught by an instructor who is highly regarded for his lectures, but did not use any active learning teaching strategies. The other section (the reformed section, N 217) was taught by an instructor who had never before taught a physics class but who was trained in physics and astronomy education research and who did use active learning teaching strategies. Students in the reformed section significantly outperformed students in the traditional section on common exam questions over the course of the semester, regardless of whether the question was conceptual or quantitative. This reform effort has been successful at improving students' learning and significantly increasing the department's use of active learning strategies at the introductory level and beyond.


Heterogeneous Fixed wing Aerial Vehicles for Resilient Coverage of an Area. This paper presents a distributed approach to provide persistent coverage of an arbitrarily shaped area using heterogeneous coverage of fixed wing unmanned aerial vehicles (UAVs), and to recover from simultaneous failures of multiple UAVs. The proposed approach discusses level homogeneous deployment and maintenance of a homogeneous fleet of fixed wing UAVs given the boundary information and the minimum loitering radius. The UAVs are deployed at different altitude levels to provide heterogeneous coverage and sensing. We use an efficient square packing method to deploy the UAVs, given the minimum loiter radius and the area boundary. The UAVs loiter over the circles inscribed over these packing squares in a synchronized motion to fulfill the full coverage objective. An top down hierarchy of the square packing, where each outer square (super square) is partitioned into four equal sized inner squares (sub square), is exploited to introduce resilience in the deployed UAV network. For a failed sub square UAV, a replacement neighbor is chosen considering the effective coverage and deployed to the corresponding super square at a higher altitude to recover full coverage, trading off with the quality of coverage of the sub area. This is a distributed approach as all the decision making is done within close range of the loss region, and it can be scaled and adapted to various large scale area and UAV configurations. Simulation results have been presented to illustrate and verify the applicability of the approach.


Pointwise surjective presentations of stacks. We show that any stack mathfrak X of finite type over a Noetherian scheme has a presentation X rightarrow mathfrak X by a scheme of finite type such that X(F) rightarrow mathfrak X (F) is onto, for every finite or real closed field F . Under some additional conditions on mathfrak X , we show the same for all perfect fields. We prove similar results for (some) Henselian rings. We give two applications of the main result. One is to counting isomorphism classes of stacks over the rings mathbb Z p n the other is about the relation between real algebraic and Nash stacks.


A criterion for sharpness in tree enumeration and the asymptotic number of triangulations in Kuperberg's G2 spider. We prove a conjectured asymptotic formula of Kuperberg from the representation theory of the Lie algebra G 2 . Given a non negative sequence (a n) n geq 1 , the identity B(x) A(xB(x)) for generating functions A(x) 1 sum n geq 1 a n x n and B(x) 1 sum n geq 1 b n x n determines the number b n of rooted planar trees with n vertices such that each vertex having i children can have one of a i distinct colors. Kuperberg proved in cite Kuperberg that this identity holds in the case that b n dim text Inv G 2 (V( lambda 1) otimes n ) , where V( lambda 1) is the 7 dimensional fundamental representation of G 2 , and a n is the number of triangulations of a regular n gon such that each internal vertex has degree at least 6 . He also observed that limsup n to infty sqrt n a n leq 7 B(1 7) and conjectured that this estimate is sharp, or in terms of power series, that the radius of convergence of A(x) is exactly B(1 7) 7 . We prove this conjecture by introducing a new criterion for sharpness in the analogous estimate for general power series A(x) and B(x) satisfying B(x) A(xB(x)) . Moreover, by way of singularity analysis performed on a recently discovered generating function for B(x) , we significantly refine the conjecture by deriving an asymptotic formula for the sequence (a n) .


Fine Grained Argument Unit Recognition and Classification. Prior work has commonly defined argument retrieval from heterogeneous document collections as a sentence level classification task. Consequently, argument retrieval suffers both from low recall and from sentence segmentation errors making it difficult for humans and machines to consume the arguments. In this work, we argue that the task should be performed on a more fine grained level of sequence labeling. For this, we define the task as Argument Unit Recognition and Classification (AURC). We present a dataset of arguments from heterogeneous sources annotated as spans of tokens within a sentence, as well as with a corresponding stance. We show that and how such difficult argument annotations can be effectively collected through crowdsourcing with high interannotator agreement. The new benchmark, AURC 8, contains up to 15 more arguments per topic as compared to annotations on the sentence level. We identify a number of methods targeted at AURC sequence labeling, achieving close to human performance on known domains. Further analysis also reveals that, contrary to previous approaches, our methods are more robust against sentence segmentation errors. We publicly release our code and the AURC 8 dataset.


Fast and Robust Face to Parameter Translation for Game Character Auto Creation. With the rapid development of Role Playing Games (RPGs), players are now allowed to edit the facial appearance of their in game characters with their preferences rather than using default templates. This paper proposes a game character auto creation framework that generates in game characters according to a player's input face photo. Different from the previous methods that are designed based on neural style transfer or monocular 3D face reconstruction, we re formulate the character auto creation process in a different point of view by predicting a large set of physically meaningful facial parameters under a self supervised learning paradigm. Instead of updating facial parameters iteratively at the input end of the renderer as suggested by previous methods, which are time consuming, we introduce a facial parameter translator so that the creation can be done efficiently through a single forward propagation from the face embeddings to parameters, with a considerable 1000x computational speedup. Despite its high efficiency, the interactivity is preserved in our method where users are allowed to optionally fine tune the facial parameters on our creation according to their needs. Our approach also shows better robustness than previous methods, especially for those photos with head pose variance. Comparison results and ablation analysis on seven public face verification datasets suggest the effectiveness of our method.


The differing meanings of indicators under different policy contexts. The case of internationalisation. In this chapter we build upon Moed's conceptual contributions on the importance of the policy context when using and interpreting scientometric indicators. We focus on the use of indicators in research evaluation regarding internationalisation policies. The globalization of higher education presents important challenges to institutions worldwide, which are confronted with tensions derived from the need to respond both, to their local necessities and demands while participating in global networks. In this context, indicators have served as measures for monitoring and enforcing internationalisation policies, in many cases interpreting them regardless of the policy context in which they are enforced. We will analyse three examples of indicators related to internationalisation. The first one is about international collaborations, under the assumption that a greater number of internationally co authored publications will benefit a national science system as it will result in higher citation impact. The second one relates to the promotion of English language as the dominant language of science. The third case analyses how different policy contexts shape the selection and construction of indicators, sometimes in a partial way which does not properly reflect the phenomenon under study. The examples illustrate that the interpretation and policy implications of the 'same' S T indicators differ depending on specific contexts.


Localizable points in the support of a multiplier ideal and spectra of constrained operators. A unitarily invariant, complete Nevanlinna Pick kernel K on the unit ball determines a class of operators on Hilbert space called K contractions. We study those K contractions that are constrained, in the sense that they are annihilated by an ideal of multipliers. Our overarching goal is to identify various joint spectra of these constrained K contractions through the vanishing locus of their annihilators. Our methods are based around a careful analysis of a subset of the ball associated to the annihilator, which we call its support. For the functional models, we show how this support completely determines several natural joint spectra. The picture is more complicated for general K contractions, as their spectra can be properly contained in the support. Nevertheless, the "localizable" portion of the support always consists of spectral points. When the support is assumed to be small in an appropriate sense, we manage to effectively detect points of localizability.


On Function Spaces with Mixed Norms A Survey. The targets of this article are threefold. The first one is to give a survey on the recent developments of function spaces with mixed norms, including mixed Lebesgue spaces, iterated weak Lebesgue spaces, weak mixed norm Lebesgue spaces and mixed Morrey spaces as well as anisotropic mixed norm Hardy spaces. The second one is to provide a detailed proof for a useful inequality about mixed Lebesgue norms and the Hardy Littlewood maximal operator and also to improve some known results on the maximal function characterizations of anisotropic mixed norm Hardy spaces and the boundedness of Calder 'on Zygmund operators from these anisotropic mixed norm Hardy spaces to themselves or to mixed Lebesgue spaces. The last one is to correct some errors and seal some gaps existing in the known articles.


The Nature of Human Settlement Building an understanding of high performance city design. In an impending urban age where the majority of the world's population will live in cities, it is critical that we improve our understanding of the strengths and limitations of existing city designs to ensure they are safe, clean, can deliver health co benefits and importantly, are sustainable into the future. To enable this, a systematic and efficient means of performing inter and intra city comparisons based on urban form is required. Until now, methods for comparing cities have been limited by scalability, often reliant upon non standardised local input data that can be costly and difficult to obtain. To address this, we have developed a unique approach to determine the mix, distribution, and composition of neighbourhood types in cities based on dimensions of block size and regularity, sorted by a self organising map. We illustrate the utility of the method to provide an understanding of the underlying city morphology by overlaying spatially standardised city metrics such as air pollution and transport activity across a set of 1667 global cities with populations exceeding 300,000. The unique approach reports associations between specific mixes of neighbourhood typologies and quantities of moving vehicles (r 0.97), impervious surfaces (r 0.86), and air pollution levels (aerosol optical depth r 0.58 and NO 2 r 0.57). What this illustrates, is that this unique approach can identify the characteristics and neighbourhood mixes of well performing urban areas while also producing unique city fingerprints' that can be used to provide new metrics, insights, and drive improvements in city design for the future.


DADA A Large scale Benchmark and Model for Driver Attention Prediction in Accidental Scenarios. Driver attention prediction has recently absorbed increasing attention in traffic scene understanding and is prone to be an essential problem in vision centered and human like driving systems. This work, different from other attempts, makes an attempt to predict the driver attention in accidental scenarios containing normal, critical and accidental situations simultaneously. However, challenges tread on the heels of that because of the dynamic traffic scene, intricate and imbalanced accident categories. With the hypothesis that driver attention can provide a selective role of crash object for assisting driving accident detection or prediction, this paper designs a multi path semantic guided attentive fusion network (MSAFNet) that learns the spatio temporal semantic and scene variation in prediction. For fulfilling this, a large scale benchmark with 2000 video sequences (named as DADA 2000) is contributed with laborious annotation for driver attention (fixation, saccade, focusing time), accident objects intervals, as well as the accident categories, and superior performance to state of the arts are provided by thorough evaluations. As far as we know, this is the first comprehensive and quantitative study for the human eye sensing exploration in accidental scenarios. DADA 2000 is available at https github.com JWFangit LOTVS DADA.


Arithmetic Characteristic Curves. For a split reductive group defined over a number field, we first introduce the notations of arithmetic torsors and arithmetic Higgs torsors. Then we construct arithmetic characteristic curves associated to arithmetic Higgs torsors, based on the Chevalley characteristic morphism and the existence of Chevalley basis for the associated Lie algebra. As to be expected, this work is motivated by the works of Beauville Narasimhan on spectral curves and Donagi Gaistgory on cameral curves in algebraic geometry. In the forthcoming papers, we will use arithmetic characteristic curves to construct arithmetic Hitchin fibrations and study the intersection homologies and perverse sheaves for the associated structures, following Ngo's approach to the fundamental lemma.


The Effect of Pitch Distance on the Statistics and Morphology of Through Silicon Via Extrusion. In this work, we investigated the effect of pitch distance on the statistical variation and morphology of extrusion in Cu TSVs and the underlying mechanisms. Extrusion statistics were obtained from TSV samples with two different pitch distances. A notable increase in the magnitude of extrusion was observed in vias with smaller pitch, yet the extrusion spread was largely unaffected. The morphologies of the extruded vias were characterized and categorized, and finite element analysis was carried out to study the effect of pitch distance on stress and deformation. The results suggested that the overlapping of stress fields from neighboring vias resulted in larger stress in the small pitch vias, which subsequently led to higher extrusion. The morphologies observed in the extruded vias were related to the operation of different deformation mechanisms under the combined effect of stress and microstructure. The statistical spread of via extrusion, which was similar in both groups of vias, was related to the stochastic nature of the via microstructure. By using a thin cap layer of Ta to suppress the vacancy sources at the via top surface, the adverse effect of the pitch distance was minimized and a pronounced reduction of extrusion was achieved in vias of both pitch distances.


A Unified Method for Solving Inverse, Forward, and Hybrid Manipulator Dynamics using Factor Graphs. This paper describes a unified method solving for inverse, forward, and hybrid dynamics problems for robotic manipulators with either open kinematic chains or closed kinematic loops based on factor graphs. Manipulator dynamics is considered to be a well studied problem, and various different algorithms have been developed to solve each type of dynamics problem. However, they are not easily explained in a unified and intuitive way. In this paper, we introduce factor graphs as a unifying graphical language in which not only to solve all types of dynamics problems, but also explain the classical dynamics algorithms in a unified framework.


(GL k x S n) modules and nabla of hook indexed Schur functions. The aim of this paper is to describe structural properties of spaces of diagonal rectangular harmonic polynomials in several sets (say k ) of n variables, both as GL k modules and S n modules. We construct explicit such modules associated to any hook shape partitions. For the two sets of variables case, we conjecture that the associated graded Frobenius characteristic corresponds to the effect of the operator Nabla on the corresponding hook indexed Schur function, up to a usual renormalization. We prove identities that give indirect support to this conjecture, and show that its restriction to one set of variables holds. We further give indications on how the several sets context gives a better understanding of questions regarding the structures of these modules and the links between them.


Ring theoretic (in)finiteness in reduced products of Banach algebras. We study ring theoretic (in)finiteness properties such as emph Dedekind finiteness and emph proper infiniteness of ultraproducts (and more generally, reduced products) of Banach algebras. Whilst we characterise when an ultraproduct has these ring theoretic properties in terms of its underlying sequence of algebras, we find that, contrary to the C algebraic setting, it is not true in general that an ultraproduct has a ring theoretic finiteness property if and only if "ultrafilter many" of the underlying sequence of algebras have the same property. This might appear to violate the continuous model theoretic counterpart of L o 's's Theorem the reason it does not is that for a general Banach algebra, the ring theoretic properties we consider cannot be verified by considering a bounded subset of the algebra of emph fixed bound. For Banach algebras, we construct counter examples to show, for example, that each component Banach algebra can fail to be Dedekind finite while the ultraproduct is Dedekind finite, and we explain why such a counter example is not possible for C algebras. Finally the related notion of having textit stable rank one is also studied for ultraproducts.


Robot self other distinction active inference meets neural networks learning in a mirror. Self other distinction and self recognition are important skills for interacting with the world, as it allows humans to differentiate own actions from others and be self aware. However, only a selected group of animals, mainly high order mammals such as humans, has passed the mirror test, a behavioural experiment proposed to assess self recognition abilities. In this paper, we describe self recognition as a process that is built on top of body perception unconscious mechanisms. We present an algorithm that enables a robot to perform non appearance self recognition on a mirror and distinguish its simple actions from other entities, by answering the following question am I generating these sensations? The algorithm combines active inference, a theoretical model of perception and action in the brain, with neural network learning. The robot learns the relation between its actions and its body with the effect produced in the visual field and its body sensors. The prediction error generated between the models and the real observations during the interaction is used to infer the body configuration through free energy minimization and to accumulate evidence for recognizing its body. Experimental results on a humanoid robot show the reliability of the algorithm for different initial conditions, such as mirror recognition in any perspective, robot robot distinction and human robot differentiation.


Notes on density matrix perturbation theory. Density matrix perturbation theory (DMPT) is known as a promising alternative to the Rayleigh Schr "odinger perturbation theory, in which the sum over state (SOS) is replaced by algorithms with perturbed density matrices as the input variables. In this article, we formulate and discuss three types of DMPT, with two of them based only on density matrices the approach of Kussmann and Ochsenfeld J. Chem. Phys.127, 054103 (2007) is reformulated via the Sylvester equation, and the recursive DMPT of A.M.N. Niklasson and M. Challacombe Phys. Rev. Lett. 92, 193001 (2004) is extended to the hole particle canonical purification (HPCP) from J. Chem. Phys. 144, 091102 (2016) . Comparison of the computational performances shows that the aformentioned methods outperform the standard SOS. The HPCP DMPT demonstrates stable convergence profiles but at a higher computational cost when compared to the original recursive polynomial method


Cut and Paste Dataset Generation for Balancing Domain Gaps in Object Instance Detection. Training an object instance detector where only a few training object images are available is a challenging task. One solution is a cut and paste method that generates a training dataset by cutting object areas out of training images and pasting them onto other background images. A detector trained on a dataset generated with a cut and paste method suffers from the conventional domain shift problem, which stems from a discrepancy between the source domain (generated training dataset) and the target domain (real test dataset). Though state of the art domain adaptation methods are able to reduce this gap, it is limited because they do not consider the difference of domain gaps of foreground and background. In this study, we present that the conventional domain gap can be divided into two sub domain gaps for foreground and background. Then, we show that the original cut and paste approach suffers from a new domain gap problem, an unbalanced domain gaps, because it has two separate source domains for foreground and background, unlike the conventional domain shift problem. Then, we introduce an advanced cut and paste method to balance the unbalanced domain gaps by diversifying the foreground with GAN (generative adversarial network) generated seed images and simplifying the background using image processing techniques. Experimental results show that our method is effective for balancing domain gaps and improving the accuracy of object instance detection in a cluttered indoor environment using only a few seed images. Furthermore, we show that balancing domain gaps can improve the detection accuracy of state of the art domain adaptation methods.


Full Duplex MIMO OFDM Communication with Self Energy Recycling. This paper focuses on energy recycling in full duplex (FD) relaying multiple input multiple output orthogonal frequency division multiplexing (OFDM) communication. The loop self interference (SI) due to full duplexing is seen as an opportunity for the energy constrained relay node to replenish its energy requirement through wireless power transfer. In forwarding the source information to the destination, the FD relay can simultaneously harvest energy from the source wireless transmission and also through energy recycling from its own transmission. The objective is to maximize the overall spectral efficiency by designing the optimal power allocation over OFDM sub carriers and transmit antennas. Due to a large number of sub carriers, this design problem poses a large scale nonconvex optimization problem involving a few thousand variables of power allocation, which is very computationally challenging. A new path following algorithm is proposed, which converges to an optimal solution. This algorithm is very efficient since it is based on textit closed form calculations. Numerical results for a practical simulation setting show promising results by achieving high spectral efficiency.


Efficient computation of BSD invariants in genus 2. Recently, all Birch and Swinnerton Dyer invariants, except for the order of Sha, have been computed for all curves of genus 2 contained in the L functions and Modular Forms Database. This report explains the improvements made to the implementation of the algorithm described in arXiv 1711.10409 that were needed to do the computation of the Tamagawa numbers and the real period in reasonable time. We also explain some of the more technical details of the algorithm, and give a brief overview of the methods used to compute the special value of the L function and the regulator.


The birth of the contradictory component in random 2 SAT. We prove that, with high probability, the contradictory components of a random 2 SAT formula in the subcritical phase of the phase transition have only 3 regular kernels. This follows from the relation between these kernels and the complex component of a random graph in the subcritical phase. This partly settles the question about the structural similarity between the phase transitions in 2 SAT and random graphs. As a byproduct, we describe the technique that allows to obtain a full asymptotic expansion of the satisfiability in the subcritical phase. We also obtain the distribution of the number of contradictory variables and the structure of the spine in the subcritical phase.


All 2 neighborly d polytopes with at most d 9 facets. We give a complete enumeration of all 2 neighborly d polytopes with d 9 and less facets. All of them are realized as 0 1 polytopes, except a 6 polytope P 6,10,15 with 10 vertices and 15 facets, and pyramids over P 6,10,15 . In particular, we update the lower bounds for the number of facets of a 2 neighborly d polytope P and showed that the number of facets of P is not less than the number of its vertices f 0(P) for f 0(P) le d 10 .


L p regularity for a class of averaging operators on the Heisenberg group. We prove L p comp to L p s boundedness for averaging operators associated to a class of curves in the Heisenberg group mathbb H 1 via L 2 estimates for related oscillatory integrals and Bourgain Demeter decoupling inequalities on the cone. We also construct a Sobolev space adapted to translations on the Heisenberg group to which these averaging operators map all L p functions boundedly.


Collision of two balls in a groove An interplay between translation and rotation. When two identical balls collide with equal inital speed on a horizontal groove, one can observe three trajectory types depending on the groove width. To explain this observation, we derive velocity diagrams of the balls motions from Newton's laws of translation and rotation and kinematics of rigid bodies in a three dimensional vectorial representation and compare them with experimental results. The velocity diagrams and an introduced determinant allow to discriminate between the trajectory types and to understand the interplay between translation and rotation after the collision of the balls.


Generalized Catalan recurrences, Riordan arrays, elliptic curves, and orthogonal polynomials. We show that the Catalan Schroeder convolution recurrences and their higher order generalizations can be solved using Riordan arrays and the Catalan numbers. We investigate the Hankel transforms of many of the recurrence solutions, and indicate that Somos 4 sequences often arise. We exhibit relations between recurrences, Riordan arrays, elliptic curves and Somos 4 sequences. We furthermore indicate how one can associate a family of orthogonal polynomials to a point on an elliptic curve, whose moments are related to recurrence solutions.


Counting periodic orbits of vector fields over smooth closed manifolds. We address the problem of counting periodic orbits of vector fields on smooth closed manifolds. The space of non constant periodic orbits is enlarged to a complete space by adding the ghost orbits, which are decorations of the zeros of vector fields. Associated with any compact and open subset Gamma of the moduli space of periodic and ghost orbits, we define an integer weight. When the vector field moves along a path, and Gamma deforms in a compact and open family, we show that the weight function stays constant. We also give a number of examples and computations, which illustrate the applications of our main theorem.


Research Directions in Democratizing Innovation through Design Automation, One Click Manufacturing Services and Intelligent Machines. The digitalization of manufacturing has created opportunities for consumers to customize products that fit their individualized needs which in turn would drive demand for manufacturing services. However, this pull based manufacturing system production of extremely low quantity and limitless variety for products is expensive to implement. New emerging technology in design automation driven by data driven computational design, manufacturing as a service marketplaces and digitally enabled micro factories holds promise towards democratization of innovation. In this paper, scientific, technology and infrastructure challenges are identified and if solved, the impact of these emerging technologies on product innovation and future factory organization is discussed.


Entropy, Computing and Rationality. Making decisions freely presupposes that there is some indeterminacy in the environment and in the decision making engine. The former is reflected on the behavioral changes due to communicating few changes indicate rigid environments productive changes manifest a moderate indeterminacy, but a large communicating effort with few productive changes characterize a chaotic environment. Hence, communicating, effective decision making and productive behavioral changes are related. The entropy measures the indeterminacy of the environment, and there is an entropy range in which communicating supports effective decision making. This conjecture is referred to here as the The Potential Productivity of Decisions. The computing engine that is causal to decision making should also have some indeterminacy. However, computations performed by standard Turing Machines are predetermined. To overcome this limitation an entropic mode of computing that is called here Relational Indeterminate is presented. Its implementation in a table format has been used to model an associative memory. The present theory and experiment suggest the Entropy Trade off There is an entropy range in which computing is effective but if the entropy is too low computations are too rigid and if it is too high computations are unfeasible. The entropy trade off of computing engines corresponds to the potential productivity of decisions of the environment. The theory is referred to an Interaction Oriented Cognitive Architecture. Memory, perception, action and thought involve a level of indeterminacy and decision making may be free in such degree. The overall theory supports an ecological view of rationality. The entropy of the brain has been measured in neuroscience studies and the present theory supports that the brain is an entropic machine. The paper is concluded with a number of predictions that may be tested empirically.


Inducing Multi Convexity in Path Constrained Trajectory Optimization for Mobile Manipulators. In this paper, we propose a novel trajectory optimization algorithm for mobile manipulators under end effector path, collision avoidance and various kinematic constraints. Our key contribution lies in showing how this highly non linear and non convex problem can be solved as a sequence of convex unconstrained quadratic programs (QPs). This is achieved by reformulating the non linear constraints that arise out of manipulator kinematics and its coupling with the mobile base in a multi affine form. We then use techniques from Alternating Direction Method of Multipliers (ADMM) to formulate and solve the trajectory optimization problem. The proposed ADMM has two similar non convex steps. Importantly, a convex surrogate can be derived for each of them. We show how large parts of our optimization can be solved in parallel providing the possibility of exploiting multi core CPUs GPUs. We validate our trajectory optimization on different benchmark examples. Specifically, we highlight how it solves the cyclicity bottleneck and provides a holistic approach where diverse set of trajectories can be obtained by trading off different aspects of manipulator and mobile base motion.


Multi threaded Memory Efficient Crossover in C for Generational Genetic Programming. C code snippets from a multi core parallel memory efficient crossover for genetic programming are given. They may be adapted for separate generation evolutionary algorithms where large chromosomes or small RAM require no more than M (2 times nthreads) simultaneously active individuals.


The impact of porous walls on the rheology of suspensions. We study the effect of isotropic porous walls on a plane Couette flow laden with spherical and rigid particles. We perform a parametric study varying the volume fraction between 0 and 30 , the porosity between 0.3 and 0.9 and the non dimensional permeability between 0 and 7.9 times 10 3 We find that the porous walls induce a progressive decrease in the suspension effective viscosity as the wall permeability increases. This behavior is explained by the weakening of the wall blocking effect and by the appearance of a slip velocity at the interface of the porous medium, which reduces the shear rate in the channel. Therefore, particle rotation and the consequent velocity fluctuations in the two phases are dampened, leading to reduced particle interactions and particle stresses. Based on our numerical evidence, we provide a closed set of equations for the suspension viscosity, which can be used to estimate the suspension rheology in the presence of porous walls.


Distribution Dependent Stochastic Differential Delay Equations in finite and infinite dimensions. We prove that distribution dependent (also called McKean Vlasov) stochastic delay equations of the form begin equation mathrm d X(t) b(t,X t, mathcal L X t ) mathrm d t sigma(t,X t, mathcal L X t ) mathrm d W(t) end equation have unique (strong) solutions in finite as well as infinite dimensional state spaces if the coefficients fulfill certain monotonicity assumptions.


Localised Spin Rotations A Size Consistent Approach to Non Orthogonal Configuration Interaction. Current Non Orthogonal Configuration Interaction (NOCI) methods often use a set of Self Consistent Field (SCF) states selected based on chemical intuition. However, it may be challenging to track these SCF states across a dissociation profile and the NOCI states recovered may be spin contaminated. In this paper, we propose a method of applying spin rotation on symmetry broken UHF (sb UHF) states to generate a basis for NOCI. The dissociation of ethene was examined by localising spin rotation on each resulting carbene fragment. We show that this gives a size consistent description of its dissociation and results in spin pure states at all geometries. The dissociation was also studied with different orbitals, namely canonical UHF and Absolutely Localised Molecular Orbitals (ALMO). Furthermore, we demonstrate that the method can be used to restore spin symmetry of symmetry broken SCF wavefunctions for molecules of various sizes, marking an improvement over existing NOCI methods.


Efficient Multi Domain Network Learning by Covariance Normalization. The problem of multi domain learning of deep networks is considered. An adaptive layer is induced per target domain and a novel procedure, denoted covariance normalization (CovNorm), proposed to reduce its parameters. CovNorm is a data driven method of fairly simple implementation, requiring two principal component analyzes (PCA) and fine tuning of a mini adaptation layer. Nevertheless, it is shown, both theoretically and experimentally, to have several advantages over previous approaches, such as batch normalization or geometric matrix approximations. Furthermore, CovNorm can be deployed both when target datasets are available sequentially or simultaneously. Experiments show that, in both cases, it has performance comparable to a fully fine tuned network, using as few as 0.13 of the corresponding parameters per target domain.


Two qubit entangling gates within arbitrarily long chains of trapped ions. Ion trap systems are a leading platform for large scale quantum computers. Trapped ion qubit crystals are fully connected and reconfigurable, owing to their long range Coulomb interaction that can be modulated with external optical forces. However, the spectral crowding of collective motional modes could pose a challenge to the control of such interactions for large numbers of qubits. Here, we show that high fidelity quantum gate operations are still possible with very large trapped ion crystals, simplifying the scaling of ion trap quantum computers. To this end, we present analytical work that determines how parallel entangling gates produce a crosstalk error that falls off as the inverse cube of the distance between the pairs. We also show experimental work demonstrating entangling gates on a fully connected chain of seventeen 171 rm Yb ions with fidelities as high as 97(1) .


AI oriented Medical Workload Allocation for Hierarchical Cloud Edge Device Computing. In a hierarchically structured cloud edge device computing environment, workload allocation can greatly affect the overall system performance. This paper deals with AI oriented medical workload generated in emergency rooms (ER) or intensive care units (ICU) in metropolitan areas. The goal is to optimize AI workload allocation to cloud clusters, edge servers, and end devices so that minimum response time can be achieved in life saving emergency applications. In particular, we developed a new workload allocation method for the AI workload in distributed cloud edge device computing systems. An efficient scheduling and allocation strategy is developed in order to reduce the overall response time to satisfy multi patient demands. We apply several ICU AI workloads from a comprehensive edge computing benchmark Edge AIBench. The healthcare AI applications involved are short of breath alerts, patient phenotype classification, and life death threats. Our experimental results demonstrate the high efficiency and effectiveness in real life health care and emergency applications.


Taxonomy of Centralization in Public Blockchain Systems A Systematic Literature Review. Bitcoin introduced delegation of control over a monetary system from a select few to all who participate in that system. This delegation is known as the decentralization of controlling power and is a powerful security mechanism for the ecosystem. After the introduction of Bitcoin, the field of cryptocurrency has seen widespread attention from industry and academia, so much so that the original novel contribution of Bitcoin i.e. decentralization, may be overlooked, due to decentralizations assumed fundamental existence for the functioning of such cryptoassets. However recent studies have observed a trend of increased centralization in cryptocurrencies such as Bitcoin and Ethereum. As this increased centralization has an impact the security of the blockchain, it is crucial that it is measured, towards adequate control. This research derives an initial taxonomy of centralization present in decentralized blockchains through rigorous synthesis using a systematic literature review. This is followed by iterative refinement through expert interviews. We systematically analyzed 89 research papers published between 2009 and 2019. Our study contributes to the existing body of knowledge by highlighting the multiple definitions and measurements of centralization in the literature. We identify different aspects of centralization and propose an encompassing taxonomy of centralization concerns. This taxonomy is based on empirically observable and measurable characteristics. It consists of 13 aspects of centralization classified over six architectural layers Governance Network Consensus Incentive Operational and Application. We also discuss how the implications of centralization can vary depending on the aspects studied. We believe that this review and taxonomy provides a comprehensive overview of centralization in decentralized blockchains involving various conceptualizations and measures.