A Combinatorial Cut Based Algorithm for Solving Laplacian Linear Systems. Over the last two decades, a significant line of work in theoretical algorithms has been progress in solving linear systems of the form mathbf L mathbf p mathbf b , where mathbf L is the Laplacian matrix of a weighted graph with weights w(i,j) 0 on the edges. The solution mathbf p of the linear system can be interpreted as the potentials of an electrical flow. Kelner, Orrechia, Sidford, and Zhu cite KOSZ13 give a combinatorial, near linear time algorithm that maintains the Kirchoff Current Law, and gradually enforces the Kirchoff Potential Law. Here we consider a dual version of the algorithm that maintains the Kirchoff Potential Law, and gradually enforces the Kirchoff Current Law. We prove that this dual algorithm also runs in a near linear number of iterations. Each iteration requires updating all potentials on one side of a fundamental cut of a spanning tree by a fixed amount. If this update step can be performed in polylogarithmic time, we can also obtain a near linear time algorithm to solve mathbf L mathbf p mathbf b . However, if we abstract this update step as a natural data structure problem, we show that we can use the data structure to solve a problem that has been conjectured to be difficult for dynamic algorithms, the online vector matrix vector problem cite HKNS15 . The conjecture implies that the data structure does not have an O(n 1 epsilon ) time algorithm for any epsilon 0 . Thus our dual algorithm cannot be near linear time algorithm for solving mathbf L mathbf p mathbf b unless we are able to take advantage of the structure of the particular update steps that our algorithm uses.


Diffusing wave spectroscopy a unified treatment on temporal sampling and speckle ensemble methods. Diffusing wave spectroscopy (DWS) is a well known set of methods to measure the temporal dynamics of dynamic samples. In DWS, dynamic samples scatter the incident coherent light, and the information of the temporal dynamics is encoded in the scattered light. To record and analyze the light signal, there exist two types of methods temporal sampling methods and speckle ensemble methods. Temporal sampling methods, including diffuse correlation spectroscopy (DCS), use one or multiple large bandwidth detectors to well sample and analyze the temporal light signal to infer the sample temporal dynamics. Speckle ensemble methods, including speckle visibility spectroscopy (SVS), use a high pixel count camera sensor to capture a speckle pattern and use the speckle contrast to infer sample temporal dynamics. In this paper, we theoretically and experimentally demonstrate that the decorrelation time ( tau ) measurement accuracy or SNR of the two types of methods has a unified and similar fundamental expression based on the number of independent observables (NIO) and the photon flux. Given a time measurement duration, NIO in temporal sampling methods is constrained by the measurement duration, while speckle ensemble methods can outperform by using simultaneous sampling channels to scale up NIO significantly. In the case of optical brain monitoring, the interplay of these factors favors speckle ensemble methods. We illustrate that this important engineering consideration is consistent with the previous research on blood pulsatile flow measurements, where a speckle ensemble method operating at 100 fold lower photon flux than a conventional temporal sampling system can achieve a comparable SNR.


Sensing Technologies for Crowd Management,Adaptation, and Information Dissemination inPublic Transportation Systems A Review. Management of crowd information in public transportation (PT) systems is crucial, both to foster sustainable mobility, by increasing the user's comfort and satisfaction during normal operation, as well as to cope with emergency situations, such as pandemic crises, as recently experienced with COVID 19 limitations. This paper presents a taxonomy and review of sensing technologies based on Internet of Things (IoT) for real time crowd analysis, which can be adopted in the different segments of the PT system (buses trams trains, railway metro stations, and bus stops). To discuss such technologies in a clear systematic perspective, we introduce a reference architecture for crowd management, which employs modern information and communication technologies (ICT) in order to (i) monitor and predict crowding events (ii) implement crowd aware policies for real time and adaptive operation control in intelligent transportation systems (ITSs) (iii) inform in real time the users of the crowding status of the PT system, by means of electronic displays installed inside vehicles or at bus stops stations, and or by mobile transport applications. It is envisioned that the innovative crowd management functionalities enabled by ICT IoT sensing technologies can be incrementally implemented as an add on to state of the art ITS platforms, which are already in use by major PT companies operating in urban areas. Moreover, it is argued that, in this new framework, additional services can be delivered to the passengers, such as, e.g., on line ticketing, vehicle access control and reservation in severely crowded situations, and evolved crowd aware route planning.


Human eye inspired log polar pre processing for neural networks. In this paper we draw inspiration from the human visual system, and present a bio inspired pre processing stage for neural networks. We implement this by applying a log polar transformation as a pre processing step, and to demonstrate, we have used a naive convolutional neural network (CNN). We demonstrate that a bio inspired pre processing stage can achieve rotation and scale robustness in CNNs. A key point in this paper is that the CNN does not need to be trained to identify rotation or scaling permutations rather it is the log polar pre processing step that converts the image into a format that allows the CNN to handle rotation and scaling permutations. In addition we demonstrate how adding a log polar transformation as a pre processing step can reduce the image size to 20 of the Euclidean image size, without significantly compromising classification accuracy of the CNN. The pre processing stage presented in this paper is modelled after the retina and therefore is only tested against an image dataset. Note This paper has been submitted for SAUPEC RobMech PRASA 2020.


Thesis Deployment Optimization of IoT Devices through Attack Graph Analysis. The Internet of things (IoT) has become an integral part of our life at both work and home. However, these IoT devices are prone to vulnerability exploits due to their low cost, low resources, the diversity of vendors, and proprietary firmware. Moreover, short range communication protocols (e.g., Bluetooth or ZigBee) open additional opportunities for the lateral movement of an attacker within an organization. Thus, the type and location of IoT devices may significantly change the level of network security of the organizational network. In this work, we quantify the level of network security based on an augmented attack graph analysis that accounts for the physical location of IoT devices and their communication capabilities. We use the depth first branch and bound (DFBnB) heuristic search algorithm to solve two optimization problems Full Deployment with Minimal Risk (FDMR) and Maximal Utility without Risk Deterioration (MURD). An admissible heuristic is proposed to accelerate the search. The proposed method is evaluated using a real network with simulated deployment of IoT devices. The results demonstrate (1) the contribution of the augmented attack graphs to quantifying the impact of IoT devices deployed within the organization on security, and (2) the effectiveness of the optimized IoT deployment.


Bilevel Optimization for Differentially Private Optimization in Energy Systems. This paper studies how to apply differential privacy to constrained optimization problems whose inputs are sensitive. This task raises significant challenges since random perturbations of the input data often render the constrained optimization problem infeasible or change significantly the nature of its optimal solutions. To address this difficulty, this paper proposes a bilevel optimization model that can be used as a post processing step It redistributes the noise introduced by a differentially private mechanism optimally while restoring feasibility and near optimality. The paper shows that, under a natural assumption, this bilevel model can be solved efficiently for real life large scale nonlinear nonconvex optimization problems with sensitive customer data. The experimental results demonstrate the accuracy of the privacy preserving mechanism and showcases significant benefits compared to standard approaches.


Unsupervised Anomaly Detection in Stream Data with Online Evolving Spiking Neural Networks. Unsupervised anomaly discovery in stream data is a research topic with many practical applications. However, in many cases, it is not easy to collect enough training data with labeled anomalies for supervised learning of an anomaly detector in order to deploy it later for identification of real anomalies in streaming data. It is thus important to design anomalies detectors that can correctly detect anomalies without access to labeled training data. Our idea is to adapt the Online evolving Spiking Neural Network (OeSNN) classifier to the anomaly detection task. As a result, we offer an Online evolving Spiking Neural Network for Unsupervised Anomaly Detection algorithm (OeSNN UAD), which, unlike OeSNN, works in an unsupervised way and does not separate output neurons into disjoint decision classes. OeSNN UAD uses our proposed new two step anomaly detection method. Also, we derive new theoretical properties of neuronal model and input layer encoding of OeSNN, which enable more effective and efficient detection of anomalies in our OeSNN UAD approach. The proposed OeSNN UAD detector was experimentally compared with state of the art unsupervised and semi supervised detectors of anomalies in stream data from the Numenta Anomaly Benchmark and Yahoo Anomaly Datasets repositories. Our approach outperforms the other solutions provided in the literature in the case of data streams from the Numenta Anomaly Benchmark repository. Also, in the case of real data files of the Yahoo Anomaly Benchmark repository, OeSNN UAD outperforms other selected algorithms, whereas in the case of Yahoo Anomaly Benchmark synthetic data files, it provides competitive results to the results recently reported in the literature.


Psychometric Analysis and Coupling of Emotions Between State Bulletins and Twitter in India during COVID 19 Infodemic. COVID 19 infodemic has been spreading faster than the pandemic itself. The misinformation riding upon the infodemic wave poses a major threat to people's health and governance systems. Since social media is the largest source of information, managing the infodemic not only requires mitigating of misinformation but also an early understanding of psychological patterns resulting from it. During the COVID 19 crisis, Twitter alone has seen a sharp 45 increase in the usage of its curated events page, and a 30 increase in its direct messaging usage, since March 6th 2020. In this study, we analyze the psychometric impact and coupling of the COVID 19 infodemic with the official bulletins related to COVID 19 at the national and state level in India. We look at these two sources with a psycho linguistic lens of emotions and quantified the extent and coupling between the two. We modified path, a deep skip gram based open sourced lexicon builder for effective capture of health related emotions. We were then able to capture the time evolution of health related emotions in social media and official bulletins. An analysis of lead lag relationships between the time series of extracted emotions from official bulletins and social media using Granger's causality showed that state bulletins were leading the social media for some emotions such as Medical Emergency. Further insights that are potentially relevant for the policymaker and the communicators actively engaged in mitigating misinformation are also discussed. Our paper also introduces CoronaIndiaDataset2, the first social media based COVID 19 dataset at national and state levels from India with over 5.6 million national and 2.6 million state level tweets. Finally, we present our findings as COVibes, an interactive web application capturing psychometric insights captured upon the CoronaIndiaDataset, both at a national and state level.


