Adversarial Deep Reinforcement Learning based Adaptive Moving Target Defense. Moving target defense (MTD) is a proactive defense approach that aims to thwart attacks by continuously changing the attack surface of a system (e.g., changing host or network configurations), thereby increasing the adversary's uncertainty and attack cost. To maximize the impact of MTD, a defender must strategically choose when and what changes to make, taking into account both the characteristics of its system as well as the adversary's observed activities. Finding an optimal strategy for MTD presents a significant challenge, especially when facing a resourceful and determined adversary who may respond to the defender's actions. In this paper, we propose a multi agent partially observable Markov Decision Process model of MTD and formulate a two player general sum game between the adversary and the defender. Based on an established model of adaptive MTD, we propose a multi agent reinforcement learning framework based on the double oracle algorithm to solve the game. In the experiments, we show the effectiveness of our framework in finding optimal policies.


Towards a Polyglot Data Access Layer for a Low Code Application Development Platform. Low code application development as proposed by the OutSystems Platform enables fast mobile and desktop application development and deployment. It hinges on visual development of the interface and business logic but also on easy integration with data stores and services while delivering robust applications that scale. Data integration increasingly means accessing a variety of NoSQL stores. Unfortunately, the diversity of data and processing models, that make them useful in the first place, is difficult to reconcile with the simplification of abstractions exposed to developers in a low code platform. Moreover, NoSQL data stores also rely on a variety of general purpose and custom scripting languages as their main interfaces. In this paper we propose a polyglot data access layer for the OutSystems Platform that uses SQL with optional embedded script snippets to bridge the gap between low code and full access to NoSQL stores. In detail, we characterize the challenges for integrating a variety of NoSQL data stores we describe the architecture and proof of concept implementation and evaluate it with a sample application.


CapExec Towards Transparently Sandboxed Services (Extended Version). Network services are among the riskiest programs executed by production systems. Such services execute large quantities of complex code and process data from arbitrary and untrusted network sources, often with high levels of system privilege. It is desirable to confine system services to a least privileged environment so that the potential damage from a malicious attacker can be limited, but existing mechanisms for sandboxing services require invasive and system specific code changes and are insufficient to confine broad classes of network services. Rather than sandboxing one service at a time, we propose that the best place to add sandboxing to network services is in the service manager that starts those services. As a first step towards this vision, we propose CapExec, a process supervisor that can execute a single service within a sandbox based on a service declaration file in which, required resources whose limited access to are supported by Caper services, are specified. Using the Capsicum compartmentalization framework and its Casper service framework, CapExec provides robust application sandboxing without requiring any modifications to the application itself. We believe that this is a first step towards ubiquitous sandboxing of network services without the costs of virtualization. Keywords application security, sandboxing, service manager, Capsicum, compartmentalization


The estimation of the number of Irreducible Binomials. Let mathbb F q be the finite field with q elements, and T a positive integer. In this article we find a sharp estimative of the total number of monic irreducible binomials in mathbb F q x of degree less or equal to T , when T is large enough.


Multi Facets Contract for Modeling and Verifying Heterogeneous Systems. Critical and cyber physical systems (CPS) that exist in large industries, such as nuclear power plants, railway, automotive or aeronautical industries are complex heterogeneous systems. They are complex because they are open, perimeter less, often built by assembling various heterogeneous and interacting components which are frequently reconfigured due to requirements. Consequently, the modeling and analysis of such systems is a challenge in software engineering. We introduce a new method for modeling and verifying heterogeneous systems. The method consists in equipping individual components with generalized contract, ordering these contracts according to given facets, composing these components and verifying the resulting system with respect to the facets. We illustrate the use of the method by a case study. The proposed method may be extended to cover more facets, and by strengthening assistance tool through proactive aspects in modelling and property verification.


CLOTHO Directed Test Generation for Weakly Consistent Database Systems. Relational database applications are notoriously difficult to test and debug. Concurrent execution of database transactions may violate complex structural invariants that constraint how changes to the contents of one (shared) table affect the contents of another. Simplifying the underlying concurrency model is one way to ameliorate the difficulty of understanding how concurrent accesses and updates can affect database state with respect to these sophisticated properties. Enforcing serializable execution of all transactions achieves this simplification, but it comes at a significant price in performance, especially at scale, where database state is often replicated to improve latency and availability. To address these challenges, this paper presents a novel testing framework for detecting serializability violations in (SQL) database backed Java applications executing on weakly consistent storage systems. We manifest our approach in a tool named CLOTHO, that combines a static analyzer and a model checker to generate abstract executions, discover serializability violations in these executions, and translate them back into concrete test inputs suitable for deployment in a test environment. To the best of our knowledge, CLOTHO is the first automated test generation facility for identifying serializability anomalies of Java applications intended to operate in geo replicated distributed environments. An experimental evaluation on a set of industry standard benchmarks demonstrates the utility of our approach.


High Level ETL for Semantic Data Warehouses Full Version. The popularity of the Semantic Web (SW) encourages organizations to organize and publish semantic data using the RDF model. This growth poses new requirements to Business Intelligence (BI) technologies to enable On Line Analytical Processing (OLAP) like analysis over semantic data. The incorporation of semantic data into a Data Warehouse (DW) is not supported by the traditional Extract Transform Load (ETL) tools because they do not consider semantic issues in the integration process. In this paper, we propose a layer based integration process and a set of high level RDF based ETL constructs required to define, map, extract, process, transform, integrate, update, and load (multidimensional) semantic data. Different to other ETL tools, we automate the ETL data flows by creating metadata at the schema level. Therefore, it relieves ETL developers from the burden of manual mapping at the ETL operation level. We create a prototype, named Semantic ETL Construct (SETLCONSTRUCT), based on the innovative ETL constructs proposed here. To evaluate SETLCONSTRUCT, we create a multidimensional semantic DW by integrating a Danish Business dataset and an EU Subsidy dataset using it and compare it with the previous programmable framework SETLPROG in terms of productivity, development time and performance. The evaluation shows that 1) SETLCONSTRUCT uses 92 fewer Number of Typed Characters (NOTC) than SETLPROG, and SETLAUTO (the extension of SETLCONSTRUCT for generating ETL execution flow automatically) further reduces the Number of Used Concepts (NOUC) by another 25 2) using SETLCONSTRUCT, the development time is almost cut in half compared to SETLPROG, and is cut by another 27 using SETLAUTO 3) SETLCONSTRUCT is scalable and has similar performance compared to SETLPROG.


Generating the Cloud Motion Winds Field from Satellite Cloud Imagery Using Deep Learning Approach. Cloud motion winds (CMW) are routinely derived by tracking features in sequential geostationary satellite infrared cloud imagery. In this paper, we explore the cloud motion winds algorithm based on data driven deep learning approach, and different from conventional hand craft feature tracking and correlation matching algorithms, we use deep learning model to automatically learn the motion feature representations and directly output the field of cloud motion winds. In addition, we propose a novel large scale cloud motion winds dataset (CMWD) for training deep learning models. We also try to use a single cloud imagery to predict the cloud motion winds field in a fixed region, which is impossible to achieve using traditional algorithms. The experimental results demonstrate that our algorithm can predict the cloud motion winds field efficiently, and even with a single cloud imagery as input.


Distributed Sensing with Orthogonal Multiple Access To code or not to Code?. We consider the estimation distortion of a distributed sensing system with finite number of sensor nodes, in which the nodes observe a common phenomenon and transmit their observations to a fusion center over orthogonal channels. In particular, we investigate whether the coded scheme (separate source channel coding) outperforms the uncoded scheme (joint source channel coding) or not. To this end, we explicitly derive the estimation distortion of a coded heterogeneous sensing system with diverse node and channel configurations. Based on this result, we show that in a homogeneous sensing system with identical node and channel configurations, the coded scheme outperforms the uncoded scheme if the number of nodes is K 1 or K 2 . For homogenous sensing systems with K geq3 nodes and general heterogeneous sensing systems, we also present explicit conditions for the coded scheme to perform better than the uncoded scheme. Furthermore, we propose to minimize the estimation distortion of heterogeneous sensing systems with hybrid coding, i.e., some nodes use the coded scheme and other nodes use the uncoded scheme. To determine the optimal hybrid coding policy, we develop three greedy algorithms, in which the pure greedy algorithm minimizes distortion greedily, the group greedy algorithm improves performance by using a group of potential sub polices, and the sorted greedy algorithm reduces computational complexity by using a pre solved iteration order. Our numerical and Monte Carlo results show that the proposed algorithms closely approach the optimal policy in terms average estimation distortion.


Numerical simulation of two phase incompressible viscous flows using general pressure equation. The general pressure equation (GPE) is a new method proposed recently by Toutant (J. Comput. Phys., 374 822 842 (2018)) for incompressible flow simulation. It circumvents the Poisson equation for the pressure and performs better than the classical artificial compressibility method. Here it is generalized for two phase incompressible viscous flows with variable density and viscosity. First, the pressure evolution equation is modified to account for the density variation. Second, customized discretizations are proposed to deal with the viscous stress terms with variable viscosity. Besides, additional terms related to the bulk viscosity are included to stabilize the simulation. The interface evolution and surface tension effects are handled by a phase field model coupled with the GPE based flow equations. The pressure and momentum equations are discretized on a stagger grid using the second order centered scheme and marched in time using the third order total variation diminishing Runge Kutta scheme. Several unsteady two phase problems in two dimensional, axisymmetric and three dimensional geometries at intermediate density and viscosity ratios were simulated and the results agreed well with those obtained by other incompressible solvers and or the lattice Boltzmann method (LBM) simulations. Similar to the LBM, the proposed GPE based method is fully explicit and easy to be parallelized. Although slower than the LBM, it requires much less memory than the LBM. Thus, it can be a good alternative to simulate two phase flows with limited memory resource.


