Fast reaction limit for Glauber Kawasaki dynamics with two components. We consider the Kawasaki dynamics of two types of particles under a killing effect on a d dimensional square lattice. Particles move with possibly different jump rates depending on their types. The killing effect acts when particles of different types meet at the same site. We show the existence of a limit under the diffusive space time scaling and suitably growing killing rate segregation of distinct types of particles does occur, and the evolution of the interface between the two distinct species is governed by the two phase Stefan problem. We apply the relative entropy method and combine it with some PDE techniques.


Decomposable Jacobians. In this paper we give examples of smooth projective curves whose Jacobians are isogenus to a product of an arbitrarily high number of Jacobians


Meyniel's conjecture on graphs of bounded degree. The game of Cops and Robbers is a well known pursuit evasion game played on graphs. It has been proved cite bounded degree that cubic graphs can have arbitrarily large cop number c(G) , but the known constructions show only that the set c(G) mid G text cubic is unbounded. In this paper we prove that there are arbitrarily large subcubic graphs G whose cop number is at least n 1 2 o(1) where n V(G) . We also show that proving Meyniel's conjecture for graphs of bounded degree implies a weak Meyniel's conjecture for all graphs.


From Senseless Swarms to Smart Mobs Tuning Networks for Prosocial Behaviour. Social media have been seen to accelerate the spread of negative content such as disinformation and hate speech, often unleashing reckless herd mentality within networks, further aggravated by malicious entities using bots for amplification. So far, the response to this emerging global crisis has centred around social media platform companies making reactive moves that appear to have greater symbolic value than practical utility. These include taking down patently objectionable content or manually deactivating the accounts of bad actors, while leaving vast troves of negative content to circulate and perpetuate within social networks. Governments worldwide have thus sought to intervene using regulatory tools, with countries such as France, Germany and Singapore introducing laws to compel technology companies to take down or correct erroneous and harmful content. However, the relentless pace of technological progress enfeebles regulatory measures that seem fated for obsolescence.


Sublinear Latency for Simplified Successive Cancellation Decoding of Polar Codes. This work analyzes the latency of the simplified successive cancellation (SSC) decoding scheme for polar codes proposed by Alamdar Yazdi and Kschischang. It is shown that, unlike conventional successive cancellation decoding, where latency is linear in the block length, the latency of SSC decoding is sublinear. More specifically, the latency of SSC decoding is O(N 1 1 mu ) , where N is the block length and mu is the scaling exponent of the channel, which captures the speed of convergence of the rate to capacity. Numerical results demonstrate the tightness of the bound and show that most of the latency reduction arises from the parallel decoding of subcodes of rate 0 or 1 .


Learning Continuous Image Representation with Local Implicit Image Function. How to represent an image? While the visual world is presented in a continuous manner, machines store and see the images in a discrete way with 2D arrays of pixels. In this paper, we seek to learn a continuous representation for images. Inspired by the recent progress in 3D reconstruction with implicit neural representation, we propose Local Implicit Image Function (LIIF), which takes an image coordinate and the 2D deep features around the coordinate as inputs, predicts the RGB value at a given coordinate as an output. Since the coordinates are continuous, LIIF can be presented in arbitrary resolution. To generate the continuous representation for images, we train an encoder with LIIF representation via a self supervised task with super resolution. The learned continuous representation can be presented in arbitrary resolution even extrapolate to x30 higher resolution, where the training tasks are not provided. We further show that LIIF representation builds a bridge between discrete and continuous representation in 2D, it naturally supports the learning tasks with size varied image ground truths and significantly outperforms the method with resizing the ground truths.


On weak convergence of Monge Ampere measures for discrete convex mesh functions. To a mesh function we associate the natural analogue of the Monge Ampere measure. The latter is shown to be equivalent to the Monge Ampere measure of the convex envelope. We prove that the uniform convergence to a bounded convex function of mesh functions implies the uniform convergence on compact subsets of their convex envelopes and hence the weak convergence of the associated Monge Ampere measures. We also give conditions for mesh functions to have a subsequence which converges uniformly to a convex function. Our result can be used to give alternate proofs of the convergence of some discretizations for the second boundary value problem for the Monge Ampere equation and was used for a recently proposed discretization of the latter. For mesh functions which are uniformly bounded and satisfy a convexity condition at the discrete level, we show that there is a subsequence which converges uniformly on compact subsets to a convex function. The convex envelopes of the mesh functions of the subsequence also converge uniformly on compact subsets. If in addition they agree with a continuous convex function on the boundary, the limit function is shown to satisfy the boundary condition strongly.


A fast algorithm for quadratic resource allocation problems with nested constraints. We study the quadratic resource allocation problem and its variant with lower and upper constraints on nested sums of variables. This problem occurs in many applications, in particular battery scheduling within decentralized energy management (DEM) for smart grids. We present an algorithm for this problem that runs in O(n log n) time and, in contrast to existing algorithms for this problem, achieves this time complexity using relatively simple and easy to implement subroutines and data structures. This makes our algorithm very attractive for real life adaptation and implementation. Numerical comparisons of our algorithm with a subroutine for battery scheduling within an existing tool for DEM research indicates that our algorithm significantly reduces the overall execution time of the DEM system, especially when the battery is expected to be completely full or empty multiple times in the optimal schedule. Moreover, computational experiments with synthetic data show that our algorithm outperforms the currently most efficient algorithm by more than one order of magnitude. In particular, our algorithm is able to solves all considered instances with up to one million variables in less than 17 seconds on a personal computer.


Large eddy simulation probability density function simulations of the Cambridge turbulent stratified flame series under swirling conditions. The LES PDF methodology is applied to the Cambridge Sandia turbulent stratified flame series under swirling conditions. The methane air chemistry is represented by a 16 species reduced ARM1 mechanism, and the in situ adaptive tabulation method is adopted to accelerate the chemistry calculation. Effects of differential diffusion and heat loss through the bluffbody surface are taken into account. The simulations are conducted for premixed (SwB3), moderately and highly stratified (SwB7 and SwB11, respectively) cases under swirling conditions. The results from LES PDF simulations are compared with experimental measurements. The computed mean and r.m.s. profiles of velocity, temperature, equivalence ratio and mass fractions of species are in very good agreement with the measurements for all three conditions. Scatter plots and conditional means of species mole fractions and temperature are compared with the experimental data, where overall good consistency with the measurements is achieved. The recirculation zones are five times longer than those obtained under non swirling conditions. A low equivalence ratio high temperature region near the bluffbody is not captured in the computation, which is attributed to the insuffcient entrainment of downstream mixtures into the recirculation zone. The parametric studies show that the differential diffusion has a negligible effect on the mean and r.m.s. results, whereas the heat loss has a considerable effect on the temperature and CO profiles close to the bluffbody.


Some functional transcendence results around the Schwarzian differential equation. This paper centers around proving variants of the Ax Lindemann Weierstrass (ALW) theorem for analytic functions which satisfy Schwarzian differential equations. In previous work, the authors proved the ALW theorem for the uniformizers of genus zero Fuchsian groups, and in this work, we generalize that result in several ways using a variety of techniques from model theory, galois theory and geometry.


Analysis of micropolar fluids existence of potential microflow solutions, nearby global well posedness, and asymptotic stability. In this paper we concern ourselves with an incompressible, viscous, isotropic, and periodic micropolar fluid. We find that in the absence of forcing and microtorquing there exists an infinite family of well behaved solutions, which we call potential microflows, in which the fluid velocity vanishes identically, but the angular velocity of the microstructure is conservative and obeys a linear parabolic system. We then prove that nearby each potential microflow, the nonlinear equations of motion are well posed globally in time, and solutions are stable. Finally, we prove that in the absence of force and microtorque, solutions decay exponentially, and in the presence of force and microtorque obeying certain conditions, solutions have quantifiable decay rates.


A Practical Approach to Navigating the Tradeoff Between Privacy and Precise Utility. Due to the recent popularity of online social networks, coupled with people's propensity to disclose personal information in an effort to achieve certain gratifications, the problem of navigating the tradeoff between privacy and utility attracted a lot of recent interest and generated a rich body of research. A critical prerequisite to solving the problem is to appropriately capture the privacy and the utility aspects in the problem formulation. Most of the existing works' focus is on the notion of privacy, while utility loss is often treated as the undesirable but necessary distortion of the true data, introduced by the privacy mechanism. By contrast, we are interested in modelling utility differently, by associating it with specific attributes of a user, just like privacy is associated with specific private attributes in the literature. Our model of utility facilitates a better and more precise privacy mechanism, and achieves better privacy utility tradeoffs. We further incorporate into our problem formulation a practical constraint on acceptable loss in utility per unit gain in privacy, which allows users to customize the privacy mechanisms in order to account for the relative values that each user associates with their own privacy and utility. This paper discusses the intricacies of our utility model and the corresponding privacy utility tradeoff, and introduces a heuristic greedy algorithm to solve the problem.


On existence and uniqueness properties for solutions of stochastic fixed point equations. The Feynman Kac formula implies that every suitable classical solution of a semilinear Kolmogorov partial differential equation (PDE) is also a solution of a certain stochastic fixed point equation (SFPE). In this article we study such and related SFPEs. In particular, the main result of this work proves existence of unique solutions of certain SFPEs in a general setting. As an application of this main result we establish the existence of unique solutions of SFPEs associated with semilinear Kolmogorov PDEs with Lipschitz continuous nonlinearities even in the case where the associated semilinear Kolmogorov PDE does not possess a classical solution.