Eigenfunctions of transfer operators and automorphic forms for Hecke triangle groups of infinite covolume. We develop cohomological interpretations for several types of automorphic forms for Hecke triangle groups of infinite covolume. We then use these interpretations to establish explicit isomorphisms between spaces of automorphic forms, cohomology spaces and spaces of eigenfunctions of transfer operators. These results show a deep relation between spectral entities of Hecke surfaces of infinite volume and the dynamics of their geodesic flows.


An introduction to Reshetnyak's theory of subharmonic distances. The aim of the present text is to provide some basics around Reshetnyak's theory of subharmonic distances, together with an overview of the main results. This text is intended to be a complement to the English translation of cite R1954 , cite Res1959 , cite R60I , cite R60II , cite R61 , cite R61b , cite R62 , cite R63 , cite R63III and cite huber . They all will be published in a same volume cite livre . While subharmonic distances are often confused with distances of bounded curvature, we present them as a complete autonomous theory. In turn, there is no specific prerequisite for the present text.


Equivariant mappings and invariant sets on Minkowski space. In this paper we introduce the systematic study of invariant functions and equivariant mappings defined on Minkowski space under the action of the Lorentz group. We adapt some known results from the orthogonal group acting on the Euclidean space to the Lorentz group acting on the Minkowski space. In addition, an algorithm is given to compute generators of the ring of functions that are invariant under an important class of Lorentz subgroups, namely when these are generated by involutions, which is also useful to compute equivariants. Furthermore, general results on invariant subspaces of the Minkowski space are presented, with a characterization of invariant lines and planes in the two lowest dimensions.


Weak Solutions for the Stationary Anisotropic and Nonlocal Compressible Navier Stokes System. In this paper, we prove global existence of weak solutions for the stationary compressible Navier Stokes equations with an anisotropic and nonlocal viscous term in a periodic domain. This gives an answer to an open problem important for applications in geophysics or in microuidics. The main idea is to adapt in a non trivial way the new idea developped by the authors in a previous paper, see 2 which allowed them to treat the anisotropic compressible quasi stationary Stokes system.


Estimating Properties of Social Networks via Random Walk considering Private Nodes. Accurately analyzing graph properties of social networks is a challenging task because of access limitations to the graph data. To address this challenge, several algorithms to obtain unbiased estimates of properties from few samples via a random walk have been studied. However, existing algorithms do not consider private nodes who hide their neighbors in real social networks, leading to some practical problems. Here we design random walk based algorithms to accurately estimate properties without any problems caused by private nodes. First, we design a random walk based sampling algorithm that comprises the neighbor selection to obtain samples having the Markov property and the calculation of weights for each sample to correct the sampling bias. Further, for two graph property estimators, we propose the weighting methods to reduce not only the sampling bias but also estimation errors due to private nodes. The proposed algorithms improve the estimation accuracy of the existing algorithms by up to 92.6 on real world datasets.


Structure Preserving Numerical Methods for Nonlinear Fokker Planck Equations with Nonlocal Interactions by an Energetic Variational Approach. In this work, we develop novel structure preserving numerical schemes for a class of nonlinear Fokker Planck equations with nonlocal interactions. Such equations can cover many cases of importance, such as porous medium equations with external potentials, optimal transport problems, and aggregation diffusion models. Based on the Energetic Variational Approach, a trajectory equation is first derived by using the balance between the maximal dissipation principle and least action principle. By a convex splitting technique, we propose energy dissipating numerical schemes for the trajectory equation. Rigorous numerical analysis reveals that the nonlinear numerical schemes are uniquely solvable, naturally respect mass conservation and positivity at fully discrete level, and preserve steady states. Under certain smoothness assumptions, the numerical schemes are shown to be second order accurate in space and first order accurate in time. Extensive numerical simulations are performed to demonstrate several valuable features of the proposed schemes. In addition to the preservation of physical structures, such as positivity, mass conservation, discrete energy dissipation, blue and steady states, numerical simulations further reveal that our numerical schemes are capable of solving emph degenerate cases of the Fokker Planck equations effectively and robustly. It is shown that the developed numerical schemes have convergence order even in degenerate cases with the presence of solutions having compact support, can accurately and robustly compute the waiting time of free boundaries without any oscillation, and can approximate blow up singularity up to machine precision.


A Probabilistic Framework for Learning Domain Specific Hierarchical Word Embeddings. The meaning of a word often varies depending on its usage in different domains. The standard word embedding models struggle to represent this variation, as they learn a single global representation for a word. We propose a method to learn domain specific word embeddings, from text organized into hierarchical domains, such as reviews in an e commerce website, where products follow a taxonomy. Our structured probabilistic model allows vector representations for the same word to drift away from each other for distant domains in the taxonomy, to accommodate its domain specific meanings. By learning sets of domain specific word representations jointly, our model can leverage domain relationships, and it scales well with the number of domains. Using large real world review datasets, we demonstrate the effectiveness of our model compared to state of the art approaches, in learning domain specific word embeddings that are both intuitive to humans and benefit downstream NLP tasks.


1150 year long ice core record of the Ross Sea Polynya, Antarctica. Knowledge of the past behavior of Antarctic polynyas such as the Ross and Weddell Seas contributes to the understanding of biological productivity, sea ice production, katabatic and Southern Hemisphere Westerly (SHW) wind strength, Antarctic bottom water (ABW) formation, and marine CO2 sequestration. Previous studies link barium (Ba) marine sedimentation to polynya primary productivity (Bonn et al., 1998 McManus et al., 2002 Pirrung et al., 2008), polynya area to katabatic wind strength and proximal cyclones (Bromwich et al., 1998 Drucker et al., 2011), and highlight the influence of Ross Ice Shelf calving event effects on the Ross Sea Polynya (RSP) (Rhodes et al., 2009). Here we use the RICE ice core, located just 120 km from the Ross Ice Shelf front to capture 1150 years of RSP behavior. We link atmospheric Ba fluctuations to Ba marine sedimentation in the summer Ross Sea Polynya, creating the first deep ice core based RSP proxy. RSP area is currently the smallest ever observed over our 1150 year record, and varied throughout the Little Ice Age with fluctuations in Amundsen Sea Low (ASL) strength related with Ross Sea cyclones. Past RSP reconstructions allow us to predict future responses of RSP area to future climate change, which is of special interest considering the recent disappearance of the Weddell Sea Polynya in response to anthropogenic forcing (de Lavergne et al., 2014).


Optimal approximants and orthogonal polynomials in several variables II families of polynomials in the unit ball. We obtain closed expressions for weighted orthogonal polynomials and optimal approximants associated with the function f(z) 1 frac 1 sqrt 2 (z 1 z 2) and a scale of Hilbert function spaces in the unit 2 ball having reproducing kernel (1 langle z,w rangle) gamma , gamma 0 . Our arguments are elementary but do not rely on reduction to the one dimensional case.


Active Search for Nearest Neighbors. In pattern recognition or machine learning, it is a very fundamental task to find nearest neighbors of a given point. All the methods for the task work basically by comparing the given point to all the points in the data set. That is why the computational cost increases with the number of data points. However, the human visual system seems to work in a different way. When the human visual system tries to find the neighbors of one point on a map, it directly focuses on the area around the point and actively searches the neighbors by looking or zooming in and out around the point. In this paper, we propose an innovative search method for nearest neighbors, which seems very similar to how human visual system works on the task.


Crossed Beam slowing to enhance narrow line Ytterbium Magneto Optic Traps. We demonstrate a method to enhance the atom loading rate of a ytterbium (Yb) magneto optic trap (MOT) operating on the 556 nm 1S 0 rightarrow 3P 1 intercombination transition (narrow linewidth Gamma g 2 pi times 182 kHz). Following traditional Zeeman slowing of an atomic beam near the 399 nm 1S 0 rightarrow 1P 1 transition (broad linewidth Gamma p 2 pi times 29 MHz), two laser beams in a crossed beam geometry, frequency tuned near the same transition, provide additional slowing immediately prior to the MOT. Using this technique, we observe an improvement by a factor of 6 in the atom loading rate of a narrow line Yb MOT. The relative simplicity and generality of this approach make it readily adoptable to other experiments involving narrow line MOTs. We also present a numerical simulation of this two stage slowing process which shows good agreement with the observed dependence on experimental parameters, and use it to assess potential improvements to the method.


Beyond the brain towards a mathematical modeling of emotions. Emotions are a central key for understanding human beings and of fundamental importance regarding their impact in human and animal behaviors. They have been for a long time a subject of study for various scholars including in particular philosophers and mystics. In modern science, the emotional phenomenon has attracted for a few decades an increasing number of studies, notably in the fields of Psychology, Psychiatry, Neuroscience and Biochemistry. However, since our perception of emotions is not, so far, directly detectable nor recordable by our measure instruments, Physics and Mathematics have not been so far used academically to provide a precise description of the phenomenon of feeling an emotion. Relying upon the works of O. Elahi and on the hypothesis that the human soul and its psyche may manifest in ourselves (in both conscious and unconscious manner) in an analog way as electromagnetic waves, we propose here a few mathematical descriptions consistent with the human personal experience, of the feeling and cognition of emotions. As far as we know, such a mathematical description has never been provided before. It allows a quantitative (intensity) and qualitative (nature of feelings frequency) of the emotional phenomenon which provides a novel scientific approach of the nature of the mind, complementary to the on going research of physiological manifestation of emotions. We anticipate such an approach and the associated mathematical modeling to become an important tool to describe emotions and their subsequent behavior. In complement of the modeling of oscillations and brain dynamics, it provides a fruitful direction of research with potentially broad and deep impacts in both applied mathematics, physics, cognitive and behavioral sciences.