Rigorous derivation and well posedness of a quasi homogeneous ideal MHD system. The goal of this paper is twofold. On the one hand, we introduce a quasi homogeneous version of the classical ideal MHD system and study its well posedness in critical Besov spaces B s p,r ( mathbb R d) , d geq2 , with 1 p infty and under the Lipschitz condition s 1 d p and r in 1, infty , or s 1 d p and r 1 . A key ingredient is the reformulation of the system textsl via the so called Els "asser variables. On the other hand, we give a rigorous justification of quasi homogeneous MHD models, both in the ideal and in the dissipative cases when d 2 , we will derive them from a non homogeneous incompressible MHD system with Coriolis force, in the regime of low Rossby number and for small density variations around a constant state. Our method of proof relies on a relative entropy inequality for the primitive system, and yields precise rates of convergence, depending on the size of the initial data, on the order of the Rossby number and on the regularity of the viscosity and resistivity coefficients.


Reachability Queries with Label and Substructure Constraints on Knowledge Graphs. Since knowledge graphs (KGs) describe and model the relationships between entities and concepts in the real world, reasoning on KGs often correspond to the reachability queries with label and substructure constraints (LSCR). Specially, for a search path p, LSCR queries not only require that the labels of the edges passed by p are in a certain label set, but also claim that a vertex in p could satisfy a certain substructure constraint. LSCR queries is much more complex than the label constraint reachability (LCR) queries, and there is no efficient solution for LSCR queries on KGs, to the best of our knowledge. Motivated by this, we introduce two solutions for such queries on KGs, UIS and INS. The former can also be utilized for general edge labeled graphs, and is relatively handy for practical implementation. The latter is an efficient local index based informed search strategy. An extensive experimental evaluation, on both synthetic and real KGs, illustrates that our solutions can efficiently process LSCR queries on KGs.


A Weighted Population Update Rule for PACO Applied to the Single Machine Total Weighted Tardiness Problem. In this paper a new population update rule for population based ant colony optimization (PACO) is proposed. PACO is a well known alternative to the standard ant colony optimization algorithm. The new update rule allows to weight different parts of the solutions. PACO with the new update rule is evaluated for the example of the single machine total weighted tardiness problem (SMTWTP). This is an mathcal NP hard optimization problem where the aim is to schedule jobs on a single machine such that their total weighted tardiness is minimized. PACO with the new population update rule is evaluated with several benchmark instances from the OR Library. Moreover, the impact of the weights of the jobs on the solutions in the population and on the convergence of the algorithm are analyzed experimentally. The results show that PACO with the new update rule has on average better solution quality than PACO with the standard update rule.


SMIX( lambda ) Enhancing Centralized Value Functions for Cooperative Multi Agent Reinforcement Learning. Learning a stable and generalizable centralized value function (CVF) is a crucial but challenging task in multi agent reinforcement learning (MARL), as it has to deal with the issue that the joint action space increases exponentially with the number of agents in such scenarios. This paper proposes an approach, named SMIX( lambda ), to address the issue using an efficient off policy centralized training method within a flexible learner search space. As importance sampling for such off policy training is both computationally costly and numerically unstable, we proposed to use the lambda return as a proxy to compute the TD error. With this new loss function objective, we adopt a modified QMIX network structure as the base to train our model. By further connecting it with the Q( lambda) approach from an unified expectation correction viewpoint, we show that the proposed SMIX( lambda ) is equivalent to Q( lambda) and hence shares its convergence properties, while without being suffered from the aforementioned curse of dimensionality problem inherent in MARL. Experiments on the StarCraft Multi Agent Challenge (SMAC) benchmark demonstrate that our approach not only outperforms several state of the art MARL methods by a large margin, but also can be used as a general tool to improve the overall performance of other CTDE type algorithms by enhancing their CVFs.


Optimal Descartes' Rule of Signs for Circuits. We present an optimal version of Descartes' rule of signs to bound the number of positive real roots of a sparse system of polynomial equations in n variables with n 2 monomials. This sharp upper bound is given in terms of the sign variation of a sequence associated to the exponents and the coefficients of the system.


A class of sectorial relations and the associated closed forms. Let T be a closed linear relation from a Hilbert space mathfrak H to a Hilbert space mathfrak K and let B in mathbf B ( mathfrak K ) be selfadjoint. It will be shown that the relation T (I iB)T is maximal sectorial via a matrix decomposition of B with respect to the orthogonal decomposition mathfrak H rm d overline om , T oplus rm mul , T . This leads to an explicit expression of the corresponding closed sectorial form. These results include the case where rm mul , T is invariant under B . The more general description makes it possible to give an expression for the extremal maximal sectorial extensions of the sum of sectorial relations. In particular, one can characterize when the form sum extension is extremal.


Uniform convergence criterion for non harmonic sine series. We show that for a nonnegative monotone sequence c k the condition c kk to 0 is sufficient for uniform convergence of the series sum k 1 infty c k sin k alpha x on any bounded set for alpha in (0,2) , and for an odd natural alpha it is sufficient for uniform convergence on the whole mathbb R . Moreover, the latter assertion still holds if we replace k alpha by any polynomial in odd powers with rational coefficients. On the other hand, in the case of an even alpha it is necessary that sum k 1 infty c k infty for convergence of the mentioned series at the point pi 2 or at the point 2 pi 3 . Consequently, we obtain uniform convergence criteria. Besides, the results for a natural alpha remain true for sequences from more general RBVS class.


On Designing Computing Systems for Autonomous Vehicles a PerceptIn Case Study. PerceptIn develops and commercializes autonomous vehicles for micromobility around the globe. This paper makes a holistic summary of PerceptIn's development and operating experiences. This paper provides the business tale behind our product, and presents the development of the computing system for our vehicles. We illustrate the design decision made for the computing system, and show the advantage of offloading localization workloads onto an FPGA platform.


Logarithmic bounds for ergodic averages of constant type rotation number flows on the torus a short proof. We give a short proof that the ergodic averages of mathcal C 1 observables for a mathcal C 1 flow on mathbb T 2 admitting a closed transversal curve whose Poincar 'e map has constant type rotation number have growth deviating at most logarithmically from a linear one. For this, we relate the latter integral to the Birkhoff sum of a well chosen observable on the circle and use the Denjoy Koksma inequality. We also give an example of a nonminimal flow satisfying the above assumptions.


On the Boundedness of Globally F split varieties. This paper proposes the use of F split and globally F regular conditions in the pursuit of BAB type results in positive characteristic. The main technical work comes in the form of a detailed study of threefold Mori fibre spaces over positive dimensional bases. As a consequence we prove the main theorem, which reduces birational boundedness for a large class of varieties to the study of prime Fano varieties.


Behavior with respect to the Hurst index of the Wiener Hermite integrals and application to SPDEs. We consider the Wiener integral with respect to a d parameter Hermite process with Hurst multi index bf H (H 1 , ldots, H d ) in left( frac 1 2 , 1 right) d and we analyze the limit behavior in distribution of this object when the components of bf H tend to 1 and or frac 1 2 . As examples, we focus on the solution to the stochastic heat equation with additive Hermite noise and to the Hermite Ornstein Uhlenbeck process.


In Europe. As the History of Science Society, which is based in America, holds its annual meeting in Utrecht, one of the key academic centers on the European continent, one may surmise that the field has returned home. Yet, this hardly reflects how today's world of scholarship is constituted in the historiography of science, 'provincializing Europe' has become an important theme, while the field itself, as is the case across the world of academia, is centered around a predominantly American literature. At the same time, ever since historians of science have emancipated themselves from the sciences a long time ago, they often have appeared, in the public eye, to question rather than to seek to bolster the authority of the sciences. How has this situation come about, and what does it tell us about the world we live in today? What insight is sought and what public benefit is gained by the historical study of science? As we try to answer these questions, we will follow a number of key mid twentieth century historians Eduard Dijksterhuis, Thomas Kuhn and Martin Klein in their Atlantic crossings. Their answers to debates on the constitution of the early modern scientific revolution or the novelty of the work of Max Planck will illustrate how notions of 'center' and 'periphery' have shifted and what that may tell us about being 'in Europe' today.


Large scale kernelized GRANGER causality to infer topology of directed graphs with applications to brain networks. Graph topology inference of network processes with co evolving and interacting time series is crucial for network studies. Vector autoregressive models (VAR) are popular approaches for topology inference of directed graphs however, in large networks with short time series, topology estimation becomes ill posed. The present paper proposes a novel nonlinearity preserving topology inference method for directed networks with co evolving nodal processes that solves the ill posedness problem. The proposed method, large scale kernelized Granger causality (lsKGC), uses kernel functions to transform data into a low dimensional feature space and solves the autoregressive problem in the feature space, then finds the pre images in the input space to infer the topology. Extensive simulations on synthetic datasets with nonlinear and linear dependencies and known ground truth demonstrate significant improvement in the Area Under the receiver operating characteristic Curve ( AUC ) of the receiver operating characteristic for network recovery compared to existing methods. Furthermore, tests on real datasets from a functional magnetic resonance imaging (fMRI) study demonstrate 96.3 percent accuracy in diagnosis tasks of schizophrenia patients, which is the highest in the literature with only brain time series information.