Relativistic configuration interaction calculations of U I hyperfine constants. Neutral uranium (U I) is a very difficult atom for theoretical calculations due to a large number of valence electrons, six, strong valence valence and valence core correlations, high density of states, and relativistic effects. Configuration interaction many body perturbation theory (CI MBPT) can treat efficiently valence core correlations and relativistic effects, but because the formalism was developed for Dirac Hartree Fock (DHF) starting potential that does not contain valence electrons, quite large CI space is needed to compensate for 6 charge of such a potential. Much more efficient is relativistic configuration interaction (RCI) approach which uses relatively accurate starting DHF potential that includes some valence electrons to make the valence electron Hamiltonian diagonally dominated for some states. Here we report calculations of U I hyperfine constants of several low energy states using the RCI method with the starting potential that includes four f valence electrons. With this starting potential, it is possible to use the single configuration approximation or small basis sets to obtain quite accurate results for hyperfine structure constants. In fact, by scaling nuclear magnetic moment, the agreement for 5 levels was within 5 , and a new magnetic moment can be recommended 0.43(2). The method can be further developed to include more extensive data sets to improve accuracy and can be applied to other atoms and for calculations of other properties, for example, relevant to fundamental symmetry tests.


Reflection in Game Based Learning A Survey of Programming Games. Reflection is a critical aspect of the learning process. However, educational games tend to focus on supporting learning concepts rather than supporting reflection. While reflection occurs in educational games, the educational game design and research community can benefit from more knowledge of how to facilitate player reflection through game design. In this paper, we examine educational programming games and analyze how reflection is currently supported. We find that current approaches prioritize accuracy over the individual learning process and often only support reflection post gameplay. Our analysis identifies common reflective features, and we develop a set of open areas for future work. We discuss these promising directions towards engaging the community in developing more mechanics for reflection in educational games.


A Common Operating Picture Framework Leveraging Data Fusion and Deep Learning. Organizations are starting to realize of the combined power of data and data driven algorithmic models to gain insights, situational awareness, and advance their mission. A common challenge to gaining insights is connecting inherently different datasets. These datasets (e.g. geocoded features, video streams, raw text, social network data, etc.) per separate they provide very narrow answers however collectively they can provide new capabilities. In this work, we present a data fusion framework for accelerating solutions for Processing, Exploitation, and Dissemination (PED). Our platform is a collection of services that extract information from several data sources (per separate) by leveraging deep learning and other means of processing. This information is fused by a set of analytical engines that perform data correlations, searches, and other modeling operations to combine information from the disparate data sources. As a result, events of interest are detected, geolocated, logged, and presented into a common operating picture. This common operating picture allows the user to visualize in real time all the data sources, per separate and their collective cooperation. In addition, forensic activities have been implemented and made available through the framework. Users can review archived results and compare them to the most recent snapshot of the operational environment. In our first iteration we have focused on visual data (FMV, WAMI, CCTV PTZ Cameras, open source video, etc.) and AIS data streams (satellite and terrestrial sources). As a proof of concept, in our experiments we show how FMV detections can be combined with vessel tracking signals from AIS sources to confirm identity, tip and cue aerial reconnaissance, and monitor vessel activity in an area.


Skeleton based Approaches based on Machine Vision A Survey. Recently, skeleton based approaches have achieved rapid progress on the basis of great success in skeleton representation. Plenty of researches focus on solving specific problems according to skeleton features. Some skeleton based approaches have been mentioned in several overviews on object detection as a non essential part. Nevertheless, there has not been any thorough analysis of skeleton based approaches attentively. Instead of describing these techniques in terms of theoretical constructs, we devote to summarizing skeleton based approaches with regard to application fields and given tasks as comprehensively as possible. This paper is conducive to further understanding of skeleton based application and dealing with particular issues.


Morphological Segmentation Inside Out. Morphological segmentation has traditionally been modeled with non hierarchical models, which yield flat segmentations as output. In many cases, however, proper morphological analysis requires hierarchical structure especially in the case of derivational morphology. In this work, we introduce a discriminative, joint model of morphological segmentation along with the orthographic changes that occur during word formation. To the best of our knowledge, this is the first attempt to approach discriminative segmentation with a context free model. Additionally, we release an annotated treebank of 7454 English words with constituency parses, encouraging future research in this area.


Neuro PC Causal Functional Connectivity from Neural Dynamics. Functional connectome extends the anatomical connectome by capturing the relations between neurons according to their activity and interactions. When these relations are causal, the functional connectome maps how neural activity flows within neural circuits and provides the possibility for inference of functional neural pathways, such as sensory motor behavioral pathways. While there exist various information approaches for non causal estimations of the functional connectome, approaches that characterize the causal functional connectivity the causal relationships between neuronal time series, are scarce. In this work, we develop the Neuro PC algorithm which is a novel methodology for inferring the causal functional connectivity between neurons from multi dimensional time series, such as neuronal recordings. The core of our methodology relies on a novel adaptation of the PC algorithm, a state of the art method for statistical causal inference, to the multi dimensional time series of neural dynamics. We validate the performance of the method on network motifs with various interactions between their neurons simulated using continuous time artificial network of neurons. We then consider the application of the method to obtain the causal functional connectome for recent multi array electrophysiological recordings from the mouse visual cortex in the presence of different stimuli. We show how features of the mapping can be used for quantification of the similarities between neural responses subject to different stimuli.


Adequate links in thickened surfaces and the generalized Tait conjectures. In this paper, we apply Kauffman bracket skein algebras to develop a theory of skein adequate links in thickened surfaces. We show that any alternating link diagram on a surface is skein adequate. We apply our theory to establish the first and second Tait conjectures for adequate links in thickened surfaces. Our notion of skein adequacy is broader and more powerful than the corresponding notions of adequacy previously considered for link diagrams in surfaces. For a link diagram D on a surface Sigma of minimal genus g( Sigma) , we show that rm span ( D Sigma) leq 4c(D) 4 D 4g( Sigma), where D Sigma is its skein bracket, D is the number of connected components of D , and c(D) is the number of crossings. This extends a classical result of Kauffman, Murasugi, and Thistlethwaite. We further show that the above inequality is an equality if and only if D is weakly alternating. This is a generalization of a well known result for classical links due to Thistlethwaite. Thus the skein bracket detects the crossing number for weakly alternating links. As an application, we show that the crossing number is additive under connected sum for adequate links in thickened surfaces.


Weighted Entropy Modification for Soft Actor Critic. We generalize the existing principle of the maximum Shannon entropy in reinforcement learning (RL) to weighted entropy by characterizing the state action pairs with some qualitative weights, which can be connected with prior knowledge, experience replay, and evolution process of the policy. We propose an algorithm motivated for self balancing exploration with the introduced weight function, which leads to state of the art performance on Mujoco tasks despite its simplicity in implementation.


Time varying vector norm and lower and upper bounds on the solutions of uniformly asymptotically stable linear systems. Based on the eigenvalue idea and the time varying weighted vector norm in state space we construct here the lower and upper bounds on the solutions of uniformly asymptotically stable linear systems. We generalize the known results for the linear time invariant systems to the linear time varying ones.


Numerical Investigation of Traffic State Reconstruction and Control Using Connected Automated Vehicles. In this paper we present a numerical study on control and observation of traffic flow using Lagrangian measurements and actuators. We investigate the effect of some basic control and observation schemes using probe and actuated vehicles within the flow. The aim is to show the effect of the state reconstruction on the efficiency of the control, compared to the case using full information about the traffic. The effectiveness of the proposed state reconstruction and control algorithms is demonstrated in simulations. They show that control using the reconstructed state approaches the full information control when the gap between the connected vehicles is not too large, reducing the delay by more than 60 when the gap between the sensor vehicles is 1.25 km on average, compared to a delay reduction of almost 80 in the full information control case. It shows that the reconstruction is well achieved if the distance between two connected and autonomous vehicles is not too large (more than 1 vehicle per kilometer). We also show that it is possible to further improve the control performance by employing a simple adaptive probe vehicle selection scheme. Moreover, we propose a simple scheme for selecting which vehicles to use as sensors, in order to reduce the communication burden. Numerical simulations demonstrate that It also demonstrates that it is possible to reduce the communication burden using a triggering mechanism with with this triggering mechanism, the delay is reduced by around 65 , compared to a reduction of 72 if all connected vehicles are communicating at all times.


More Embeddings, Better Sequence Labelers?. Recent work proposes a family of contextual embeddings that significantly improves the accuracy of sequence labelers over non contextual embeddings. However, there is no definite conclusion on whether we can build better sequence labelers by combining different kinds of embeddings in various settings. In this paper, we conduct extensive experiments on 3 tasks over 18 datasets and 8 languages to study the accuracy of sequence labeling with various embedding concatenations and make three observations (1) concatenating more embedding variants leads to better accuracy in rich resource and cross domain settings and some conditions of low resource settings (2) concatenating additional contextual sub word embeddings with contextual character embeddings hurts the accuracy in extremely low resource settings (3) based on the conclusion of (1), concatenating additional similar contextual embeddings cannot lead to further improvements. We hope these conclusions can help people build stronger sequence labelers in various settings.


Modeling Knowledge Acquisition from Multiple Learning Resource Types. Students acquire knowledge as they interact with a variety of learning materials, such as video lectures, problems, and discussions. Modeling student knowledge at each point during their learning period and understanding the contribution of each learning material to student knowledge are essential for detecting students' knowledge gaps and recommending learning materials to them. Current student knowledge modeling techniques mostly rely on one type of learning material, mainly problems, to model student knowledge growth. These approaches ignore the fact that students also learn from other types of material. In this paper, we propose a student knowledge model that can capture knowledge growth as a result of learning from a diverse set of learning resource types while unveiling the association between the learning materials of different types. Our multi view knowledge model (MVKM) incorporates a flexible knowledge increase objective on top of a multi view tensor factorization to capture occasional forgetting while representing student knowledge and learning material concepts in a lower dimensional latent space. We evaluate our model in different experiments toshow that it can accurately predict students' future performance, differentiate between knowledge gain in different student groups and concepts, and unveil hidden similarities across learning materials of different types.