Data assimilation for a quasi geostrophic model with circulation preserving stochastic transport noise. This paper contains the latest installment of the authors' project on developing ensemble based data assimilation methodology for high dimensional fluid dynamics models. The algorithm presented here is a particle filter that combines model reduction, tempering, jittering, and nudging. The methodology is tested on a two layer quasi geostrophic model for a beta plane channel flow with O(10 6) degrees of freedom out of which only a minute fraction are noisily observed. The model is reduced by following the stochastic variational approach for geophysical fluid dynamics introduced in Holm (Proc Roy Soc A, 2015) as a framework for deriving stochastic parametrisations for unresolved scales. The reduction is substantial the computations are done only for O(10 4) degrees of freedom. We introduce a stochastic time stepping scheme for the two layer model and prove its consistency in time. Then, we analyze the effect of the different procedures (tempering combined with jittering and nudging) on the performance of the data assimilation procedure using the reduced model, as well as how the dimension of the observational data (the number of "weather stations") and the data assimilation step affect the accuracy and uncertainty of the results.


Highly Accurate Global Pad 'e Approximations of Generalized Mittag Leffler Function and its Inverse. The two parametric Mittag Leffler function (MLF), E alpha, beta , is fundamental to the study and simulation of fractional differential and integral equations. However, these functions are computationally expensive and their numerical implementations are challenging. In this paper, we present a unified framework for developing global rational approximants of E alpha, beta ( x) , x 0 , with ( alpha, beta) 0 alpha leq 1, beta geq alpha, ( alpha, beta) ne (1,1) . This framework is based on the series definition and the asymptotic expansion at infinity. In particular, we develop three types of fourth order global rational approximations and discuss how they could be used to approximate the inverse function. Unlike existing approximations which are either limited to MLF of one parameter or of low accuracy for the two parametric MLF, our rational approximants are of fourth order accuracy and have low percentage error globally. For efficient utilization, we study the partial fraction decomposition and use them to approximate the two parametric MLF with a matrix argument which arise in the solutions of fractional evolution differential and integral equations.


Set theory with a proper class of indiscernibles. We investigate an extension of ZFC set theory (in an extended language) that stipulates the existence of a proper class of indiscernibles over the universe. One of the main results of the paper shows that the purely set theoretical consequences of this extension of ZFC coincide with the theorems of the system of set theory obtained by augmenting ZFC with the (Levy) scheme whose instances assert, for each natural number n in the metatheory, that there is an n Mahlo cardinal kappa with the property that the initial segment of the universe determined by kappa is a Sigma n elementary submodel of the universe.


Finiteness and infiniteness results for Torelli groups of (hyper )K "ahler manifolds. The Torelli group mathcal T(X) of a closed smooth manifold X is the subgroup of the mapping class group pi 0( mathrm Diff (X)) consisting of elements which act trivially on the integral cohomology of X . In this note we give counterexamples to Theorem 3.4 of Verbitsky's paper "Mapping class group and a global Torelli theorem for hyperk "ahler manifolds" (Duke Math. J. 162 (2013), no. 15, 2929 2986) which states that the Torelli group of simply connected K "ahler manifolds of complex dimension ge 3 is finite. This is done by constructing under some mild conditions homomorphisms J mathcal T(X) to H 3(X mathbb Q) and showing that for certain K "ahler manifolds this map is non trivial. We also give a counterexample to Theorem 3.5 (iv) in this paper where Verbitsky claims that the Torelli group of hyperk "ahler manifolds are finite. These examples are detected by the action of diffeomorphsims on pi 4(X) . Finally we confirm the finiteness result for the special case of the hyperk "ahler manifold K 2 .


Large scale structures in high Reynolds number rotating Waleffe flow. We perform direct numerical simulations of rotating turbulent Waleffe flow, the flow between two parallel plates with a sinusoidal streamwise shear driving force, to study the formation of large scale structures and the mechanisms for momentum transport. We simulate different cyclonic and anti cyclonic rotations in the range of dimensionless rotation numbers (inverse Rossby numbers) R Omega in 0.16, 2.21 , and fix the Reynolds number to Re 3.16 times 10 3 , large enough such that the shear transport is almost entirely due to Reynolds stresses and viscous transport is negligible. We find an optimum rotation in anti cyclonic regime at R Omega 0.63 , where a given streamwise momentum transport in the wall normal direction is achieved with minimum mean energy of the streamwise flow. We link this optimal transport to the strength of large scale structures, as was done in plane Couette by Brauckmann Eckhardt (J. Fluid Mech., 815, 2017). Furthermore, we explore the large scale structures and their behaviour under spanwise rotation, and find disorganized large structures at R Omega 0 but highly organized structures in the anti cyclonic regime, similar to the rolls in rotating plane Couette and turbulent Taylor Couette flow. We compare the large scale structures of plane Couette flow and Waleffe flow, and observe that the streamwise vorticity is localized inside the cores of the rolls. We show that the rolls take energy from the mean flow at long time scales, and relate these structures to eigenvalues of the streamfunction.


General constructions of biquandles and their symmetries. Biquandles are algebraic objects with two binary operations whose axioms encode the generalized Reidemeister moves for virtual knots and links. These objects also provide set theoretic solutions of the well known Yang Baxter equation. The first half of this paper proposes some natural constructions of biquandles from groups and from their simpler counterparts, namely, quandles. We completely determine all words in the free group on two generators that give rise to (bi)quandle structures on all groups. We give some novel constructions of biquandles on unions and products of quandles, including what we refer as the holomorph biquandle of a quandle. These constructions give a wealth of solutions of the Yang Baxter equation. We also show that for nice quandle coverings a biquandle structure on the base can be lifted to a biquandle structure on the covering. In the second half of the paper, we determine automorphism groups of these biquandles in terms of associated quandles showing elegant relationships between the symmetries of the underlying structures.


LUCIDGames Online Unscented Inverse Dynamic Games for Adaptive Trajectory Prediction and Planning. Existing game theoretic planning methods assume that the robot knows the objective functions of the other agents a priori while, in practical scenarios, this is rarely the case. This paper introduces LUCIDGames, an inverse optimal control algorithm that is able to estimate the other agents' objective functions in real time, and incorporate those estimates online into a receding horizon game theoretic planner. LUCIDGames solves the inverse optimal control problem by recasting it in a recursive parameter estimation framework. LUCIDGames uses an unscented Kalman filter (UKF) to iteratively update a Bayesian estimate of the other agents' cost function parameters, improving that estimate online as more data is gathered from the other agents' observed trajectories. The planner then takes account of the uncertainty in the Bayesian parameter estimates of other agents by planning a trajectory for the robot subject to uncertainty ellipse constraints. The algorithm assumes no explicit communication or coordination between the robot and the other agents in the environment. An MPC implementation of LUCIDGames demonstrates real time performance on complex autonomous driving scenarios with an update frequency of 40 Hz. Empirical results demonstrate that LUCIDGames improves the robot's performance over existing game theoretic and traditional MPC planning approaches. Our implementation of LUCIDGames is available at https github.com RoboticExplorationLab LUCIDGames.jl.


A functorial approach to Gabriel k quiver constructions for coalgebras and pseudocompact algebras. We define the path coalgebra and Gabriel quiver constructions as functors between the category of k quivers and the category of pointed k coalgebras, for k a field. We define a congruence relation on the coalgebra side, show that the functors above respect this relation, and prove that the induced Gabriel k quiver functor is left adjoint to the corresponding path coalgebra functor. We dualize, obtaining adjoint pairs of functors (contravariant and covariant) for pseudocompact algebras. Using these tools we describe precisely to what extent presentations of coalgebras and algebras in terms of path objects are unique, giving an application to homogeneous algebras.


QuB A Resource Aware Functional Programming Language. Managing resources file handles, database connections, etc. is a hard problem. Debugging resource leaks and runtime errors due to resource mismanagement are difficult in evolving production code. Programming languages with static type systems are great tools to ensure erroneous code is detected at compile time. However, modern static type systems do little in the aspect of resource management as resources are treated as normal values. We propose a type system, Qub, based on the logic of bunched implications (BI) which models resources as first class citizens. We distinguish two kinds of program objects restricted and unrestricted and two kinds of functions sharing and separating. Our approach guarantees resource correctness without compromising existing functional abstractions.


TREC CAsT 2019 The Conversational Assistance Track Overview. The Conversational Assistance Track (CAsT) is a new track for TREC 2019 to facilitate Conversational Information Seeking (CIS) research and to create a large scale reusable test collection for conversational search systems. The document corpus is 38,426,252 passages from the TREC Complex Answer Retrieval (CAR) and Microsoft MAchine Reading COmprehension (MARCO) datasets. Eighty information seeking dialogues (30 train, 50 test) are an average of 9 to 10 questions long. Relevance assessments are provided for 30 training topics and 20 test topics. This year 21 groups submitted a total of 65 runs using varying methods for conversational query understanding and ranking. Methods include traditional retrieval based methods, feature based learning to rank, neural models, and knowledge enhanced methods. A common theme through the runs is the use of BERT based neural reranking methods. Leading methods also employed document expansion, conversational query expansion, and generative language models for conversational query rewriting (GPT 2). The results show a gap between automatic systems and those using the manually resolved utterances, with a 35 relative improvement of manual rewrites over the best automatic system.