From Euclid to Riemann and Beyond. The purpose of this essay is to trace the historical development of geometry while focusing on how we acquired mathematical tools for describing the "shape of the universe." More specifically, our aim is to consider, without a claim to completeness, the origin of Riemannian geometry, which is indispensable to the description of the space of the universe as a "generalized curved space."


Individual Based Stability in Hedonic Diversity Games. In hedonic diversity games (HDGs), recently introduced by Bredereck, Elkind and Igarashi (2019), each agent belongs to one of two classes (men and women, vegetarians and meat eaters, junior and senior researchers), and agents' preferences over coalitions are determined by the fraction of agents from their class in each coalition. Bredereck et al. show that while an HDG may fail to have a Nash stable (NS) or a core stable (CS) outcome, every HDG in which all agents have single peaked preferences admits an individually stable (IS) outcome, which can be computed in polynomial time. In this work, we extend and strengthen these results in several ways. First, we establish that the problem of deciding if an HDG has an NS outcome is NP complete, but admits an XP algorithm with respect to the size of the smaller class. Second, we show that, in fact, all HDGs admit IS outcomes that can be computed in polynomial time our algorithm for finding such outcomes is considerably simpler than that of Bredereck et al. We also consider two ways of generalizing the model of Bredereck et al. to k 2 classes. We complement our theoretical results by empirical analysis, comparing the IS outcomes found by our algorithm, the algorithm of Bredereck et al. and a natural better response dynamics.


Conversion of LSAT behavioral specifications to automata. The Logistics Specification and Analysis Tool (LSAT) is a model based engineering tool used for manufacturing system design and analysis. Using a domain specific language, a system can be specified in LSAT. In this paper, a conversion method is presented to obtain the system behavior of an LSAT specification in automata structure.


Quasi isometric embedding between algebras. The concept of quasi isometric embedding maps between algebras is introduced. We have obtained some basic results related to this notion and similar to quasi isometric embedding maps on metric spaces, under some conditions, we give a necessary and sufficient condition on a homomorphism to be a quasi isometric embedding between algebras.


On certain tilting modules for SL 2 II. Following the previous work, we determine exactly the highest weights for which a tensor product of two induced modules is a tilting module, for the algebraic group SL 2 over an algebraically closed field of positive characteristic.


Dialogue Response Selection with Hierarchical Curriculum Learning. We study the learning of a matching model for dialogue response selection. Motivated by the recent finding that models trained with random negative samples are not ideal in real world scenarios, we propose a hierarchical curriculum learning framework that trains the matching model in an "easy to difficult" scheme. Our learning framework consists of two complementary curricula (1) corpus level curriculum (CC) and (2) instance level curriculum (IC). In CC, the model gradually increases its ability in finding the matching clues between the dialogue context and a response candidate. As for IC, it progressively strengthens the model's ability in identifying the mismatching information between the dialogue context and a response candidate. Empirical studies on three benchmark datasets with three state of the art matching models demonstrate that the proposed learning framework significantly improves the model performance across various evaluation metrics.


Consensus Beyond Thresholds Generalized Byzantine Quorums Made Live. Existing Byzantine fault tolerant (BFT) consensus protocols address only threshold failures, where the participating nodes fail independently of each other, each one fails equally likely, and the protocol's guarantees follow from a simple bound on the number of faulty nodes. With the widespread deployment of Byzantine consensus in blockchains and distributed ledgers today, however, more sophisticated trust assumptions are needed. This paper presents the first implementation of BFT consensus with generalized quorums. It starts from a number of generalized trust structures motivated by practice and explores methods to specify and implement them efficiently. In particular, it expresses the trust assumption by a monotone Boolean formula (MBF) with threshold operators and by a monotone span program (MSP), a linear algebraic model for computation. An implementation of HotStuff BFT consensus using these quorum systems is described as well and compared to the existing threshold model. Benchmarks with HotStuff running on up to 40 replicas demonstrate that the MBF specification incurs no significant slowdown, whereas the MSP expression affects latency and throughput noticeably due to the involved computations.


Hochschild cohomology of Sullivan algebras and mapping spaces between manifolds. Let e N n rightarrow M m be an embedding into a compact manifold M . We study the relationship between the homology of the free loop space LM on M and of the space L NM of loops of M based in N and define a shriek map e ! H ( LM, mathbb Q ) rightarrow H ( L NM, mathbb Q ) using Hochschild cohomology and study its properties. We also extend a result of F 'elix on the injectivity of the induced map mathrm aut 1M rightarrow mathrm map (N, M f ) on rational homotopy groups when M and N have the same dimension and f N rightarrow M is a map of non zero degree.


Minimality of tensors of fixed multilinear rank. We discover a geometric property of the space of tensors of fixed multilinear (Tucker) rank. Namely, it is shown that real tensors of fixed multilinear rank form a minimal submanifold of the Euclidean space of tensors endowed with the Frobenius inner product. We also establish the absence of local extrema for linear functionals restricted to the submanifold of rank one tensors, finding application in statistics.


Recommendation as a Communication Game Self Supervised Bot Play for Goal oriented Dialogue. Traditional recommendation systems produce static rather than interactive recommendations invariant to a user's specific requests, clarifications, or current mood, and can suffer from the cold start problem if their tastes are unknown. These issues can be alleviated by treating recommendation as an interactive dialogue task instead, where an expert recommender can sequentially ask about someone's preferences, react to their requests, and recommend more appropriate items. In this work, we collect a goal driven recommendation dialogue dataset (GoRecDial), which consists of 9,125 dialogue games and 81,260 conversation turns between pairs of human workers recommending movies to each other. The task is specifically designed as a cooperative game between two players working towards a quantifiable common goal. We leverage the dataset to develop an end to end dialogue system that can simultaneously converse and recommend. Models are first trained to imitate the behavior of human players without considering the task goal itself (supervised training). We then finetune our models on simulated bot bot conversations between two paired pre trained models (bot play), in order to achieve the dialogue goal. Our experiments show that models finetuned with bot play learn improved dialogue strategies, reach the dialogue goal more often when paired with a human, and are rated as more consistent by humans compared to models trained without bot play. The dataset and code are publicly available through the ParlAI framework.


Verifiable RNN Based Policies for POMDPs Under Temporal Logic Constraints. Recurrent neural networks (RNNs) have emerged as an effective representation of control policies in sequential decision making problems. However, a major drawback in the application of RNN based policies is the difficulty in providing formal guarantees on the satisfaction of behavioral specifications, e.g. safety and or reachability. By integrating techniques from formal methods and machine learning, we propose an approach to automatically extract a finite state controller (FSC) from an RNN, which, when composed with a finite state system model, is amenable to existing formal verification tools. Specifically, we introduce an iterative modification to the so called quantized bottleneck insertion technique to create an FSC as a randomized policy with memory. For the cases in which the resulting FSC fails to satisfy the specification, verification generates diagnostic information. We utilize this information to either adjust the amount of memory in the extracted FSC or perform focused retraining of the RNN. While generally applicable, we detail the resulting iterative procedure in the context of policy synthesis for partially observable Markov decision processes (POMDPs), which is known to be notoriously hard. The numerical experiments show that the proposed approach outperforms traditional POMDP synthesis methods by 3 orders of magnitude within 2 of optimal benchmark values.


Proper rainbow connection number of graphs. A path in an edge coloured graph is called emph rainbow path if its edges receive pairwise distinct colours. An edge coloured graph is said to be emph rainbow connected if any two distinct vertices of the graph are connected by a rainbow path. The minimum k for which there exists such an edge colouring is the rainbow connection number rc(G) of G. Recently, Bau et al. cite BJJKM2018 introduced this concept with the additional requirement that the edge colouring must be proper. An proper edge coloured graph is said to be emph properly rainbow connected if any two distinct vertices of the graph are connected by a rainbow path. The emph proper rainbow connection number of G , denoted by prc(G) , is the minimum number of colours needed in order to make it properly rainbow connected. In this paper we first prove an improved upper bound prc(G) leq n for every connected graph G of order n geq 3. Next we show that the difference prc(G) rc(G) can be arbitrarily large. Finally, we present several sufficient conditions for graph classes satisfying prc(G) chi'(G).


An optimal bound for nonlinear eigenvalues and torsional rigidity on domains with holes. In this paper we prove an optimal upper bound for the first eigenvalue of a Robin Neumann boundary value problem for the p Laplacian operator in domains with convex holes. An analogous estimate is obtained for the corresponding torsional rigidity problem.


The universal unramified module for GL(n) and the Ihara conjecture. Let F be a finite extension of mathbb Q p . Let W(k) denote the Witt vectors of an algebraically closed field k of characteristic ell different from p and 2 , and let mathcal Z be the spherical Hecke algebra for GL n(F) over W(k) . Given a Hecke character lambda mathcal Z to R , where R is an arbitrary W(k) algebra, we introduce the universal unramified module mathcal M lambda,R . We show mathcal M lambda,R embeds in its Whittaker space and is flat over R , resolving a conjecture of Lazarus. It follows that mathcal M lambda,k has the same semisimplification as any unramified principle series with Hecke character lambda . In the setting of mod ell automorphic forms, Clozel, Harris, and Taylor formulate a conjectural analogue of Ihara's lemma. It predicts that every irreducible submodule of a certain cyclic module V of mod ell automorphic forms is generic. Our result on the Whittaker model of mathcal M lambda,k reduces the Ihara conjecture to the statement that V is generic.