Perpetual Integral Functionals of Multidimensional Stochastic Processes. The paper is devoted to the existence of integral functionals int 0 infty f(X(t)) , mathrm d t for several classes of processes in mathbb R with d ge 3 . Some examples such as Brownian motion, fractional Brownian motion, compound Poisson process, Markov processes admitting densities of transitional probabilities are considered.


solc verify A Modular Verifier for Solidity Smart Contracts. We present solc verify, a source level verification tool for Ethereum smart contracts. Solc verify takes smart contracts written in Solidity and discharges verification conditions using modular program analysis and SMT solvers. Built on top of the Solidity compiler, solc verify reasons at the level of the contract source code, as opposed to the more common approaches that operate at the level of Ethereum bytecode. This enables solc verify to effectively reason about high level contract properties while modeling low level language semantics precisely. The contract properties, such as contract invariants, loop invariants, and function pre and post conditions, can be provided as annotations in the code by the developer. This enables automated, yet user friendly formal verification for smart contracts. We demonstrate solc verify by examining real world examples where our tool can effectively find bugs and prove correctness of non trivial properties with minimal user effort.


Optimal Complexity and Certification of Bregman First Order Methods. We provide a lower bound showing that the O(1 k) convergence rate of the NoLips method (a.k.a. Bregman Gradient) is optimal for the class of functions satisfying the h smoothness assumption. This assumption, also known as relative smoothness, appeared in the recent developments around the Bregman Gradient method, where acceleration remained an open issue. On the way, we show how to constructively obtain the corresponding worst case functions by extending the computer assisted performance estimation framework of Drori and Teboulle (Mathematical Programming, 2014) to Bregman first order methods, and to handle the classes of differentiable and strictly convex functions.


The Impact of Isolation Kernel on Agglomerative Hierarchical Clustering Algorithms. Agglomerative hierarchical clustering (AHC) is one of the popular clustering approaches. Existing AHC methods, which are based on a distance measure, have one key issue it has difficulty in identifying adjacent clusters with varied densities, regardless of the cluster extraction methods applied on the resultant dendrogram. In this paper, we identify the root cause of this issue and show that the use of a data dependent kernel (instead of distance or existing kernel) provides an effective means to address it. We analyse the condition under which existing AHC methods fail to extract clusters effectively and the reason why the data dependent kernel is an effective remedy. This leads to a new approach to kernerlise existing hierarchical clustering algorithms such as existing traditional AHC algorithms, HDBSCAN, GDL and PHA. In each of these algorithms, our empirical evaluation shows that a recently introduced Isolation Kernel produces a higher quality or purer dendrogram than distance, Gaussian Kernel and adaptive Gaussian Kernel.


A variational approach to the Hermitian Einstein metrics and the Quot scheme limit of Fubini Study metrics. This is a sequel of our paper arXiv 1809.08425 on the Quot scheme limit and variational properties of Donaldson's functional, which established its coercivity for slope stable holomorphic vector bundles over smooth projective varieties. Assuming that the coercivity is uniform in a certain sense, we provide a new proof of the Donaldson Uhlenbeck Yau theorem, in such a way that the analysis involved in the proof is elementary except for the asymptotic expansion of the Bergman kernel.


Capturing the Practices, Challenges, and Needs of Transportation Decision Makers. Transportation decision makers from government agencies play an important role in addressing the traffic network conditions, which in turn, have a major impact on the well being of citizens. The practices, challenges, and needs of this group of practitioners are less represented in the HCI literature. We address this gap through an interview study with 19 practitioners from Transports Qu 'ebec, a government agency responsible for transportation infrastructures in Qu 'ebec, Canada. We found that this group of decision makers can most benefit from research about data analysis tools and platforms that (1) provide information to support data quality awareness, (2) are interoperable with other tools in the complex workflow of the practitioners, and (3) support intuitive and customizable visual analytics. These implications can also be informative to the design of tools supporting other decision making tasks and domains.


Bounds of Trilinear and Trinomial Exponential Sums. We prove, for a sufficiently small subset mathcal A of a prime residue field, an estimate on the number of solutions to the equation (a 1 a 2)(a 3 a 4) (a 5 a 6)(a 7 a 8) with all variables in mathcal A . We then derive new bounds on trilinear exponential sums and on the total number of residues equaling the product of two differences of elements of mathcal A . We also prove a refined estimate on the number of collinear triples in a Cartesian product of multiplicative subgroups and derive stronger bounds for trilinear sums with all variables in multiplicative subgroups.


GPS Fit Method for Paths of Non Drunken Sailors and its Connection to Entropy. Estimating the altimeters a cyclist has climbed from noisy GPS data is a challenging problem. In this article a method is proposed that assumes that a person locally takes the shortest path. This results in an algorithm that does not need smoothing parameters. Moreover, it turns out that this assumption allows one to find a similarity between entropy and likelihood which results to the introduction of an entropic force.


Towards characterizations of approximate Schauder frame and its duals for Banach spaces. We begin the study of characterizations of recently defined approximate Schauder frame (ASF) and its duals for separable Banach spaces. We show that, under some conditions, both ASF and its dual frames can be characterized for Banach spaces. We also give an operator theoretic characterization for similarity of ASFs. Our results encode the results of Holub, Li, Balan, Han, and Larson. We also address orthogonality of ASFs.


The growth and form of knowledge networks by kinesthetic curiosity. Throughout life, we might seek a calling, companions, skills, entertainment, truth, self knowledge, beauty, and edification. The practice of curiosity can be viewed as an extended and open ended search for valuable information with hidden identity and location in a complex space of interconnected information. Despite its importance, curiosity has been challenging to computationally model because the practice of curiosity often flourishes without specific goals, external reward, or immediate feedback. Here, we show how network science, statistical physics, and philosophy can be integrated into an approach that coheres with and expands the psychological taxonomies of specific diversive and perceptual epistemic curiosity. Using this interdisciplinary approach, we distill functional modes of curious information seeking as searching movements in information space. The kinesthetic model of curiosity offers a vibrant counterpart to the deliberative predictions of model based reinforcement learning. In doing so, this model unearths new computational opportunities for identifying what makes curiosity curious.


Non concentration and restriction bounds for Neumann eigenfunctions of piecewise C infty bounded planar domains. Let ( Omega,g) be a piecewise smooth, bounded convex domain in R 2 and consider L 2 normalized Neumann eigenfunctions phi lambda with eigenvalue lambda 2 and u lambda phi lambda partial Omega the associated Dirichlet data (ie. boundary restriction of phi lambda ). Our first main result (Theorem ref T non con ) is a small scale em non concentration estimate We prove that for em any x 0 in overline Omega , (including boundary corner points) and any delta in 0,1), phi h B(x 0, lambda delta ) cap Omega O( lambda delta 2 ). Our subsequent results involve applications of the nonconcentration estimate to upper bounds for L 2 restrictions of boundary eigenfunctions that are valid up to boundary corners. In particular, in Theorem ref dirichlet we prove that for any em flat boundary edge Gamma (possibly including corner points), the boundary restrictions u h phi h partial Omega satisfy the bounds u lambda L 2( Gamma) O epsilon ( lambda 1 4 epsilon ), for any epsilon 0. The exponent 1 4 is sharp and the result improves on the O( lambda 1 3 ) universal L 2 restriction bound for Neumann eigenfunctions due to Tataru cite Ta . The O( lambda 1 4 ) bound is also an extension to the boundary (including corner points) of well known interior L 2 restriction bounds of Burq Gerard Tzvetkov cite BGT along totally geodesic hypersurfaces.


Matricial Proofs of Some Classical Results about Critical Point Location. The Gauss Lucas and B o cher Grace Marden theorems are classical results in the geometry of polynomials. Proofs of the these results are available in the literature, but the approaches are seemingly different. In this work, we show that these theorems can be proven in a unified theoretical framework utilizing matrix analysis (in particular, using the field of values and the differentiator of a matrix). In addition, we provide a useful variant of a well known result due to Siebeck.


Efficient global register allocation. In a compiler, an essential component is the register allocator. Two main algorithms have dominated implementations, graph coloring and linear scan, differing in how live values are modeled. Graph coloring uses an edge in an interference graph' to show that two values cannot reside in the same register. Linear scan numbers all values, creates intervals between definition and uses, and then intervals that do not overlap may be allocated to the same register. For both algorithms the liveness models are computed at considerable runtime and memory cost. Furthermore, these algorithms do little to improve code quality, where the target architecture and register coalescing are important concerns. We describe a new register allocation algorithm with lightweight implementation characteristics. The algorithm introduces a future active' set for values that will reside in a register later in the allocation. Registers are allocated and freed in the manner of linear scan, although other ordering heuristics could improve code quality or lower runtime cost. An advantageous property of the approach is an ability to make these trade offs. A key result is the future active' set can remove any liveness model for over 90 of instructions and 80 of methods. The major contribution is the allocation algorithm that, for example, solves an inability of the similarly motivated Treescan register allocator to look ahead of the instruction being allocated allowing an unconstrained allocation order, and an ability to better handle fixed registers and loop carried values. The approach also is not reliant on properties of SSA form, similar to the original linear scan work. An analysis is presented in a production compiler for Java code compiled through SSA form to Android dex files.


