Representation ring of Levi subgroups versus cohomology ring of flag varieties II. For any reductive group G and a parabolic subgroup P with its Levi subgroup L, the first author in Ku2 introduced a ring homomorphism xi P lambda Rep mathbb C lambda poly (L) to H (G P, mathbb C ) , where Rep mathbb C lambda poly (L) is a certain subring of the complexified representation ring of L (depending upon the choice of an irreducible representation V( lambda) of G with highest weight lambda ). In this paper we study this homomorphism for G Sp(2n) and its maximal parabolic subgroups P n k for any 1 leq k leq n (with the choice of V( lambda) to be the defining representation V( omega 1) in mathbb C 2n ). Thus, we obtain a mathbb C algebra homomorphism xi n,k Rep mathbb C omega 1 poly (Sp(2k)) to H (IG(n k, 2n), mathbb C ) . Our main result asserts that xi n,k is injective when n tends to infty keeping k fixed. Similar results are obtained for the odd orthogonal groups.


Backward Stackelberg Differential Game with Constraints a Mixed Terminal Perturbation and Linear Quadratic Approach. We discuss an open loop backward Stackelberg differential game involving single leader and single follower. Unlike most Stackelberg game literature, the state to be controlled is characterized by a backward stochastic differential equation (BSDE) for which the terminal instead initial condition is specified as a priori the decisions of leader consist of a static terminal perturbation and a dynamic linear quadratic control. In addition, the terminal control is subject to (convex closed) pointwise and (affine) expectation constraints. Both constraints are arising from real applications such as mathematical finance. For information pattern the leader announces both terminal and open loop dynamic decisions at the initial time while takes account the best response of follower. Then, two interrelated optimization problems are sequentially solved by the follower (a backward linear quadratic (BLQ) problem) and the leader (a mixed terminal perturbation and backward forward LQ (BFLQ) problem). Our open loop Stackelberg equilibrium is represented by some coupled backward forward stochastic differential equations (BFSDEs) with mixed initial terminal conditions. Our BFSDEs also involve nonlinear projection operator (due to pointwise constraint) combining with a Karush Kuhn Tucker (KKT) system (due to expectation constraint) via Lagrange multiplier. The global solvability of such BFSDEs is also discussed in some nontrivial cases. Our results are applied to one financial example.


PseudoSeg Designing Pseudo Labels for Semantic Segmentation. Recent advances in semi supervised learning (SSL) demonstrate that a combination of consistency regularization and pseudo labeling can effectively improve image classification accuracy in the low data regime. Compared to classification, semantic segmentation tasks require much more intensive labeling costs. Thus, these tasks greatly benefit from data efficient training methods. However, structured outputs in segmentation render particular difficulties (e.g., designing pseudo labeling and augmentation) to apply existing SSL strategies. To address this problem, we present a simple and novel re design of pseudo labeling to generate well calibrated structured pseudo labels for training with unlabeled or weakly labeled data. Our proposed pseudo labeling strategy is network structure agnostic to apply in a one stage consistency training framework. We demonstrate the effectiveness of the proposed pseudo labeling strategy in both low data and high data regimes. Extensive experiments have validated that pseudo labels generated from wisely fusing diverse sources and strong data augmentation are crucial to consistency training for segmentation. The source code is available at https github.com googleinterns wss.


Sequence Positivity Through Numeric Analytic Continuation Uniqueness of the Canham Model for Biomembranes. We prove solution uniqueness for the genus one Canham variational problem arising in the shape prediction of biomembranes. The proof builds on a result of Yu and Chen that reduces the variational problem to proving non negativity of a sequence defined by a linear recurrence relation with polynomial coefficients. We combine rigorous numeric analytic continuation of D finite functions with classic bounds from singularity analysis to derive an effective index where the asymptotic behaviour of the sequence, which is positive, dominates the sequence behaviour. Positivity of the finite number of remaining terms is then checked computationally.


Regions In a Linked Dataset For Change Detection. Linked Datasets (LDs) are constantly evolving and the applications using a Linked Dataset (LD) may face several issues such as outdated data or broken interlinks due to evolution of the dataset. To overcome these issues, the detection of changes in LDs during their evolution has proven crucial. As LDs evolve frequently, the change detection during the evolution should also be done at frequent intervals. However, due to limitation of available computational resources such as capacity to fetch data from LD and time to detect changes, the frequent change detection may not be possible with existing change detection techniques. This research proposes to explore the notion of prioritization of regions (subsets) in LDs for change detection with the aim of achieving optimal accuracy and efficient use of available computational resources. This will facilitate the detection of changes in an evolving LD at frequent intervals and will allow the applications to update their data closest to real time data.


Recipes for hedging exotics with illiquid vanillas. In this paper, we address the question of the optimal Delta and Vega hedging of a book of exotic options when there are execution costs associated with the trading of vanilla options. In a framework where exotic options are priced using a market model (e.g. a local volatility model recalibrated continuously to vanilla option prices) and vanilla options prices are driven by a stochastic volatility model, we show that, using simple approximations, the optimal dynamic Delta and Vega hedging strategies can be computed easily using variational techniques.


A Banach space mixed formulation for the unsteady Brinkman Forchheimer equations. We propose and analyze a mixed formulation for the Brinkman Forchheimer equations for unsteady flows. Our approach is based on the introduction of a pseudostress tensor related to the velocity gradient, leading to a mixed formulation where the pseudostress tensor and the velocity are the main unknowns of the system. We establish existence and uniqueness of a solution to the weak formulation in a Banach space setting, employing classical results on nonlinear monotone operators and a regularization technique. We then present well posedness and error analysis for semidiscrete continuous in time and fully discrete finite element approximations on simplicial grids with spatial discretization based on the Raviart Thomas spaces of degree k for the pseudostress tensor and discontinuous piecewise polynomial elements of degree k for the velocity and backward Euler time discretization. We provide several numerical results to confirm the theoretical rates of convergence and illustrate the performance and flexibility of the method for a range of model parameters.


On Function Description. The main result is that function descriptions are not made equal, and they can be categorised in at least two categories using various computational methods for function evaluation. The result affects Kolmogorov complexity and Random Oracle Model notions. More precisely, the idea that the size of an object and the size of the smallest computer program defining that object is a ratio that represents the object complexity needs additional definitions to hold its original assertions.


Finite element modelling of in stent restenosis. From the perspective of coronary heart disease, the development of stents has come significantly far in reducing the associated mortality rate, drug eluting stents being the epitome of innovative and effective solutions. Within this work, the intricate process of in stent restenosis is modelled considering one of the significant growth factors and its effect on constituents of the arterial wall. A multiphysical modelling approach is adopted in this regard. Experimental investigations from the literature have been used to hypothesize the governing equations and the corresponding parameters. A staggered solution strategy is utilised to capture the transport phenomena as well as the growth and remodeling that follows stent implantation. The model herein developed serves as a tool to predict in stent restenosis depending on the endothelial injury sustained and the protuberance of stents into the lumen of the arteries. Keywords in stent restenosis, smooth mucsle cells, platelet derived growth factor, extracellular matrix, growth


Chemical Grafting of Graphene Oxide Quantum Dots for Enhanced Electrochemical Analysis of Aromatics. Because of high surface area and combination of various functional groups, graphene oxide (GO) is currently one of the most actively studying materials for electroanalytical applications. Self supported GO is not practical enough to be utilized individually and thus is commonly integrated with different supporting carriers. Having large lateral size GO can only wrap the particles of the support and thus, can significantly reduce the surface area of porous materials. To reach synergy form high surface area and polyfunctional nature of GO, and a rigid structure of porous support, the lateral size of GO must be essentially decreased. Recently reported graphene oxide quantum dots (GOQDs) can fulfill this task. We report successful preparation of mesoporous silica supported GOQDs exhibiting strong luminescent band with the maximum at 404 nm. From N2 adsorption isotherms, it was demonstrated that the surface area of the resulted hybrid material was augmented. Raman spectrum of SiO2 GOQDs shows two distinct peaks at 1585 cm 1(G peak) and 1372 cm 1 (D peak) indicating presence ordered basal plane of graphene with aromatic sp2 domains, and disordered oxygen containing structure. Covalent immobilization of GOQDs on aminosilica via such oxygen containing fragments was proved by FTIR, MAS 13C MNR, and XPS spectroscopy. SiO2 GOQDs was used as a modifier of carbon paste electrode for differential pulse voltammetry determination of four environmental sulfamethoxazole, trimethoprim, diethylstilbestrol (DES), and estriol (EST). The modified electrodes demonstrated an essential decrease in LOD for EST (220 ) and DES (760 ), which was explained by significant pi pi stacking interaction between GOQDs and aromatic system of the analytes.


Tight paths in convex geometric hypergraphs. In this paper, we prove a theorem on tight paths in convex geometric hypergraphs, which is asymptotically sharp in infinitely many cases. Our geometric theorem is a common generalization of early results of Hopf and Pannwitz 12 , Sutherland 19 , Kupitz and Perles 16 for convex geometric graphs, as well as the classical Erd H o s Gallai Theorem 6 for graphs. As a consequence, we obtain the first substantial improvement on the Tur 'an problem for tight paths in uniform hypergraphs.


Classical limit of quantum Borcherds Bozec algebras. Let mathfrak g be a Borcherds Bozec algebra, U( mathfrak g ) be its universal enveloping algebra and U q ( mathfrak g ) be the corresponding quantum Borcherds Bozec algebra. We show that the classical limit of U q ( mathfrak g ) is isomorphic to U( mathfrak g ) as Hopf algebras. Thus U q ( mathfrak g ) can be regarded as a quantum deformation of U( mathfrak g ) . We also give explicit formulas for the commutation relations among the generators of U q ( mathfrak g ) .