Self Learning Transformations for Improving Gaze and Head Redirection. Many computer vision tasks rely on labeled data. Rapid progress in generative modeling has led to the ability to synthesize photorealistic images. However, controlling specific aspects of the generation process such that the data can be used for supervision of downstream tasks remains challenging. In this paper we propose a novel generative model for images of faces, that is capable of producing high quality images under fine grained control over eye gaze and head orientation angles. This requires the disentangling of many appearance related factors including gaze and head orientation but also lighting, hue etc. We propose a novel architecture which learns to discover, disentangle and encode these extraneous variations in a self learned manner. We further show that explicitly disentangling task irrelevant factors results in more accurate modelling of gaze and head orientation. A novel evaluation scheme shows that our method improves upon the state of the art in redirection accuracy and disentanglement between gaze direction and head orientation changes. Furthermore, we show that in the presence of limited amounts of real world training data, our method allows for improvements in the downstream task of semi supervised cross dataset gaze estimation. Please check our project page at https ait.ethz.ch projects 2020 STED gaze


Intuitive Neuromyoelectric Control of a Dexterous Bionic Arm Using a Modified Kalman Filter. Background Multi articulate prostheses are capable of performing dexterous hand movements. However, clinically available control strategies fail to provide users with intuitive, independent and proportional control over multiple degrees of freedom (DOFs) in real time. New Method We detail the use of a modified Kalman filter (MKF) to provide intuitive, independent and proportional control over six DOF prostheses such as the DEKA "LUKE" Arm. Input features include neural firing rates recorded from Utah Slanted Electrode Arrays and mean absolute value of intramuscular electromyographic (EMG) recordings. Ad hoc modifications include thresholds and non unity gains on the output of a Kalman filter. Results We demonstrate that both neural and EMG data can be combined effectively. We also highlight that modifications can be optimized to significantly improve performance relative to an unmodified Kalman filter. Thresholds significantly reduced unintended movement and promoted more independent control of the different DOFs. Gain were significantly greater than one and served to amplify participant effort. Optimal modifications can be determined quickly offline and translate to functional improvements online. Using a portable take home system, participants performed various activities of daily living. Comparison with Existing Methods In contrast to pattern recognition, the MKF allows users to continuously modulate their force output, which is critical for fine dexterity. The MKF is also computationally efficient and can be trained in less than five minutes. Conclusions The MKF can be used to explore the functional and psychological benefits associated with long term, at home control of dexterous prosthetic hands.


Privacy in Targeted Advertising A Survey. Targeted advertising has transformed the marketing landscape for a wide variety of businesses, by creating new opportunities for advertisers to reach prospective customers by delivering personalised ads, using an infrastructure of a number of intermediary entities and technologies. The advertising and analytics companies collect, aggregate, process and trade a vast amount of user's personal data, which has prompted serious privacy concerns among both individuals and organisations. This article presents a detailed survey of the associated privacy risks and proposed solutions in a mobile environment. We outline details of the information flow between the advertising platform and ad analytics networks, the profiling process, advertising sources and criteria, the measurement analysis of targeted advertising based on user's interests and profiling context and the ads delivery process, for both in app and in browser targeted ads we also include an overview of data sharing and tracking technologies. We discuss challenges in preserving user privacy that include threats related to private information extraction and exchange among various advertising entities, privacy threats from third party tracking, re identification of private information and associated privacy risks. Subsequently, we present various techniques for preserving user privacy and a comprehensive analysis of the proposals based on such techniques we compare the proposals based on the underlying architectures, privacy mechanisms and deployment scenarios. Finally, we discuss the potential research challenges and open research issues.


Quantum Interferometry with Microwave dressed F 1 Spinor Bose Einstein Condensates Role of Initial States and Long Time Evolution. We numerically investigate atomic interferometry based on spin exchange collisions in F 1 spinor Bose Einstein condensates in the regime of long evolution times t gg h c , where c is the spin dependent interaction energy. We show that the sensitivity of spin mixing interferometry can be enhanced by using classically seeded initial states with a small population prepared in the m F pm1 states.


Topological properties of secure wireless sensor networks under the q composite key predistribution scheme with unreliable links. Security is an important issue in wireless sensor networks (WSNs), which are often deployed in hostile environments. The q composite key predistribution scheme has been recognized as a suitable approach to secure WSNs. Although the q composite scheme has received much attention in the literature, there is still a lack of rigorous analysis for secure WSNs operating under the q composite scheme in consideration of the unreliability of links. One main difficulty lies in analyzing the network topology, whose links are not independent. Wireless links can be unreliable in practice due to the presence of physical barriers between sensors or because of harsh environmental conditions severely impairing communications. In this paper, we resolve the difficult challenge and investigate topological properties related to node degree in WSNs operating under the q composite scheme with unreliable communication links modeled as independent ON OFF channels. Specifically, we derive the asymptotically exact probability for the property of minimum degree being at least k, present the asymptotic probability distribution for the minimum degree, and demonstrate that the number of nodes with a fixed degree is in distribution asymptotically equivalent to a Poisson random variable. We further use the theoretical results to provide useful design guidelines for secure WSNs. Experimental results also confirm the validity of our analytical findings.


Towards An Angry Birds like Game System for Promoting Mental Well being of Players Using Art Therapy embedded PCG. This paper presents an integration of a game system and the art therapy concept for promoting the mental well being of video game players. In the proposed game system, the player plays an Angry Birds like game in which levels in the game are generated based on images they draw. Upon finishing a game level, the player also receives positive feedback (praising words) toward their drawing and the generated level from an Art Therapy AI. The proposed system is composed of three major parts (1) a drawing recognizer that identifies what object is drawn by the player (Sketcher), (2) a level generator that converts the drawing image into a pixel image, then a set of blocks representing a game level (PCG AI), and (3) the Art Therapy AI that encourages the player and improves their emotion. This paper describes an overview of the system and explains how its major components function.


On Optimal Locally Repairable Codes and Generalized Sector Disk Codes. Optimal locally repairable codes with information locality are considered. Optimal codes are constructed, whose length is also order optimal with respect to a new bound on the code length derived in this paper. The length of the constructed codes is super linear in the alphabet size, which improves upon the well known pyramid codes, whose length is only linear in the alphabet size. The recoverable erasure patterns are also analyzed for the new codes. Based on the recoverable erasure patterns, we construct generalized sector disk (GSD) codes, which can recover from disk erasures mixed with sector erasures in a more general setting than known sector disk (SD) codes. Additionally, the number of sectors in the constructed GSD codes is super linear in the alphabet size, compared with known SD codes, whose number of sectors is only linear in the alphabet size.


Online Object Representations with Contrastive Learning. We propose a self supervised approach for learning representations of objects from monocular videos and demonstrate it is particularly useful in situated settings such as robotics. The main contributions of this paper are 1) a self supervising objective trained with contrastive learning that can discover and disentangle object attributes from video without using any labels 2) we leverage object self supervision for online adaptation the longer our online model looks at objects in a video, the lower the object identification error, while the offline baseline remains with a large fixed error 3) to explore the possibilities of a system entirely free of human supervision, we let a robot collect its own data, train on this data with our self supervise scheme, and then show the robot can point to objects similar to the one presented in front of it, demonstrating generalization of object attributes. An interesting and perhaps surprising finding of this approach is that given a limited set of objects, object correspondences will naturally emerge when using contrastive learning without requiring explicit positive pairs. Videos illustrating online object adaptation and robotic pointing are available at https online objects.github.io .


Some Results on Inner Quasidiagonal C algebras. In the current article, we prove the cross product C algebra by a Rokhlin action of finite group on a strongly quasidiagonal C algbra is strongly quasidiagonal again. We also show that a just infinite C algebra is quasidiagonal if and only if it is inner quasidiagonal. Finally, we compute the topological free entropy dimension in just infinite C algebras.


Knowledge Aided Open Domain Question Answering. Open domain question answering (QA) aims to find the answer to a question from a large collection of documents.Though many models for single document machine comprehension have achieved strong performance, there is still much room for improving open domain QA systems since document retrieval and answer reranking are still unsatisfactory. Golden documents that contain the correct answers may not be correctly scored by the retrieval component, and the correct answers that have been extracted may be wrongly ranked after other candidate answers by the reranking component. One of the reasons is derived from the independent principle in which each candidate document (or answer) is scored independently without considering its relationship to other documents (or answers). In this work, we propose a knowledge aided open domain QA (KAQA) method which targets at improving relevant document retrieval and candidate answer reranking by considering the relationship between a question and the documents (termed as question document graph), and the relationship between candidate documents (termed as document document graph). The graphs are built using knowledge triples from external knowledge resources. During document retrieval, a candidate document is scored by considering its relationship to the question and other documents. During answer reranking, a candidate answer is reranked using not only its own context but also the clues from other documents. The experimental results show that our proposed method improves document retrieval and answer reranking, and thereby enhances the overall performance of open domain question answering.


Unsupervised Feature Learning for Point Cloud by Contrasting and Clustering With Graph Convolutional Neural Network. To alleviate the cost of collecting and annotating large scale point cloud datasets, we propose an unsupervised learning approach to learn features from unlabeled point cloud "3D object" dataset by using part contrasting and object clustering with deep graph neural networks (GNNs). In the contrast learning step, all the samples in the 3D object dataset are cut into two parts and put into a "part" dataset. Then a contrast learning GNN (ContrastNet) is trained to verify whether two randomly sampled parts from the part dataset belong to the same object. In the cluster learning step, the trained ContrastNet is applied to all the samples in the original 3D object dataset to extract features, which are used to group the samples into clusters. Then another GNN for clustering learning (ClusterNet) is trained to predict the cluster ID of all the training samples. The contrasting learning forces the ContrastNet to learn high level semantic features of objects but probably ignores low level features, while the ClusterNet improves the quality of learned features by being trained to discover objects that probably belong to the same semantic categories by the use of cluster IDs. We have conducted extensive experiments to evaluate the proposed framework on point cloud classification tasks. The proposed unsupervised learning approach obtained comparable performance to the state of the art unsupervised learning methods that used much more complicated network structures. The code of this work is publicly available via https github.com lingzhang1 ContrastNet.