Weighted estimates of the Bergman projection with matrix weights. We establish a weighted inequality for the Bergman projection with matrix weights for a class of pseudoconvex domains. We extend a result of Aleman Constantin and obtain the following estimate for the weighted norm of P P L 2( Omega,W) leq C( mathcal B 2(W)) 2 . Here mathcal B 2(W) is the Bekoll 'e Bonami constant for the matrix weight W and C is a constant that is independent of the weight W but depends upon the dimension and the domain.


Double Wing Mixture of Experts for Streaming Recommendations. Streaming Recommender Systems (SRSs) commonly train recommendation models on newly received data only to address user preference drift, i.e., the changing user preferences towards items. However, this practice overlooks the long term user preferences embedded in historical data. More importantly, the common heterogeneity in data stream greatly reduces the accuracy of streaming recommendations. The reason is that different preferences (or characteristics) of different types of users (or items) cannot be well learned by a unified model. To address these two issues, we propose a Variational and Reservoir enhanced Sampling based Double Wing Mixture of Experts framework, called VRS DWMoE, to improve the accuracy of streaming recommendations. In VRS DWMoE, we first devise variational and reservoir enhanced sampling to wisely complement new data with historical data, and thus address the user preference drift issue while capturing long term user preferences. After that, we propose a Double Wing Mixture of Experts (DWMoE) model to first effectively learn heterogeneous user preferences and item characteristics, and then make recommendations based on them. Specifically, DWMoE contains two Mixture of Experts (MoE, an effective ensemble learning model) to learn user preferences and item characteristics, respectively. Moreover, the multiple experts in each MoE learn the preferences (or characteristics) of different types of users (or items) where each expert specializes in one underlying type. Extensive experiments demonstrate that VRS DWMoE consistently outperforms the state of the art SRSs.


Improved Lower Bounds for Truthful Scheduling. The problem of scheduling unrelated machines by a truthful mechanism to minimize the makespan was introduced in the seminal "Algorithmic Mechanism Design" paper by Nisan and Ronen. Nisan and Ronen showed that there is a truthful mechanism that provides an approximation ratio of min(m,n) , where n is the number of machines and m is the number of jobs. They also proved that no truthful mechanism can provide an approximation ratio better than 2 . Since then, the lower bound was improved to 1 sqrt 2 approx 2.41 by Christodoulou, Kotsoupias, and Vidali, and then to 1 phi approx 2.618 by Kotsoupias and Vidali. Very recently, the lower bound was improved to 2.755 by Giannakopoulos, Hammerl, and Pocas. In this paper we further improve the bound to 3 delta , for every constant delta 0 . Note that a gap between the upper bound and the lower bounds exists even when the number of machines and jobs is very small. In particular, the known 1 sqrt 2 lower bound requires at least 3 machines and 5 jobs. In contrast, we show a lower bound of 2.2055 that uses only 3 machines and 3 jobs and a lower bound of 1 sqrt 2 that uses only 3 machines and 4 jobs. For the case of two machines and two jobs we show a lower bound of 2 . Similar bounds for two machines and two jobs were known before but only via complex proofs that characterized all truthful mechanisms that provide a finite approximation ratio in this setting, whereas our new proof uses a simple and direct approach.


Synergy via Redundancy Adaptive Replication Strategies and Fundamental Limits. The maximum possible throughput (or the rate of job completion) of a multi server system is typically the sum of the service rates of individual servers. Recent work shows that launching multiple replicas of a job and canceling them as soon as one copy finishes can boost the throughput, especially when the service time distribution has high variability. This means that redundancy can, in fact, create synergy among servers such that their overall throughput is greater than the sum of individual servers. This work seeks to find the fundamental limit of the throughput boost achieved by job replication and the optimal replication policy to achieve it. While most previous works consider upfront replication policies, we expand the set of possible policies to delayed launch of replicas. The search for the optimal adaptive replication policy can be formulated as a Markov Decision Process, using which we propose two myopic replication policies, MaxRate and AdaRep, to adaptively replicate jobs. In order to quantify the optimality gap of these and other policies, we derive upper bounds on the service capacity, which provide fundamental limits on the throughput of queueing systems with redundancy.


Real time Accelerator Diagnostic Tools for the MAX IV Storage Rings. In this paper, beam diagnostic and monitoring tools developed by the MAX IV Operations Group are discussed. In particular, new beam position monitoring and accelerator tunes visualization software tools, as well as tools that directly influence the beam quality and stability are introduced. An availability and downtime monitoring application is also presented.


Improved Zero shot Neural Machine Translation via Ignoring Spurious Correlations. Zero shot translation, translating between language pairs on which a Neural Machine Translation (NMT) system has never been trained, is an emergent property when training the system in multilingual settings. However, naive training for zero shot NMT easily fails, and is sensitive to hyper parameter setting. The performance typically lags far behind the more conventional pivot based approach which translates twice using a third language as a pivot. In this work, we address the degeneracy problem due to capturing spurious correlations by quantitatively analyzing the mutual information between language IDs of the source and decoded sentences. Inspired by this analysis, we propose to use two simple but effective approaches (1) decoder pre training (2) back translation. These methods show significant improvement (4 22 BLEU points) over the vanilla zero shot translation on three challenging multilingual datasets, and achieve similar or better results than the pivot based approach.


Smooth Hilbert schemes their classification and geometry. Closed subschemes in projective space with a fixed Hilbert polynomial are parametrized by a Hilbert scheme. We classify the smooth ones. We identify numerical conditions on a polynomial that completely determine when the Hilbert scheme is smooth. We also reinterpret these smooth Hilbert schemes as generalized partial flag varieties and describe the subschemes being parametrized.


Dash Scalable Hashing on Persistent Memory. Byte addressable persistent memory (PM) brings hash tables the potential of low latency, cheap persistence and instant recovery. The recent advent of Intel Optane DC Persistent Memory Modules (DCPMM) further accelerates this trend. Many new hash table designs have been proposed, but most of them were based on emulation and perform sub optimally on real PM. They were also piece wise and partial solutions that side step many important properties, in particular good scalability, high load factor and instant recovery. We present Dash, a holistic approach to building dynamic and scalable hash tables on real PM hardware with all the aforementioned properties. Based on Dash, we adapted two popular dynamic hashing schemes (extendible hashing and linear hashing). On a 24 core machine with Intel Optane DCPMM, we show that compared to state of the art, Dash enabled hash tables can achieve up to 3.9X higher performance with up to over 90 load factor and an instant recovery time of 57ms regardless of data size.


Twisting finite dimensional modules for the q Onsager algebra mathcal O q via the Lusztig automorphism. The q Onsager algebra mathcal O q is defined by two generators A , A and two relations, called the q Dolan Grady relations. Recently P. Baseilhac and S. Kolb found an automorphism L of mathcal O q , that fixes A and sends A to a linear combination of A , A 2A , AA A , A A 2 . Let V denote an irreducible mathcal O q module of finite dimension at least two, on which each of A , A is diagonalizable. It is known that A , A act on V as a tridiagonal pair of q Racah type, giving access to four familiar elements K , B , K downarrow , B downarrow in rm End (V) that are used to compare the eigenspace decompositions for A , A on V . We display an invertible H in rm End (V) such that L(X) H 1 X H on V for all X in mathcal O q . We describe what happens when one of K , B , K downarrow , B downarrow is conjugated by H . For example H 1 KH a 1 A a 2 K 1 where a is a certain scalar that is used to describe the eigenvalues of A on V . We use the conjugation results to compare the eigenspace decompositions for A , A , L pm 1 (A ) on V . In this comparison we use the notion of an equitable triple this is a 3 tuple of elements in rm End (V) such that any two satisfy a q Weyl relation. Our comparison involves eight equitable triples. One of them is a A a 2 K , M 1 , K where M (a K a 1 B)(a a 1 ) 1 . The map M appears in earlier work of S. Bockting Conrad concerning the double lowering operator psi of a tridiagonal pair.


Intersections of ell p spaces in the Borel hierarchy. We show that if Y is one of the spaces ell q , c 0 , ell infty or textstyle bigcap p b ell p where 0 q,b infty , and the Fr ' e chet space textstyle bigcap p a ell p is contained in Y properly, then textstyle bigcap p a ell p first shows up in the Borel hierarchy of Y at the multiplicative class of the third level. In particular textstyle bigcap p a ell p is neither an F sigma nor a G delta subset of Y . This answers a question by Nestoridis. This result provides a natural example of a set in the third level of the Borel hierarchy and with its help we also give some examples in the fourth level.


Dispersion of Mobile Robots in the Global Communication Model. The dispersion problem on graphs asks k leq n robots placed initially arbitrarily on the nodes of an n node anonymous graph to reposition autonomously to reach a configuration in which each robot is on a distinct node of the graph. This problem is of significant interest due to its relationship to other fundamental robot coordination problems, such as exploration, scattering, load balancing etc. In this paper, we consider dispersion in the em global communication model where a robot can communicate with any other robot in the graph (but the graph is unknown to robots). We provide three novel deterministic algorithms, two for arbitrary graphs and one for arbitrary trees, in a synchronous setting where all robots perform their actions in every time step. For arbitrary graphs, our first algorithm is based on a DFS traversal and guarantees O( min(m,k Delta)) steps runtime using Theta( log ( max(k, Delta))) bits at each robot, where m is the number of edges and Delta is the maximum degree of the graph. The second algorithm for arbitrary graphs is based on a BFS traversal and guarantees O( max(D,k) Delta (D Delta)) steps runtime using O( max(D, Delta log k)) bits at each robot, where D is the diameter of the graph. The algorithm for arbitrary trees is also based on a BFS travesal and guarantees O(D max(D,k)) steps runtime using O( max(D, Delta log k)) bits at each robot. Our results are significant improvements compared to the existing results established in the em local communication model where a robot can communication only with other robots present at the same node. Particularly, the DFS based algorithm is optimal for both memory and time in constant degree arbitrary graphs. The BFS based algorithm for arbitrary trees is optimal with respect to runtime when k leq O(D) .