Towards Open Domain Event Trigger Identification using Adversarial Domain Adaptation. We tackle the task of building supervised event trigger identification models which can generalize better across domains. Our work leverages the adversarial domain adaptation (ADA) framework to introduce domain invariance. ADA uses adversarial training to construct representations that are predictive for trigger identification, but not predictive of the example's domain. It requires no labeled data from the target domain, making it completely unsupervised. Experiments with two domains (English literature and news) show that ADA leads to an average F1 score improvement of 3.9 on out of domain data. Our best performing model (BERT A) reaches 44 49 F1 across both domains, using no labeled target data. Preliminary experiments reveal that finetuning on 1 labeled data, followed by self training leads to substantial improvement, reaching 51.5 and 67.2 F1 on literature and news respectively.


Cautious Bayesian Optimization for Efficient and Scalable Policy Search. Sample efficiency is one of the key factors when applying policy search to real world problems. In recent years, Bayesian Optimization (BO) has become prominent in the field of robotics due to its sample efficiency and little prior knowledge needed. However, one drawback of BO is its poor performance on high dimensional search spaces as it focuses on global search. In the policy search setting, local optimization is typically sufficient as initial policies are often available, e.g., via meta learning, kinesthetic demonstrations or sim to real approaches. In this paper, we propose to constrain the policy search space to a sublevel set of the Bayesian surrogate model's predictive uncertainty. This simple yet effective way of constraining the policy update enables BO to scale to high dimensional spaces ( 100) as well as reduces the risk of damaging the system. We demonstrate the effectiveness of our approach on a wide range of problems, including a motor skills task, adapting deep RL agents to new reward signals and a sim to real task for an inverted pendulum system.


On the K "ahler cone of irreducible symplectic orbifolds. We generalize the Hodge version of the global Torelli theorem in the framework of irreducible symplectic orbifolds. We also propose a generalization of several results related to the K "ahler cone and the notion of wall divisors introduced in the smooth case by Mongardi. As an application we propose a definition of the mirror symmetry for irreducible symplectic orbifolds.


1st AfricaNLP Workshop Proceedings, 2020. Proceedings of the 1st AfricaNLP Workshop held on 26th April alongside ICLR 2020, Virtual Conference, Formerly Addis Ababa Ethiopia.


Uniqueness of dissipative solutions to the complete Euler system. Dissipative solutions have recently been studied as a generalized concept for weak solutions of the complete Euler system. Apparently, these are expectations of suitable measure valued solutions. Motivated from Feireisl, Ghoshal and Jana, Commun. Partial Differ. Equ., 2019 , we impose a one sided Lipschitz bound on velocity component as uniqueness criteria for a weak solution in Besov space B alpha, infty p with alpha 1 2 . We prove that the Besov solution satisfying the above mentioned condition is unique in the class of dissipative solutions. In the later part of this article, we prove that the one sided Lipschitz condition gives uniqueness among weak solutions with the Besov regularity, B alpha, infty 3 for alpha 1 3 . Our proof relies on commutator estimates for Besov functions and the relative entropy method.


Multilingual and Multi Aspect Hate Speech Analysis. Current research on hate speech analysis is typically oriented towards monolingual and single classification tasks. In this paper, we present a new multilingual multi aspect hate speech analysis dataset and use it to test the current state of the art multilingual multitask learning approaches. We evaluate our dataset in various classification settings, then we discuss how to leverage our annotations in order to improve hate speech detection and classification in general.


Private Wireless Federated Learning with Anonymous Over the Air Computation. In conventional federated learning (FL), differential privacy (DP) guarantees can be obtained by injecting additional noise to local model updates before transmitting to the parameter server (PS). In the wireless FL scenario, we show that the privacy of the system can be boosted by exploiting over the air computation (OAC) and anonymizing the transmitting devices. In OAC, devices transmit their model updates simultaneously and in an uncoded fashion, resulting in a much more efficient use of the available spectrum. We further exploit OAC to provide anonymity for the transmitting devices. The proposed approach improves the performance of private wireless FL by reducing the amount of noise that must be injected.


On Generalizing Detection Models for Unconstrained Environments. Object detection has seen tremendous progress in recent years. However, current algorithms don't generalize well when tested on diverse data distributions. We address the problem of incremental learning in object detection on the India Driving Dataset (IDD). Our approach involves using multiple domain specific classifiers and effective transfer learning techniques focussed on avoiding catastrophic forgetting. We evaluate our approach on the IDD and BDD100K dataset. Results show the effectiveness of our domain adaptive approach in the case of domain shifts in environments.


Minimal conditions for BMO. We study minimal integrability conditions via Luxemburg type expressions with respect to generalized oscillations that imply the membership of a given function f to the space BMO. Our method is simple, sharp and flexible enough to be adapted to several different settings, like spaces of homogeneous type, non doubling measures on mathbb R n and also BMO spaces defined over more general bases than the basis of cubes.


Eliminating the Barriers Demystifying Wi Fi Baseband Design and Introducing the PicoScenes Wi Fi Sensing Platform. The research on Wi Fi sensing has been thriving over the past decade but the process has not been smooth. Three barriers always hamper the research unknown baseband design and its influence, inadequate hardware, and the lack of versatile and flexible measurement software. This paper tries to eliminate these barriers through the following work. First, we present an in depth study of the baseband design of the Qualcomm Atheros AR9300 (QCA9300) NIC. We identify a missing item of the existing CSI model, namely, the CSI distortion, and identify the baseband filter as its origin. We also propose a distortion removal method. Second, we reintroduce both the QCA9300 and software defined radio (SDR) as powerful hardware for research. For the QCA9300, we unlock the arbitrary tuning of both the carrier frequency and bandwidth. For SDR, we develop a high?performance software implementation of the 802.11a g n ac ax baseband, allowing users to fully control the baseband and access the complete physical layer information. Third, we release the PicoScenes software, which supports concurrent CSI measure?ment from multiple QCA9300, Intel Wireless Link (IWL5300) and SDR hardware. PicoScenes features rich low level controls, packet injection and software baseband implementation. It also allows users to develop their own measurement plugins. Finally, we report state of the art results in the extensive evaluations of the PicoScenes system, such as the 2 GHz available spectrum on the QCA9300, concurrent CSI measurement, and up to 40 kHz and 1 kHz CSI measurement rates achieved by the QCA9300 and SDR. PicoScenes is available at https ps.zpj.io.


Adaptive staggered DG method for Darcy flows in fractured porous media. Modeling flows in fractured porous media is important in applications. One main challenge in numerical simulation is that the flow is strongly influenced by the fractures, so that the solutions typically contain complex features, which require high computational grid resolutions. Instead of using uniformly fine mesh, a more computationally efficient adaptively refined mesh is desirable. In this paper we design and analyze a novel residual type a posteriori error estimator for staggered DG methods on general polygonal meshes for Darcy flows in fractured porous media. The method can handle fairly general meshes and hanging nodes can be simply incorporated into the construction of the method, which is highly appreciated for adaptive mesh refinement. The reliability and efficiency of the error estmator are proved. The derivation of the reliability hinges on the stability of the continuous setting in the primal formulation. A conforming counterpart that is continuous within each bulk domain for the discrete bulk pressure is defined to facilitate the derivation of the reliability. Finally, several numerical experiments including multiple non intersecting fractures are carried out to confirm the proposed theories.


CRYLOGGER Detecting Crypto Misuses Dynamically. Cryptographic (crypto) algorithms are the essential ingredients of all secure systems crypto hash functions and encryption algorithms, for example, can guarantee properties such as integrity and confidentiality. Developers, however, can misuse the application programming interfaces (API) of such algorithms by using constant keys and weak passwords. This paper presents CRYLOGGER, the first open source tool to detect crypto misuses dynamically. CRYLOGGER logs the parameters that are passed to the crypto APIs during the execution and checks their legitimacy offline by using a list of crypto rules. We compare CRYLOGGER with CryptoGuard, one of the most effective static tools to detect crypto misuses. We show that our tool complements the results of CryptoGuard, making the case for combining static and dynamic approaches. We analyze 1780 popular Android apps downloaded from the Google Play Store to show that CRYLOGGER can detect crypto misuses on thousands of apps dynamically and automatically. We reverse engineer 28 Android apps and confirm the issues flagged by CRYLOGGER. We also disclose the most critical vulnerabilities to app developers and collect their feedback.


Vector valued Fourier hyperfunctions and boundary values. This work is dedicated to the development of the theory of Fourier hyperfunctions in one variable with values in a complex non necessarily metrisable locally convex Hausdorff space E . Moreover, necessary and sufficient conditions are described such that a reasonable theory of E valued Fourier hyperfunctions exists. In particular, if E is an ultrabornological PLS space, such a theory is possible if and only if E satisfies the so called property (PA) . Furthermore, many examples of such spaces having (PA) resp. not having (PA) are provided. We also prove that the vector valued Fourier hyperfunctions can be realized as the sheaf generated by equivalence classes of certain compactly supported E valued functionals and interpreted as boundary values of slowly increasing holomorphic functions.


A Versatile Software Systolic Execution Model for GPU Memory Bound Kernels. This paper proposes a versatile high performance execution model, inspired by systolic arrays, for memory bound regular kernels running on CUDA enabled GPUs. We formulate a systolic model that shifts partial sums by CUDA warp primitives for the computation. We also employ register files as a cache resource in order to operate the entire model efficiently. We demonstrate the effectiveness and versatility of the proposed model for a wide variety of stencil kernels that appear commonly in HPC, and also convolution kernels (increasingly important in deep learning workloads). Our algorithm outperforms the top reported state of the art stencil implementations, including implementations with sophisticated temporal and spatial blocking techniques, on the two latest Nvidia architectures Tesla V100 and P100. For 2D convolution of general filter sizes and shapes, our algorithm is on average 2.5x faster than Nvidia's NPP on V100 and P100 GPUs.