A Visual Analytics Approach for Exploratory Causal Analysis Exploration, Validation, and Applications. Using causal relations to guide decision making has become an essential analytical task across various domains, from marketing and medicine to education and social science. While powerful statistical models have been developed for inferring causal relations from data, domain practitioners still lack effective visual interface for interpreting the causal relations and applying them in their decision making process. Through interview studies with domain experts, we characterize their current decision making workflows, challenges, and needs. Through an iterative design process, we developed a visualization tool that allows analysts to explore, validate, and apply causal relations in real world decision making scenarios. The tool provides an uncertainty aware causal graph visualization for presenting a large set of causal relations inferred from high dimensional data. On top of the causal graph, it supports a set of intuitive user controls for performing what if analyses and making action plans. We report on two case studies in marketing and student advising to demonstrate that users can effectively explore causal relations and design action plans for reaching their goals.


Distillation Guided Residual Learning for Binary Convolutional Neural Networks. It is challenging to bridge the performance gap between Binary CNN (BCNN) and Floating point CNN (FCNN). We observe that, this performance gap leads to substantial residuals between intermediate feature maps of BCNN and FCNN. To minimize the performance gap, we enforce BCNN to produce similar intermediate feature maps with the ones of FCNN. This training strategy, i.e., optimizing each binary convolutional block with block wise distillation loss derived from FCNN, leads to a more effective optimization to BCNN. It also motivates us to update the binary convolutional block architecture to facilitate the optimization of block wise distillation loss. Specifically, a lightweight shortcut branch is inserted into each binary convolutional block to complement residuals at each block. Benefited from its Squeeze and Interaction (SI) structure, this shortcut branch introduces a fraction of parameters, e.g., 10 overheads, but effectively complements the residuals. Extensive experiments on ImageNet demonstrate the superior performance of our method in both classification efficiency and accuracy, e.g., BCNN trained with our methods achieves the accuracy of 60.45 on ImageNet.


Uncertainty Aware Label Refinement for Sequence Labeling. Conditional random fields (CRF) for label decoding has become ubiquitous in sequence labeling tasks. However, the local label dependencies and inefficient Viterbi decoding have always been a problem to be solved. In this work, we introduce a novel two stage label decoding framework to model long term label dependencies, while being much more computationally efficient. A base model first predicts draft labels, and then a novel two stream self attention model makes refinements on these draft predictions based on long range label dependencies, which can achieve parallel decoding for a faster prediction. In addition, in order to mitigate the side effects of incorrect draft labels, Bayesian neural networks are used to indicate the labels with a high probability of being wrong, which can greatly assist in preventing error propagation. The experimental results on three sequence labeling benchmarks demonstrated that the proposed method not only outperformed the CRF based methods but also greatly accelerated the inference process.


The TV is Smart and Full of Trackers Towards Understanding the Smart TV Advertising and Tracking Ecosystem. Motivated by the growing popularity of smart TVs, we present a large scale measurement study of smart TVs by collecting and analyzing their network traffic from two different vantage points. First, we analyze aggregate network traffic of smart TVs in the wild, collected from residential gateways of tens of homes and several different smart TV platforms, including Apple, Samsung, Roku, and Chromecast. In addition to accessing video streaming and cloud services, we find that smart TVs frequently connect to well known as well as platform specific advertising and tracking services (ATS). Second, we instrument Roku and Amazon Fire TV, two popular smart TV platforms, by setting up a controlled testbed to systematically exercise the top 1000 apps on each platform, and analyze their network traffic at the granularity of the individual apps. We again find that smart TV apps connect to a wide range of ATS, and that the key players of the ATS ecosystems of the two platforms are different from each other and from that of the mobile platform. Third, we evaluate the (in)effectiveness of state of the art DNS based blocklists in filtering advertising and tracking traffic for smart TVs. We find that personally identifiable information (PII) is exfiltrated to platform related Internet endpoints and third parties, and that blocklists are generally better at preventing exposure of PII to third parties than to platform related endpoints. Our work demonstrates the segmentation of the smart TV ATS ecosystem across platforms and its differences from the mobile ATS ecosystem, thus motivating the need for designing privacy enhancing tools specifically for each smart TV platform.


Confronting Grand Challenges in Environmental Fluid Mechanics. Environmental fluid mechanics underlies a wealth of natural, industrial and, by extension, societal challenges. In the coming decades, as we strive towards a more sustainable planet, there are a wide range of grand challenge problems that need to be tackled, ranging from fundamental advances in understanding and modeling of stratified turbulence and consequent mixing, to applied studies of pollution transport in the ocean, atmosphere and urban environments. A workshop was organized in the Les Houches School of Physics in France in January 2019 with the objective of gathering leading figures in the field to produce a road map for the scientific community. Five subject areas were addressed multiphase flow, stratified flow, ocean transport, atmospheric and urban transport, and weather and climate prediction. This article summarizes the discussions and outcomes of the meeting, with the intent of providing a resource for the community going forward.


Secure Evaluation of Quantized Neural Networks. We investigate two questions in this paper First, we ask to what extent "MPC friendly" models are already supported by major Machine Learning frameworks such as TensorFlow or PyTorch. Prior works provide protocols that only work on fixed point integers and specialized activation functions, two aspects that are not supported by popular Machine Learning frameworks, and the need for these specialized model representations means that it is hard, and often impossible, to use e.g., TensorFlow to design, train and test models that later have to be evaluated securely. Second, we ask to what extent the functionality for evaluating Neural Networks already exists in general purpose MPC frameworks. These frameworks have received more scrutiny, are better documented and supported on more platforms. Furthermore, they are typically flexible in terms of the threat model they support. In contrast, most secure evaluation protocols in the literature are targeted to a specific threat model and their implementations are only a "proof of concept", making it very hard for their adoption in practice. We answer both of the above questions in a positive way We observe that the quantization techniques supported by both TensorFlow, PyTorch and MXNet can provide models in a representation that can be evaluated securely and moreover, that this evaluation can be performed by a general purpose MPC framework. We perform extensive benchmarks to understand the exact trade offs between different corruption models, network sizes and efficiency. These experiments provide an interesting insight into cost between active and passive security, as well as honest and dishonest majority. Our work shows then that the separating line between existing ML frameworks and existing MPC protocols may be narrower than implicitly suggested by previous works.


On the asymptotic behavior of solutions to the Vlasov Poisson system. We prove small data modified scattering for the Vlasov Poisson system in dimension d 3 using a method inspired from dispersive analysis. In particular, we identify a simple asymptotic dynamic related to the scattering mass.


ITER cold VDEs in the limit of a perfectly conducting first wall. Recently, it has been shown that a vertical displacement event (VDE) can occur in ITER even when the walls are perfect conductors, as a consequence of the current quench A. H. Boozer, Physics of Plasmas 26 114501 (2019) . We used the extended MHD code M3D C1 with an ITER like equilibrium and induced a current quench to explore cold VDEs in the limit of perfectly conducting walls, using different wall geometries. In the particular case of a rectangular wall with the side walls far away from the plasma, we obtained very good agreement with the analytical model developed by Boozer that considers a top bottom flat plates wall. We show that the solution in which the plasma stays at the initial equilibrium position is improved when bringing the side walls closer to the plasma. When using the ITER first wall in the limit of a perfect conductor, the plasma stays stable at the initial equilibrium position far beyond the value predicted by the flat plates wall limit. On the other hand, when considering the limit in which the inner shell of the ITER vacuum vessel is acting as a perfect conductor, the plasma is displaced during the current quench but the edge safety factor stays above 2 longer in the current decay compared to the flat plates wall limit. In all the simulated cases, the vertical displacement is found to be strongly dependent on the plasma current, in agreement with a similar finding in the flat plates wall limit, showing an important difference with usual VDEs in which the current quench is not a necessary condition.


Invariant K "ahler potentials and symplectic reduction. For a proper Hamiltonian action of a Lie group G on a K "ahler manifold (X, omega) with momentum map mu we show that the symplectic reduction mu 1 (0) G is a normal complex space. Every point in mu 1 (0) has a G stable open neighborhood on which omega and mu are given by a G invariant K "ahler potential. This is used to show that mu 1 (0) G is a K "ahler space. Furthermore we examine the existence of potentials away from mu 1 (0) with both positive and negative results.


Determination of Power of Groove fields under Dirichlet conditions associated with axisymmetric Electromagnetic fields. The present paper gives an interaction of electromagnetic waves with a smooth convex tri angular obstacle and its adjacent wedge regions. We attempt to find the power of groove fields under Dirichlet conditions associated with axisymmetric electromagnetic field. A field intensity may be expressed in terms of a damped wave with a space attenuation depending on the physical parameters like conductivity, permittivity and permeability associated with an obstacle placed across the lines of force due to a given EM field. Groove field and their associated powers based on Dirichlet conditions on the groove surfaces have been determined. Knowledge of groove field is essential for precise designing of triangular corrugated structures for studying the blazing effect of propagating EM wave. We find that an echellete model or an antenna may act as a Sensor for receiving wide range of frequencies subject to the restriction lambda 2pi xi i whereas the said antenna would act as a Transmitter for radiating wide range of frequencies subject to the restriction lambda 2pi xi i. The governing Maxwell's equation is solved subject to the Dirichlet condition of the field intensity on the boundaries of the said groove regions. Theory of Fourier Bessel series has been applied for the present purpose.


Isotope shifts of the 1s 22s2p(J) 1s 22s 2 transition energies in Be like thorium and uranium. Precise calculations of the isotope shifts in berylliumlike thorium and uranium ions are presented. The main contributions to the field and mass shifts are calculated within the framework of the Dirac Coulomb Breit Hamiltonian employing the configuration interaction Dirac Fock Sturm method. These calculations include the relativistic, electron electron correlation, and Breit interaction effects. The QED, nuclear deformation, and nuclear polarization corrections are also evaluated.