Online Change Point Detection in Molecular Dynamics With Optical Random Features. Proteins are made of atoms constantly fluctuating, but can occasionally undergo large scale changes. Such transitions are of biological interest, linking the structure of a protein to its function with a cell. Atomic level simulations, such as Molecular Dynamics (MD), are used to study these events. However, molecular dynamics simulations produce time series with multiple observables, while changes often only affect a few of them. Therefore, detecting conformational changes has proven to be challenging for most change point detection algorithms. In this work, we focus on the identification of such events given many noisy observables. In particular, we show that the No prior Knowledge Exponential Weighted Moving Average (NEWMA) algorithm can be used along optical hardware to successfully identify these changes in real time. Our method does not need to distinguish between the background of a protein and the protein itself. For larger simulations, it is faster than using traditional silicon hardware and has a lower memory footprint. This technique may enhance the sampling of the conformational space of molecules. It may also be used to detect change points in other sequential data with a large number of features.


Temporarily Unavailable Memory Inhibition in Cognitive and Computer Science. Inhibition is one of the core concepts in Cognitive Psychology. The idea of inhibitory mechanisms actively weakening representations in the human mind has inspired a great number of studies in various research domains. In contrast, Computer Science only recently has begun to consider inhibition as a second basic processing quality beside activation. Here, we review psychological research on inhibition in memory and link the gained insights with the current efforts in Computer Science of incorporating inhibitory principles for optimizing information retrieval in Personal Information Management. Four common aspects guide this review in both domains 1. The purpose of inhibition to increase processing efficiency. 2. Its relation to activation. 3. Its links to contexts. 4. Its temporariness. In summary, the concept of inhibition has been used by Computer Science for enhancing software in various ways already. Yet, we also identify areas for promising future developments of inhibitory mechanisms, particularly context inhibition.


Interleavings and Matchings as Representations. In order to better understand and to compare interleavings between persistence modules, we elaborate on the algebraic structure of interleavings in general settings. In particular, we provide a representation theoretic framework for interleavings, showing that the category of interleavings under a fixed translation is isomorphic to the representation category of what we call a shoelace. Using our framework, we show that any two interleavings of the same pair of persistence modules are themselves interleaved. Furthermore, in the special case of persistence modules over mathbb Z , we show that matchings between barcodes correspond to the interval decomposable interleavings.


Specifying a Cryptographical Protocol in Lustre and SCADE. We present SCADE and Lustre models of the Message Authenticator Algorithm (MAA), which is one of the first cryptographic functions for computing a message authentication code. The MAA was adopted between 1987 and 2001, in international standards (ISO 8730 and ISO 8731 2), to ensure the authenticity and integrity of banking transactions. This paper discusses the choices and the challenges of our MAA implementations. Our SCADE and Lustre models validate 201 official test vectors for the MAA.


lambda quiddit 'e sur mathbb Z alpha avec alpha transcendant. As part of the study of Coxeter's friezes, M. Cuntz introduced the notion of irreducible lambda quiddity cycle. The objective of this note is to list all the irreducible lambda quiddity cycles on the ring mathbb Z alpha with alpha a transcendent complex number. Dans le cadre de l' 'etude des frises de Coxeter, M.Cuntz a introduit la notion de lambda quiddit 'e irr 'eductible. L'objectif de cette note est de lister toutes les lambda quiddit 'es irr 'eductibles sur l'anneau mathbb Z alpha dans le cas o u alpha est un nombre complexe transcendant.


Identifying Automatically Generated Headlines using Transformers. False information spread via the internet and social media influences public opinion and user activity, while generative models enable fake content to be generated faster and more cheaply than had previously been possible. In the not so distant future, identifying fake content generated by deep learning models will play a key role in protecting users from misinformation. To this end, a dataset containing human and computer generated headlines was created and a user study indicated that humans were only able to identify the fake headlines in 47.8 of the cases. However, the most accurate automatic approach, transformers, achieved an overall accuracy of 85.7 , indicating that content generated from language models can be filtered out accurately.


Clustered Multitask Nonnegative Matrix Factorization for Spectral Unmixing of Hyperspectral Data. In this paper, the new algorithm based on clustered multitask network is proposed to solve spectral unmixing problem in hyperspectral imagery. In the proposed algorithm, the clustered network is employed. Each pixel in the hyperspectral image considered as a node in this network. The nodes in the network are clustered using the fuzzy c means clustering method. Diffusion least mean square strategy has been used to optimize the proposed cost function. To evaluate the proposed method, experiments are conducted on synthetic and real datasets. Simulation results based on spectral angle distance, abundance angle distance and reconstruction error metrics illustrate the advantage of the proposed algorithm compared with other methods.


On the Kodaira dimension of the moduli space of hyperelliptic curves with marked points. It is known that the moduli space overline mathcal H g,n of genus g stable hyperelliptic curves with n marked points is uniruled for n geq 4g 5 . In this paper we consider the complementary case and show that overline mathcal H g,n has non negative Kodaira dimension for n 4g 6 and is of general type for n geq 4g 7 . Important parts of our proof are the calculation of the canonical divisor and establishing that the singularities of overline mathcal H g,n do not establish adjunction conditions.


Dispersive and non dispersive nonlinear long wave transformations Numerical and experimental results. The description of gravity waves propagating on the water surface is considered from a historical point of view, with specific emphasis on the development of a theoretical framework and equations of motion for long waves in shallow water. This provides the foundation for a subsequent discussion about tsunami wave propagation and run up on a sloping beach, and in particular the role of wave dispersion for this problem. Wave tank experiments show that wave dispersion can play a significant role for the propagation and wave transformation of wave signals that include some higher frequency components. However, the maximum run up height is less sensitive to dispersive effects, suggesting that run up height can be adequately calculated by use of non dispersive model equations.


Complex and Quaternionic Cauchy formulas in Koch snowflakes. In this paper we derive a Cauchy integral formula for holomorphic and hyperholomorphic functions in domains bounded by a Koch snowflake in two and three dimensional setting.


The Cauchy Szeg H o Projection and its commutator for domains in mathbb C n with minimal smoothness Optimal bounds. Let D subset mathbb C n be a bounded, strongly pseudoconvex domain whose boundary bD satisfies the minimal regularity condition of class C 2 . A 2017 result of Lanzani and Stein states that the Cauchy Szeg H o projection mathcal S maps L p(bD, omega) to L p(bD, omega) continuously for any 1 p infty whenever the reference measure omega is a bounded, positive continuous multiple of induced Lebesgue measure. Here we show that mathcal S omega (defined with respect to any measure omega as above) satisfies explicit, optimal bounds in L p(bD, Omega p) , for any 1 p infty and for any Omega p in the maximal class of A p measures, that is Omega p psi p sigma where psi p is a Muckenhoupt A p weight and sigma is the induced Lebesgue measure. As an application, we characterize boundedness in L p(bD, Omega p) with explicit bounds , and compactness, of the commutator b, mathcal S omega for any A p measure Omega p , 1 p infty . We next introduce the notion of holomorphic Hardy spaces for A p measures, and we characterize boundedness and compactness in L 2(bD, Omega 2) of the commutator displaystyle b, mathcal S Omega 2 where mathcal S Omega 2 is the Cauchy Szeg H o projection defined with respect to any given A 2 measure Omega 2 . Earlier results rely upon an asymptotic expansion and subsequent pointwise estimates of the Cauchy Szeg H o kernel, but these are unavailable in our setting of minimal regularity of bD at the same time, recent techniques in Lanzani Stein 2017 that allow to handle domains with minimal regularity are not applicable to A p measures. It turns out that the method of quantitative extrapolation is an appropriate replacement for the missing tools.


Nonparametric Continuous Sensor Registration. This paper develops a new mathematical framework that enables nonparametric joint semantic and geometric representation of continuous functions using data. The joint embedding is modeled by representing the processes in a reproducing kernel Hilbert space. The functions can be defined on arbitrary smooth manifolds where the action of a Lie group aligns them. The continuous functions allow the registration to be independent of a specific signal resolution. The framework is fully analytical with a closed form derivation of the Riemannian gradient and Hessian. We study a more specialized but widely used case where the Lie group acts on functions isometrically. We solve the problem by maximizing the inner product between two functions defined over data, while the continuous action of the rigid body motion Lie group is captured through the integration of the flow in the corresponding Lie algebra. Low dimensional cases are derived with numerical examples to show the generality of the proposed framework. The high dimensional derivation for the special Euclidean group acting on the Euclidean space showcases the point cloud registration and bird's eye view map registration abilities. An implementation of this framework for RGB D cameras outperforms the state of the art robust visual odometry and performs well in texture and structure scarce environments.


DAG Net Double Attentive Graph Neural Network for Trajectory Forecasting. Understanding human motion behaviour is a critical task for several possible applications like self driving cars or social robots, and in general for all those settings where an autonomous agent has to navigate inside a human centric environment. This is non trivial because human motion is inherently multi modal given a history of human motion paths, there are many plausible ways by which people could move in the future. Additionally, people activities are often driven by goals, e.g. reaching particular locations or interacting with the environment. We address the aforementioned aspects by proposing a new recurrent generative model that considers both single agents' future goals and interactions between different agents. The model exploits a double attention based graph neural network to collect information about the mutual influences among different agents and to integrate it with data about agents' possible future objectives. Our proposal is general enough to be applied to different scenarios the model achieves state of the art results in both urban environments and also in sports applications.