MAST Multimodal Abstractive Summarization with Trimodal Hierarchical Attention. This paper presents MAST, a new model for Multimodal Abstractive Text Summarization that utilizes information from all three modalities text, audio and video in a multimodal video. Prior work on multimodal abstractive text summarization only utilized information from the text and video modalities. We examine the usefulness and challenges of deriving information from the audio modality and present a sequence to sequence trimodal hierarchical attention based model that overcomes these challenges by letting the model pay more attention to the text modality. MAST outperforms the current state of the art model (video text) by 2.51 points in terms of Content F1 score and 1.00 points in terms of Rouge L score on the How2 dataset for multimodal language understanding.


Geometric concepts for stellarator permanent magnet arrays. The development of stellarators that use permanent magnet arrays to shape their confining magnetic fields has been a topic of recent interest, but the requirements for how such magnets must be shaped, manufactured, and assembled remain to be determined. To address these open questions, we have performed a study of geometric concepts for magnet arrays with the aid of the newly developed MAGPIE code. A proposed experiment similar to the National Compact Stellarator Experiment (NCSX) is used as a test case. Two classes of magnet geometry are explored curved bricks that conform to a regular grid in cylindrical coordinates, and hexahedra that conform to the toroidal plasma geometry. In addition, we test constraints on the magnet polarization. While magnet configurations constrained to be polarized normally to a toroidal surface around the plasma are unable to meet the required magnetic field parameters when subject to physical limitations on the strength of present day magnets, configurations with unconstrained polarizations are shown to satisfy the physics requirements for a targeted plasma.


A Lower Bound for Polynomial Calculus with Extension Rule. In this paper we study an extension of the Polynomial Calculus proof system where we can introduce new variables and take a square root. We prove that an instance of the subset sum principle, the binary value principle, requires refutations of exponential bit size over rationals in this system. Part and Tzameret proved an exponential lower bound on the size of Res Lin (Resolution over linear equations) refutations of the binary value principle. We show that our system p simulates Res Lin and thus we get an alternative exponential lower bound for the size of Res Lin refutations of the binary value principle.


Ideal right angled polyhedra in Lobachevsky space. In this paper we consider a class of right angled polyhedra in three dimensional Lobachevsky space, all vertices of which lie on the absolute. New upper bounds on volumes in terms the number of faces of the polyhedron are obtained. Volumes of polyhedra with at most 23 faces are computed. It is shown that the minimum volumes are realized on antiprisms and twisted antiprisms. The first 248 values of volumes of ideal right angled polyhedra are presented. Moreover, the class of polyhedra with isolated triangles is introduces and there are obtained combinatorial bounds on their existence as well as minimal examples of such polyhedra are given.


A bibliometric methodology to unveil territorial inequities in the scientific wealth to combat COVID 19. In this paper we develop a methodology to assess the scientific wealth of territories at field level. Our methodology uses a bibliometric approach based on the observation of academic research performance and overall scientific production in each territory. We apply it to assess disparities in the Italian territories in the medical specialties at the front line of the COVID 19 emergency. Italy has been the first among western countries to be severely affected by the onset of the COVID 19 pandemic. The study reveals remarkable inequities across territories, with scientific weaknesses concentrated in the south. Policies for rebalancing the north south divide should also consider, in addition to tangible assets, the gap in production and availability of quality medical knowledge.


Non equilibrium Steady State Conductivity in Cyclo 18 carbon and Its Boron Nitride Analogue. A ring shaped carbon allotrope was recently synthesized for the first time, reinvigorating theoretical interest in this class of molecules. The dual pi structure of these molecules allows for the possibility of novel electronic properties. In this work we use reduced density matrix theory to study the electronic structure and conductivity of cyclo 18 carbon and its boron nitride analogue, B textsubscript 9 N textsubscript 9 . The variational 2RDM method replicates the experimental polyynic geometry of cyclo 18 carbon. We use a current constrained 1 electron reduced density matrix (1 RDM) theory with Hartree Fock molecular orbitals and energies to compute the molecular conductance in two cases (1) conductance in the plane of the molecule and (2) conductance around the molecular ring as potentially driven by a magnetic field through the molecule's center. In plane conductance is greater than conductance around the ring, but cyclo 18 carbon is slightly more conductive than B textsubscript 9 N textsubscript 9 for both in the plane and in the ring conduction. The computed conductance per molecular orbital provides insight into how the orbitals their energies and densities drive the conduction.


Buchi automata augmented with spatial constraints simulating an alternating with a nondeterministic and deciding the emptiness problem for the latter. The aim of this work is to thoroughly investigate Buchi automata augmented with spatial constraints. The input trees of such an automaton are infinite k ary Sigma trees, with the nodes standing for time points, and Sigma including, additionally to its uses in classical k ary Sigma trees, the description of the snapshot of an n object spatial scene of interest. The constraints, from an RCC8 like spatial Relation Algebra (RA) x, are used to impose spatial constraints on objects of the spatial scene, eventually at different nodes of the input trees. We show that a Buchi alternating automaton augmented with spatial constraints can be simulated with a classical Buchi nondeterministic automaton of the same type, augmented with spatial constraints. We then provide a nondeterministic doubly depth first polynomial space algorithm for the emptiness problem of the latter automaton. Our main motivation came from another work, also submitted to this conference, which defines a spatio temporalisation of the well known family ALC(D) of description logics with a concrete domain together, the two works provide an effective solution to the satisfiability problem of a concept of the spatio temporalisation with respect to a weakly cyclic TBox.


On a radical extension of the field of rational functions in several variables. Let F be a field and let F(X 1, dots,X n) be the field of rational functions in n variables X 1, dots,X n over F . Let T X 1 cdots X n in F(X 1, dots,X n) and let m be a positive integer such that text char ,F nmid m . Is it possible to express each X i as a rational function in X 1 m dots,X n m and T over F ? It is not difficult to prove that this can be done but it is another matter to show how this is done. We answer the above question affirmatively with a nonconstructive proof and a constructive proof.


Blow up analysis and boundary regularity for variationally biharmonic maps. We consider critical points u Omega to N of the bi energy int Omega Delta u 2 ,d x, where Omega subset mathbb R m is a bounded smooth domain of dimension m ge 5 and N subset mathbb R L a compact submanifold without boundary. More precisely, we consider variationally biharmonic maps u in W 2,2 ( Omega,N) , which are defined as critical points of the bi energy that satisfy a certain stationarity condition up to the boundary. For weakly convergent sequences of variationally biharmonic maps, we demonstrate that the only obstruction that can prevent the strong compactness up to the boundary is the presence of certain non constant biharmonic 4 spheres or 4 halfspheres in the target manifold. As an application, we deduce full boundary regularity of variationally biharmonic maps provided such spheres do not exist.


Estimating Cardinalities with Deep Sketches. We introduce Deep Sketches, which are compact models of databases that allow us to estimate the result sizes of SQL queries. Deep Sketches are powered by a new deep learning approach to cardinality estimation that can capture correlations between columns, even across tables. Our demonstration allows users to define such sketches on the TPC H and IMDb datasets, monitor the training process, and run ad hoc queries against trained sketches. We also estimate query cardinalities with HyPer and PostgreSQL to visualize the gains over traditional cardinality estimators.


Groebner basis structure of ideal interpolation. We study the relationship between certain Groebner bases for zero dimensional ideals, and the interpolation condition functionals of ideal interpolation. Ideal interpolation is defined by a linear idempotent projector whose kernel is a polynomial ideal. In this paper, we propose the notion of "reverse" complete reduced basis. Based on the notion, we present a fast algorithm to compute the reduced Groebner basis for the kernel of ideal projector under an arbitrary compatible ordering. As an application, we show that knowing the affine variety makes available information concerning the reduced Groebner basis.


Exponential Stability of Nonlinear Fractional Stochastic System with Poisson Jumps. In this paper exponential stability of nonlinear fractional order stochastic system with Poisson jumps is studied in finite dimensional space. Existence and uniqueness of solution, stability and exponential stability results are established by using boundedness properties of Mittag Leffler matrix function, fixed point route and local assumptions on nonlinear terms. A numerical example is given to illustrate the efficiency of the obtained results. Finally, conclusion is drawn.


Random ball polytopes in smooth convex bodies. We study approximations of smooth convex bodies by random ball polytopes. We examine the following probability model let K subset bf R d be a convex body such that K slides freely in a ball of radius R 0 and has C 2 smooth boundary. Let x 1, ldots, x n be i.i.d. uniform random points in K . For r geq R , let K r (n) denote the intersection of all radius r closed balls that contain x 1, ldots, x n . Then K r (n) is a (uniform) random ball polytope (of radius r ) in K . We study the asymptotic properties of the expectation of the number of facets of K (n) r as n to infty . While sufficiently round convex bodies behave in a similar way with respect to random approximation by ball polytopes as to classical polytopes, an interesting phenomenon can be observed when a unit ball is approximated by unit radius random ball polytopes the expected number of facets approaches a finite limit as n to infty .


Simpson's geometric P W conjecture in the Painlev 'e VI case via abelianization. We use abelianization of Higgs bundles near infinity to prove the homotopy commutativity assertion of Simpson's geometric P W conjecture in the Painlev 'e VI case.


Parametric nonlinear resonant Robin problems. We consider a nonlinear Robin problem driven by the p Laplacian. In the reaction we have the competing effects of two nonlinearities. One term is parametric, strictly (p 1) sublinear and the other one is (p 1) linear and resonant at any nonprincipal variational eigenvalue. Using variational tools from the critical theory (critical groups), we show that for all large enough values of parameter lambda the problem has at least five nontrivial smooth solutions.