Mitigating Query Flooding Parameter Duplication Attack on Regression Models with High Dimensional Gaussian Mechanism. Public intelligent services enabled by machine learning algorithms are vulnerable to model extraction attacks that can steal confidential information of the learning models through public queries. Differential privacy (DP) has been considered a promising technique to mitigate this attack. However, we find that the vulnerability persists when regression models are being protected by current DP solutions. We show that the adversary can launch a query flooding parameter duplication (QPD) attack to infer the model information by repeated queries. To defend against the QPD attack on logistic and linear regression models, we propose a novel High Dimensional Gaussian (HDG) mechanism to prevent unauthorized information disclosure without interrupting the intended services. In contrast to prior work, the proposed HDG mechanism will dynamically generate the privacy budget and random noise for different queries and their results to enhance the obfuscation. Besides, for the first time, HDG enables an optimal privacy budget allocation that automatically determines the minimum amount of noise to be added per user desired privacy level on each dimension. We comprehensively evaluate the performance of HDG using real world datasets and shows that HDG effectively mitigates the QPD attack while satisfying the privacy requirements. We also prepare to open source the relevant codes to the community for further research.


On the Cost Optimality Trade off for Service Function Chain Reconfiguration. Optimal placement of Virtual Network Functions (VNFs) in virtualized data centers enhances the overall performance of Service Function Chains (SFCs) and decreases the operational costs for mobile network operators. Maintaining an optimal placement of VNFs under changing load requires a dynamic reconfiguration that includes adding or removing VNF instances, changing the resource allocation of VNFs, and re routing corresponding service flows. However, such reconfiguration may lead to notable service disruptions and impose additional overhead on the VNF infrastructure, especially when reconfiguration entails state or VNF migration. On the other hand, not changing the existing placement may lead to high operational costs. In this paper, we investigate the trade off between the reconfiguration of SFCs and the optimality of the resulting placement and service flow (re)routing. We model different reconfiguration costs related to the migration of stateful VNFs and solve a joint optimization problem that aims to minimize both the total cost of the VNF placement and the reconfiguration cost necessary for repairing a suboptimal placement. Numerical results show that a small number of reconfiguration operations can significantly reduce the operational cost of the VNF infrastructure however, too much reconfiguration may not pay off should heavy costs be involved.


Deep unsupervised learning of turbulence for inflow generation at various Reynolds numbers. A realistic inflow boundary condition is essential for successful simulation of the developing turbulent boundary layer or channel flows. Recent advances in artificial intelligence (AI) have enabled the development of an inflow generator that performs better than the synthetic methods based on intuitions. In the present work, we applied generative adversarial networks (GANs), a representative of unsupervised learning, to generate an inlet boundary condition of turbulent channel flow. Upon learning the two dimensional spatial structure of turbulence using data obtained from direct numerical simulation (DNS) of turbulent channel flow, the GAN could generate instantaneous flow fields that are statistically similar to those of DNS. Surprisingly, the GAN could produce fields at various Reynolds numbers without any additional simulation based on the trained data of only three Reynolds numbers. This indicates that the GAN could learn the universal nature of Reynolds number effect and might reflect other simulation conditions. Eventually, through a combination of the GAN and a recurrent neural network (RNN), we developed a novel model (RNN GAN) that could generate time varying fully developed flow for a long time. The spatiotemporal correlations of the generated flow are in good agreement with those of the DNS. This proves the usefulness of unsupervised learning in the generation of synthetic turbulence fields.


Stack Sorting with Consecutive Pattern Avoiding Stacks. We introduce consecutive pattern avoiding stack sorting maps text SC sigma , which are natural generalizations of West's stack sorting map s and natural analogues of the classical pattern avoiding stack sorting maps s sigma recently introduced by Cerbai, Claesson, and Ferrari. We characterize the patterns sigma such that text Sort ( text SC sigma) , the set of permutations that are sortable via the map s circ text SC sigma , is a permutation class, and we enumerate the sets text Sort ( text SC sigma ) for sigma in 123,132,321 . We also study the maps text SC sigma from a dynamical point of view, characterizing the periodic points of text SC sigma for all sigma in S 3 and computing max pi in S n text SC sigma 1 ( pi) for all sigma in 132,213,231,312 . In addition, we characterize the periodic points of the classical pattern avoiding stack sorting map s 132 , and we show that the maximum number of iterations of s 132 needed to send a permutation in S n to a periodic point is n 1 . The paper ends with numerous open problems and conjectures.


May I Check Again? A simple but efficient way to generate and use contextual dictionaries for Named Entity Recognition. Application to French Legal Texts. In this paper we present a new method to learn a model robust to typos for a Named Entity Recognition task. Our improvement over existing methods helps the model to take into account the context of the sentence inside a court decision in order to recognize an entity with a typo. We used state of the art models and enriched the last layer of the neural network with high level information linked with the potential of the word to be a certain type of entity. More precisely, we utilized the similarities between the word and the potential entity candidates in the tagged sentence context. The experiments on a dataset of French court decisions show a reduction of the relative F1 score error of 32 , upgrading the score obtained with the most competitive fine tuned state of the art system from 94.85 to 96.52 .


Nontrivial linear projections of the Grassmannian Gr 3(C 6). A typical linear projection of the Grassmannian in its Plucker embedding is injective, unless its image is a projective space. A notable exception are self adjoint linear projections, which have even degree. We consider linear projections of Gr 3(C 6) with low dimensional centers of projection. When the center has dimension less than five, we show that the projection has degree 1. When the center has dimension five and the projection has degree greater than 1, we show that it is self adjoint.


The Age of Incorrect Information A New Performance Metric for Status Updates. In this paper, we introduce a new performance metric in the framework of status updates that we will refer to as the Age of Incorrect Information (AoII). This new metric deals with the shortcomings of both the Age of Information (AoI) and the conventional error penalty functions as it neatly extends the notion of fresh updates to that of fresh "informative" updates. The word informative in this context refers to updates that bring new and correct information to the monitor side. After properly motivating the new metric, and with the aim of minimizing its average, we formulate a Markov Decision Process (MDP) in a transmitter receiver pair scenario where packets are sent over an unreliable channel. We show that a simple "always update" policy minimizes the aforementioned average penalty along with the average age and prediction error. We then tackle the general, and more realistic case, where the transmitter cannot surpass a specific power budget. The problem is formulated as a Constrained Markov Decision Process (CMDP) for which we provide a Lagrangian approach to solve. After characterizing the optimal transmission policy of the Lagrangian problem, we provide a rigorous mathematical proof to showcase that a mixture of two Lagrange policies is optimal for the CMDP in question. Equipped with this, we provide a low complexity algorithm that finds the AoII optimal operating point of the system in the constrained scenario. Lastly, simulation results are laid out to showcase the performance of the proposed policy and highlight the differences with the AoI framework.


Transitivity and degree assortativity explained The bipartite structure of social networks. Dynamical processes, such as the diffusion of knowledge, opinions, pathogens, "fake news", innovation, and others, are highly dependent on the structure of the social network on which they occur. However, questions on why most social networks present some particular structural features, namely high levels of transitivity and degree assortativity, when compared to other types of networks remain open. First, we argue that every one mode network can be regarded as a projection of a bipartite network, and show that this is the case using two simple examples solved with the generating functions formalism. Second, using synthetic and empirical data, we reveal how the combination of the degree distribution of both sets of nodes of the bipartite network together with the presence of cycles of length four and six explains the observed levels of transitivity and degree assortativity in the one mode projected network. Bipartite networks with top node degrees that display a more right skewed distribution than the bottom nodes result in highly transitive and degree assortative projections, especially if a large number of small cycles are present in the bipartite structure.


Slack Reactants A State Space Truncation Framework to Estimate Quantitative Behavior of the Chemical Master Equation. State space truncation methods are widely used to approximate solutions of the chemical master equation. While most methods of this kind focus on truncating the state space directly, in this work we propose modifying the underlying chemical reaction network by introducing emph slack reactants that indirectly truncate the state space. More specifically, slack reactants introduce an expanded chemical reaction network and impose a truncation scheme based on user defined properties, such as mass conservation. This network structure allows us to prove inheritance of special properties of the original model, such as irreducibility and complex balancing. We use the network structure imposed by slack reactants to prove the convergence of the stationary distribution and first arrival times. We then provide examples comparing our method with the stationary finite state projection and finite buffer methods. Our slack reactant system appears to be more robust than some competing methods with respect to calculating first arrival times.


Squeeze and Attention Networks for Semantic Segmentation. The recent integration of attention mechanisms into segmentation networks improves their representational capabilities through a great emphasis on more informative features. However, these attention mechanisms ignore an implicit sub task of semantic segmentation and are constrained by the grid structure of convolution kernels. In this paper, we propose a novel squeeze and attention network (SANet) architecture that leverages an effective squeeze and attention (SA) module to account for two distinctive characteristics of segmentation i) pixel group attention, and ii) pixel wise prediction. Specifically, the proposed SA modules impose pixel group attention on conventional convolution by introducing an 'attention' convolutional channel, thus taking into account spatial channel inter dependencies in an efficient manner. The final segmentation results are produced by merging outputs from four hierarchical stages of a SANet to integrate multi scale contexts for obtaining an enhanced pixel wise prediction. Empirical experiments on two challenging public datasets validate the effectiveness of the proposed SANets, which achieves 83.2 mIoU (without COCO pre training) on PASCAL VOC and a state of the art mIoU of 54.4 on PASCAL Context.