Pain and Physical Activity Association in Critically Ill Patients. Critical care patients experience varying levels of pain during their stay in the intensive care unit, often requiring administration of analgesics and sedation. Such medications generally exacerbate the already sedentary physical activity profiles of critical care patients, contributing to delayed recovery. Thus, it is important not only to minimize pain levels, but also to optimize analgesic strategies in order to maximize mobility and activity of ICU patients. Currently, we lack an understanding of the relation between pain and physical activity on a granular level. In this study, we examined the relationship between nurse assessed pain scores and physical activity as measured using a wearable accelerometer device. We found that average, standard deviation, and maximum physical activity counts are significantly higher before high pain reports compared to before low pain reports during both daytime and nighttime, while percentage of time spent immobile was not significantly different between the two pain report groups. Clusters detected among patients using extracted physical activity features were significant in adjusted logistic regression analysis for prediction of pain report group.


Windowed Backoff Algorithms for WiFi Theory and Performance under Batched Arrivals. Binary exponential backoff (BEB) is a decades old algorithm for coordinating access to a shared channel. In modern networks, BEB plays an important role in WiFi (IEEE 802.11) and other wireless communication standards. Despite this track record, well known theoretical results indicate that under bursty traffic BEB yields poor makespan, and superior algorithms are possible. To date, the degree to which these findings impact performance in wireless networks has not been examined. To address this issue, we investigate one of the strongest cases against BEB a single burst batch of packets that simultaneously contend for access to a wireless channel. Using Network Simulator 3, we incorporate into IEEE 802.11g several newer algorithms that, while inspired by BEB, possess makespan guarantees that are theoretically superior. Surprisingly, we discover that these newer algorithms underperform BEB. Investigating further, we identify as the culprit a common abstraction regarding the cost of collisions. Our experimental results are complemented by analytical arguments that the number of collisions and not solely makespan is an important metric to optimize. We argue that these findings have implications for the design of backoff algorithms in wireless networks.


An Exploration of Target Conditioned Segmentation Methods for Visual Object Trackers. Visual object tracking is the problem of predicting a target object's state in a video. Generally, bounding boxes have been used to represent states, and a surge of effort has been spent by the community to produce efficient causal algorithms capable of locating targets with such representations. As the field is moving towards binary segmentation masks to define objects more precisely, in this paper we propose to extensively explore target conditioned segmentation methods available in the computer vision community, in order to transform any bounding box tracker into a segmentation tracker. Our analysis shows that such methods allow trackers to compete with recently proposed segmentation trackers, while performing quasi real time.


Curves of maximal moduli on K3 surfaces. We prove that if X is a complex projective K3 surface and g 0 , then there exist infinitely many families of curves of geometric genus g on X with maximal, i.e., g dimensional, variation in moduli. In particular every K3 surface contains a curve of geometric genus 1 which moves in a non isotrivial family. This implies a conjecture of Huybrechts on constant cycle curves and gives an algebro geometric proof of a theorem of Kobayashi that a K3 surface has no global symmetric differential forms.


Global dynamics of a competition diffusion system and application to a modified Leslie Gower model. We investigate the global dynamics of a special case of the classical Lotka Volterra competition diffusion system in spatially heterogeneous environment. This model indicates that the evolution of the density of the predator is independent of the density of the prey. Based on the principal spectral theory and the dynamics of the classical single species logistic model, we obtain the global dynamics of this competition diffusion system. As an application, under some suitable conditions we use the obtained results to prove the global stability of steady states and the persistence of the two species in a modified Leslie Gower model with diffusion in heterogeneous environment.


Linearly Convergent Gradient Free Methods for Minimization of Parabolic Approximation. Finding the global minimum of non convex functions is one of the main and most difficult problems in modern optimization. In the first part of the paper, we consider a certain class of "good" non convex functions that can be bounded above and below by a parabolic function. We show that using only the zeroth order oracle, one can obtain the linear speed log left( frac 1 varepsilon right) of finding the global minimum on a cube. The second part of the paper looks at the nonconvex problem in a slightly different way. We assume that minimizing the quadratic function, but at the same time we have access to a zeroth order oracle with noise and this noise is proportional to the distance to the solution. Dealing with such noise assumptions for gradient free methods is new in the literature. We show that here it is also possible to achieve the linear rate of convergence.


Compressed Basis GMRES on High Performance GPUs. Krylov methods provide a fast and highly parallel numerical tool for the iterative solution of many large scale sparse linear systems. To a large extent, the performance of practical realizations of these methods is constrained by the communication bandwidth in all current computer architectures, motivating the recent investigation of sophisticated techniques to avoid, reduce, and or hide the message passing costs (in distributed platforms) and the memory accesses (in all architectures). This paper introduces a new communication reduction strategy for the (Krylov) GMRES solver that advocates for decoupling the storage format (i.e., the data representation in memory) of the orthogonal basis from the arithmetic precision that is employed during the operations with that basis. Given that the execution time of the GMRES solver is largely determined by the memory access, the datatype transforms can be mostly hidden, resulting in the acceleration of the iterative step via a lower volume of bits being retrieved from memory. Together with the special properties of the orthonormal basis (whose elements are all bounded by 1), this paves the road toward the aggressive customization of the storage format, which includes some floating point as well as fixed point formats with little impact on the convergence of the iterative process. We develop a high performance implementation of the "compressed basis GMRES" solver in the Ginkgo sparse linear algebra library and using a large set of test problems from the SuiteSparse matrix collection we demonstrate robustness and performance advantages on a modern NVIDIA V100 GPU of up to 50 over the standard GMRES solver that stores all data in IEEE double precision.


The multi port berth allocation problem with speed optimization Exact methods and a cooperative game analysis. We consider a variant of the berth allocation problem i.e., the multi port berth allocation problem aimed at assigning berthing times and positions to vessels in container terminals. This variant involves optimizing vessel travel speeds between multiple ports, thereby exploiting the potentials of a collaboration between carriers (shipping lines) and terminal operators. Using a graph representation of the problem, we reformulate an existing mixed integer problem into a generalized set partitioning problem, in which each variable refers to a sequence of feasible berths in the ports that the vessel visits. By integrating column generation and cut separation in a branch and cut and price procedure, our proposed method is able to outperform commercial solvers in a set of benchmark instances and adapt better to larger instances. In addition, we apply cooperative game theory methods to efficiently distribute the savings resulting from a potential collaboration and show that both carriers and terminal operators would benefit from collaborating.


How to construct all metric f K contact manifolds. We show that any compact metric f K contact, respectively S manifold is obtained from a compact K contact, respectively Sasakian manifold by an iteration of constructions of mapping tori, rotations, and type II deformations.


Transparent Metasurfaces Counteracting Fogging by Harnessing Sunlight. Surface fogging is a common phenomenon that can have significant and detrimental effects on surface transparency and visibility. It affects the performance in a wide range of applications including windows, windshields, electronic displays, cameras, mirrors, and eyewear. A host of ongoing research is aimed at combating this problem by understanding and developing stable and effective anti fogging coatings that are capable of handling a wide range of environmental challenges "passively" without consumption of electrical energy. Here we introduce an alternative approach employing sunlight to go beyond state of the art techniques such as superhydrophilic and superhydrophobic coatings by rationally engineering solar absorbing metasurfaces that maintain transparency, while upon illumination, induce localized heating to significantly delay the onset of surface fogging or decrease defogging time. For the same environmental conditions, we demonstrate that our metasurfaces are able to reduce defogging time by up to four fold and under supersaturated conditions inhibit the nucleation of condensate outperforming conventional state of the art approaches in terms of visibility retention. Our research illustrates a durable and environmentally sustainable approach to passive anti fogging and defogging for transparent surfaces. This work opens up the opportunity for large scale manufacturing that can be applied to a range of materials, including polymers and other flexible substrates.


Dwork crystals I. We present an elementary elaboration of Dwork's idea of explicit p adic limit formulas for zeta functions of toric hypersurfaces.


Operator factorization of range space relations. Given two range space relations A and B in Hilbert spaces, we characterize the existence of a range space operator T such that A BT, respectively A TB.


Achieving Max Min Throughput in LoRa Networks. With growing popularity, LoRa networks are pivotally enabling Long Range connectivity to low cost and power constrained user equipments (UEs). Due to its wide coverage area, a critical issue is to effectively allocate wireless resources to support potentially massive UEs in the cell while resolving the prominent near far fairness problem for cell edge UEs, which is challenging to address due to the lack of tractable analytical model for the LoRa network and its practical requirement for low complexity and low overhead design. To achieve massive connectivity with fairness, we investigate the problem of maximizing the minimum throughput of all UEs in the LoRa network, by jointly designing high level policies of spreading factor (SF) allocation, power control, and duty cycle adjustment based only on average channel statistics and spatial UE distribution. By leveraging on the Poisson rain model along with tailored modifications to our considered LoRa network, we are able to account for channel fading, aggregate interference and accurate packet overlapping, and still obtain a tractable and yet accurate closed form formula for the packet success probability and hence throughput. We further propose an iterative balancing (IB) method to allocate the SFs in the cell such that the overall max min throughput can be achieved within the considered time period and cell area. Numerical results show that the proposed scheme with optimized design greatly alleviates the near far fairness issue, and significantly improves the cell edge throughput.