Distributed Differentially Private Mutual Information Ranking and Its Applications. Computation of Mutual Information (MI) helps understand the amount of information shared between a pair of random variables. Automated feature selection techniques based on MI ranking are regularly used to extract information from sensitive datasets exceeding petabytes in size, over millions of features and classes. Series of one vs all MI computations can be cascaded to produce n fold MI results, rapidly pinpointing informative relationships. This ability to quickly pinpoint the most informative relationships from datasets of billions of users creates privacy concerns. In this paper, we present Distributed Differentially Private Mutual Information (DDP MI), a privacy safe fast batch MI, across various scenarios such as feature selection, segmentation, ranking, and query expansion. This distributed implementation is protected with global model differential privacy to provide strong assurances against a wide range of privacy attacks. We also show that our DDP MI can substantially improve the efficiency of MI calculations compared to standard implementations on a large scale public dataset.


Language Graph Distillation for Low Resource Machine Translation. Neural machine translation on low resource language is challenging due to the lack of bilingual sentence pairs. Previous works usually solve the low resource translation problem with knowledge transfer in a multilingual setting. In this paper, we propose the concept of Language Graph and further design a novel graph distillation algorithm that boosts the accuracy of low resource translations in the graph with forward and backward knowledge distillation. Preliminary experiments on the TED talks multilingual dataset demonstrate the effectiveness of our proposed method. Specifically, we improve the low resource translation pair by more than 3.13 points in terms of BLEU score.


Testing Machine Translation via Referential Transparency. Machine translation software has seen rapid progress in recent years due to the advancement of deep neural networks. People routinely use machine translation software in their daily lives, such as ordering food in a foreign restaurant, receiving medical diagnosis and treatment from foreign doctors, and reading international political news online. However, due to the complexity and intractability of the underlying neural networks, modern machine translation software is still far from robust and can produce poor or incorrect translations this can lead to misunderstanding, financial loss, threats to personal safety and health, and political conflicts. To address this problem, we introduce referentially transparent inputs (RTIs), a simple, widely applicable methodology for validating machine translation software. A referentially transparent input is a piece of text that should have similar translations when used in different contexts. Our practical implementation, Purity, detects when this property is broken by a translation. To evaluate RTI, we use Purity to test Google Translate and Bing Microsoft Translator with 200 unlabeled sentences, which detected 123 and 142 erroneous translations with high precision (79.3 and 78.3 ). The translation errors are diverse, including examples of under translation, over translation, word phrase mistranslation, incorrect modification, and unclear logic.


Torsion Generators of the Twist Subgroup. We showed that the twist subgroup of the mapping class group of a closed connected nonorientable surface of genus g geq13 can be generated by two involutions and an element of order g or g 1 depending on whether g is odd or even respectively.


Unifying frequency combs in active and passive cavities Temporal solitons in externally driven ring lasers. Frequency combs have become a prominent research area in optics. Of particular interest as integrated comb technology are chip scale sources, such as semiconductor lasers and microresonators, which consist of resonators embedding a nonlinear medium either with or without population inversion. Such active and passive cavities were so far treated distinctly. Here we propose a formal unification by introducing a general equation that describes both types of cavities. The equation also captures the physics of a hybrid device a semiconductor ring laser with an external optical drive in which we show the existence of temporal solitons, previously identified only in microresonators, thanks to symmetry breaking and self localization phenomena typical of spatially extended dissipative systems.


Who Watches the Watchmen? A Review of Subjective Approaches for Sybil resistance in Proof of Personhood Protocols. Most current self sovereign identity systems may be categorized as strictly objective, consisting of cryptographically signed statements issued by trusted third party attestors. This failure to provide an input for subjectivity accounts for a central challenge the inability to address the question of "Who verifies the verifier?". Instead, these protocols outsource their legitimacy to mechanisms beyond their internal structure, relying on traditional centralized institutions such as national ID issuers and KYC providers to verify the claims they hold. This reliance has been employed to safeguard applications from a vulnerability previously thought to be impossible to address in distributed systems the Sybil attack problem, which describes the abuse of an online system by creating many illegitimate virtual personas. Inspired by the progress in cryptocurrencies and blockchain technology, there has recently been a surge in networked protocols that make use of subjective inputs such as voting, vouching, and interpreting, to arrive at a decentralized and sybil resistant consensus for identity. In this article, we will outline the approaches of these new and natively digital sources of authentication their attributes, methodologies strengths, and weaknesses and sketch out possible directions for future developments.


Evaluation of Greek Word Embeddings. Since word embeddings have been the most popular input for many NLP tasks, evaluating their quality is of critical importance. Most research efforts are focusing on English word embeddings. This paper addresses the problem of constructing and evaluating such models for the Greek language. We created a new word analogy corpus considering the original English Word2vec word analogy corpus and some specific linguistic aspects of the Greek language as well. Moreover, we created a Greek version of WordSim353 corpora for a basic evaluation of word similarities. We tested seven word vector models and our evaluation showed that we are able to create meaningful representations. Last, we discovered that the morphological complexity of the Greek language and polysemy can influence the quality of the resulting word embeddings.


High resolution Monte Carlo study of the order parameter distribution of the three dimensional Ising model. We apply extensive Monte Carlo simulations to study the probability distribution P(m) of the order parameter m for the simple cubic Ising model with periodic boundary condition at the transition point. Sampling is performed with the Wolff cluster flipping algorithm, and histogram reweighting together with finite size scaling analyses are then used to extract a precise functional form for the probability distribution of the magnetization, P(m) , in the thermodynamic limit. This form should serve as a benchmark for other models in the three dimensional Ising Universality class.


Isometries between non commutative symmetric spaces associated with semi finite von Neumann algebras. In this article we show that positive surjective isometries between symmetric spaces associated with semi finite von Neumann algebras are projection disjointness preserving if they are finiteness preserving. This is subsequently used to obtain a structural description of such isometries. Furthermore, it is shown that if the initial symmetric space is a strongly symmetric space with absolutely continuous norm, then a similar structural description can be obtained without requiring positivity of the isometry.


Log orthogonal functions approximation properties and applications. We present two new classes of orthogonal functions, log orthogonal functions (LOFs) and generalized log orthogonal functions (GLOFs), which are constructed by applying a log mapping to Laguerre polynomials. We develop basic approximation theory for these new orthogonal functions and apply them to solve several typical fractional differential equations whose solutions exhibit weak singularities. Our error analysis and numerical results show that our methods based on the new orthogonal functions are particularly suitable for functions which have weak singularities at one endpoint, and can lead to exponential convergence rate, as opposed to low algebraic rates if usual orthogonal polynomials are used.


Cohomology and linear deformation of BiHom left symmetric algebras. The aim of this work is to introduce representations of BiHom left symmetric algebras. and develop its cohomology theory. As applications, we study linear deformations of BiHom left symmetric algebras, which are characterized by its second cohomology group with the coefficients in the adjoint representation. The notion of a Nijenhuis operator on a BiHom left symmetric algebra is introduced. We will prove that it can generate trivial linear deformations of a BiHom left symmetric algebra.


A parallel cut cell algorithm for the free boundary Grad Shafranov problem. A parallel cut cell algorithm is described to solve the free boundary problem of the Grad Shafranov equation. The algorithm reformulates the free boundary problem in an irregular bounded domain and its important aspects include a searching algorithm for the magnetic axis and separatrix, a surface integral along the irregular boundary to determine the boundary values, an approach to optimize the coil current based on a targeting plasma shape, Picard iterations with Aitken's acceleration for the resulting nonlinear problem, and a Cartesian grid embedded boundary method to handle the complex geometry. The algorithm is implemented in parallel using a standard domain decomposition approach and a good parallel scaling is observed. Numerical results verify the accuracy and efficiency of the free boundary Grad Shafranov solver.


Learning to Detect Opinion Snippet for Aspect Based Sentiment Analysis. Aspect based sentiment analysis (ABSA) is to predict the sentiment polarity towards a particular aspect in a sentence. Recently, this task has been widely addressed by the neural attention mechanism, which computes attention weights to softly select words for generating aspect specific sentence representations. The attention is expected to concentrate on opinion words for accurate sentiment prediction. However, attention is prone to be distracted by noisy or misleading words, or opinion words from other aspects. In this paper, we propose an alternative hard selection approach, which determines the start and end positions of the opinion snippet, and selects the words between these two positions for sentiment prediction. Specifically, we learn deep associations between the sentence and aspect, and the long term dependencies within the sentence by leveraging the pre trained BERT model. We further detect the opinion snippet by self critical reinforcement learning. Especially, experimental results demonstrate the effectiveness of our method and prove that our hard selection approach outperforms soft selection approaches when handling multi aspect sentences.


Some properties of circle maps with zero topological entropy. For a circle map f colon mathbb S to mathbb S with zero topological entropy, we show that a non diagonal pair langle x,y rangle in mathbb S times mathbb S is non separable if and only if it is an IN pair if and only if it is an IT pair. We also show that if a circle map is topological null then the maximal pattern entropy of every open cover is of polynomial order.