A Powerful Pulsed "Point Like" Neutron Source Based on the High Current ECR Ion Source. The paper presents recent results of a "point like" neutron source development based on a D D fusion in a D loaded target caused by its bombardment with a sharply focused deuterium ion beam. These developments are undergoing at the Institute of Applied Physics of Russian Academy of Sciences in order to study a possibility to create an effective and compact device for fast neutron radiography. Last experiments with a beam produced by a gasdynamic high current ECR ion source and its focusing with magnetic lens demonstrated that 60 mA of deuterium ions may be constricted to a transversal size of 1 mm at the focal plane. With a purpose to improve this result in terms of the beam current and its size a combined electrostatic and magnetic focusing system is proposed and analysed. It is shown that combined system may enhance the total beam current and reduce its footprint down to 0.13 mm. All numerical analysis was performed using the IBSimu code.


Deep Learning for LiDAR Point Clouds in Autonomous Driving A Review. Recently, the advancement of deep learning in discriminative feature learning from 3D LiDAR data has led to rapid development in the field of autonomous driving. However, automated processing uneven, unstructured, noisy, and massive 3D point clouds is a challenging and tedious task. In this paper, we provide a systematic review of existing compelling deep learning architectures applied in LiDAR point clouds, detailing for specific tasks in autonomous driving such as segmentation, detection, and classification. Although several published research papers focus on specific topics in computer vision for autonomous vehicles, to date, no general survey on deep learning applied in LiDAR point clouds for autonomous vehicles exists. Thus, the goal of this paper is to narrow the gap in this topic. More than 140 key contributions in the recent five years are summarized in this survey, including the milestone 3D deep architectures, the remarkable deep learning applications in 3D semantic segmentation, object detection, and classification specific datasets, evaluation metrics, and the state of the art performance. Finally, we conclude the remaining challenges and future researches.


Path regularity of coupled McKean Vlasov FBSDEs. This paper establishes H " o lder time regularity of solutions to coupled McKean Vlasov forward backward stochastic differential equations (MV FBSDEs). This is not only of fundamental mathematical interest, but also essential for their numerical approximations. We show that a solution triple to a MV FBSDE with Lipschitz coefficients is 1 2 H " o lder continuous in time in the L p norm provided that it admits a Lipschitz decoupling field. Special examples include decoupled MV FBSDEs, coupled MV FBSDEs with a small time horizon and coupled stochastic Pontryagin systems arsing from mean field control problems.


Concavity properties of solutions to Robin problems. We prove that the Robin ground state and the Robin torsion function are respectively log concave and frac 1 2 concave on an uniformly convex domain Omega subset mathbb R N of class mathcal C m , with m frac N 2 geq 4 , provided the Robin parameter exceeds a critical threshold. Such threshold depends on N , m , and on the geometry of Omega , precisely on the diameter and on the boundary curvatures up to order m .


Wakefield decay in a radially bounded plasma due to formation of electron halo. There is a new effect that can limit the lifetime of a weakly nonlinear wakefield in a radially bounded plasma. If the drive beam is narrow, some of the plasma electrons fall out of the collective motion and leave the plasma radially, forming a negatively charged halo around it. These electrons repeatedly return to the plasma under the action of the charge separation field, interact with the plasma wave and cause its damping. The lowest energy halo electrons take the energy from the wave more efficiently, because their trajectories are bent by the plasma wave towards the regions of the strongest acceleration. For correct accounting of the wave damping in simulations, it is necessary and sufficient to take the simulation window twice as wide as the plasma.


Development of High Intensity Neutron Source at the European Spallation Source. The European Spallation Source being constructed in Lund, Sweden will provide the user community with a neutron source of unprecedented brightness. By 2025, a suite of 15 instruments will be served by a high brightness moderator system placed above the spallation target. The ESS infrastructure, consisting of the proton linac, the target station, and the instrument halls, allows for implementation of a second source below the spallation target. We propose to develop a second neutron source with a high intensity moderator able to (1) deliver a larger total cold neutron flux, (2) provide high intensities at longer wavelengths in the spectral regions of Cold (4 10 AA ), Very Cold (10 40 AA ), and Ultra Cold (several 100 AA ) neutrons, as opposed to Thermal and Cold neutrons delivered by the top moderator. Offering both unprecedented brilliance, flux, and spectral range in a single facility, this upgrade will make ESS the most versatile neutron source in the world and will further strengthen the leadership of Europe in neutron science. The new source will boost several areas of condensed matter research such as imaging and spin echo, and will provide outstanding opportunities in fundamental physics investigations of the laws of nature at a precision unattainable anywhere else. At the heart of the proposed system is a volumetric liquid deuterium moderator. Based on proven technology, its performance will be optimized in a detailed engineering study. This moderator will be complemented by secondary sources to provide intense beams of Very and Ultra Cold Neutrons.


Efficient Transformer based Large Scale Language Representations using Hardware friendly Block Structured Pruning. Pre trained large scale language models have increasingly demonstrated high accuracy on many natural language processing (NLP) tasks. However, the limited weight storage and computational speed on hardware platforms have impeded the popularity of pre trained models, especially in the era of edge computing. In this work, we propose an efficient transformer based large scale language representation using hardware friendly block structure pruning. We incorporate the reweighted group Lasso into block structured pruning for optimization. Besides the significantly reduced weight storage and computation, the proposed approach achieves high compression rates. Experimental results on different models (BERT, RoBERTa, and DistilBERT) on the General Language Understanding Evaluation (GLUE) benchmark tasks show that we achieve up to 5.0x with zero or minor accuracy degradation on certain task(s). Our proposed method is also orthogonal to existing compact pre trained language models such as DistilBERT using knowledge distillation, since a further 1.79x average compression rate can be achieved on top of DistilBERT with zero or minor accuracy degradation. It is suitable to deploy the final compressed model on resource constrained edge devices.


Resonance Frequencies of a Slab with Subwavelength Slits a Fourier transformation Approach. This paper proposes a novel, rigorous and simple Fourier transformation approach to study resonances in a perfectly conducting slab with finite number of subwavelength slits of width h ll 1 . Since regions outside the slits are variable separated, by Fourier transforming the governing equation, we could express field in the outer regions in terms of field derivatives on the aperture. Next, in each slit where variable separation is still available, wave field could be expressed as a Fourier series in terms of a countable basis functions with unknown Fourier coefficients. Finally, by matching field on the aperture, we establish a linear system of infinite number of equations governing the countable Fourier coefficients. By carefully asymptotic analysis of each entry of the coefficient matrix, we rigorously show that, by removing only a finite number of rows and columns, the resulting principle sub matrix is diagonally dominant so that the infinite dimensional linear system can be reduced to a finite dimensional linear system. Resonance frequencies are exactly those frequencies making the linear system rank deficient. This in turn provides a simple, asymptotic formula describing resonance frequencies with accuracy cal O (h 3 log h) . We emphasize that such a formula is more accurate than all existing results and is the first accurate result especially for slits of number more than two to our best knowledge. Moreover, this asymptotic formula rigorously confirms a fact that the imaginary part of resonance frequencies is always cal O (h) no matter how we place the slits as long as they are spaced by distances independent of width h .


Multimodal Self Supervised Learning for Medical Image Analysis. Self supervised learning approaches leverage unlabeled samples to acquire generic knowledge about different concepts, hence allowing for annotation efficient downstream task learning. In this paper, we propose a novel self supervised method that leverages multiple imaging modalities. We introduce the multimodal puzzle task, which facilitates rich representation learning from multiple image modalities. The learned representations allow for subsequent fine tuning on different downstream tasks. To achieve that, we learn a modality agnostic feature embedding by confusing image modalities at the data level. Together with the Sinkhorn operator, with which we formulate the puzzle solving optimization as permutation matrix inference instead of classification, they allow for efficient solving of multimodal puzzles with varying levels of complexity. In addition, we also propose to utilize cross modal generation techniques for multimodal data augmentation used for training self supervised tasks. In other words, we exploit synthetic images for self supervised pretraining, instead of downstream tasks directly, in order to circumvent quality issues associated with synthetic images, while improving data efficiency and representations quality. Our experimental results, which assess the gains in downstream performance and data efficiency, show that solving our multimodal puzzles yields better semantic representations, compared to treating each modality independently. Our results also highlight the benefits of exploiting synthetic images for self supervised pretraining. We showcase our approach on four downstream tasks Brain tumor segmentation and survival days prediction using four MRI modalities, Prostate segmentation using two MRI modalities, and Liver segmentation using unregistered CT and MRI modalities. We outperform many previous solutions, and achieve results competitive to state of the art.


Enabling materials for subwavelength size low loss surface modes in the Terahertz spectral range. Terahertz spectral range (frequencies of 0.1 1 THz) has recently emerged as the next frontier for non destructive imaging, industrial sensing and ultra fast wireless communications. Here, we review several classes of materials such as simple metals, semiconductors, high k dielectrics, polar materials, zero gap materials, as well as structured materials that can support strongly localised electromagnetic modes at material interfaces in the Terahertz spectral range. We present the basic theory of surface waves, detail the requirement of strong modal confinement and low loss for the surface waves propagating at material interfaces and discuss challenges for excitation of such modes at Terahertz frequencies. A large number of examples related to naturally occurring and artificial materials is then presented. A variety of practical applications is envisioned for surface waves at Terahertz frequencies including non destructive super resolution imaging and quality control, high sensitivity sensors capable of operation with small volumes of analytes that are opaque in the visible and near infrared, as well as design of compact optical circuit for the upcoming ultra high bitrate THz communication devices.


A characterization of secant varieties of Severi varieties among cubic hypersurfaces. It is shown that an irreducible cubic hypersurface with nonzero Hessian and smooth singular locus is the secant variety of a Severi variety if and only if its Lie algebra of infinitesimal linear automorphisms admits a nonzero prolongation.