Capturing Global Informativeness in Open Domain Keyphrase Extraction. Open domain KeyPhrase Extraction (KPE) aims to extract keyphrases from documents without domain or quality restrictions, e.g., web pages with variant domains and qualities. Recently, neural methods have shown promising results in many KPE tasks due to their powerful capacity for modeling contextual semantics of the given documents. However, we empirically show that most neural KPE methods prefer to extract keyphrases with good phraseness, such as short and entity style n grams, instead of globally informative keyphrases from open domain documents. This paper presents JointKPE, an open domain KPE architecture built on pre trained language models, which can capture both local phraseness and global informativeness when extracting keyphrases. JointKPE learns to rank keyphrases by estimating their informativeness in the entire document and is jointly trained on the keyphrase chunking task to guarantee the phraseness of keyphrase candidates. Experiments on two large KPE datasets with diverse domains, OpenKP and KP20k, demonstrate the effectiveness of JointKPE on different pre trained variants in open domain scenarios. Further analyses reveal the significant advantages of JointKPE in predicting long and non entity keyphrases, which are challenging for previous neural KPE methods. Our code is publicly available at https github.com thunlp BERT KPE.


Implementing Inductive bias for different navigation tasks through diverse RNN attractors. Navigation is crucial for animal behavior and is assumed to require an internal representation of the external environment, termed a cognitive map. The precise form of this representation is often considered to be a metric representation of space. An internal representation, however, is judged by its contribution to performance on a given task, and may thus vary between different types of navigation tasks. Here we train a recurrent neural network that controls an agent performing several navigation tasks in a simple environment. To focus on internal representations, we split learning into a task agnostic pre training stage that modifies internal connectivity and a task specific Q learning stage that controls the network's output. We show that pre training shapes the attractor landscape of the networks, leading to either a continuous attractor, discrete attractors or a disordered state. These structures induce bias onto the Q Learning phase, leading to a performance pattern across the tasks corresponding to metric and topological regularities. By combining two types of networks in a modular structure, we could get better performance for both regularities. Our results show that, in recurrent networks, inductive bias takes the form of attractor landscapes which can be shaped by pre training and analyzed using dynamical systems methods. Furthermore, we demonstrate that non metric representations are useful for navigation tasks, and their combination with metric representation leads to flexibile multiple task learning.


Hierarchical Multi Task Natural Language Understanding for Cross domain Conversational AI HERMIT NLU. We present a new neural architecture for wide coverage Natural Language Understanding in Spoken Dialogue Systems. We develop a hierarchical multi task architecture, which delivers a multi layer representation of sentence meaning (i.e., Dialogue Acts and Frame like structures). The architecture is a hierarchy of self attention mechanisms and BiLSTM encoders followed by CRF tagging layers. We describe a variety of experiments, showing that our approach obtains promising results on a dataset annotated with Dialogue Acts and Frame Semantics. Moreover, we demonstrate its applicability to a different, publicly available NLU dataset annotated with domain specific intents and corresponding semantic roles, providing overall performance higher than state of the art tools such as RASA, Dialogflow, LUIS, and Watson. For example, we show an average 4.45 improvement in entity tagging F score over Rasa, Dialogflow and LUIS.


A classification of the abelian minimal closed normal subgroups of locally compact second countable groups. We classify the locally compact second countable (l.c.s.c.) groups A that are abelian and topologically characteristically simple. All such groups A occur as the monolith of some soluble l.c.s.c. group G of derived length at most 3 with known exceptions (specifically, when A is mathbb Q n or its dual for some n in mathbb N ), we can take G to be compactly generated. This amounts to a classification of the possible isomorphism types of abelian chief factors of l.c.s.c. groups, which is of particular interest for the theory of compactly generated locally compact groups.


The Intersection of 3 Maximal Submonids. Very little is known about the structure of the intersection of two k generated monoids of words, even for k 3 . Here we investigate the case of k maximal monoids, that is, monoids whose basis of cardinality k cannot be non trivially decomposed into at most k words. We characterize the intersection in the case of two 3 maximal monoids.


On geometry of some pseudo semisimple groups. Based on the work of Conrad Gabber Prasad, the paper deals with the geometry of particular pseudo semisimple groups, namely those which can be written as quotient of Weil restriction of semisimple groups. We establish that these groups are retract rational when their are split, and give results on their Picard groups.


Survey on Evaluation Methods for Dialogue Systems. In this paper we survey the methods and concepts developed for the evaluation of dialogue systems. Evaluation is a crucial part during the development process. Often, dialogue systems are evaluated by means of human evaluations and questionnaires. However, this tends to be very cost and time intensive. Thus, much work has been put into finding methods, which allow to reduce the involvement of human labour. In this survey, we present the main concepts and methods. For this, we differentiate between the various classes of dialogue systems (task oriented dialogue systems, conversational dialogue systems, and question answering dialogue systems). We cover each class by introducing the main technologies developed for the dialogue systems and then by presenting the evaluation methods regarding this class.


A notion of rank for noncommutative quadratic forms on four generators. In this paper, we extend previous work, where a notion of rank, called mu rank, was proposed for noncommutative quadratic forms on two and three generators. In particular, we provide a definition of mu rank one and two for noncommutative quadratic forms on four generators.


Low Complexity Optimization of the Asymptotic Spectral Efficiency in Massive MIMO NOMA. Massive multiple input multiple output (MIMO) technology facilitates huge increases in the capacity of wireless channels, while non orthogonal multiple access (NOMA) addresses the problem of limited resources in traditional orthogonal multiple access (OMA) techniques, promising enhanced spectral efficiency. This work uses asymptotic capacity computation results to reduce the complexity of a power allocation algorithm for small scale MIMO NOMA, so that it may be applied for systems with massive MIMO arrays. The proposed method maximizes the sum capacity of the considered system, subject to power and performance constraints, and demonstrates greater accuracy than alternative approaches despite remaining low complexity for arbitrarily large antenna arrays.


Criteria for univalence and quasiconformal extension for harmonic mappings on planar domains. If Omega is a simply connected domain in overline mathbb C then, according to the Ahlfors Gehring theorem, Omega is a quasidisk if and only if there exists a sufficient condition for the univalence of holomorphic functions in Omega in relation to the growth of their Schwarzian derivative. We extend this theorem to harmonic mappings by proving a univalence criterion on quasidisks. We also show that the mappings satisfying this criterion admit a homeomorphic extension to overline mathbb C and, under the additional assumption of quasiconformality in Omega , they admit a quasiconformal extension to overline mathbb C . The Ahlfors Gehring theorem has been extended to finitely connected domains Omega by Osgood, Beardon and Gehring, who showed that a Schwarzian criterion for univalence holds in Omega if and only if the components of partial Omega are either points or quasicircles. We generalize this theorem to harmonic mappings.


A note about hardening free viscoelastic models in Maxwellian type rheologies at large strains. Maxwellian type rheological models of inelastic effects of creep type at large strains are revisited in relation to inelastic strain gradient theories. In particular, we observe that a dependence of the stored energy density on inelastic strain gradients may lead to spurious hardening effects, preventing the model from accommodating large inelastic slips. The main result of this paper is an alternative inelastic model of creep type, where higher order energy contribution is provided by the gradients of the elastic strain and of the plastic strain rate, thus preventing the onset of spurious hardening under large slips. The combination of Kelvin Voigt damping and Maxwellian creep results in a Jeffreys type rheological model. Existence of weak solutions is proved via a Faedo Galerkin approximation.


Building Confidence in Scientific Computing Software Via Assurance Cases. Assurance cases provide an organized and explicit argument for correctness. They can dramatically improve the certification of Scientific Computing Software (SCS). Assurance cases have already been effectively used for safety cases for real time systems. Their advantages for SCS include engaging domain experts, producing only necessary documentation, and providing evidence that can be verified replicated. This paper illustrates assurance cases for SCS through the correctness case for 3dfim , an existing Medical Imaging Application (MIA) for analyzing activity in the brain. This example was partly chosen because of recent concerns about the validity of fMRI (Functional Magnetic Resonance Imaging) studies. The example justifies the value of assurance cases for SCS, since the existing documentation is shown to have ambiguities and omissions, such as an incompletely defined ranking function and missing details on the coordinate system. A serious concern for 3dfim is identified running the software does not produce any warning about the necessity of using data that matches the parametric statistical model employed for the correlation calculations. Raising the bar for SCS in general, and MIA in particular, is both feasible and necessary when software impacts safety, an assurance case methodology (or an equivalently rigorous confidence building methodology) should be employed.


The Elekes Szab ' o Problem and the Uniformity Conjecture. In this paper we give a conditional improvement to the Elekes Szab ' o problem over the rationals, assuming the Uniformity Conjecture. Our main result states that for F in mathbb Q x,y,z belonging to a particular family of polynomials, and any finite sets A, B, C subset mathbb Q with A B C n , we have Z(F) cap (A times B times C) ll n 2 frac 1 s . The value of the integer s is dependent on the polynomial F , but is always bounded by s leq 5 , and so even in the worst applicable case this gives a quantitative improvement on a bound of Raz, Sharir and de Zeeuw (arXiv 1504.05012). We give several applications to problems in discrete geometry and arithmetic combinatorics. For instance, for any set P subset mathbb Q 2 and any two points p 1,p 2 in mathbb Q 2 , we prove that at least one of the p i satisfies the bound p i p p in P gg P 3 5 , where cdot denotes Euclidean distance. This gives a conditional improvement to a result of Sharir and Solymosi (arXiv 1308.0814).