Molecular origin of the reduced phase stability and faster formation dissociation kinetics in confined methane hydrate. The microscopic mechanisms involved in the formation dissociation of methane hydrate confined at the nanometer scale are unraveled using advanced molecular modeling techniques combined with a mesoscale thermodynamic approach. By means of atom scale simulations probing coexistence upon confinement and free energy calculations, phase stability of confined methane hydrate is shown to be restricted to a narrower temperature and pressure domain than its bulk counterpart. The melting point depression at a given pressure, which is consistent with available experimental data, is shown to be quantitatively described using the Gibbs Thomson formalism if used with accurate estimates for the pore liquid and pore hydrate surface tensions. The metastability barrier upon hydrate formation and dissociation is found to decrease upon confinement, therefore providing a molecular scale picture for the faster kinetics observed in experiments on confined gas hydrates. By considering different formation mechanisms bulk homogeneous nucleation, external surface nucleation, and confined nucleation within the porosity we identify a crossover in the nucleation process the critical nucleus formed in the pore corresponds either to a hemispherical cap or a bridge nucleus depending on temperature, contact angle, and pore size. Using the classical nucleation theory, for both mechanisms, the typical induction time is shown to scale with the pore surface to volume ratio and, hence, the reciprocal pore size. These findings for the critical nucleus and nucleation rate associated to such complex transitions provide a mean to rationalize and predict methane hydrate formation in any porous media from simple thermodynamic data.


Authenticated Secret Key Generation in Delay Constrained Wireless Systems. With the emergence of 5G low latency applications, such as haptics and V2X, low complexity and low latency security mechanisms are sought. Promising lightweight mechanisms include physical unclonable functions (PUF) and secret key generation (SKG) at the physical layer, as considered in this paper. In this framework we propose i) a novel authenticated encryption using SKG ii) a combined PUF SKG authentication to reduce computational overhead iii) a 0 RTT resumption authentication protocol iv) pipelining of the SKG and the encrypted data transfer. With respect to the latter, we investigate a parallel SKG approach for multi carrier systems, where a subset of the subcarriers are used for SKG and the rest for data transmission. The optimal resource allocation is identified under security, power and delay constraints, by formulating the subcarrier allocation as a subset sum 0 1 knapsack optimization problem. A heuristic approach of linear complexity is proposed and shown to incur negligible loss with respect to the optimal dynamic programming solution. All of the proposed mechanisms, have the potential to pave the way for a new breed of latency aware security protocols.


A Migratory Near Memory Processing Architecture Applied to Big Data Problems. Servers produced by mainstream vendors are inefficient in processing Big Data queries due to bottlenecks inherent in the fundamental architecture of these systems. Current server blades contain multicore processors connected to DRAM memory and disks by an interconnection chipset. The multicore processor chips perform all the computations while the DRAM and disks store the data but have no processing capability. To perform a database query, data must be moved back and forth between DRAM and a small cache as well as between DRAM and disks. For Big Data applications this data movement in onerous. Migratory Near Memory Servers address this bottleneck by placing large numbers of lightweight processors directly into the memory system. These processors operate directly on the relations, vertices and edges of Big Data applications in place without having to shuttle large quantities of data back and forth between DRAM, cache and heavyweight multicore processors. This paper addresses the application of such an architecture to relational database SELECT and JOIN queries. Preliminary results indicate end to end orders of magnitude speedup.


Long Short Term Memory Networks for Bandwidth Forecasting in Mobile Broadband Networks under Mobility. Bandwidth forecasting in Mobile Broadband (MBB) networks is a challenging task, particularly when coupled with a degree of mobility. In this work, we introduce HINDSIGHT , an open source R based framework for bandwidth forecasting experimentation in MBB networks with Long Short Term Memory (LSTM) networks. We instrument HINDSIGHT following an Automated Machine Learning (AutoML) paradigm to first, alleviate the burden of data preprocessing, and second, enhance performance related aspects. We primarily focus on bandwidth forecasting for Fifth Generation (5G) networks. In particular, we leverage 5Gophers, the first open source attempt to measure network performance on operational 5G networks in the US. We further explore the LSTM performance boundaries on Fourth Generation (4G) commercial settings using NYU METS, an open source dataset comprising of hundreds of bandwidth traces spanning different mobility scenarios. Our study aims to investigate the impact of hyperparameter optimization on achieving state of the art performance and beyond. Results highlight its significance under 5G scenarios showing an average Mean Absolute Error (MAE) decrease of near 30 when compared to prior state of the art values. Due to its universal design, we argue that HINDSIGHT can serve as a handy software tool for a multitude of applications in other scientific fields.


User Preference Aware Lossless Data Compression at the Edge. Data compression is an efficient technique to save data storage and transmission costs. However, traditional data compression methods always ignore the impact of user preferences on the statistical distributions of symbols transmitted over the links. Notice that the development of big data technologies and popularization of smart devices enable analyses on user preferences based on data collected from personal handsets. This paper presents a user preference aware lossless data compression method, termed edge source coding, to compress data at the network edge. An optimization problem is formulated to minimize the expected number of bits needed to represent a requested content item in edge source coding. For edge source coding under discrete user preferences, DCA (difference of convex functions programming algorithm) based and k means based algorithms are proposed to give codebook designs. For edge source coding under continuous user preferences, a sampling method is applied to give codebook designs. In addition, edge source coding is extended to the two user case and codebooks are elaborately designed to utilize multicasting opportunities. Both theoretical analysis and simulations demonstrate the optimal codebook design should take into account user preferences.


Do log factors matter? On optimal wavelet approximation and the foundations of compressed sensing. A signature result in compressed sensing is that Gaussian random sampling achieves stable and robust recovery of sparse vectors under optimal conditions on the number of measurements. However, in the context of image reconstruction, it has been extensively documented that sampling strategies based on Fourier measurements outperform this purportedly optimal approach. Motivated by this seeming paradox, we investigate the problem of optimal sampling for compressed sensing. Rigorously combining the theories of wavelet approximation and infinite dimensional compressed sensing, our analysis leads to new error bounds in terms of the total number of measurements m for the approximation of piecewise alpha H " o lder functions. Our theoretical findings suggest that Fourier sampling outperforms random Gaussian sampling when the H "older exponent alpha is large enough. Moreover, we establish a provably optimal sampling strategy. This work is an important first step towards the resolution of the claimed paradox, and provides a clear theoretical justification for the practical success of compressed sensing techniques in imaging problems.


Corrigendum to the proof of one theorem in the article "On multiplicative subgroups in division rings" arXiv 1302.0589, J. Algebra and Its Applications Vol. 15, No. 3 (2016) 1550050 (16 pages) . In this note, the correction to the proof of one theorem in some our previous paper arXiv 1302.0589 will be given.


Stochastic Schr "odinger Lohe model. The Schr "odinger Lohe model consists of wave functions interacting with each other, according to a system of Schr "odinger equations with a specific coupling such that all wave functions evolve on the L 2 unit ball. This model has been extensively studied over the last decade and it was shown that under suitable assumptions on the initial state, if one waits long enough all the wave functions become arbitrarily close to each other, which we call a synchronization. In this paper, we consider a stochastic perturbation of the Schr "odinger Lohe model and show a weak version of synchronization for this perturbed model in the case of two oscillators.


Pseudo linear Convergence of an Additive Schwarz Method for Dual Total Variation Minimization. In this paper, we propose an overlapping additive Schwarz method for total variation minimization based on a dual formulation. The O(1 n) energy convergence of the proposed method is proven, where n is the number of iterations. In addition, we introduce an interesting convergence property called pseudo linear convergence of the proposed method the energy of the proposed method decreases as fast as linearly convergent algorithms until it reaches a particular value. It is shown that such the particular value depends on the overlapping width delta , and the proposed method becomes as efficient as linearly convergent algorithms if delta is large. As the latest domain decomposition methods for total variation minimization are sublinearly convergent, the proposed method outperforms them in the sense of the energy decay. Numerical experiments which support our theoretical results are provided.


Longitudinal crossover and the dynamics of uniform electron ellipsoids focused by linear chirp. High resolution single shot non relativistic ultrafast electron microscopy(UEM) relies on adaptive optics to compress high intensity bunches using Radio Frequency (RF) cavities. We present a comprehensive discussion of the analytic approaches available to characterize bunch dynamics as an electron bunch goes through a longitudinal focal point after an RF cavity where space charge effects can be large. Methods drawn from the Coulomb explosion literature, the accelerator physics literature and the analytic Gaussian model developed for UEM are compared, utilized and extended in some cases. In particular the longitudinal focus may occur in two different regimes, a bounce back regime and a crossover regime and we characterize the critical point separating these regimes in the zero emittance model. Results from N particle simulations using efficient multipole methods are compared to the theoretical models revealing features requiring extensions of the analytic approaches and in particular mechanisms for emittance growth and transfer are discussed.


Word Embeddings for Chemical Patent Natural Language Processing. We evaluate chemical patent word embeddings against known biomedical embeddings and show that they outperform the latter extrinsically and intrinsically. We also show that using contextualized embeddings can induce predictive models of reasonable performance for this domain over a relatively small gold standard.


On a theorem of Hegyv ' a ri and Hennecart. In this paper, we study growth rate of product of sets in the Heisenberg group over finite fields and the complex numbers. More precisely, we will give improvements and extensions of recent results due to Hegyv ' a ri and Hennecart (2018).