Exploration of Reinforcement Learning for Event Camera using Car like Robots. We demonstrate the first reinforcement learning application for robots equipped with an event camera. Because of the considerably lower latency of the event camera, it is possible to achieve much faster control of robots compared with the existing vision based reinforcement learning applications using standard cameras. To handle a stream of events for reinforcement learning, we introduced an image like feature and demonstrated the feasibility of training an agent in a simulator for two tasks fast collision avoidance and obstacle tracking. Finally, we set up a robot with an event camera in the real world and then transferred the agent trained in the simulator, resulting in successful fast avoidance of randomly thrown objects. Incorporating event camera into reinforcement learning opens new possibilities for various robotics applications that require swift control, such as autonomous vehicles and drones, through end to end learning approaches.


Exploring Text Specific and Blackbox Fairness Algorithms in Multimodal Clinical NLP. Clinical machine learning is increasingly multimodal, collected in both structured tabular formats and unstructured forms such as freetext. We propose a novel task of exploring fairness on a multimodal clinical dataset, adopting equalized odds for the downstream medical prediction tasks. To this end, we investigate a modality agnostic fairness algorithm equalized odds post processing and compare it to a text specific fairness algorithm debiased clinical word embeddings. Despite the fact that debiased word embeddings do not explicitly address equalized odds of protected groups, we show that a text specific approach to fairness may simultaneously achieve a good balance of performance and classical notions of fairness. We hope that our paper inspires future contributions at the critical intersection of clinical NLP and fairness. The full source code is available here https github.com johntiger1 multimodal fairness


Quantum Physics Meets Music A "Real Time" Guitar Recording Using Rydberg Atoms and Electromagnetically Induced Transparency. We demonstrate how Rydberg atoms and the phenomena of electromagnetically induced transparency can be used to aid in the recording of a musical instrument in real time as it is played. Also, by using two different atomic species (cesium and rubidium) in the same vapor cell, we demonstrate the ability to record two guitars simultaneously, where each atomic species detects and allows for the recording of each guitar separately. The approach shows how audio data (the musical composition) can be detected with a quantum system, illustrating how we can control ensembles of atoms to such an extent that we can use them in this "entertaining" example of recording a musical instrument.


Local topology of a deformation of a function germ with a one dimensional critical set. The Brasselet number of a function f with nonisolated singularities describes numerically the topological information of its generalized Milnor fibre. In this work, we consider two function germs f,g (X,0) rightarrow( mathbb C ,0) such that f has isolated singularity at the origin and g has a stratified one dimensional critical set. We use the Brasselet number to study the local topology a deformation tilde g of g defined by tilde g g f N, where N gg1 and N in mathbb N . As an application of this study, we present a new proof of the L e Iomdin formula for the Brasselet number.