Minimizing the Bag of Ngrams Difference for Non Autoregressive Neural Machine Translation. Non Autoregressive Neural Machine Translation (NAT) achieves significant decoding speedup through generating target words independently and simultaneously. However, in the context of non autoregressive translation, the word level cross entropy loss cannot model the target side sequential dependency properly, leading to its weak correlation with the translation quality. As a result, NAT tends to generate influent translations with over translation and under translation errors. In this paper, we propose to train NAT to minimize the Bag of Ngrams (BoN) difference between the model output and the reference sentence. The bag of ngrams training objective is differentiable and can be efficiently calculated, which encourages NAT to capture the target side sequential dependency and correlates well with the translation quality. We validate our approach on three translation tasks and show that our approach largely outperforms the NAT baseline by about 5.0 BLEU scores on WMT14 En leftrightarrow De and about 2.5 BLEU scores on WMT16 En leftrightarrow Ro.


Anosov representations, strongly convex cocompact groups and weak eigenvalue gaps. We provide characterizations of Anosov representations of word hyperbolic groups into real semisimple Lie groups in terms of equivariant limit maps, the Cartan property and the uniform gap summation property of cite GGKW . As an application we obtain a characterization of strongly convex cocompact subgroups of the projective linear group mathsf PGL (d, mathbb R ) . We also compute the H "older exponent of the Anosov limit maps of an Anosov representation in terms of the Cartan and Lyapunov projection of the image.


Controlling the Minimal Feature Sizes in Adjoint Optimization of Nanophotonic Devices Using B spline Surfaces. Adjoint optimization is an effective method in the inverse design of nanophotonic devices. In order to ensure the manufacturability, one would like to have control over the minimal feature sizes. Here we propose utilizing a level set method based on b spline surfaces in order to control the feature sizes. This approach is first used to design a wavelength demultiplexer. It is also used to implement a nanophotonic structure for artificial neural computing. In both cases, we show that the minimal feature sizes can be easily parameterized and controlled.


Non repudiable provenance for clinical decision support systems. Provenance templates are now a recognised methodology for the construction of data provenance records. Each template defines the provenance of a domain specific action in abstract form, which may then be instantiated as required by a single call to the provenance template service. As data reliability and trustworthiness becomes a critical issue in an increasing number of domains, there is a corresponding need to ensure that the provenance of that data is non repudiable. In this paper we contribute two new, complementary modules to our template model and implementation to produce non repudiable data provenance. The first, a module that traces the operation of the provenance template service itself, and records a provenance trace of the construction of an object level document, at the level of individual service calls. The second, a non repudiation module that generates evidence for the data recorded about each call, annotates the service trace accordingly, and submits a representation of that evidence to a provider agnostic notary service. We evaluate the applicability of our approach in the context of a clinical decision support system. We first define a policy to ensure the non repudiation of evidence with respect to a security threat analysis in order to demonstrate the suitability of our solution. We then select three use cases from within a particular system, Consult, with contrasting data provenance recording requirements and analyse the subsequent performance of our prototype implementation against three different notary providers.


Optimization of laser stabilization via self injection locking to WGM microresonator. Self injection locking is a dynamic phenomenon representing stabilization of the emission frequency of an oscillator with a passive cavity enabling frequency filtered coherent feedback to the oscillator cavity. For instance, self injection locking of a semiconductor laser to a high quality factor (high Q) whispering gallery mode (WGM) microresonator can result in multiple orders of magnitude reduction of the laser linewidth. The phenomenon was broadly studied in experiments, but its detailed theoretical model allowing improving the stabilization performance does not exist. In this paper we develop such a theory. We introduce five parameters identifying efficiency of the self injection locking in an experiment, comprising back scattering efficiency, phase delay between the laser and the high Q cavities, frequency detuning between the laser and the high Q cavities, the pump coupling efficiency, the optical path length between the laser and the microresonator. Our calculations show that the laser linewidth can be improved by two orders of magnitude compared with the case of not optimal self injection locking. We present recommendations on the experimental realization of the optimal self injection locking regime. The theoretical model provides deeper understanding of the self injection locking and benefits multiple practical applications of self injection locked oscillators.


Running Neural Networks on the NIC. In this paper we show that the data plane of commodity programmable (Network Interface Cards) NICs can run neural network inference tasks required by packet monitoring applications, with low overhead. This is particularly important as the data transfer costs to the host system and dedicated machine learning accelerators, e.g., GPUs, can be more expensive than the processing task itself. We design and implement our system N3IC on two different NICs and we show that it can greatly benefit three different network monitoring use cases that require machine learning inference as first class primitive. N3IC can perform inference for millions of network flows per second, while forwarding traffic at 40Gb s. Compared to an equivalent solution implemented on a general purpose CPU, N3IC can provide 100x lower processing latency, with 1.5x increase in throughput.


Optimal Load Allocation for Coded Distributed Computation in Heterogeneous Clusters. Recently, coding has been a useful technique to mitigate the effect of stragglers in distributed computing. However, coding in this context has been mainly explored under the assumption of homogeneous workers, although the real world computing clusters can be often composed of heterogeneous workers that have different computing capabilities. The uniform load allocation without the awareness of heterogeneity possibly causes a significant loss in latency. In this paper, we suggest the optimal load allocation for coded distributed computing with heterogeneous workers. Specifically, we focus on the scenario that there exist workers having the same computing capability, which can be regarded as a group for analysis. We rely on the lower bound on the expected latency and obtain the optimal load allocation by showing that our proposed load allocation achieves the minimum of the lower bound for a sufficiently large number of workers. From numerical simulations, when assuming the group heterogeneity, our load allocation reduces the expected latency by orders of magnitude over the existing load allocation scheme.


Stability analysis for a new model of multispecies convection diffusion reaction in poroelastic tissue. We perform the linear stability analysis for a new model for poromechanical processes with inertia (formulated in mixed form using the solid deformation, fluid pressure, and total pressure) interacting with diffusing and reacting solutes convected in the medium. We find parameter regions that lead to spatio temporal instabilities of the coupled system. The mutual dependences between deformation and diffusive patterns are of substantial relevance in the study of morphoelastic changes in biomaterials. We provide a set of computational examples in 2D and 3D (related to brain mechanobiology) that can be used to form a better understanding on how, and up to which extent, the deformations of the porous structure dictate the generation and suppression of spatial patterning dynamics, also related to the onset of mechano chemical waves.


Personalized Attraction Enhanced Sponsored Search with Multi task Learning. We study a novel problem of sponsored search (SS) for E Commerce platforms how we can attract query users to click product advertisements (ads) by presenting them features of products that attract them. This not only benefits merchants and the platform, but also improves user experience. The problem is challenging due to the following reasons (1) We need to carefully manipulate the ad content without affecting user search experience. (2) It is difficult to obtain users' explicit feedback of their preference in product features. (3) Nowadays, a great portion of the search traffic in E Commerce platforms is from their mobile apps (e.g., nearly 90 in Taobao). The situation would get worse in the mobile setting due to limited space. We are focused on the mobile setting and propose to manipulate ad titles by adding a few selling point keywords (SPs) to attract query users. We model it as a personalized attractive SP prediction problem and carry out both large scale offline evaluation and online A B tests in Taobao. The contributions include (1) We explore various exhibition schemes of SPs. (2) We propose a surrogate of user explicit feedback for SP preference. (3) We also explore multi task learning and various additional features to boost the performance. A variant of our best model has already been deployed in Taobao, leading to a 2 increase in revenue per thousand impressions and an opt out rate of merchants less than 4 .


On Hodge Riemann relations for translation invariant valuations. The Alesker product turns the space of smooth translation invariant valuations on convex bodies into a commutative associative unital algebra, satisfying Poincar 'e duality and the hard Lefschetz theorem. In this article, a version of the Hodge Riemann relations for the Alesker algebra is conjectured, and the conjecture is proved in two particular situations for even valuations, and for 1 homogeneous valuations. The latter result is then used to deduce a special case of the Aleksandrov Fenchel inequality. Finally, mixed versions of the hard Lefschetz theorem and of the Hodge Riemann relations are conjectured, and it is shown that the Aleksandrov Fenchel inequality follows from the latter in its full generality.


Training Flexible Depth Model by Multi Task Learning for Neural Machine Translation. The standard neural machine translation model can only decode with the same depth configuration as training. Restricted by this feature, we have to deploy models of various sizes to maintain the same translation latency, because the hardware conditions on different terminal devices (e.g., mobile phones) may vary greatly. Such individual training leads to increased model maintenance costs and slower model iterations, especially for the industry. In this work, we propose to use multi task learning to train a flexible depth model that can adapt to different depth configurations during inference. Experimental results show that our approach can simultaneously support decoding in 24 depth configurations and is superior to the individual training and another flexible depth model training method LayerDrop.


Predicting Playa Inundation Using a Long Short Term Memory Neural Network. In the Great Plains, playas are critical wetland habitats for migratory birds and a source of recharge for the agriculturally important High Plains aquifer. The temporary wetlands exhibit complex hydrology, filling rapidly via local rain storms and then drying through evaporation and groundwater infiltration. Using a long short term memory (LSTM) neural network to account for these complex processes, we modeled playa inundation for 71,842 playas in the Great Plains from 1984 2018. At the level of individual playas, the model achieved an F1 score of 0.538 on a withheld test set, displaying the ability to predict complex inundation patterns. When averaging over all the playas in the entire region, the model is able to very closely track inundation trends, even during periods of drought. Our results demonstrate potential for using LSTMs to model complex hydrological dynamics. Our modeling approach could be used to model playa inundation into the future under different climate scenarios to better understand how wetland habitats and groundwater will be impacted by changing climate.