Random Mode Coupling Assists Kerr Beam Self Cleaning in a Graded Index Multimode Optical Fiber. In this paper, we numerically investigate the process of beam self cleaning in a graded index multimode optical fiber, by using the coupled mode model. We introduce various models of random linear coupling between spatial modes, including coupling between all modes, or only between degenerate ones, and investigate the effects of random mode coupling on the beam self cleaning process. The results of numerical investigations are in complete agreement with our experimental data.


Faster motif counting via succinct color coding and adaptive sampling. We address the problem of computing the distribution of induced connected subgraphs, aka emph graphlets or emph motifs , in large graphs. The current state of the art algorithms estimate the motif counts via uniform sampling, by leveraging the color coding technique by Alon, Yuster and Zwick. In this work we extend the applicability of this approach, by introducing a set of algorithmic optimizations and techniques that reduce the running time and space usage of color coding and improve the accuracy of the counts. To this end, we first show how to optimize color coding to efficiently build a compact table of a representative subsample of all graphlets in the input graph. For 8 node motifs, we can build such a table in one hour for a graph with 65 M nodes and 1.8 B edges, which is 2000 times larger than the state of the art. We then introduce a novel adaptive sampling scheme that breaks the "additive error barrier" of uniform sampling, guaranteeing multiplicative approximations instead of just additive ones. This allows us to count not only the most frequent motifs, but also extremely rare ones. For instance, on one graph we accurately count nearly 10.000 distinct 8 node motifs whose relative frequency is so small that uniform sampling would literally take centuries to find them. Our results show that color coding is still the most promising approach to scalable motif counting.


Photoionization of tungsten ions experiment and theory for W 5 . Experimental and theoretical cross sections are reported for single photon single ionization of W 5 ions. Absolute measurements were conducted employing the photon ion merged beams technique. Detailed photon energy scans were performed at (67 pm 10) meV resolution in the 20 160 eV range. In contrast to photoionization of tungsten ions in lower charge states, the cross section is dominated by narrow, densely spaced resonances. Theoretical results were obtained from a Dirac Coulomb R matrix approach employing a basis set of 457 levels providing cross sections for photoionization of W 5 ions in the 4f 14 5s 2 5p 6 5d 2 rm D 3 2 ground level as well as the 4f 14 5s 2 5p 6 5d 2 rm D 5 2 and 4f 14 5s 2 5p 6 6s 2 rm S 1 2 metastable excited levels. Considering the complexity of the electronic structure of tungsten ions in low charge states, the agreement between theory and experiment is satisfactory.


Optimal Petrov Galerkin spectral approximation method for the fractional diffusion, advection, reaction equation on a bounded interval. In this paper we investigate the numerical approximation of the fractional diffusion, advection, reaction equation on a bounded interval. Recently the explicit form of the solution to this equation was obtained. Using the explicit form of the boundary behavior of the solution and Jacobi polynomials, a Petrov Galerkin approximation scheme is proposed and analyzed. Numerical experiments are presented which support the theoretical results, and demonstrate the accuracy and optimal convergence of the approximation method.


Dual Graph Attention Networks for Deep Latent Representation of Multifaceted Social Effects in Recommender Systems. Social recommendation leverages social information to solve data sparsity and cold start problems in traditional collaborative filtering methods. However, most existing models assume that social effects from friend users are static and under the forms of constant weights or fixed constraints. To relax this strong assumption, in this paper, we propose dual graph attention networks to collaboratively learn representations for two fold social effects, where one is modeled by a user specific attention weight and the other is modeled by a dynamic and context aware attention weight. We also extend the social effects in user domain to item domain, so that information from related items can be leveraged to further alleviate the data sparsity problem. Furthermore, considering that different social effects in two domains could interact with each other and jointly influence user preferences for items, we propose a new policy based fusion strategy based on contextual multi armed bandit to weigh interactions of various social effects. Experiments on one benchmark dataset and a commercial dataset verify the efficacy of the key components in our model. The results show that our model achieves great improvement for recommendation accuracy compared with other state of the art social recommendation methods.


The two sided exit problem for a random walk on mathbb Z with infinite variance I. Let S (S n) be an oscillatory random walk on the integer lattice mathbb Z with i.i.d. increments. Let V rm d (x) be the renewal function of the strictly descending ladder height process for S . We obtain several sufficient conditions given in terms of the distribution function of the increment S 1 S 0 so that as R to infty ( ) quad P S mbox leaves 0,R on its upper side , , S 0 x , sim , V rm d (x) V rm d (R) uniformly for 0 leq x leq R . When S is attracted to a stable process of index 0 alpha leq 2 and there exists rho lim P S n 0 , the sufficient condition obtained are also necessary for ( ) and fulfilled if and only if ( alpha vee 1) rho 1 , and some asymptotic estimates of the probability on the left side of ( ) are given in case ( alpha vee 1) rho neq 1 .


Product domains, Multi Cauchy transforms, and the bar partial equation. Solution operators for the equation bar partial u f are constructed on general product domains in mathbb C n . When the factors are one dimensional, the operator is a simple integral operator it involves specific derivatives of f integrated against iterated Cauchy kernels. For higher dimensional factors, the solution is constructed by solving sub bar partial equations with modified data on the factors. Estimates of the operators in several norms are proved.


Invariant metric under deformed Markov embeddings with overlapped supports. Due to v C encov's theorem, there exists a unique family of invariant symmetric (0,2) tensor fields on the space of positive probability measures on a set of n points indexed by n in mathbb N under Markov embeddings. We deform Markov embeddings keeping sufficiency, and prove existence and uniqueness of invariant families under the embeddings.


Inequalities for generalized matrix function and inner product. We present inequalities related to generalized matrix function for positive semidefinite block matrices. We introduce partial generalized matrix functions corresponding to partial traces and then provide an unified extension of the recent inequalities due to Choi 6 , Lin 14 and Zhang et al. 5,19 . We demonstrate the applications of a positive semidefinite 3 times 3 block matrix, which motivates us to give a simple alternative proof of Dragomir's inequality and Krein's inequality.


Residual Galois representations of elliptic curves with image contained in the normaliser of a non split Cartan. It is known that if p 37 is a prime number and E mathbb Q is an elliptic curve without complex multiplication, then the image of the mod p Galois representation bar rho E,p operatorname Gal ( overline mathbb Q mathbb Q ) rightarrow operatorname GL (E p ) of E is either the whole of operatorname GL (E p ) , or is emph contained in the normaliser of a non split Cartan subgroup of operatorname GL (E p ) . In this paper, we show that when p 1.4 times 10 7 , the image of bar rho E,p is either operatorname GL (E p ) , or the emph full normaliser of a non split Cartan subgroup. We use this to show the following result, partially settling a question of Najman. For d geq 1 , let I(d) denote the set of primes p for which there exists an elliptic curve defined over mathbb Q and without complex multiplication admitting a degree p isogeny defined over a number field of degree leq d . We show that, for d geq 1.4 times 10 7 , we have I(d) p text prime p leq d 1 .


Anomalous Motion Detection on Highway Using Deep Learning. Research in visual anomaly detection draws much interest due to its applications in surveillance. Common datasets for evaluation are constructed using a stationary camera overlooking a region of interest. Previous research has shown promising results in detecting spatial as well as temporal anomalies in these settings. The advent of self driving cars provides an opportunity to apply visual anomaly detection in a more dynamic application yet no dataset exists in this type of environment. This paper presents a new anomaly detection dataset the Highway Traffic Anomaly (HTA) dataset for the problem of detecting anomalous traffic patterns from dash cam videos of vehicles on highways. We evaluate state of the art deep learning anomaly detection models and propose novel variations to these methods. Our results show that state of the art models built for settings with a stationary camera do not translate well to a more dynamic environment. The proposed variations to these SoTA methods show promising results on the new HTA dataset.


Tropical varieties associated to ideal triangulations The Whitehead link complement. This paper illustrates a computational approach to Culler Morgan Shalen theory using ideal triangulations, spun normal surfaces and tropical geometry. Certain affine algebraic sets associated to the Whitehead link complement as well as their logarithmic limit sets are computed. The projective solution space of spun normal surface theory is related to the space of incompressible surfaces and to the unit ball of the Thurston norm. It is shown that all boundary curves of the Whitehead link complement are strongly detected by its character variety. The specific results obtained can be used to study the geometry and topology of the Whitehead link complement and its Dehn surgeries. The methods can be applied to any cusped hyperbolic 3 manifold of finite volume.


Numerical Analysis of a Highly Sensitive Surface Plasmon Resonance Sensor for SARS CoV 2 Detection. In this paper, we propose a surface plasmon resonance (SPR) structure based on Kretschmann configuration incorporating layers of Silicon and BaTiO 3 on top of Ag for real time detection of severe acute respiratory syndrome coronavirus 2 (SARS CoV 2) using thiol tethered DNA as a ligand. Extensive numerical analysis based on transfer matrix theory as well as finite difference time domain (FDTD) technique has been performed to characterize the sensor response considering sensitivity, full width at half maxima, and minimum reflection. About 7.6 times enhanced sensitivity has been obtained using the proposed architecture for SARS CoV 2 detection, compared to the basic Kretschmann configuration. Notably, the structure provides consistent enhancement over other competitive SPR structures for both angular and wavelength interrogations with a figure of merit of 692.28. Additionally, we repeated simulations for various ligate ligand pairs to assess the range of applicability and robust performance improvement has been observed. As a result, the proposed sensor design provides a suitable configuration for highly sensitive, rapid, non invasive biosensing which can be useful if adopted in experimental sensing protocols.