Field induced diastereomers for chiral separation. A novel approach for the state specific enantiomeric enrichment and the spatial separation of enantiomers is presented. Our scheme utilizes techniques from strong field laser physics, specifically an optical centrifuge in conjunction with a static electric field, to create a chiral field with defined handedness. Molecular enantiomers experience unique rotational excitation dynamics and this can be exploited to spatially separate the enantiomers using electrostatic deflection. Notably, the rotational state specific enantiomeric enhancement and its handedness is fully controllable. To explain these effects, we introduce the conceptual framework of field text induced diastereomers of a chiral molecule and perform robust quantum mechanical simulations on the prototypical chiral molecule propylene oxide (C 3 H 6 O), for which ensembles with an enantiomeric excess of up to 30 were obtained.


Querying and Repairing Inconsistent Prioritized Knowledge Bases Complexity Analysis and Links with Abstract Argumentation. In this paper, we explore the issue of inconsistency handling over prioritized knowledge bases (KBs), which consist of an ontology, a set of facts, and a priority relation between conflicting facts. In the database setting, a closely related scenario has been studied and led to the definition of three different notions of optimal repairs (global, Pareto, and completion) of a prioritized inconsistent database. After transferring the notions of globally , Pareto and completion optimal repairs to our setting, we study the data complexity of the core reasoning tasks query entailment under inconsistency tolerant semantics based upon optimal repairs, existence of a unique optimal repair, and enumeration of all optimal repairs. Our results provide a nearly complete picture of the data complexity of these tasks for ontologies formulated in common DL Lite dialects. The second contribution of our work is to clarify the relationship between optimal repairs and different notions of extensions for (set based) argumentation frameworks. Among our results, we show that Pareto optimal repairs correspond precisely to stable extensions (and often also to preferred extensions), and we propose a novel semantics for prioritized KBs which is inspired by grounded extensions and enjoys favourable computational properties. Our study also yields some results of independent interest concerning preference based argumentation frameworks.


Compositional Few Shot Recognition with Primitive Discovery and Enhancing. Few shot learning (FSL) aims at recognizing novel classes given only few training samples, which still remains a great challenge for deep learning. However, humans can easily recognize novel classes with only few samples. A key component of such ability is the compositional recognition that human can perform, which has been well studied in cognitive science but is not well explored in FSL. Inspired by such capability of humans, to imitate humans' ability of learning visual primitives and composing primitives to recognize novel classes, we propose an approach to FSL to learn a feature representation composed of important primitives, which is jointly trained with two parts, i.e. primitive discovery and primitive enhancing. In primitive discovery, we focus on learning primitives related to object parts by self supervision from the order of image splits, avoiding extra laborious annotations and alleviating the effect of semantic gaps. In primitive enhancing, inspired by current studies on the interpretability of deep networks, we provide our composition view for the FSL baseline model. To modify this model for effective composition, inspired by both mathematical deduction and biological studies (the Hebbian Learning rule and the Winner Take All mechanism), we propose a soft composition mechanism by enlarging the activation of important primitives while reducing that of others, so as to enhance the influence of important primitives and better utilize these primitives to compose novel classes. Extensive experiments on public benchmarks are conducted on both the few shot image classification and video recognition tasks. Our method achieves the state of the art performance on all these datasets and shows better interpretability.


Cascade Network for Self Supervised Monocular Depth Estimation. It is a classical compute vision problem to obtain real scene depth maps by using a monocular camera, which has been widely concerned in recent years. However, training this model usually requires a large number of artificially labeled samples. To solve this problem, some researchers use a self supervised learning model to overcome this problem and reduce the dependence on manually labeled data. Nevertheless, the accuracy and reliability of these methods have not reached the expected standard. In this paper, we propose a new self supervised learning method based on cascade networks. Compared with the previous self supervised methods, our method has improved accuracy and reliability, and we have proved this by experiments. We show a cascaded neural network that divides the target scene into parts of different sight distances and trains them separately to generate a better depth map. Our approach is divided into the following four steps. In the first step, we use the self supervised model to estimate the depth of the scene roughly. In the second step, the depth of the scene generated in the first step is used as a label to divide the scene into different depth parts. The third step is to use models with different parameters to generate depth maps of different depth parts in the target scene, and the fourth step is to fuse the depth map. Through the ablation study, we demonstrated the effectiveness of each component individually and showed high quality, state of the art results in the KITTI benchmark.


On some Fano 4 folds with Lefschetz defect 3. We show that Fano 4 folds with Picard number 5 have Lefschetz defect 3 if and only if they are toric of combinatorial type K. We also find a characterization for such varieties in terms of Picard number of prime divisors. Moreover, we discuss classification results for 4 dimensional complex smooth projective varieties admitting some particular fiber type contractions.


A Higher Order Unscented Transform. We develop a new approach for estimating the expected values of nonlinear functions applied to multivariate random variables with arbitrary distributions. Rather than assuming a particular distribution, we assume that we are only given the first four moments of the distribution. The goal is to summarize the distribution using a small number of quadrature nodes which are called sigma points. We achieve this by choosing nodes and weights in order to match the specified moments of the distribution. The classical scaled unscented transform (SUT) matches the mean and covariance of a distribution. In this paper, introduce the higher order unscented transform (HOUT) which also matches any given skewness and kurtosis tensors. It turns out that the key to matching the higher moments is the rank 1 tensor decomposition. While the minimal rank 1 decomposition is NP complete, we present a practical algorithm for computing a non minimal rank 1 decomposition and prove convergence in linear time. We then show how to combine the rank 1 decompositions of the moments in order to form the sigma points and weights of the HOUT. By passing the sigma points through a nonlinear function and applying our quadrature rule we can estimate the moments of the output distribution. We prove that the HOUT is exact on arbitrary polynomials up to fourth order. Finally, we numerically compare the HOUT to the SUT on nonlinear functions applied to non Gaussian random variables including an application to forecasting and uncertainty quantification for chaotic dynamics.


Fourier instantaneous estimators and the Epps effect. We compare the Malliavin Mancino and Cuchiero Teichmann Fourier instantaneous estimators to investigate the impact of the Epps effect arising from asynchrony in the instantaneous estimates. We demonstrate the instantaneous Epps effect under a simulation setting and provide a simple method to ameliorate the effect. We find that using the previous tick interpolation in the Cuchiero Teichmann estimator results in unstable estimates when dealing with asynchrony, while the ability to bypass the time domain with the Malliavin Mancino estimator allows it to produce stable estimates and is therefore better suited for ultra high frequency finance. An empirical analysis using Trade and Quote data from the Johannesburg Stock Exchange illustrates the instantaneous Epps effect and how the intraday correlation dynamics can vary between days for the same equity pair.


On Rational Invariant Summation of p Adic Power Series with Binomial Coefficient. In the work we have considered p adic functional series with binomial coefficients and discussed its p adic convergence. Then we have derived a recurrence relation following with a summation formula which is invariant for rational argument. More precisely, we have investigated a sufficient condition under which the p adic power series converges to a rational invariant sum 0. Finally we have shown application of the invariant summation formula to get some intersting relations involving Bernoulli numbers and Bernoulli polynomials.


Improving Neural Network Classifier using Gradient based Floating Centroid Method. Floating centroid method (FCM) offers an efficient way to solve a fixed centroid problem for the neural network classifiers. However, evolutionary computation as its optimization method restrains the FCM to achieve satisfactory performance for different neural network structures, because of the high computational complexity and inefficiency. Traditional gradient based methods have been extensively adopted to optimize the neural network classifiers. In this study, a gradient based floating centroid (GDFC) method is introduced to address the fixed centroid problem for the neural network classifiers optimized by gradient based methods. Furthermore, a new loss function for optimizing GDFC is introduced. The experimental results display that GDFC obtains promising classification performance than the comparison methods on the benchmark datasets.


Statistical properties of type D dispersing billiards. We consider dispersing billiard tables whose boundary is piecewise smooth and the free flight function is unbounded. We also assume there are no cusps. Such billiard tables are called type D in the monograph of Chernov and Markarian. For a class of non degenerate type D dispersing billiards, we prove exponential decay of correlation and several other statistical properties.


Deep learning for 2D passive source detection in presence of complex cargo. Methods for source detection in high noise environments are important for single photon emission computed tomography (SPECT) medical imaging and especially crucial for homeland security applications, which is our main interest. In the latter case, one deals with passively detecting the presence of low emission nuclear sources with significant background noise (with Signal To Noise Ratio ( SNR ) 1 or less). In passive emission problems, direction sensitive detectors are needed, to match the dimensionalities of the image and the data. Collimation, used for that purpose in standard Anger gamma cameras, is not an option. Instead, Compton gamma cameras (and their analogs for other types of radiation) can be utilized. Backprojection methods suggested before by two of the authors and their collaborators enable detection in the presence of a random uniform background. In most practical applications, however, cargo packing in shipping containers and trucks creates regions of strong absorption and scattering, while leaving some streaming gaps open. In such cases backprojection methods prove ineffective and lose their detection ability. Nonetheless, visual perception of the backprojection pictures suggested that some indications of presence of a source might still be in the data. To learn such features (if they do exist), a deep neural network approach is implemented in 2D, which indeed exhibits higher sensitivity and specificity than the backprojection techniques in a low scattering case and works well when presence of complex cargo makes backprojection fail completely.