Sasakian structure associated with a second order ODE and Hamiltonian dynamical systems. We define a contact metric structure on the manifold corresponding to a second order ordinary differential equation d 2y dx 2 f(x,y,y') and show that the contact metric structure is Sasakian if and only if the 1 form frac 1 2 (dp fdx) defines a Poisson structure. We consider a Hamiltonian dynamical system defined by this Poisson structure and show that the Hamiltonian vector field, which is a multiple of the Reeb vector field, admits a compatible bi Hamiltonian structure for which f can be regarded as a Hamiltonian function. As a particular case, we give a compatible bi Hamiltonian structure of the Reeb vector field such that the structure equations correspond to the Maurer Cartan equations of an invariant coframe on the Heisenberg group and the independent variable plays the role of a Hamiltonian function. We also show that the first Chern class of the normal bundle of an integral curve of a multiple of the Reeb vector field vanishes iff f x ff p Psi (x) for some Psi .


Random Projections and Dimension Reduction. This paper, broadly speaking, covers the use of randomness in two main areas low rank approximation and kernel methods. Low rank approximation is very important in numerical linear algebra. Many applications depend on matrix decomposition algorithms that provide accurate low rank representations of data. In modern problems, however, various factors make this hard to accomplish. One solution to these problems is the use of random projections. Instead of directly computing the matrix factorization, we randomly project the matrix onto a lower dimensional subspace and then compute the factorization. Often, we are able to do this without significant loss of accuracy. We describe how randomization can be used to create more efficient algorithms to perform low rank matrix approximation, as well as introducing a novel randomized algorithm for matrix decomposition. Compared to standard approaches, random algorithms are often faster and more robust. With these randomized algorithms, analyzing massive data sets becomes tractable. Kernel methods are almost diametrically opposite from low rank approximation. The idea is to project low dimensional data into a higher dimensional 'feature space,' such that it is linear separable in the feature space. This enables the model to learn a nonlinear separation of the data. As before, with large data matrices, computing the kernel matrix can be expensive, so we use randomized methods to approximate the matrix. In addition, we propose an extension of the random Fourier features kernel in which hyperparameter values are randomly sampled from an interval or Borel set. The experiments discussed in this paper can be found on our website at https rishi1999.github.io random projections.


On the Real Roots of Domination Polynomials. A dominating set S of a graph G of order n is a subset of the vertices of G such that every vertex is either in S or adjacent to a vertex of S . The domination polynomial is defined by D(G,x) sum d k x k where d k is the number of dominating sets in G with cardinality k . In this paper we show that the closure of the real roots of domination polynomials is ( infty,0 .


Learning Reusable Options for Multi Task Reinforcement Learning. Reinforcement learning (RL) has become an increasingly active area of research in recent years. Although there are many algorithms that allow an agent to solve tasks efficiently, they often ignore the possibility that prior experience related to the task at hand might be available. For many practical applications, it might be unfeasible for an agent to learn how to solve a task from scratch, given that it is generally a computationally expensive process however, prior experience could be leveraged to make these problems tractable in practice. In this paper, we propose a framework for exploiting existing experience by learning reusable options. We show that after an agent learns policies for solving a small number of problems, we are able to use the trajectories generated from those policies to learn reusable options that allow an agent to quickly learn how to solve novel and related problems.


Multi Resolution Fusion and Multi scale Input Priors Based Crowd Counting. Crowd counting in still images is a challenging problem in practice due to huge crowd density variations, large perspective changes, severe occlusion, and variable lighting conditions. The state of the art patch rescaling module (PRM) based approaches prove to be very effective in improving the crowd counting performance. However, the PRM module requires an additional and compromising crowd density classification process. To address these issues and challenges, the paper proposes a new multi resolution fusion based end to end crowd counting network. It employs three deep layers based columns branches, each catering the respective crowd density scale. These columns regularly fuse (share) the information with each other. The network is divided into three phases with each phase containing one or more columns. Three input priors are introduced to serve as an efficient and effective alternative to the PRM module, without requiring any additional classification operations. Along with the final crowd count regression head, the network also contains three auxiliary crowd estimation regression heads, which are strategically placed at each phase end to boost the overall performance. Comprehensive experiments on three benchmark datasets demonstrate that the proposed approach outperforms all the state of the art models under the RMSE evaluation metric. The proposed approach also has better generalization capability with the best results during the cross dataset experiments.


Linked Open Data Validity A Technical Report from ISWS 2018. Linked Open Data (LOD) is the publicly available RDF data in the Web. Each LOD entity is identfied by a URI and accessible via HTTP. LOD encodes globalscale knowledge potentially available to any human as well as artificial intelligence that may want to benefit from it as background knowledge for supporting their tasks. LOD has emerged as the backbone of applications in diverse fields such as Natural Language Processing, Information Retrieval, Computer Vision, Speech Recognition, and many more. Nevertheless, regardless of the specific tasks that LOD based tools aim to address, the reuse of such knowledge may be challenging for diverse reasons, e.g. semantic heterogeneity, provenance, and data quality. As aptly stated by Heath et al. Linked Data might be outdated, imprecise, or simply wrong" there arouses a necessity to investigate the problem of linked data validity. This work reports a collaborative effort performed by nine teams of students, guided by an equal number of senior researchers, attending the International Semantic Web Research School (ISWS 2018) towards addressing such investigation from different perspectives coupled with different approaches to tackle the issue.


math.DS cs.LG cs.NA math.NA physics.comp-ph

Revealing hidden dynamics from time series data by ODENet. To derive the hidden dynamics from observed data is one of the fundamental but also challenging problems in many different fields. In this study, we propose a new type of interpretable network called the ordinary differential equation network (ODENet), in which the numerical integration of explicit ordinary differential equations (ODEs) are embedded into the machine learning scheme to build a general framework for revealing the hidden dynamics buried in massive time series data efficiently and reliably. ODENet takes full advantage of both machine learning algorithms and ODE modeling. On one hand, the embedding of ODEs makes the framework more interpretable benefiting from the mature theories of ODEs. On the other hand, the schemes of machine learning enable data handling, paralleling, and optimization to be easily and efficiently implemented. From classical Lotka Volterra equations to chaotic Lorenz equations, the ODENet exhibits its remarkable capability in handling time series data even in the presence of large noise. We further apply the ODENet to real actin aggregation data, which shows an impressive performance as well. These results demonstrate the superiority of ODENet in dealing with noisy data, data with either non equal spacing or large sampling time steps over other traditional machine learning algorithms.


Different scenarios in the Dynamics of SARS Cov 2 Infection an adapted ODE model. A mathematical model to calculate the transmissibility of SARS Cov 2 in Wuhan City was developed and published recently by Tian Mu Chen et al., Infectious Diseases of Poverty, 2020, https doi.org 10.1186 s40249 020 00640 3. This paper improves this model in order to study the effect of different scenarios that include actions to contain the pandemic, such as isolation and quarantine of infected and at risk people. Comparisons made between the different scenarios show that the progress of the infection is found to strongly depend on measures taken in each case. The particular case of Brazil was studied, showing the dynamics of the first days of the infection in comparison with the different scenarios contained in the model and the reality of the Brazilian health system was exposed, in front of each possible scenario. The relative evolution of the number of new infection and reported cases was employed to estimate a containment date of the pandemic. Finally, the basic reproduction number R0 values were estimated for each scenario, ranging from 4.04 to 1.12.


DCNNs A Transfer Learning comparison of Full Weapon Family threat detection for Dual Energy X Ray Baggage Imagery. Recent advancements in Convolutional Neural Networks have yielded super human levels of performance in image recognition tasks 13, 25 however, with increasing volumes of parcels crossing UK borders each year, classification of threats becomes integral to the smooth operation of UK borders. In this work we propose the first pipeline to effectively process Dual Energy X Ray scanner output, and perform classification capable of distinguishing between firearm families (Assault Rifle, Revolver, Self Loading Pistol,Shotgun, and Sub Machine Gun) from this output. With this pipeline we compare re cent Convolutional Neural Network architectures against the X Ray baggage domain via Transfer Learning and show ResNet50 to be most suitable to classification outlining a number of considerations for operational success within the domain.


Cohomology of hemistrict Lie 2 algebras. We study representations of hemistrict Lie 2 algebras and give a functorial construction of their cohomology. We prove that both the cohomology of an injective hemistrict Lie 2 algebra L and the cohomology of the semistrict Lie 2 algebra obtained from skew symmetrization of L are isomorphic to the Chevalley Eilenberg cohomology of the induced Lie algebra L operatorname Lie .


Pair Correlations of Niederreiter and Halton Sequences are not Poissonian. Niederreiter and Halton sequences are two prominent classes of multi dimensional sequences which are widely used in practice for numerical integration methods because of their excellent distribution qualities. In this paper, we show that these sequences even though they are uniformly distributed fail to satisfy the stronger property of Poissonian pair correlations. This extends already established results for one dimensional sequences and confirms a conjecture of Larcher and Stockinger. The proofs rely on a general tool which identifies specific regularities of a sequence to be sufficient for not having Poissonian pair correlations.


Strong renewal theorem and local limit theorem in the absence of regular variation. We obtain a strong renewal theorem with infinite mean beyond regular variation, when the underlying distribution belongs to the domain of geometric partial attraction a semistable law with index alpha in (1 2,1 . In the process we obtain local limit theorems for both finite and infinite mean, that is for the whole range alpha in (0,2) . We also derive the asymptotics of the renewal function for alpha in (0,1 .


Social and Governance Implications of Improved Data Efficiency. Many researchers work on improving the data efficiency of machine learning. What would happen if they succeed? This paper explores the social economic impact of increased data efficiency. Specifically, we examine the intuition that data efficiency will erode the barriers to entry protecting incumbent data rich AI firms, exposing them to more competition from data poor firms. We find that this intuition is only partially correct data efficiency makes it easier to create ML applications, but large AI firms may have more to gain from higher performing AI systems. Further, we find that the effect on privacy, data markets, robustness, and misuse are complex. For example, while it seems intuitive that misuse risk would increase along with data efficiency as more actors gain access to any level of capability the net effect crucially depends on how much defensive measures are improved. More investigation into data efficiency, as well as research into the "AI production function", will be key to understanding the development of the AI industry and its societal impacts.


An Erd H o s Gallai type theorem for keyrings with larger number of leaves. A keyring is a graph obtained from a cycle by appending r ge0 leaves to one of its vertices. Sidorenko proved an Erd H o s Gallai type theorem Every graph of order n and size more than frac (k 1)n 2 contains a keyring of size at least k and with r leaves for r le frac k 1 2 (Theorem 1.4, An Erd H o s Gallai type theorem for keyrings, Graphs Combin., 2018). In this note, we show that Sidorenko's theorem holds for larger r and so complete the Erd H o s Gallai type theorem for keyrings.


Caf 'e Latte Spontaneous layer formation in laterally cooled double diffusive convection. In the preparation of Caf 'e Latte, spectacular layer formation can occur between the expresso shot in a glass of milk and the milk itself. Xue et al. (Nat. Commun., vol. 8, 2017, pp. 1 6) showed that the injection velocity of expresso determines the depth of coffee milk mixture. After a while when a stable stratification forms in the mixture, the layering process can be modelled as a double diffusive convection system with a stably stratified coffee milk mixture cooled from the side. More specifically, we perform (two dimensional) direct numerical simulations of laterally cooled double diffusive convection for a wide parameter range, where the convective flow is driven by a lateral temperature gradient while stabilized by a vertical concentration gradient. When the thermal driving force dominates over the stabilizing force, the flow behaves like vertical convection in which a large scale circulation develops. However, with increasing strength of the stabilizing force, a meta stable layered regime emerges. Initially, several vertically stacked convection rolls develop, and these well mixed layers are separated by sharp interfaces with large concentration gradients. The initial thickness of these emerging layers can be estimated by balancing the work exerted by thermal driving and the required potential energy to bring fluid out of its equilibrium position in the stably stratified fluid. In the layered regime, we further observe successive layer merging, and eventually only a single convection roll remains. We elucidate the following merging mechanism As weakened circulation leads to accumulation of hot fluid adjacent to the hot sidewall, larger buoyancy forces associated with hotter fluid eventually break the layer interface. Then two layers merge into a larger layer, and circulation establishes again within the merged structure.


Functional limit theorems for the Euler characteristic process in the critical regime. This study presents functional limit theorems for the Euler characteristic of Vietoris Rips complexes. The points are drawn from a non homogeneous Poisson process on mathbb R d , and the connectivity radius governing the formation of simplices is taken as a function of time parameter t , which allows us to treat the Euler characteristic as a stochastic process. The setting in which this takes place is that of the critical regime, in which the simplicial complexes are highly connected and have non trivial topology. We establish two "functional level" limit theorems, a strong law of large numbers and a central limit theorem for the appropriately normalized Euler characteristic process.


Enabling High Capacity, Latency Tolerant, and Highly Concurrent GPU Register Files via Software Hardware Cooperation. Graphics Processing Units (GPUs) employ large register files to accommodate all active threads and accelerate context switching. Unfortunately, register files are a scalability bottleneck for future GPUs due to long access latency, high power consumption, and large silicon area provisioning. Prior work proposes hierarchical register file to reduce the register file power consumption by caching registers in a smaller register file cache. Unfortunately, this approach does not improve register access latency due to the low hit rate in the register file cache. In this paper, we propose the Latency Tolerant Register File (LTRF) architecture to achieve low latency in a two level hierarchical structure while keeping power consumption low. We observe that compile time interval analysis enables us to divide GPU program execution into intervals with an accurate estimate of a warp's aggregate register working set within each interval. The key idea of LTRF is to prefetch the estimated register working set from the main register file to the register file cache under software control, at the beginning of each interval, and overlap the prefetch latency with the execution of other warps. We observe that register bank conflicts while prefetching the registers could greatly reduce the effectiveness of LTRF. Therefore, we devise a compile time register renumbering technique to reduce the likelihood of register bank conflicts. Our experimental results show that LTRF enables high capacity yet long latency main GPU register files, paving the way for various optimizations. As an example optimization, we implement the main register file with emerging high density high latency memory technologies, enabling 8X larger capacity and improving overall GPU performance by 34 .


Possibility conditions for Open Access. This is an attempt to formalize the conditions of possibility for free, libre, open access to scientific knowledge within a game. The challenge is to enunciate the terms under which agents participating in the Grand conversation of science would be willing to open share, exchange, negotiate or surrender their contributions, considering their corresponding intentions, goals, beliefs and expected utilities. Many conclusions can be drawn from the game here described. We have made many simplifying decisions along the modelling process that must be taken into account as a determining context for those conclusions, of course. It can be safely state, however, that under the current conditions of the game, Editors will keep betting on Toll Access, knowledge distribution models even if all the other Academic agent go for Open Access.


The Koszul map K. The Bitableax correspondence isomorphism Koszul map Theorem (BCK Theorem, for short, Theorem 6.5 below) describes a relevant pair of mutually inverse vector space isomorphisms, the Koszul map K U(gl(n)) Sym(gl(n)) and the bitableaux correspondence iWe describe a linear emph equivariant isomorphism mathcal K from the enveloping algebra mathbf U (gl(n)) to the algebra mathbb C M n,n cong mathbf Sym (gl(n)) of polynomials in the entries of a generic'' square matrix of order n . The isomorphism mathcal K maps any textit Capelli bitableau S T in mathbf U (gl(n)) to the textit (determinantal) bitableau (S T) in mathbb C M n,n and any textit Capelli bitableau S T in mathbf U (gl(n)) to the textit (permanental) bitableau (S T) in mathbb C M n,n . These results are far reaching generalizations of the pioneering result of J. L. Koszul 19 on the Capelli determinant in mathbf U (gl(n)) (see, e.g. 24 , 27 ). We introduce textit column Capelli bitableaux and bitableaux in Section 6 since they are mapped by the isomorphism mathcal K to textit monomials in mathbb C M n,n , this isomorphism can be regarded as a sharpened version of the PBW isomorphism for the enveloping algebra mathbf U (gl(n)) . Since the center boldsymbol zeta (n) of mathbf U (gl(n)) equals the subalgebra of invariants mathbf U (gl(n)) Ad gl(n) , then mathcal K big boldsymbol zeta (n) big mathbb C M n,n ad gl(n) . somorphism B Sym(gl(n)) U(gl(n)) that deeply link the enveloping algebra U(gl(n)) of the general linear Lie algebra gl(n) and the symmetric algebra Sym(gl(n)). The BCK Theorem can be regarded as a sharpened version of the PBW Theorem for the enveloping algebra U(gl(n)).


Inspection Guidelines to Identify Security Design Flaws. Recent trends in the software development practices (Agile, DevOps, CI) have shortened the development life cycle causing the need for efficient security by design approaches. In this context, software architectures are analyzed for potential vulnerabilities and design flaws. Yet, design flaws are often documented with natural language and require a manual analysis, which is inefficient. Besides low level vulnerability databases (e.g., CWE, CAPEC) there is little systematized knowledge on security design flaws. The purpose of this work is to provide a catalog of security design flaws and to empirically evaluate the inspection guidelines for detecting security design flaws. To this aim, we present a catalog of 19 security design flaws and conduct empirical studies with master and doctoral students. This paper contributes with (i) a catalog of security design flaws, (ii) an empirical evaluation of the inspection guidelines with master students, and (iii) a replicated evaluation with doctoral students. We also account for the shortcomings of the inspection guidelines and make suggestions for their improvement with respect to the generalization of guidelines, catalog re organization, and format of documentation. We record similar precision, recall, and productivity in both empirical studies and discuss the potential for automating the security design flaw detection.


On the dynamics of the Coronavirus epidemic and the unreported cases the Chilean case. We analyze the dynamics of the COVID 19 epidemic taking into account the role of the unreported cases. After a first section in which we deal with a framework of very slow test capacity, we turn to the model recently introduced implemented by Liu, Magal, Seydi and Webb. First, we prove some basic structural results for the corresponding ODE, as for instance the convergence of S(t) to a positive limit. These are similar to those of the classical SIR model, although the maxima of the corresponding curves are not necessarily unique. Finally, we implement the model but with a variable transmission rate in the Chilean context. A key parameter adjustment (namely, the fraction of unreported cases) is done via an argument using mortality rates. We conclude with several conclusions and lines of future research.


The Role of Verb Semantics in Hungarian Verb Object Order. Hungarian is often referred to as a discourse configurational language, since the structural position of constituents is determined by their logical function (topic or comment) rather than their grammatical function (e.g., subject or object). We build on work by Koml 'osy (1989) and argue that in addition to discourse context, the lexical semantics of the verb also plays a significant role in determining Hungarian word order. In order to investigate the role of lexical semantics in determining Hungarian word order, we conduct a large scale, data driven analysis on the ordering of 380 transitive verbs and their objects, as observed in hundreds of thousands of examples extracted from the Hungarian Gigaword Corpus. We test the effect of lexical semantics on the ordering of verbs and their objects by grouping verbs into 11 semantic classes. In addition to the semantic class of the verb, we also include two control features related to information structure, object definiteness and object NP weight, chosen to allow a comparison of their effect size to that of verb semantics. Our results suggest that all three features have a significant effect on verb object ordering in Hungarian and among these features, the semantic class of the verb has the largest effect. Specifically, we find that stative verbs, such as fed "cover", jelent "mean" and "ovez "surround", tend to be OV preferring (with the exception of psych verbs which are strongly VO preferring) and non stative verbs, such as b 'ir 'al "judge", cs "okkent "reduce" and cs 'okol "kiss", verbs tend to be VO preferring. These findings support our hypothesis that lexical semantic factors influence word order in Hungarian.


Divergence free tangential finite element methods for incompressible flows on surfaces. In this work we consider the numerical solution of incompressible flows on two dimensional manifolds. Whereas the compatibility demands of the velocity and the pressure spaces are known from the flat case one further has to deal with the approximation of a velocity field that lies only in the tangential space of the given geometry. Abandoning H 1 conformity allows us to construct finite elements which are due to an application of the Piola transformation exactly tangential. To reintroduce continuity (in a weak sense) we make use of (hybrid) discontinuous Galerkin techniques. To further improve this approach, H( operatorname div Gamma ) conforming finite elements can be used to obtain exactly divergence free velocity solutions. We present several new finite element discretizations. On a number of numerical examples we examine and compare their qualitative properties and accuracy.


Compact quantum group structures on type I mathrm C algebras. We prove a number of results having to do with equipping type I mathrm C algebras with compact quantum group structures, the two main ones being that such a compact quantum group is necessarily co amenable, and that if the mathrm C algebra in question is an extension of a non zero finite direct sum of elementary mathrm C algebras by a commutative unital mathrm C algebra then it must be finite dimensional.


Parametric Lyapunov exponents. In an algebraic family of rational maps of mathbb P 1 , we show that, for almost every parameter for the trace of the bifurcation current of a marked critical value, the critical value is Collet Eckmann. This extends previous results of Graczyk and ' S wi c a tek in the unicritical family, using Makarov theorem. Our methods are based instead on ideas of laminar currents theory.


Towards Overcoming False Positives in Visual Relationship Detection. In this paper, we investigate the cause of the high false positive rate in Visual Relationship Detection (VRD). We observe that during training, the relationship proposal distribution is highly imbalanced most of the negative relationship proposals are easy to identify, e.g., the inaccurate object detection, which leads to the under fitting of low frequency difficult proposals. This paper presents Spatially Aware Balanced negative pRoposal sAmpling (SABRA), a robust VRD framework that alleviates the influence of false positives. To effectively optimize the model under imbalanced distribution, SABRA adopts Balanced Negative Proposal Sampling (BNPS) strategy for mini batch sampling. BNPS divides proposals into 5 well defined sub classes and generates a balanced training distribution according to the inverse frequency. BNPS gives an easier optimization landscape and significantly reduces the number of false positives. To further resolve the low frequency challenging false positive proposals with high spatial ambiguity, we improve the spatial modeling ability of SABRA on two aspects a simple and efficient multi head heterogeneous graph attention network (MH GAT) that models the global spatial interactions of objects, and a spatial mask decoder that learns the local spatial configuration. SABRA outperforms SOTA methods by a large margin on two human object interaction (HOI) datasets and one general VRD dataset.


Compact closed categories and Gamma categories (with an appendix by Andr 'e Joyal). In this paper we study compact closed categories within the context of homotopical algebra. We construct two new model category structures by localizing two (Quillen equivalent) model categories of symmetric monoidal categories with the objective of establishing the free compact closed category on one generator as a fibrant replacement of the free symmetric monoidal category on one generator, in our localized model categories. We go on to show that the fibrant objects in our model categories are compact closed categories.


On a problem of De Koninck. Let sigma(n) and gamma(n) denote the sum of divisors and the product of distinct prime divisors of n respectively. We shall show that, if n neq 1, 1782 and sigma(n) ( gamma(n)) 2 , then there exist odd (not necessarily distinct) primes p, p prime and (not necessarily odd) distinct primes q i (i 1, 2, ldots, k) such that p, p prime mid mid n , q i 2 mid mid n (i 1, 2, ldots, k) and q 1 mid sigma(p 2), q i 1 mid sigma(q i 2) (1 leq i leq k 1), p prime mid sigma(q k 2) .


List Viterbi Decoding of PAC Codes. Polarization adjusted convolutional (PAC) codes are special concatenated codes in which we employ a one to one convolutional transform as a pre coding step before the polar transform. In this scheme, the polar transform (as a mapper) and the successive cancellation process (as a demapper) present a synthetic vector channel to the convolutional transformation. The numerical results show that this concatenation improves the Hamming distance properties of polar codes. In this work, we implement the parallel list Viterbi algorithm (LVA) and show how the error correction performance moves from the poor performance of the Viterbi algorithm (VA) to the superior performance of list decoding by changing the constraint length, list size, and the sorting strategy (local sorting and global sorting) in the LVA. Also, we analyze the latency of the local sorting of the paths in LVA relative to the global sorting in the list decoding and the trade off between the sorting latency and the error correction performance.


Pairs of nontrivial solutions to concave linear convex type elliptic problems. We obtain a pair of nontrivial solutions for a class of concave linear convex type elliptic problems that are either critical or subcritical. The solutions we find are neither local minimizers nor of mountain pass type in general. They are higher critical points in the sense that they each have a higher critical group that is nontrivial. This fact is crucial for showing that our solutions are nontrivial. We also prove some intermediate results of independent interest on the localization and homotopy invariance of critical groups of functionals involving critical Sobolev exponents.


q difference equations for homogeneous q difference operators and their applications. In this short paper, we show how to deduce several types of generating functions from Srivastava it et al Appl. Set Valued Anal. Optim. bf 1 (2019), pp. 187 201. by the method of q difference equations. Moreover, we build relations between transformation formulas and homogeneous q difference equations.


Self interested behaviour as a social norm. Language can exert a strong influence on human behaviour. In experimental studies, it is for example well known that the framing of an experiment or priming at the beginning of an experiment can alter participants' behaviour. However, few studies have been conducted to determine why framing or priming specific words can alter people's behaviour. Here, we show that the behaviour of participants in a game theoretical experiment is driven mainly by social norms, and that participants' adherence to different social norms is influenced by the exposure to economic terminology. To explore how these terminology driven changes impact behavior at the system level, we use established frameworks for modeling collective cooperative behaviour. We find that economic terminology induces a behavioural difference which is larger than that caused by financial incentives in the magnitude usually employed in experiments and simulation. These findings place an increased responsibility on scientists and science communicators, as scientific terminology is increasingly communicated to the general population.


0 Hecke modules for Young row strict quasisymmetric Schur functions. We construct modules of the 0 Hecke algebra whose images under the quasisymmetric characteristic map are the Young row strict quasisymmetric Schur functions. This provides a representation theoretic interpretation of this basis of quasisymmetric functions, answering a question of Mason and Niese (2015). Additionally, we classify when these modules are indecomposable.


A normality Criterion for a Family of Meromorphic Functions. Schwick, in 6 , states that let mathcal F be a family of meromorphic functions on a domain D and if for each f in mathcal F , (f n) (k) neq 1 , for z in D , where n, k are positive integers such that n geq k 3 , then mathcal F is a normal family in D . In this paper, we investigate the opposite view that if for each f in mathcal F , (f n) (k) (z) psi(z) has zeros in D , where psi(z) is a holomorphic function in D , then what can be said about the normality of the family mathcal F ?


Supercritical discrete restriction estimates for forms in many variables. We prove discrete restriction estimates for a broad class of hypersurfaces and varieties of intermediate codimension. For our result about hypersurfaces, we use Bourgain's arithmetic version of the Tomas Stein method and Magyar's decomposition of Birch's hypersurfaces. For our result about varieties of higher codimension, we use the even moment method and works of Birch and Schmidt.


A note on estimates of level sets and their role in demonstrating regularity of solutions to nonlocal double phase equations. In this note we prove an estimate on the level sets of a function with (p, q) growth that depends on the difference quotient of a bounded weak solution to a nonlocal double phase equation. This estimate is related to a self improving property of these solutions.


Cosine Similarity of Multimodal Content Vectors for TV Programmes. Multimodal information originates from a variety of sources audiovisual files, textual descriptions, and metadata. We show how one can represent the content encoded by each individual source using vectors, how to combine the vectors via middle and late fusion techniques, and how to compute the semantic similarities between the contents. Our vectorial representations are built from spectral features and Bags of Audio Words, for audio, LSI topics and Doc2vec embeddings for subtitles, and the categorical features, for metadata. We implement our model on a dataset of BBC TV programmes and evaluate the fused representations to provide recommendations. The late fused similarity matrices significantly improve the precision and diversity of recommendations.


Duality and sensitivity analysis of multistage linear stochastic programs. We investigate the dual of a Multistage Stochastic Linear Program (MSLP) to study two questions for this class of problems. The first of these questions is the study of the optimal value of the problem as a function of the involved parameters. For this sensitivity analysis problem, we provide formulas for the derivatives of the value function with respect to the parameters and illustrate their application on an inventory problem. Since these formulas involve optimal dual solutions, we need an algorithm that computes such solutions to use them. In this context, the second question we address is the study of solution methods for the dual problem. Writing Dynamic Programming (DP) equations for the dual, we can use an SDDP type method, called Dual SDDP, which solves these DP equations. However, applying this method will only be possible if the Relatively Complete Recourse (RCR) holds for the dual. Since the RCR assumption may fail to hold, we design two variants of Dual SDDP, namely Dual SDDP with penalizations and Dual SDDP with feasibility cuts. The study of this second question allows us to take a fresh look at the notoriously difficult to solve class of MSLP with interstage dependent cost coefficients. Indeed, for this class of problems, cost to go functions are non convex and solution methods were so far using SDDP for a Markov chain approximation of the cost coefficients process. For these problems, we propose to apply Dual SDDP with penalizations to the cost to go functions of the dual which are concave. This algorithm converges to the optimal value of the problem. Finally, as a proof of concept of the tools developed, we present the results of numerical experiments computing the sensitivity of the optimal value of an inventory problem as a function of parameters of the demand process and compare Primal and Dual SDDP on the inventory and a hydro thermal planning problems.


Adjunction for varieties with a mathbb C action. Let X be a complex projective manifold, L an ample line bundle on X , and assume that we have a mathbb C action on (X,L) . We classify such triples (X,L, mathbb C ) for which the closure of a general orbit of the mathbb C action is of degree leq 3 with respect to L and, in addition, the source and the sink of the action are isolated fixed points, and the mathbb C action on the normal bundle of every fixed point component has weights pm 1 . We treat this situation by relating it to the classical adjunction theory. As an application, we prove that contact Fano manifolds of dimension 11 and 13 are homogeneous if their group of automorphisms is reductive of rank geq 2 .


Scattering and Sparse Partitions, and their Applications. A partition mathcal P of a weighted graph G is ( sigma, tau, Delta) sparse if every cluster has diameter at most Delta , and every ball of radius Delta sigma intersects at most tau clusters. Similarly, mathcal P is ( sigma, tau, Delta) scattering if instead for balls we require that every shortest path of length at most Delta sigma intersects at most tau clusters. Given a graph G that admits a ( sigma, tau, Delta) sparse partition for all Delta 0 , Jia et al. STOC05 constructed a solution for the Universal Steiner Tree problem (and also Universal TSP) with stretch O( tau sigma 2 log tau n) . Given a graph G that admits a ( sigma, tau, Delta) scattering partition for all Delta 0 , we construct a solution for the Steiner Point Removal problem with stretch O( tau 3 sigma 3) . We then construct sparse and scattering partitions for various different graph families, receiving many new results for the Universal Steiner Tree and Steiner Point Removal problems.


Minimal epidemic model considering external infected injection and governmental quarantine policies Application to COVID 19 pandemic. Due to modern transportation networks (airplanes, cruise ships, etc.) an epidemic in a given country or city may be triggered by the arrival of external infected agents. Posterior government quarantine policies are usually taken in order to control the epidemic growth. We formulate a minimal epidemic evolution model that takes into account these components. The previous and posterior evolutions to the quarantine policy are modeled in a separate way by considering different complexities parameters in each stage. Application of this model to COVID 19 data in different countries is implemented. Estimations of the infected peak time occurrence and epidemic saturation values as well as possible post quarantine scenarios are analyzed over the basis of the model, reported data, and the fraction of the population that adopts the quarantine policy.


Machine Learning for Health Personalized Models for Forecasting of Alzheimer Disease Progression. In this thesis the aim is to work on optimizing the modern machine learning models for personalized forecasting of Alzheimer Disease (AD) Progression from clinical trial data. The data comes from the TADPOLE challenge, which is one of the largest publicly available datasets for AD research (ADNI dataset). The goal of the project is to develop machine learning models that can be used to perform personalized forecasts of the participants cognitive changes (e.g., ADAS Cog13 scores) over the time period of 6,12, 18 and 24 months in the future and the change in Clinical Status (CS) i.e., whether a person will convert to AD within 2 years or not. This is important for informing current clinical trials and better design of future clinical trials for AD. We will work with personalized Gaussian processes as machine learning models to predict ADAS Cog13 score and Cox model along with a classifier to predict the conversion in a patient within 2 years.This project is done with the collaboration with researchers from the MIT MediaLab.


Storage and release of electromagnetic waves using a Fabry Perot resonator that includes an optically tunable metamirror. We evaluate the transient response of an optically tunable meta atom composed of an electric inductor capacitor resonator that is loaded with a piece of high resistivity silicon and perform a proof of concept experiment to demonstrate the storage and release of electromagnetic waves using this meta atom in the microwave region. The transient time of the meta atom immediately after commencing laser light illumination of the silicon in the meta atom is found to be inversely proportional to the incident laser power. The transmittance of the meta atom at the resonance frequency increases to ten times that obtained without laser illumination at 5.2 ns after the start of laser illumination for a laser power of 1600 mW, a laser spot size of 2 mm times 1 mm, and a laser wavelength of 447 nm. In contrast, the transient time after turning the laser light off is dependent on the carrier lifetime of silicon and is measured to be several tens of microseconds. Based on the results of evaluation of the transient response of the meta atom, we propose a method for the storage and release of electromagnetic waves using a Fabry Perot resonator that includes the meta atom as one of its mirrors. The electromagnetic wave that is stored in the Fabry Perot resonator for a few tens of nanoseconds is then successfully released by illuminating the silicon in the meta atom with the laser light. It is also possible to use this method in the higher frequency region because metamaterials with semiconductor elements can even be used as active metamaterials in the optical region as long as their bandgap energy is higher than the signal photon energy.


Ramanujan Bernoulli numbers as moments of Racah polynomials. The classical sequence of Bernoulli numbers is known to the the sequence of moments of a family of orthogonal polynomials. Some similar statements are obtained for another sequence of rational numbers, which is similar in many ways to the Bernoulli numbers.


physics.comp-ph cs.GT cs.LG physics.flu-dyn

A physics informed reinforcement learning approach for the interfacial area transport in two phase flow. The prediction of interfacial structure in two phase flow systems is difficult and challenging. In this paper, a novel physics informed reinforcement learning aided framework (PIRLF) for the interfacial area transport is proposed. A Markov Decision Process that describes the bubble transport is established by assuming that the development of two phase flow is a stochastic process with Markov property. The framework aims to capture the complexity of two phase flow using the advantage of reinforcement learning (RL) in discovering complex patterns with the help of the physical model (Interfacial Area Transport Equation) as reference. The details of the framework design are described including the design of the environment and the algorithm used in solving the RL problem. The performance of the PIRLF is tested through experiments using the experimental database for vertical upward bubbly air water flows. The result shows a good performance of PIRLF with rRMSE of 6.556 . The case studies on the PIRLF performance also show that the type of reward function that is related to the physical model can affect the framework performance. Based on the study, the optimal reward function is established. The approaches to extending the capability of PIRLF are discussed, which can be a reference for the further development of this methodology.


Toward Accurate Platform Aware Performance Modeling for Deep Neural Networks. In this paper, we provide a fine grain machine learning based method, PerfNetV2, which improves the accuracy of our previous work for modeling the neural network performance on a variety of GPU accelerators. Given an application, the proposed method can be used to predict the inference time and training time of the convolutional neural networks used in the application, which enables the system developer to optimize the performance by choosing the neural networks and or incorporating the hardware accelerators to deliver satisfactory results in time. Furthermore, the proposed method is capable of predicting the performance of an unseen or non existing device, e.g. a new GPU which has a higher operating frequency with less processor cores, but more memory capacity. This allows a system developer to quickly search the hardware design space and or fine tune the system configuration. Compared to the previous works, PerfNetV2 delivers more accurate results by modeling detailed host accelerator interactions in executing the full neural networks and improving the architecture of the machine learning model used in the predictor. Our case studies show that PerfNetV2 yields a mean absolute percentage error within 13.1 on LeNet, AlexNet, and VGG16 on NVIDIA GTX 1080Ti, while the error rate on a previous work published in ICBD 2018 could be as large as 200 .


Design, Implementation and Control of an Underactuated Hand Exoskeleton. I present the design, implementation and control of a novel, linkage based, underactuated hand exoskeleton aimed to assist patients with hand disabilities during grasping tasks for robot assisted physical rehabilitation or robot assisted activities of daily living. Even though the proposed exoskeleton was designed with the purpose of assisting users during interactions with real objects around them, its use can be extended for haptic applications as well. In this thesis, I will deeply mention the exoskeletons in the literature, detail the design decisions and implement various control strategies to use this exoskeleton for different applications in the future.


Symplectic Q functions. Symplectic Q functions are a symplectic analogue of Schur Q functions and defined as the t 1 specialization of Hall Littlewood functions associated with the root system of type C . In this paper we prove that symplectic Q functions share many of the properties of Schur Q functions, such as a tableau description and a Pieri type rule. And we present some positivity conjectures, including the positivity conjecture of structure constants for symplectic P functions. We conclude by giving a tableau description of factorial symplectic Q functions.


Hoplite Efficient and Fault Tolerant Collective Communication for Task Based Distributed Systems. Task based distributed frameworks (e.g., Ray, Dask, Hydro) have become increasingly popular for distributed applications that contain asynchronous and dynamic workloads, including asynchronous gradient descent, reinforcement learning, and model serving. As more data intensive applications move to run on top of task based systems, collective communication efficiency has become an important problem. Unfortunately, traditional collective communication libraries (e.g., MPI, Horovod, NCCL) are an ill fit, because they require the communication schedule to be known before runtime and they do not provide fault tolerance. We design and implement Hoplite, an efficient and fault tolerant collective communication layer for task based distributed systems. Our key technique is to compute data transfer schedules on the fly and execute the schedules efficiently through fine grained pipelining. At the same time, when a task fails, the data transfer schedule adapts quickly to allow other tasks to keep making progress. We apply Hoplite to a popular task based distributed framework, Ray. We show that Hoplite speeds up asynchronous stochastic gradient descent, reinforcement learning, and serving an ensemble of machine learning models that are difficult to execute efficiently with traditional collective communication by up to 7.8x, 3.9x, and 3.3x, respectively.


State aware Re identification Feature for Multi target Multi camera Tracking. Multi target Multi camera Tracking (MTMCT) aims to extract the trajectories from videos captured by a set of cameras. Recently, the tracking performance of MTMCT is significantly enhanced with the employment of re identification (Re ID) model. However, the appearance feature usually becomes unreliable due to the occlusion and orientation variance of the targets. Directly applying Re ID model in MTMCT will encounter the problem of identity switches (IDS) and tracklet fragment caused by occlusion. To solve these problems, we propose a novel tracking framework in this paper. In this framework, the occlusion status and orientation information are utilized in Re ID model with human pose information considered. In addition, the tracklet association using the proposed fused tracking feature is adopted to handle the fragment problem. The proposed tracker achieves 81.3 IDF1 on the multiple camera hard sequence, which outperforms all other reference methods by a large margin.


Models, Pixels, and Rewards Evaluating Design Trade offs in Visual Model Based Reinforcement Learning. Model based reinforcement learning (MBRL) methods have shown strong sample efficiency and performance across a variety of tasks, including when faced with high dimensional visual observations. These methods learn to predict the environment dynamics and expected reward from interaction and use this predictive model to plan and perform the task. However, MBRL methods vary in their fundamental design choices, and there is no strong consensus in the literature on how these design decisions affect performance. In this paper, we study a number of design decisions for the predictive model in visual MBRL algorithms, focusing specifically on methods that use a predictive model for planning. We find that a range of design decisions that are often considered crucial, such as the use of latent spaces, have little effect on task performance. A big exception to this finding is that predicting future observations (i.e., images) leads to significant task performance improvement compared to only predicting rewards. We also empirically find that image prediction accuracy, somewhat surprisingly, correlates more strongly with downstream task performance than reward prediction accuracy. We show how this phenomenon is related to exploration and how some of the lower scoring models on standard benchmarks (that require exploration) will perform the same as the best performing models when trained on the same training data. Simultaneously, in the absence of exploration, models that fit the data better usually perform better on the downstream task as well, but surprisingly, these are often not the same models that perform the best when learning and exploring from scratch. These findings suggest that performance and exploration place important and potentially contradictory requirements on the model.


RuREBus a Case Study of Joint Named Entity Recognition and Relation Extraction from e Government Domain. We show case an application of information extraction methods, such as named entity recognition (NER) and relation extraction (RE) to a novel corpus, consisting of documents, issued by a state agency. The main challenges of this corpus are 1) the annotation scheme differs greatly from the one used for the general domain corpora, and 2) the documents are written in a language other than English. Unlike expectations, the state of the art transformer based models show modest performance for both tasks, either when approached sequentially, or in an end to end fashion. Our experiments have demonstrated that fine tuning on a large unlabeled corpora does not automatically yield significant improvement and thus we may conclude that more sophisticated strategies of leveraging unlabelled texts are demanded. In this paper, we describe the whole developed pipeline, starting from text annotation, baseline development, and designing a shared task in hopes of improving the baseline. Eventually, we realize that the current NER and RE technologies are far from being mature and do not overcome so far challenges like ours.


A hybridizable discontinuous Galerkin method for electromagnetics with a view on subsurface applications. Two Hybridizable Discontinuous Galerkin (HDG) schemes for the solution of Maxwell's equations in the time domain are presented. The first method is based on an electromagnetic diffusion equation, while the second is based on Faraday's and Maxwell Amp ere's laws. Both formulations include the diffusive term depending on the conductivity of the medium. The three dimensional formulation of the electromagnetic diffusion equation in the framework of HDG methods, the introduction of the conduction current term and the choice of the electric field as hybrid variable in a mixed formulation are the key points of the current study. Numerical results are provided for validation purposes and convergence studies of spatial and temporal discretizations are carried out. The test cases include both simulation in dielectric and conductive media.


RaLL End to end Radar Localization on Lidar Map Using Differentiable Measurement Model. Compared to the onboard camera and laser scanner, radar sensor provides lighting and weather invariant sensing, which is naturally suitable for long term localization under adverse conditions. However, radar data is sparse and noisy, resulting in challenges for radar mapping. On the other hand, the most popular available map currently is built by lidar. In this paper, we propose an end to end deep learning framework for Radar Localization on Lidar Map (RaLL) to bridge the gap, which not only achieves the robust radar localization but also exploits the mature lidar mapping technique, thus reducing the cost of radar mapping. We first embed both sensor modals into a common feature space by a neural network. Then multiple offsets are added to the map modal for exhaustive similarity evaluation against the current radar modal, yielding the regression of the current pose. Finally, we apply this differentiable measurement model to a Kalman Filter (KF) to learn the whole sequential localization process in an end to end manner. textit The whole learning system is differentiable with the network based measurement model at the front end and KF at the back end. To validate the feasibility and effectiveness, we employ multi session multi scene datasets collected from the real world, and the results demonstrate that our proposed system achieves superior performance over 90km driving, even in generalization scenarios where the model training is in UK, while testing in South Korea. We also release the source code publicly.


MeetUp! A Corpus of Joint Activity Dialogues in a Visual Environment. Building computer systems that can converse about their visual environment is one of the oldest concerns of research in Artificial Intelligence and Computational Linguistics (see, for example, Winograd's 1972 SHRDLU system). Only recently, however, have methods from computer vision and natural language processing become powerful enough to make this vision seem more attainable. Pushed especially by developments in computer vision, many data sets and collection environments have recently been published that bring together verbal interaction and visual processing. Here, we argue that these datasets tend to oversimplify the dialogue part, and we propose a task MeetUp! that requires both visual and conversational grounding, and that makes stronger demands on representations of the discourse. MeetUp! is a two player coordination game where players move in a visual environment, with the objective of finding each other. To do so, they must talk about what they see, and achieve mutual understanding. We describe a data collection and show that the resulting dialogues indeed exhibit the dialogue phenomena of interest, while also challenging the language vision aspect.


Baum Bott residue of flags of holomorphic distributions. In this work we extend the residue theory from flag of holomorphic foliations to flag of holomorphic distributions and we provide an effective way to calculate this class in certain cases. As a consequence, we show that if we consider a flag mathcal F ( mathcal F 1 , mathcal F 2 ) of holomorphic distributions on mathbb P 3 , we get a relation between the degrees of the distributions in the flag, the tangency order of distributions, the Euler characteristic and the degree of the curve C.


Hall algebras and quantum symmetric pairs II reflection functors. Recently the authors initiated an imath Hall algebra approach to (universal) imath quantum groups arising from quantum symmetric pairs. In this paper we construct and study BGP type reflection functors which lead to isomorphisms of the imath Hall algebras associated to acyclic imath quivers. For Dynkin quivers, these symmetries on imath Hall algebras induce automorphisms of universal imath quantum groups, which are shown to satisfy the braid group relations associated to the restricted Weyl group of a symmetric pair conjecturally these continue to hold for acyclic quivers Kac Moody setting. This leads to a conceptual construction of q root vectors and PBW bases for (universal) quasi split imath quantum groups of ADE type.


Planar graphs have bounded queue number. We show that planar graphs have bounded queue number, thus proving a conjecture of Heath, Leighton and Rosenberg from 1992. The key to the proof is a new structural tool called layered partitions, and the result that every planar graph has a vertex partition and a layering, such that each part has a bounded number of vertices in each layer, and the quotient graph has bounded treewidth. This result generalises for graphs of bounded Euler genus. Moreover, we prove that every graph in a minor closed class has such a layered partition if and only if the class excludes some apex graph. Building on this work and using the graph minor structure theorem, we prove that every proper minor closed class of graphs has bounded queue number. Layered partitions have strong connections to other topics, including the following two examples. First, they can be interpreted in terms of strong products. We show that every planar graph is a subgraph of the strong product of a path with some graph of bounded treewidth. Similar statements hold for all proper minor closed classes. Second, we give a simple proof of the result by DeVos et al. (2004) that graphs in a proper minor closed class have low treewidth colourings.