Advancing computational reproducibility in the Dataverse data repository platform. Recent reproducibility case studies have raised concerns showing that much of the deposited research has not been reproducible. One of their conclusions was that the way data repositories store research data and code cannot fully facilitate reproducibility due to the absence of a runtime environment needed for the code execution. New specialized reproducibility tools provide cloud based computational environments for code encapsulation, thus enabling research portability and reproducibility. However, they do not often enable research discoverability, standardized data citation, or long term archival like data repositories do. This paper addresses the shortcomings of data repositories and reproducibility tools and how they could be overcome to improve the current lack of computational reproducibility in published and archived research outputs.


Towards Auditability Requirements Specification Using an Agent Based Approach. Transparency is an important factor in democratic societies composed of characteristics such as accessibility, usability, informativeness, understandability and auditability. In this research we focus on auditability since it plays an important role for citizens that need to understand and audit public information. Although auditability has been a subject of discussion when designing systems, there is a lack of systematization in its specification. We propose an approach to systematically add auditability requirements specification during the goal oriented agent based Tropos methodology. We used the Transparency Softgoal Interdependency Graph that captures the different facets of transparency while considering their operationalization. An empirical evaluation was conducted through the design and implementation of LawDisTrA system that distributes lawsuits among judges in an appellate court. Experiments included the distribution of over 300,000 lawsuits at the Brazilian Superior Labor Court. We theorize that the presented approach for auditability provides adequate techniques to address the cross organizational nature of transparency.


Finding minimum locating arrays using a CSP solver. Combinatorial interaction testing is an efficient software testing strategy. If all interactions among test parameters or factors needed to be covered, the size of a required test suite would be prohibitively large. In contrast, this strategy only requires covering t wise interactions where t is typically very small. As a result, it becomes possible to significantly reduce test suite size. Locating arrays aim to enhance the ability of combinatorial interaction testing. In particular, ( overline 1 , t) locating arrays can not only execute all t way interactions but also identify, if any, which of the interactions causes a failure. In spite of this useful property, there is only limited research either on how to generate locating arrays or on their minimum sizes. In this paper, we propose an approach to generating minimum locating arrays. In the approach, the problem of finding a locating array consisting of N tests is represented as a Constraint Satisfaction Problem (CSP) instance, which is in turn solved by a modern CSP solver. The results of using the proposed approach reveal many ( overline 1 , t) locating arrays that are smallest known so far. In addition, some of these arrays are proved to be minimum.


Four Dimensional Dominance Range Reporting in Linear Space. In this paper we study the four dimensional dominance range reporting problem and present data structures with linear or almost linear space usage. Our results can be also used to answer four dimensional queries that are bounded on five sides. The first data structure presented in this paper uses linear space and answers queries in O( log 1 varepsilon n k log varepsilon n) time, where k is the number of reported points, n is the number of points in the data structure, and varepsilon is an arbitrarily small positive constant. Our second data structure uses O(n log varepsilon n) space and answers queries in O( log n k) time. These are the first data structures for this problem that use linear (resp. O(n log varepsilon n) ) space and answer queries in poly logarithmic time. For comparison the fastest previously known linear space or O(n log varepsilon n) space data structure supports queries in O(n varepsilon k) time (Bentley and Mauer, 1980). Our results can be generalized to d ge 4 dimensions. For example, we can answer d dimensional dominance range reporting queries in O( log log n ( log n log log n) d 3 k) time using O(n log d 4 varepsilon n) space. Compared to the fastest previously known result (Chan, 2013), our data structure reduces the space usage by O( log n) without increasing the query time.


The conformal measures of a normal subgroup of a cocompact Fuchsian group. In this paper, we study the conformal measures of a normal subgroup of a cocompact Fuchsian group. In particular, we relate the extremal conformal measures to the eigenmeasures of a suitable Ruelle operator. Using Ancona's theorem, adapted to the Ruelle operator setting, we show that if the group of deck transformations G is hyperbolic then the extremal conformal measures and the hyperbolic boundary of G coincide. We then interpret these results in terms of the asymptotic behavior of cutting sequences of geodesics on a regular cover of a compact hyperbolic surface.


Difficulty Scaling in Proof of Work for Decentralized Problem Solving. We propose DIPS Difficulty based Incentives for Problem Solving), a simple modification of the Bitcoin proof of work algorithm that rewards blockchain miners for solving optimization problems of scientific interest. The result is a blockchain which redirects some of the computational resources invested in hash based mining towards scientific computation, effectively reducing the amount of energy wasted' on mining. DIPS builds the solving incentive directly in the proof of work by providing a reduction in block hashing difficulty when optimization improvements are found. A key advantage of this scheme is that decentralization is preserved and no additional protocol layers are required on top of the standard blockchain. We study two incentivization schemes and provide simulation results showing that DIPS is able to reduce the amount of hash power used in the network while generating solutions to optimization problems.


The Persistence of False Memory Brain in a Vat Despite Perfect Clocks. Recently, a detailed epistemic reasoning framework for multi agent systems with byzantine faulty asynchronous agents and possibly unreliable communication was introduced. We have developed a modular extension framework implemented on top of it, which allows to encode and safely combine additional system assumptions commonly used in the modeling and analysis of fault tolerant distributed systems, like reliable communication, time bounded communication, multicasting, synchronous and lock step synchronous agents and even agents with coordinated actions. We use this extension framework for analyzing basic properties of synchronous and lock step synchronous agents, such as the agents' local and global fault detection abilities. Moreover, we show that even the perfectly synchronized clocks available in lock step synchronous systems cannot be used to avoid "brain in a vat" scenarios.


Design Challenges in Low resource Cross lingual Entity Linking. Cross lingual Entity Linking (XEL), the problem of grounding mentions of entities in a foreign language text into an English knowledge base such as Wikipedia, has seen a lot of research in recent years, with a range of promising techniques. However, current techniques do not rise to the challenges introduced by text in low resource languages (LRL) and, surprisingly, fail to generalize to text not taken from Wikipedia, on which they are usually trained. This paper provides a thorough analysis of low resource XEL techniques, focusing on the key step of identifying candidate English Wikipedia titles that correspond to a given foreign language mention. Our analysis indicates that current methods are limited by their reliance on Wikipedia's interlanguage links and thus suffer when the foreign language's Wikipedia is small. We conclude that the LRL setting requires the use of outside Wikipedia cross lingual resources and present a simple yet effective zero shot XEL system, QuEL, that utilizes search engines query logs. With experiments on 25 languages, QuEL shows an average increase of 25 in gold candidate recall and of 13 in end to end linking accuracy over state of the art baselines.


Laplace contour integrals and linear differential equations. The purpose of this paper is to determine the main properties of Laplace contour integrals Lambda(z) frac1 2 pi i int CC phi L(t)e zt ,dt, that solve linear differential equations L w (z) w (n) sum j 0 n 1 (a j b jz)w (j) 0. This concerns, in particular, the order of growth, asymptotic expansions, the Phragm 'en Lindel "of indicator, the distribution of zeros, the existence of sub normal and polynomial solutions, and the corresponding Nevanlinna functions.


Image based Vehicle Re identification Model with Adaptive Attention Modules and Metadata Re ranking. Vehicle Re identification is a challenging task due to intra class variability and inter class similarity across non overlapping cameras. To tackle these problems, recently proposed methods require additional annotation to extract more features for false positive image exclusion. In this paper, we propose a model powered by adaptive attention modules that requires fewer label annotations but still out performs the previous models. We also include a re ranking method that takes account of the importance of metadata feature embeddings in our paper. The proposed method is evaluated on CVPR AI City Challenge 2020 dataset and achieves mAP of 37.25 in Track 2.


Dense open set recognition with synthetic outliers generated by Real NVP. Today's deep models are often unable to detect inputs which do not belong to the training distribution. This gives rise to confident incorrect predictions which could lead to devastating consequences in many important application fields such as healthcare and autonomous driving. Interestingly, both discriminative and generative models appear to be equally affected. Consequently, this vulnerability represents an important research challenge. We consider an outlier detection approach based on discriminative training with jointly learned synthetic outliers. We obtain the synthetic outliers by sampling an RNVP model which is jointly trained to generate datapoints at the border of the training distribution. We show that this approach can be adapted for simultaneous semantic segmentation and dense outlier detection. We present image classification experiments on CIFAR 10, as well as semantic segmentation experiments on three existing datasets (StreetHazards, WD Pascal, Fishyscapes Lost Found), and one contributed dataset. Our models perform competitively with respect to the state of the art despite producing predictions with only one forward pass.


Peter Weyl, Howe and Schur Weyl theorems for current groups. The classical Peter Weyl theorem describes the structure of the space of functions on a semi simple algebraic group. On the level of characters (in type A) this boils down to the Cauchy identity for the products of Schur polynomials. We formulate and prove the analogue of the Peter Weyl theorem for the current groups. In particular, in type A the corresponding characters identity is governed by the Cauchy identity for the products of q Whittaker functions. We also formulate and prove a version of the Schur Weyl theorem for current groups. The link between the Peter Weyl and Schur Weyl theorems is provided by the (current version of) Howe duality.


DERAIL Diagnostic Environments for Reward And Imitation Learning. The objective of many real world tasks is complex and difficult to procedurally specify. This makes it necessary to use reward or imitation learning algorithms to infer a reward or policy directly from human data. Existing benchmarks for these algorithms focus on realism, testing in complex environments. Unfortunately, these benchmarks are slow, unreliable and cannot isolate failures. As a complementary approach, we develop a suite of simple diagnostic tasks that test individual facets of algorithm performance in isolation. We evaluate a range of common reward and imitation learning algorithms on our tasks. Our results confirm that algorithm performance is highly sensitive to implementation details. Moreover, in a case study into a popular preference based reward learning implementation, we illustrate how the suite can pinpoint design flaws and rapidly evaluate candidate solutions. The environments are available at https github.com HumanCompatibleAI seals .