Work efficient Batch incremental Minimum Spanning Trees with Applications to the Sliding Window Model. Algorithms for dynamically maintaining minimum spanning trees (MSTs) have received much attention in both the parallel and sequential settings. While previous work has given optimal algorithms for dense graphs, all existing parallel batch dynamic algorithms perform polynomial work per update in the worst case for sparse graphs. In this paper, we present the first work efficient parallel batch dynamic algorithm for incremental MST, which can insert ell edges in O( ell log(1 n ell)) work in expectation and O( text polylog (n)) span w.h.p. The key ingredient of our algorithm is an algorithm for constructing a compressed path tree of an edge weighted tree, which is a smaller tree that contains all pairwise heaviest edges between a given set of marked vertices. Using our batch incremental MST algorithm, we demonstrate a range of applications that become efficiently solvable in parallel in the sliding window model, such as graph connectivity, approximate MSTs, testing bipartiteness, k certificates, cycle freeness, and maintaining sparsifiers.


Codes, differentially delta uniform functions and t designs. Special functions, coding theory and t designs have close connections and interesting interplay. A standard approach to constructing t designs is the use of linear codes with certain regularity. The Assmus Mattson Theorem and the automorphism groups are two ways for proving that a code has sufficient regularity for supporting t designs. However, some linear codes hold t designs, although they do not satisfy the conditions in the Assmus Mattson Theorem and do not admit a t transitive or t homogeneous group as a subgroup of their automorphisms. The major objective of this paper is to develop a theory for explaining such codes and obtaining such new codes and hence new t designs. To this end, a general theory for punctured and shortened codes of linear codes supporting t designs is established, a generalized Assmus Mattson theorem is developed, and a link between 2 designs and differentially delta uniform functions and 2 designs is built. With these general results, binary codes with new parameters and known weight distributions are obtained, new 2 designs and Steiner system S(2, 4, 2 n) are produced in this paper.


Construction of artificial point sources for a linear wave equation in unknown medium. We study the wave equation on a bounded domain of mathbb R m and on a compact Riemannian manifold M with boundary. We assume that the coefficients of the wave equation are unknown but that we are given the hyperbolic Neumann to Dirichlet map Lambda that corresponds to the physical measurements on the boundary. Using the knowledge of Lambda we construct a sequence of Neumann boundary values so that at a time T the corresponding waves converge to zero while the time derivative of the waves converge to a delta distribution. Such waves are called an artificial point source. The convergence of the wave takes place in the function spaces naturally related to the energy of the wave. We apply the results for inverse problems and demonstrate the focusing of the waves numerically in the 1 dimensional case.


Mass Error Correction Codes for Polymer Based Data Storage. We consider the problem of correcting mass readout errors in information encoded in binary polymer strings. Our work builds on results for string reconstruction problems using composition multisets Acharya et al., 2015 and the unique string reconstruction framework proposed in Pattabiraman et al., 2019 . Binary polymer based data storage systems Laure et al., 2016 operate by designing two molecules of significantly different masses to represent the symbols 0,1 and perform readouts through noisy tandem mass spectrometry. Tandem mass spectrometers fragment the strings to be read into shorter substrings and only report their masses, often with errors due to imprecise ionization. Modeling the fragmentation process output in terms of composition multisets allows for designing asymptotically optimal codes capable of unique reconstruction and the correction of a single mass error Pattabiraman et al., 2019 through the use of derivatives of Catalan paths. Nevertheless, no solutions for multiple mass error corrections are currently known. Our work addresses this issue by describing the first multiple error correction codes that use the polynomial factorization approach for the Turnpike problem Skiena et al., 1990 and the related factorization described in Acharya et al., 2015 . Adding Reed Solomon type coding redundancy into the corresponding polynomials allows for correcting t mass errors in polynomial time using t 2 , log ,k redundant bits, where k is the information string length. The redundancy can be improved to log ,k t . However, no decoding algorithm that runs polynomial time in both t and n for this scheme are currently known, where n is the length of the coded string.


MDFEM Multivariate decomposition finite element method for elliptic PDEs with lognormal diffusion coefficients using higher order QMC and FEM. We introduce the multivariate decomposition finite element method for elliptic PDEs with lognormal diffusion coefficient a exp(Z) where Z is a Gaussian random field defined by an infinite series expansion Z( boldsymbol y ) sum j ge1 y j , phi j with y j sim mathcal N (0,1) and a given sequence of functions phi j j ge1 . We use the MDFEM to approximate the expected value of a linear functional of the solution of the PDE which is an infinite dimensional integral over the parameter space. The proposed algorithm uses the multivariate decomposition method (MDM) to compute the infinite dimensional integral by a decomposition into finite dimensional integrals, which we resolve using quasi Monte Carlo (QMC) methods, and for which we use the finite element method (FEM) to solve different instances of the PDE. We develop higher order quasi Monte Carlo rules for integration over the finite dimensional Euclidean space with respect to the Gaussian distribution by use of a truncation strategy. By linear transformations of interlaced polynomial lattice rules from the unit cube to a multivariate box of the Euclidean space we achieve higher order convergence rates for functions belonging to a class of anchored Gaussian Sobolev spaces, taking into account the truncation error. Under appropriate conditions, the MDFEM achieves higher order convergence rates in term of error versus cost, i.e., to achieve an accuracy of O( epsilon) the computational cost is O( epsilon 1 lambda d' lambda ) O( epsilon (p d' tau) (1 p ) ) where epsilon 1 lambda and epsilon d' lambda are respectively the cost of the quasi Monte Carlo cubature and the finite element approximations, with d' d , (1 delta') for some delta' ge 0 and d the physical dimension, and 0 p le (2 d' tau) 1 is a parameter representing the sparsity of phi j j ge1 .


Variational inequalities for ferroelectric constitutive modeling. This paper is concerned with modeling the polarization process in ferroelectric media. We develop a thermodynamically consistent model, based on phenomenological descriptions of free energy as well as switching and saturation conditions in form of inequalities. Thermodynamically consistent models naturally lead to variational formulations. We propose to use the concept of variational inequalities. We aim at combining the different phenomenological conditions into one variational inequality. In our formulation we use one Lagrange multiplier for each condition (the onset of domain switching and saturation), each satisfying Karush Kuhn Tucker conditions. An update for reversible and remanent quantities is then computed within one, in general nonlinear, iteration.


A hybrid optoelectronic Mott insulator. The coupling of electronic degrees of freedom in materials to create hybridized functionalities is a holy grail of modern condensed matter physics that may produce novel mechanisms of control. Correlated electron systems often exhibit coupled degrees of freedom with a high degree of tunability which sometimes lead to hybridized functionalities based on external stimuli. However, the mechanisms of tunability and the sensitivity to external stimuli are determined by intrinsic material properties which are not always controllable. A Mott metal insulator transition, which is technologically attractive due to the large changes in resistance, can be tuned by doping, strain, electric fields, and orbital occupancy but cannot be, in and of itself, controlled externally with light. Here we present a new approach to produce hybridized functionalities using a properly engineered photoconductor strongly correlated hybrid heterostructure, showing control of the Metal to Insulator transition (MIT) using optical means. This approach combines a photoconductor, which does not exhibit an MIT, with a strongly correlated oxide, which is not photoconducting. Due to the close proximity between the two materials, the heterostructure exhibits large volatile and nonvolatile, photoinduced resistivity changes and substantial photoinduced shifts in the MIT transition temperatures. This approach can potentially be extended to other judiciously chosen combinations of strongly correlated materials with systems which exhibit optically, electrically or magnetically controllable behavior.


Leveraging both Lesion Features and Procedural Bias in Neuroimaging An Dual Task Split dynamics of inverse scale space. The prediction and selection of lesion features are two important tasks in voxel based neuroimage analysis. Existing multivariate learning models take two tasks equivalently and optimize simultaneously. However, in addition to lesion features, we observe that there is another type of feature, which is commonly introduced during the procedure of preprocessing steps, which can improve the prediction result. We call such a type of feature as procedural bias. Therefore, in this paper, we propose that the features voxels in neuroimage data are consist of three orthogonal parts lesion features, procedural bias, and null features. To stably select lesion features and leverage procedural bias into prediction, we propose an iterative algorithm (termed GSplit LBI) as a discretization of differential inclusion of inverse scale space, which is the combination of Variable Splitting scheme and Linearized Bregman Iteration (LBI). Specifically, with a variable the splitting term, two estimators are introduced and split apart, i.e. one is for feature selection (the sparse estimator) and the other is for prediction (the dense estimator). Implemented with Linearized Bregman Iteration (LBI), the solution path of both estimators can be returned with different sparsity levels on the sparse estimator for the selection of lesion features. Besides, the dense the estimator can additionally leverage procedural bias to further improve prediction results. To test the efficacy of our method, we conduct experiments on the simulated study and Alzheimer's Disease Neuroimaging Initiative (ADNI) database. The validity and the benefit of our model can be shown by the improvement of prediction results and the interpretability of visualized procedural bias and lesion features.


Local dispersive and Strichartz estimates for the Schr "o dinger operator on the Heisenberg group. It was proved by H. Bahouri, P. G 'e rard and C. J. Xu in 9 that the Schr "o dinger equation on the Heisenberg group mathbb H d , involving the sublaplacian, is an example of a totally non dispersive evolution equation for this reason global dispersive estimates cannot hold. This paper aims at establishing local dispersive estimates on mathbb H d for the linear Schr "o dinger equation, by a refined study of the Schr "o dinger kernel S t on mathbb H d . The sharpness of these estimates is discussed through several examples. Our approach, based on the explicit formula of the heat kernel on mathbb H d derived by B. Gaveau in 20 , is achieved by combining complex analysis and Fourier Heisenberg tools. As a by product of our results, we establish local Strichartz estimates and prove that the kernel S t concentrates on quantized horizontal hyperplanes of mathbb H d .