Multimodal Prototypical Networks for Few shot Learning. Although providing exceptional results for many computer vision tasks, state of the art deep learning algorithms catastrophically struggle in low data scenarios. However, if data in additional modalities exist (e.g. text) this can compensate for the lack of data and improve the classification results. To overcome this data scarcity, we design a cross modal feature generation framework capable of enriching the low populated embedding space in few shot scenarios, leveraging data from the auxiliary modality. Specifically, we train a generative model that maps text data into the visual feature space to obtain more reliable prototypes. This allows to exploit data from additional modalities (e.g. text) during training while the ultimate task at test time remains classification with exclusively visual data. We show that in such cases nearest neighbor classification is a viable approach and outperform state of the art single modal and multimodal few shot learning methods on the CUB 200 and Oxford 102 datasets.


Sharper error estimates for Virtual Elements and a bubble enriched version. In the present contribution we develop a sharper error analysis for the Virtual Element Method, applied to a model elliptic problem, that separates the element boundary and element interior contributions to the error. As a consequence we are able to propose a variant of the scheme that allows to take advantage of polygons with many edges (such as those composing Voronoi meshes or generated by agglomeration procedures) in order to yield a more accurate discrete solution. The theoretical results are supported by numerical experiments.


Open Ended Visual Question Answering by Multi Modal Domain Adaptation. We study the problem of visual question answering (VQA) in images by exploiting supervised domain adaptation, where there is a large amount of labeled data in the source domain but only limited labeled data in the target domain with the goal to train a good target model. A straightforward solution is to fine tune a pre trained source model by using those limited labeled target data, but it usually cannot work well due to the considerable difference between the data distributions of the source and target domains. Moreover, the availability of multiple modalities (i.e., images, questions and answers) in VQA poses further challenges to model the transferability between those different modalities. In this paper, we tackle the above issues by proposing a novel supervised multi modal domain adaptation method for VQA to learn joint feature embeddings across different domains and modalities. Specifically, we align the data distributions of the source and target domains by considering all modalities together as well as separately for each individual modality. Based on the extensive experiments on the benchmark VQA 2.0 and VizWiz datasets for the realistic open ended VQA task, we demonstrate that our proposed method outperforms the existing state of the art approaches in this challenging domain adaptation setting for VQA.


Evolution of Part of Speech in Classical Chinese. Classical Chinese is a language notable for its word class flexibility the same word may often be used as a noun or a verb. Bisang (2008) claimed that Classical Chinese is a precategorical language, where the syntactic position of a word determines its part of speech category. In this paper, we apply entropy based metrics to evaluate these claims on historical corpora. We further explore differences between nouns and verbs in Classical Chinese using psycholinguistic norms, we find a positive correlation between concreteness and noun usage. Finally, we align character embeddings from Classical and Modern Chinese, and find that verbs undergo more semantic change than nouns.


On interplay between operators, bases, and matrices. Given a bounded linear operator T on separable Hilbert space, we develop an approach allowing one to construct a matrix representation for T having certain specified algebraic or asymptotic structure. We obtain matrix representations for T with preassigned bands of the main diagonals, with an upper bound for all of the matrix elements, and with entrywise polynomial lower and upper bounds for these elements. In particular, we substantially generalize and complement our results on diagonals of operators from 46 and other related results. Moreover, we obtain a vast generalization of a theorem by Stout (1981), and (partially) answer his open question. Several of our results have no analogues in the literature.


MFPP Morphological Fragmental Perturbation Pyramid for Black Box Model Explanations. Deep neural networks (DNNs) have recently been applied and used in many advanced and diverse tasks, such as medical diagnosis, automatic driving, etc. Due to the lack of transparency of the deep models, DNNs are often criticized for their prediction that cannot be explainable by human. In this paper, we propose a novel Morphological Fragmental Perturbation Pyramid (MFPP) method to solve the Explainable AI problem. In particular, we focus on the black box scheme, which can identify the input area that is responsible for the output of the DNN without having to understand the internal architecture of the DNN. In the MFPP method, we divide the input image into multi scale fragments and randomly mask out fragments as perturbation to generate a saliency map, which indicates the significance of each pixel for the prediction result of the black box model. Compared with the existing input sampling perturbation method, the pyramid structure fragment has proved to be more effective. It can better explore the morphological information of the input image to match its semantic information, and does not need any value inside the DNN. We qualitatively and quantitatively prove that MFPP meets and exceeds the performance of state of the art (SOTA) black box interpretation method on multiple DNN models and datasets.


A moment matching method for option pricing under stochastic interest rates. In this paper we present a simple, but new, approximation methodology for pricing a call option in a Black Scholes market characterized by stochastic interest rates. The method, based on a straightforward Gaussian moment matching technique applied to a conditional Black Scholes formula, is quite general and it applies to various models, whether affine or not. To check its accuracy and computational time, we implement it for the CIR interest rate model correlated with the underlying, using the Monte Carlo simulations as a benchmark. The method's performance turns out to be quite remarkable, even when compared with analogous results obtained by the affine approximation technique presented in Grzelak and Oosterlee (2011) and by the expansion formula introduced in Kim and Kunimoto (1999), as we show in the last section.


A Characterization For 2 Self Centered Graphs. A Graph is called 2 self centered if its diameter and radius both equal to 2. In this paper, we begin characterizing these graphs by characterizing edge maximal 2 self centered graphs via their complements. Then we split characterizing edge minimal 2 self centered graphs into two cases. First, we characterize edge minimal 2 self centered graphs without triangles by introducing emph specialized bi independent covering (SBIC) and a structure named emph generalized complete bipartite graph (GCBG) . Then, we complete characterization by characterizing edge minimal 2 self centered graphs with some triangles. Hence, the main characterization is done since a graph is 2 self centered if and only if it is a spanning subgraph of some edge maximal 2 self centered graphs and, at the same time, it is a spanning supergraph of some edge minimal 2 self centered graphs.


A Streaming On Device End to End Model Surpassing Server Side Conventional Model Quality and Latency. Thus far, end to end (E2E) models have not been shown to outperform state of the art conventional models with respect to both quality, i.e., word error rate (WER), and latency, i.e., the time the hypothesis is finalized after the user stops speaking. In this paper, we develop a first pass Recurrent Neural Network Transducer (RNN T) model and a second pass Listen, Attend, Spell (LAS) rescorer that surpasses a conventional model in both quality and latency. On the quality side, we incorporate a large number of utterances across varied domains to increase acoustic diversity and the vocabulary seen by the model. We also train with accented English speech to make the model more robust to different pronunciations. In addition, given the increased amount of training data, we explore a varied learning rate schedule. On the latency front, we explore using the end of sentence decision emitted by the RNN T model to close the microphone, and also introduce various optimizations to improve the speed of LAS rescoring. Overall, we find that RNN T LAS offers a better WER and latency tradeoff compared to a conventional model. For example, for the same latency, RNN T LAS obtains a 8 relative improvement in WER, while being more than 400 times smaller in model size.


Arithmetic occult period maps. Several natural complex configuration spaces admit surprising uniformizations as arithmetic ball quotients, by identifying each parametrized object with the periods of some auxiliary object. In each case, the theory of canonical models of Shimura varieties gives the ball quotient the structure of a variety over the ring of integers of a cyclotomic field. We show that the (transcendentally defined) period map actually respects these algebraic structures, and thus that occult period maps are arithmetic. As an intermediate tool, we develop an arithmetic theory of lattice polarized K3 surfaces.


Incremental methods for checking real time consistency. Requirements engineering is a key phase in the development process. Ensuring that requirements are consistent is essential so that they do not conflict and admit implementations. We consider the formal verification of rt consistency, which imposes that the inevitability of definitive errors of a requirement should be anticipated, and that of partial consistency, which was recently introduced as a more effective check. We generalize and formalize both notions for discrete time timed automata, develop three incremental algorithms, and present experimental results.


Performance evaluation and enhancement of VLAN via wireless networks using OPNET modeler. A VLAN is a logical connection that allows hosts to be grouped together in the same broadcast domain, so that packets are delivered only to ports that are combined to the same VLAN. We can improve wireless network performance and save bandwidth through the characteristic VLAN network. In addition, the implementation of VLAN greatly improves wireless network security by reducing the number of hosts receiving copies of frames broadcast by switches, thus keeping hosts holding critical data on a separate VLAN. In this paper we compare wireless network with VLAN via wireless network. The proposed network is evaluated within terms of delay and average throughput using web browsing applications and file transfer in heavy traffic. The simulation was carried out using OPNET 14.5 modeler and the results show that the use of VLAN via wireless network improved performance by reducing traffic resulting in a minimized delay time. Furthermore, VLAN implementation reduces network throughput because the traffic received and transmitted has a positive relationship with throughput. Eventually, we investigated the use of adhoc routing protocols such as AODV, DSR, OLSR, TORA and GPR to improve the performance of wireless VLAN networks.


Psychophysiological responses to takeover requests in conditionally automated driving. In SAE Level 3 automated driving, taking over control from automation raises significant safety concerns because drivers out of the vehicle control loop have difficulty negotiating takeover transitions. Existing studies on takeover transitions have focused on drivers' behavioral responses to takeover requests (TORs). As a complement, this exploratory study aimed to examine drivers' psychophysiological responses to TORs as a result of varying non driving related tasks (NDRTs), traffic density and TOR lead time. A total number of 102 drivers were recruited and each of them experienced 8 takeover events in a high fidelity fixed base driving simulator. Drivers' gaze behaviors, heart rate (HR) activities, galvanic skin responses (GSRs), and facial expressions were recorded and analyzed during two stages. First, during the automated driving stage, we found that drivers had lower heart rate variability, narrower horizontal gaze dispersion, and shorter eyes on road time when they had a high level of cognitive load relative to a low level of cognitive load. Second, during the takeover transition stage, 4s lead time led to inhibited blink numbers and larger maximum and mean GSR phasic activation compared to 7s lead time, whilst heavy traffic density resulted in increased HR acceleration patterns than light traffic density. Our results showed that psychophysiological measures can indicate specific internal states of drivers, including their workload, emotions, attention, and situation awareness in a continuous, non invasive and real time manner. The findings provide additional support for the value of using psychophysiological measures in automated driving and for future applications in driver monitoring systems and adaptive alert systems.


Modeling Event Background for If Then Commonsense Reasoning Using Context aware Variational Autoencoder. Understanding event and event centered commonsense reasoning are crucial for natural language processing (NLP). Given an observed event, it is trivial for human to infer its intents and effects, while this type of If Then reasoning still remains challenging for NLP systems. To facilitate this, a If Then commonsense reasoning dataset Atomic is proposed, together with an RNN based Seq2Seq model to conduct such reasoning. However, two fundamental problems still need to be addressed first, the intents of an event may be multiple, while the generations of RNN based Seq2Seq models are always semantically close second, external knowledge of the event background may be necessary for understanding events and conducting the If Then reasoning. To address these issues, we propose a novel context aware variational autoencoder effectively learning event background information to guide the If Then reasoning. Experimental results show that our approach improves the accuracy and diversity of inferences compared with state of the art baseline methods.


Private key encryption and recovery in blockchain. The disruptive technology of blockchain can deliver secure solutions without the need for a central authority. In blockchain protocols, assets that belong to a participant are controlled through the private key of an asymmetric key pair that is owned by the participant. Although, this lets blockchain network participants to have sovereignty on their assets, it comes with the responsibility of managing their own keys. Currently, there exists two major bottlenecks in managing keys a) users don't have an efficient and secure way to store their keys, b) no efficient recovery mechanism exists in case the keys are lost. In this study, we propose secure methods to efficiently store and recover keys. For the first, we introduce an efficient encryption mechanism to securely encrypt and decrypt the private key using the owner's biometric signature. For the later, we introduce an efficient recovery mechanism using biometrics and secret sharing scheme. By applying the proposed key encryption and recovery mechanism, asset owners are able to securely store their keys on their devices and recover the keys in case they are lost.


Subgraph Networks with Application to Structural Feature Space Expansion. Real world networks exhibit prominent hierarchical and modular structures, with various subgraphs as building blocks. Most existing studies simply consider distinct subgraphs as motifs and use only their numbers to characterize the underlying network. Although such statistics can be used to describe a network model, or even to design some network algorithms, the role of subgraphs in such applications can be further explored so as to improve the results. In this paper, the concept of subgraph network (SGN) is introduced and then applied to network models, with algorithms designed for constructing the 1st order and 2nd order SGNs, which can be easily extended to build higher order ones. Furthermore, these SGNs are used to expand the structural feature space of the underlying network, beneficial for network classification. Numerical experiments demonstrate that the network classification model based on the structural features of the original network together with the 1st order and 2nd order SGNs always performs the best as compared to the models based only on one or two of such networks. In other words, the structural features of SGNs can complement that of the original network for better network classification, regardless of the feature extraction method used, such as the handcrafted, network embedding and kernel based methods.


Visualization in the preprocessing phase an interview study with enterprise professionals. The current information age has increasingly required organizations to become data driven. However, analyzing and managing raw data is still a challenging part of the data mining process. Even though we can find interview studies proposing design implications or recommendations for future visualization solutions in the data mining scope, they cover the entire workflow and do not fully focus on the challenges during the preprocessing phase and on how visualization can support it. Moreover, they do not organize a final list of insights consolidating the findings of other related studies. Hence, to better understand the current practice of enterprise professionals in data mining workflows, in particular during the preprocessing phase, and how visualization supports this process, we conducted semi structured interviews with thirteen data analysts. The discussion about the challenges and opportunities based on the responses of the interviewees resulted in a list of ten insights. This list was compared with the closest related works, improving the reliability of our findings and providing background, as a consolidated set of requirements, for future visualization research papers applied to visual data exploration in data mining. Furthermore, we provide greater details on the profile of the data analysts, the main challenges they face, and the opportunities that arise while they are engaged in data mining projects in diverse organizational areas.


Efficient Knowledge Graph Validation via Cross Graph Representation Learning. Recent advances in information extraction have motivated the automatic construction of huge Knowledge Graphs (KGs) by mining from large scale text corpus. However, noisy facts are unavoidably introduced into KGs that could be caused by automatic extraction. To validate the correctness of facts (i.e., triplets) inside a KG, one possible approach is to map the triplets into vector representations by capturing the semantic meanings of facts. Although many representation learning approaches have been developed for knowledge graphs, these methods are not effective for validation. They usually assume that facts are correct, and thus may overfit noisy facts and fail to detect such facts. Towards effective KG validation, we propose to leverage an external human curated KG as auxiliary information source to help detect the errors in a target KG. The external KG is built upon human curated knowledge repositories and tends to have high precision. On the other hand, although the target KG built by information extraction from texts has low precision, it can cover new or domain specific facts that are not in any human curated repositories. To tackle this challenging task, we propose a cross graph representation learning framework, i.e., CrossVal, which can leverage an external KG to validate the facts in the target KG efficiently. This is achieved by embedding triplets based on their semantic meanings, drawing cross KG negative samples and estimating a confidence score for each triplet based on its degree of correctness. We evaluate the proposed framework on datasets across different domains. Experimental results show that the proposed framework achieves the best performance compared with the state of the art methods on large scale KGs.


A Simple and Effective Model for Answering Multi span Questions. Models for reading comprehension (RC) commonly restrict their output space to the set of all single contiguous spans from the input, in order to alleviate the learning problem and avoid the need for a model that generates text explicitly. However, forcing an answer to be a single span can be restrictive, and some recent datasets also include multi span questions, i.e., questions whose answer is a set of non contiguous spans in the text. Naturally, models that return single spans cannot answer these questions. In this work, we propose a simple architecture for answering multi span questions by casting the task as a sequence tagging problem, namely, predicting for each input token whether it should be part of the output or not. Our model substantially improves performance on span extraction questions from DROP and Quoref by 9.9 and 5.5 EM points respectively.


Modularis Modular Relational Analytics over Heterogeneous Distributed Platforms. The enormous quantity of data produced every day together with advances in data analytics has led to a proliferation of data management and analysis systems. Typically, these systems are built around highly specialized monolithic operators optimized for the underlying hardware. While effective in the short term, such an approach makes the operators cumbersome to port and adapt, which is increasingly required due to the speed at which algorithms and hardware evolve. To address this limitation, we present Modularis, an execution layer for data analytics based on sub operators, i.e.,composable building blocks resembling traditional database operators but at a finer granularity. To demonstrate the advantages of our approach, we use Modularis to build a distributed query processing system supporting relational queries running on an RDMA cluster, a serverless cloud platform, and a smart storage engine. Modularis requires minimal code changes to execute queries across these three diverse hardware platforms, showing that the sub operator approach reduces the amount and complexity of the code. In fact, changes in the platform affect only sub operators that depend on the underlying hardware. We show the end to end performance of Modularis by comparing it with a framework for SQL processing (Presto), a commercial cluster database (SingleStore), as well as Query as a Service systems (Athena, BigQuery). Modularis outperforms all these systems, proving that the design and architectural advantages of a modular design can be achieved without degrading performance. We also compare Modularis with a hand optimized implementation of a join for RDMA clusters. We show that Modularis has the advantage of being easily extensible to a wider range of join variants and group by queries, all of which are not supported in the hand tuned join.


SNITCH Dynamic Dependent Information Flow Analysis for Independent Java Bytecode. Software testing is the most commonly used technique in the industry to certify the correctness of software systems. This includes security properties like access control and data confidentiality. However, information flow control and the detection of information leaks using tests is a demanding task without the use of specialized monitoring and assessment tools. In this paper, we tackle the challenge of dynamically tracking information flow in third party Java based applications using dependent information flow control. Dependent security labels increase the expressiveness of traditional information flow control techniques by allowing to parametrize labels with context related information and allowing for the specification of more detailed and fine grained policies. Instead of the fixed security lattice used in traditional approaches that defines a fixed set of security compartments, dependent security labels allow for a dynamic lattice that can be extended at runtime, allowing for new security compartments to be defined using context values. We present a specification and instrumentation approach for rewriting JVM compiled code with in lined reference monitors. To illustrate the proposed approach we use an example and a working prototype, SNITCH. SNITCH operates over the static single assignment language Shimple, an intermediate representation for Java bytecode used in the SOOT framework.


Cyclic Composition Operators on Segal Bargmann space. We study the hypercyclic, supercyclic and cyclic properties of composition operator C phi on the Segal Bargmann space mathscr H ( mathscr E ) , where phi (z) Az b , A in mathcal B ( mathscr E ) , b in mathscr E with left A right leq 1 and A b in (I A A) frac 1 2 . In this connection we also give a characterization of the symbols phi which induce the bounded composition operator C phi on mathscr H ( mathscr E ) and show that the properties of phi influence the cyclic behaviour of C phi .


Topological Cyclic Homology of Local Fields. We introduce a new approach to computing topological cyclic homology by means of a descent spectral sequence. We carry out the computation for a p adic local field with Fp coefficients, including the case p 2 which was only covered by motivic methods except in the totally unramified case.


A tree structure algorithm for optimal control problems with state constraints. We present a tree structure algorithm for optimal control problems with state constraints. We prove a convergence result for a discrete time approximation of the value function based on a novel formulation of the constrained problem. Then the Dynamic Programming approach is developed by a discretization in time leading to a tree structure in space derived by the controlled dynamics, in this construction the state constraints are taken into account to cut several branches of the tree. Moreover, an additional pruning allows for the reduction of the tree complexity as for the case without state constraints. Since the method does not use an a priori space grid, no interpolation is needed for the reconstruction of the value function and the accuracy essentially relies on the time step h . These features permit a reduction in CPU time and in memory allocations. The synthesis of optimal feedback controls is based on the values on the tree and an interpolation on the values obtained on the tree will be necessary if a different discretization in the control space is adopted, e.g. to improve the accuracy of the method in the reconstruction of the optimal trajectories. Several examples show how this algorithm can be applied to problems in low dimension and compare it to a classical DP method on a grid.


Message passing on networks with loops. In this paper we offer a solution to a long standing problem in the study of networks. Message passing is a fundamental technique for calculations on networks and graphs. The first versions of the method appeared in the 1930s and over the decades it has been applied to a wide range of foundational problems in mathematics, physics, computer science, statistics, and machine learning, including Bayesian inference, spin models, coloring, satisfiability, graph partitioning, network epidemiology, and the calculation of matrix eigenvalues. Despite its wide use, however, it has long been recognized that the method has a fundamental flaw it only works on networks that are free of short loops. Loops introduce correlations that cause the method to give inaccurate answers at best, and to fail completely in the worst cases. Unfortunately, almost all real world networks contain many short loops, which limits the usefulness of the message passing approach. In this paper we demonstrate how to rectify this shortcoming and create message passing methods that work on any network. We give two example applications, one to the percolation properties of networks and the other to the calculation of the spectra of sparse matrices.


EGG a toolkit for research on Emergence of lanGuage in Games. There is renewed interest in simulating language emergence among deep neural agents that communicate to jointly solve a task, spurred by the practical aim to develop language enabled interactive AIs, as well as by theoretical questions about the evolution of human language. However, optimizing deep architectures connected by a discrete communication channel (such as that in which language emerges) is technically challenging. We introduce EGG, a toolkit that greatly simplifies the implementation of emergent language communication games. EGG's modular design provides a set of building blocks that the user can combine to create new games, easily navigating the optimization and architecture space. We hope that the tool will lower the technical barrier, and encourage researchers from various backgrounds to do original work in this exciting area.


Soft Gazetteers for Low Resource Named Entity Recognition. Traditional named entity recognition models use gazetteers (lists of entities) as features to improve performance. Although modern neural network models do not require such hand crafted features for strong performance, recent work has demonstrated their utility for named entity recognition on English data. However, designing such features for low resource languages is challenging, because exhaustive entity gazetteers do not exist in these languages. To address this problem, we propose a method of "soft gazetteers" that incorporates ubiquitously available information from English knowledge bases, such as Wikipedia, into neural named entity recognition models through cross lingual entity linking. Our experiments on four low resource languages show an average improvement of 4 points in F1 score. Code and data are available at https github.com neulab soft gazetteers.


On the closure requirement for VOF simulations with RANS modeling. The volume of fluid (VOF) method is increasingly used in computational fluid dynamics (CFD) simulations of turbulent two phase flows. The Reynolds Averaged Navier Stokes (RANS) approach is an economic and practical way for turbulent VOF simulations. Even though RANS VOF simulations are widely conducted, the underlying physics is barely discussed. This study reveals the very basic closure requirement for RANS VOF simulations.


The smoothest average Dirichlet, Fej 'er and Chebyshev. We are interested in the smoothest'' averaging that can be achieved by convolving functions f in ell 2( mathbb Z ) with an averaging function u . More precisely, suppose u n, ldots, n to mathbb R is a symmetric function normalized to sum k n n u(k) 1 . We show that every convolution operator is not too smooth, in the sense that sup f in ell 2( mathbb Z ) frac nabla (f u) ell 2( mathbb Z ) f ell 2 geq frac 2 2n 1 , and we show that equality holds if and only if u is constant on the interval n, ldots, n . In the setting where smoothness is measured by the ell 2 norm of the discrete second derivative and we further restrict our attention to functions u with nonnegative Fourier transform, we establish the inequality sup f in ell 2( mathbb Z ) frac Delta (f u) ell 2( mathbb Z ) f ell 2( mathbb Z ) geq frac 4 (n 1) 2 , with equality if and only if u is the triangle function u(k) (n 1 k ) (n 1) 2 . We also discuss a continuous analogue and several open problems.


On the discrepancy of random subsequences of n alpha II. Let alpha be an irrational number, let X 1, X 2, ldots be independent, identically distributed, integer valued random variables, and put S k sum j 1 k X j . Assuming that X 1 has finite variance or heavy tails P ( X 1 t) sim ct beta , 0 beta 2 , in Part I of this paper we proved that, up to logarithmic factors, the order of magnitude of the discrepancy D N (S k alpha) of the first N terms of the sequence S k alpha is O(N tau ) , where tau min (1 ( beta gamma), 1 2) (with beta 2 in the case of finite variances) and gamma is the strong Diophantine type of alpha . This shows a change of behavior of the discrepancy at beta gamma 2 . In this paper we determine the exact order of magnitude of D N (S k alpha) for beta gamma 1 , and determine the limit distribution of N 1 2 D N (S k alpha) . We also prove a functional version of these results describing the asymptotic behavior of a wide class of functionals of the sequence S k alpha . Finally, we extend our results to the discrepancy of S k for general random walks S k without arithmetic conditions on X 1 , assuming only a mild polynomial rate on the weak convergence of S k to the uniform distribution.


Does BERT agree? Evaluating knowledge of structure dependence through agreement relations. Learning representations that accurately model semantics is an important goal of natural language processing research. Many semantic phenomena depend on syntactic structure. Recent work examines the extent to which state of the art models for pre training representations, such as BERT, capture such structure dependent phenomena, but is largely restricted to one phenomenon in English number agreement between subjects and verbs. We evaluate BERT's sensitivity to four types of structure dependent agreement relations in a new semi automatically curated dataset across 26 languages. We show that both the single language and multilingual BERT models capture syntax sensitive agreement patterns well in general, but we also highlight the specific linguistic contexts in which their performance degrades.


Learning Rope Manipulation Policies Using Dense Object Descriptors Trained on Synthetic Depth Data. Robotic manipulation of deformable 1D objects such as ropes, cables, and hoses is challenging due to the lack of high fidelity analytic models and large configuration spaces. Furthermore, learning end to end manipulation policies directly from images and physical interaction requires significant time on a robot and can fail to generalize across tasks. We address these challenges using interpretable deep visual representations for rope, extending recent work on dense object descriptors for robot manipulation. This facilitates the design of interpretable and transferable geometric policies built on top of the learned representations, decoupling visual reasoning and control. We present an approach that learns point pair correspondences between initial and goal rope configurations, which implicitly encodes geometric structure, entirely in simulation from synthetic depth images. We demonstrate that the learned representation dense depth object descriptors (DDODs) can be used to manipulate a real rope into a variety of different arrangements either by learning from demonstrations or using interpretable geometric policies. In 50 trials of a knot tying task with the ABB YuMi Robot, the system achieves a 66 knot tying success rate from previously unseen configurations. See https tinyurl.com rope learning for supplementary material and videos.


On the exponential Diophantine equation (n 1) x (n 2) y n z . Suppose that n is a positive integer. In this paper, we show that the exponential Diophantine equation (n 1) x (n 2) y n z , n geq 2, xyz neq 0 has only the positive integer solutions (n,x,y,z) (3,2,1,2), (3,1,2,3) . The main tools on the proofs are Baker's theory and Bilu Hanrot Voutier's result on primitive divisors of Lucas numbers.


A truncated real interpolation method and characterizations of screened Sobolev spaces. In this paper we prove structural and topological characterizations of the screened Sobolev spaces with screening functions bounded below and above by positive constants. We generalize a method of interpolation to the case of seminormed spaces. This method, which we call the truncated method, generates the screened Sobolev subfamily and a more general screened Besov scale. We then prove that the screened Besov spaces are equivalent to the sum of a Lebesgue space and a homogeneous Sobolev space and provide a Littlewood Paley frequency space characterization.


QuatRE Relation Aware Quaternions for Knowledge Graph Embeddings. We propose a simple yet effective embedding model to learn quaternion embeddings for entities and relations in knowledge graphs. Our model aims to enhance correlations between head and tail entities given a relation within the Quaternion space with Hamilton product. The model achieves this goal by further associating each relation with two relation aware rotations, which are used to rotate quaternion embeddings of the head and tail entities, respectively. Experimental results show that our proposed model produces state of the art performances on well known benchmark datasets for knowledge graph completion. Our code is available at url https github.com daiquocnguyen QuatRE .


Ergodicity and Perturbation Bounds for M t M t 1 Queue with Balking, Catastrophes, Server Failures and Repairs. In this paper, we display methods for the computation of convergence and perturbation bounds for M t M t 1 system with balking, catastrophes, server failures and repairs. Based on the logarithmic norm of linear operators, the bounds on the rate of convergence, perturbation bounds, and the main limiting characteristics of the queue length process are obtained. Finally, we consider the application of all obtained estimates to a specific model.


SUPER A Novel Lane Detection System. AI based lane detection algorithms were actively studied over the last few years. Many have demonstrated superior performance compared with traditional feature based methods. The accuracy, however, is still generally in the low 80 or high 90 , or even lower when challenging images are used. In this paper, we propose a real time lane detection system, called Scene Understanding Physics Enhanced Real time (SUPER) algorithm. The proposed method consists of two main modules 1) a hierarchical semantic segmentation network as the scene feature extractor and 2) a physics enhanced multi lane parameter optimization module for lane inference. We train the proposed system using heterogeneous data from Cityscapes, Vistas and Apollo, and evaluate the performance on four completely separate datasets (that were never seen before), including Tusimple, Caltech, URBAN KITTI ROAD, and X 3000. The proposed approach performs the same or better than lane detection models already trained on the same dataset and performs well even on datasets it was never trained on. Real world vehicle tests were also conducted. Preliminary test results show promising real time lane detection performance compared with the Mobileye.


Algebraic blinding and cryptographic trilinear maps. It has been shown recently that cryptographic trilinear maps are sufficient for achieving indistinguishability obfuscation. In this paper we develop algebraic blinding techniques for constructing such maps. An earlier approach involving Weil restriction can be regarded as a special case of blinding in our framework. However, the techniques developed in this paper are more general, more robust, and easier to analyze. The trilinear maps constructed in this paper are efficiently computable. The relationship between the published entities and the hidden entities under the blinding scheme is described by algebraic conditions. Finding points on an algebraic set defined by such conditions for the purpose of unblinding is difficult as these algebraic sets have dimension at least linear in n and involves Omega(n 2) variables, where n is the security parameter. Finding points on such algebraic sets in general takes time exponential in n 2 log n with the best known methods. Additionally these algebraic sets are characterized as being em triply confusing and most likely em uniformly confusing as well. These properties provide additional evidence that efficient algorithms to find points on such algebraic sets seems unlikely to exist. In addition to algebraic blinding, the security of the trilinear maps also depends on the computational complexity of a trapdoor discrete logarithm problem which is defined in terms of an associative non commutative polynomial algebra acting on torsion points of a blinded product of elliptic curves.


Hipster random walks. We introduce and study a family of random processes on trees we call hipster random walks, special instances of which we heuristically connect to the min plus binary trees introduced by Robin Pemantle and studied by Auffinger and Cable (2017 arXiv 1709.07849), and to the critical random hierarchical lattice studied by Hambly and Jordan (2004). We prove distributional convergence for the processes by showing that their evolutions can be understood as a discrete analogues of certain convection diffusion equations, then using a combination of coupling arguments and results from the numerical analysis literature on convergence of numerical approximations of PDEs.


Blowup solutions for stochastic parabolic equations. In this short paper, we are concerned with the blowup phenomenon of stochastic parabolic equations. By using comparison principle and the results of deterministic parabolic equations, we obtain blowup results of solutions for stochastic parabolic equations.


Rank adaptive structure preserving model order reduction of Hamiltonian systems. This work proposes an adaptive structure preserving model order reduction method for finite dimensional parametrized Hamiltonian systems modeling non dissipative phenomena. To overcome the slowly decaying Kolmogorov width typical of transport problems, the full model is approximated on local reduced spaces that are adapted in time using dynamical low rank approximation techniques. The reduced dynamics is prescribed by approximating the symplectic projection of the Hamiltonian vector field in the tangent space to the local reduced space. This ensures that the canonical symplectic structure of the Hamiltonian dynamics is preserved during the reduction. In addition, accurate approximations with low rank reduced solutions are obtained by allowing the dimension of the reduced space to change during the time evolution. Whenever the quality of the reduced solution, assessed via an error indicator, is not satisfactory, the reduced basis is augmented in the parameter direction that is worst approximated by the current basis. Extensive numerical tests involving wave interactions, nonlinear transport problems, and the Vlasov equation demonstrate the superior stability properties and considerable runtime speedups of the proposed method as compared to global and traditional reduced basis approaches.


Switched Max Link Relay Selection Algorithms for Buffer Aided Relay Systems. In this paper, we investigate relay selection for cooperative multiple antenna systems that are equipped with buffers, which increase the reliability of wireless links. In particular, we present a novel relay selection technique based on switching and the selection of the best link, that is named Switched Max Link. We also introduce a novel relay selection criterion based on the Maximum Likelihood (ML) principle and the Pairwise Error Probability (PEP) denoted Maximum Minimum Distance (MMD) that is incorporated into the proposed Switched Max Link protocol. We compare the proposed MMD to the existing Quadratic Norm (QN), in terms of PEP and computational complexity. Simulations are then employed to evaluate the performance of the proposed and existing techniques.


On Explaining Decision Trees. Decision trees (DTs) epitomize what have become to be known as interpretable machine learning (ML) models. This is informally motivated by paths in DTs being often much smaller than the total number of features. This paper shows that in some settings DTs can hardly be deemed interpretable, with paths in a DT being arbitrarily larger than a PI explanation, i.e. a subset minimal set of feature values that entails the prediction. As a result, the paper proposes a novel model for computing PI explanations of DTs, which enables computing one PI explanation in polynomial time. Moreover, it is shown that enumeration of PI explanations can be reduced to the enumeration of minimal hitting sets. Experimental results were obtained on a wide range of publicly available datasets with well known DT learning tools, and confirm that in most cases DTs have paths that are proper supersets of PI explanations.


A characterization of the degenerate complex Hessian equations for functions with bounded (p,m) energy. By proving an estimate of the sublevel sets for ( omega,m) subharmonic functions we obtain a Sobolev type inequality that is then used to characterize the degenerate complex Hessian equations for such functions with bounded (p,m) energy.


Fine Grained 3D Shape Classification with Hierarchical Part View Attentions. Fine grained 3D shape classification is important for shape understanding and analysis, which poses a challenging research problem. However, the studies on the fine grained 3D shape classification have rarely been explored, due to the lack of fine grained 3D shape benchmarks. To address this issue, we first introduce a new 3D shape dataset (named FG3D dataset) with fine grained class labels, which consists of three categories including airplane, car and chair. Each category consists of several subcategories at a fine grained level. According to our experiments under this fine grained dataset, we find that state of the art methods are significantly limited by the small variance among subcategories in the same category. To resolve this problem, we further propose a novel fine grained 3D shape classification method named FG3D Net to capture the fine grained local details of 3D shapes from multiple rendered views. Specifically, we first train a Region Proposal Network (RPN) to detect the generally semantic parts inside multiple views under the benchmark of generally semantic part detection. Then, we design a hierarchical part view attention aggregation module to learn a global shape representation by aggregating generally semantic part features, which preserves the local details of 3D shapes. The part view attention module hierarchically leverages part level and view level attention to increase the discriminability of our features. The part level attention highlights the important parts in each view while the view level attention highlights the discriminative views among all the views of the same object. In addition, we integrate a Recurrent Neural Network (RNN) to capture the spatial relationships among sequential views from different viewpoints. Our results under the fine grained 3D shape dataset show that our method outperforms other state of the art methods.


Multiplier theorems via martingale transforms. We develop a new approach to prove multiplier theorems in various geometric settings. The main idea is to use martingale transforms and a Gundy Varopoulos representation for multipliers defined via a suitable extension procedure. Along the way, we provide a probabilistic proof of a generalization of a result by Stinga and Torrea, which is of independent interest. Our methods here also recover the sharp L p bounds for second order Riesz transforms by a liming argument.


Concomitants of Ternary Quartics and Vector valued Siegel and Teichm "uller Modular Forms of Genus Three. We show how one can use the representation theory of ternary quartics to construct all vector valued Siegel modular forms and Teichm "uller modular forms of degree 3. The relation between the order of vanishing of a concomitant on the locus of double conics and the order of vanishing of the corresponding modular form on the hyperelliptic locus plays an important role. We also determine the connection between Teichm "uller cusp forms on overline M g and the middle cohomology of symplectic local systems on M g. In genus 3, we make this explicit in a large number of cases.


Betti numbers of symmetric shifted ideals. We introduce a new class of monomial ideals which we call symmetric shifted ideals. Symmetric shifted ideals are fixed by the natural action of the symmetric group and, within the class of monomial ideals fixed by this action, they can be considered as an analogue of stable monomial ideals within the class of monomial ideals. We show that a symmetric shifted ideal has linear quotients and compute its (equivariant) graded Betti numbers. As an application of this result, we obtain several consequences for graded Betti numbers of symbolic powers of defining ideals of star configurations.


Automorphisms of unnodal Enriques surfaces. It follows from an observation of A. Coble in 1919 that the automorphism group of an unnodal Enriques surface contains the 2 congruence subgroup of the Weyl group of the E 10 lattice. In this article, we determine how much bigger the automorphism group of an unnodal Enriques surface can be. Furthermore, we show that the automorphism group is in fact equal to the 2 congruence subgroup for generic Enriques surfaces in arbitrary characteristic (under the additional assumption that the Enriques surface is ordinary if the characteristic is 2 ), improving the corresponding result of W. Barth and C. Peters for very general Enriques surfaces over the complex numbers.


Almost square dual Banach spaces. We show that finite dimensional Banach spaces fail to be uniformly non locally almost square. Moreover, we construct an equivalent almost square bidual norm on ell infty. As a consequence we get that every dual Banach space containing c 0 has an equivalent almost square dual norm. Finally we characterize separable real almost square spaces in terms of their position in their fourth duals.


Monochromatic Components in Edge Coloured Graphs with Large Minimum Degree. For every n in mathbb N and k geq2 , it is known that every k edge colouring of the complete graph on n vertices contains a monochromatic connected component of order at least frac n k 1 . For k geq3 , it is known that the complete graph can be replaced by a graph G with delta(G) geq(1 varepsilon k)n for some constant varepsilon k . In this paper, we show that the maximum possible value of varepsilon 3 is frac16 . This disproves a conjecture of Gy ' a rfas and S ' a rk " o zy.


Dilation theory a guided tour. Dilation theory is a paradigm for studying operators by way of exhibiting an operator as a compression of another operator which is in some sense well behaved. For example, every contraction can be dilated to (i.e., is a compression of) a unitary operator, and on this simple fact a penetrating theory of non normal operators has been developed. In the first part of this survey, I will leisurely review key classical results on dilation theory for a single operator or for several commuting operators, and sample applications of dilation theory in operator theory and in function theory. Then, in the second part, I will give a rapid account of a plethora of variants of dilation theory and their applications. In particular, I will discuss dilation theory of completely positive maps and semigroups, as well as the operator algebraic approach to dilation theory. In the last part, I will present relatively new dilation problems in the noncommutative setting which are related to the study of matrix convex sets and operator systems, and are motivated by applications in control theory. These problems include dilating tuples of noncommuting operators to tuples of commuting normal operators with a specified joint spectrum. I will also describe the recently studied problem of determining the optimal constant c c theta, theta' , such that every pair of unitaries U,V satisfying VU e i theta UV can be dilated to a pair of cU', cV' , where U',V' are unitaries that satisfy the commutation relation V'U' e i theta' U'V' . The solution of this problem gives rise to a new and surprising application of dilation theory to the continuity of the spectrum of the almost Mathieu operator from mathematical physics.


Reduced Order Modeling of Diffusively Coupled Network Systems An Optimal Edge Weighting Approach. This paper studies reduced order modeling of dynamic networks with strongly connected topology. Given a graph clustering of an original complex network, we construct a quotient graph with less number of vertices, where the edge weights are parameters to be determined. The model of the reduced network is thereby obtained with parameterized system matrices, and then an edge weighting procedure is devised, aiming to select an optimal set of edge weights that minimizes the approximation error between the original and the reduced order network models in terms of H2 norm. The effectiveness of the proposed method is illustrated by a numerical example.


Lateral shifts and angular deviations of Gaussian optical beams reflected by and transmitted through dielectric blocks A tutorial review. In this work, we summarize the current state of understanding of lateral displacement and angular deviations of an optical beam propagating through dielectric blocks. In part I, the analytical formulas, found for critical incidence, are compared with numerical calculations and, when possible, extended from Gaussian to more general angular distributions. Angular deviations are discussed both for the critical and for the Brewster incidence. The combined effect, known as the composite Goos Haenchen shift, shows an interesting axial dependence and, under particular circumstances, the intriguing phenomenon of the light oscillation. In part II, the weak measurement technique is discussed in detail and compared with direct optical measurements.


Symbolic Dynamics in the Elliptic Isosceles Restricted Three Body Problem. The elliptic isosceles restricted three body problem (REI3BP) models the motion of a massless body under the influence of the Newtonian gravitational force caused by two other bodies called the primaries. The primaries of masses m 1 m 2 move along a degenerate Keplerian elliptic collision orbit (on a line) under their gravitational attraction, whereas the third, massless particle, moves on the plane perpendicular to their line of motion and passing through the center of mass of the primaries. By symmetry, the component of the angular momentum G of the massless particle along the direction of the line of the primaries is conserved. We show the existence of symbolic dynamics in the REI3BP for large G by building a Smale horseshoe on a certain subset of the phase space. As a consequence we deduce that the REI3BP possesses oscillatory motions, namely orbits which leave every bounded region but return infinitely often to some fixed bounded region. The proof relies on the existence of transversal homoclinic connections associated to an invariant manifold at infinity. Since the distance between the stable and unstable manifolds of infinity is exponentially small, Melnikov theory does not apply.


Signed analogue of line graphs and their smallest eigenvalues. In this paper, we show that every connected signed graph with smallest eigenvalue strictly greater than 2 and large enough minimum degree is switching equivalent to a complete graph. This is a signed analogue of a theorem of Hoffman. The proof is based on what we call Hoffman's limit theorem which we formulate for Hermitian matrices, and also the extension of the concept of Hoffman graph and line graph for the setting of signed graphs.


Torus cannot collapse to a segment. In earlier work, we analyzed the impossibility of codimension one collapse for surfaces of negative Euler characteristic under the condition of a lower bound for the Gaussian curvature. Here we show that, under similar conditions, the torus cannot collapse to a segment. Unlike the torus, the Klein bottle can collapse to a segment we show that in such a situation, the loops in a short basis for homology must stay a uniform distance apart.


Arithmetic properties of polynomial solutions of the Diophantine equation P(x)x n 1 Q(x)(x 1) n 1 1 . For each integer n geq 1 we consider the unique polynomials P, Q in mathbb Q x of smallest degree n that are solutions of the equation P(x)x n 1 Q(x)(x 1) n 1 1 . We derive numerous properties of these polynomials and their derivatives, including explicit expansions, differential equations, recurrence relations, generating functions, resultants, discriminants, and irreducibility results. We also consider some related polynomials and their properties.


Accuracy Prevents Robustness in Perception based Control. In this paper we prove the existence of a fundamental trade off between accuracy and robustness in perception based control, where control decisions rely solely on data driven, and often incompletely trained, perception maps. In particular, we consider a control problem where the state of the system is estimated from measurements extracted from a high dimensional sensor, such as a camera. We assume that a map between the camera's readings and the state of the system has been learned from a set of training data of finite size, from which the noise statistics are also estimated. We show that algorithms that maximize the estimation accuracy (as measured by the mean squared error) using the learned perception map tend to perform poorly in practice, where the sensor's statistics often differ from the learned ones. Conversely, increasing the variability and size of the training data leads to robust performance, however limiting the estimation accuracy, and thus the control performance, in nominal conditions. Ultimately, our work proves the existence and the implications of a fundamental trade off between accuracy and robustness in perception based control, which, more generally, affects a large class of machine learning and data driven algorithms.


Approximation of functions with small mixed smoothness in the uniform norm. In this paper we present results on asymptotic characteristics of multivariate function classes in the uniform norm. Our main interest is the approximation of functions with mixed smoothness parameter not larger than 1 2 . Our focus will be on the behavior of the best m term trigonometric approximation as well as the decay of Kolmogorov and entropy numbers in the uniform norm. It turns out that these quantities share a few fundamental abstract properties like their behavior under real interpolation, such that they can be treated simultaneously. We start with proving estimates on finite rank convolution operators with range in a step hyperbolic cross. These results imply bounds for the corresponding function space embeddings by a well known decomposition technique. The decay of Kolmogorov numbers have direct implications for the problem of sampling recovery in L 2 in situations where recent results in the literature are not applicable since the corresponding approximation numbers are not square summable.


Wreath product in automorphism groups of graphs. The automorphism group of the composition of graphs G circ H contains the wreath product Aut(H) wr Aut(G) of the automorphism groups of the corresponding graphs. The classical problem considered by Sabidussi and Hemminger was under what conditions G circ H has no other automorphisms. In this paper we deal with the converse. If the automorphism group of a graph (or a colored graph or digraph) is the wreath product A wr B of permutation groups, then the graph must be the result of the corresponding construction. The question we consider is whether A and B must be the automorphism groups of graphs involved in the construction. We solve this problem, generally in positive, for the wreath product in its natural imprimitive action (which refers to the results by Sabidussi and Hemminger). Yet, we consider also the same problems for the wreath product in its product action, which turns out to be more complicated and leads to interesting open questions involving other combinatorial structures.


Robust Face Alignment by Multi order High precision Hourglass Network. Heatmap regression (HR) has become one of the mainstream approaches for face alignment and has obtained promising results under constrained environments. However, when a face image suffers from large pose variations, heavy occlusions and complicated illuminations, the performances of HR methods degrade greatly due to the low resolutions of the generated landmark heatmaps and the exclusion of important high order information that can be used to learn more discriminative features. To address the alignment problem for faces with extremely large poses and heavy occlusions, this paper proposes a heatmap subpixel regression (HSR) method and a multi order cross geometry aware (MCG) model, which are seamlessly integrated into a novel multi order high precision hourglass network (MHHN). The HSR method is proposed to achieve high precision landmark detection by a well designed subpixel detection loss (SDL) and subpixel detection technology (SDT). At the same time, the MCG model is able to use the proposed multi order cross information to learn more discriminative representations for enhancing facial geometric constraints and context information. To the best of our knowledge, this is the first study to explore heatmap subpixel regression for robust and high precision face alignment. The experimental results from challenging benchmark datasets demonstrate that our approach outperforms state of the art methods in the literature.


A Bandit Approach to Posterior Dialog Orchestration Under a Budget. Building multi domain AI agents is a challenging task and an open problem in the area of AI. Within the domain of dialog, the ability to orchestrate multiple independently trained dialog agents, or skills, to create a unified system is of particular significance. In this work, we study the task of online posterior dialog orchestration, where we define posterior orchestration as the task of selecting a subset of skills which most appropriately answer a user input using features extracted from both the user input and the individual skills. To account for the various costs associated with extracting skill features, we consider online posterior orchestration under a skill execution budget. We formalize this setting as Context Attentive Bandit with Observations (CABO), a variant of context attentive bandits, and evaluate it on simulated non conversational and proprietary conversational datasets.


Phenomenology of diagrams in Book II of the Elements. In this paper, we provide an interpretation of Book II of the Elements from the perspective of figures which are represented and not represented on the diagrams. We show that Euclid's reliance on figures not represented on the diagram is a proof technique which enables to turn his diagrams II.11 14 into ideograms of a kind. We also discuss interpretations of Book II developed by J. Baldwin and A. Mueller, L. Corry, D. Fowler, R. Hartshorne, I. Mueller, K. Saito, and the so called geometric algebraic interpretation in B. van der Waerden's version.


Affective touch communication in close adult relationships. Inter personal touch is a powerful aspect of social interaction that we expect to be particularly important for emotional communication. We studied the capacity of closely acquainted humans to signal the meaning of several word cues (e.g. gratitude, sadness) using touch sensation alone. Participants communicated all cues with above chance performance. We show that emotionally close people can accurately signal the meaning of different words through touch, and that performance is affected by the amount of contextual information available. Even with minimal context and feedback, both attention getting and love were communicated surprisingly well. Neither the type of close relationship, nor self reported comfort with touch significantly affected performance.


Turbulence statistics in a negatively buoyant multiphase plume. We investigate the turbulence statistics in a multiphase plume made of heavy particles (particle Reynolds number at terminal velocity is 450) . Using refractive index matched stereoscopic particle image velocimetry, we measure the locations of particles whose buoyancy drives the formation of a multiphase plume, together with the local velocity of the induced flow in the ambient salt water . Measurements in the plume centerplane exhibit self similarity in mean flow characteristics consistent with classic integral plume theories. The turbulence characteristics resemble those measured in a bubble plume, including strong anisotropy in the normal Reynolds stresses. However, we observe structural differences between the two multiphase plumes. First, the skewness of the probability density function (PDF) of the axial velocity fluctuations is not that which would be predicted by simply reversing the direction of a bubble plume. Second, in contrast to a bubble plume, the particle plume has a non negligible fluid shear production term in the turbulent kinetic energy (TKE) budget. Third, the radial decay of all measured terms in the TKE budget is slower than those in a bubble plume. Despite these dissimilarities, a bigger picture emerges that applies to both flows. The TKE production by particles (or bubbles) roughly balances the viscous dissipation, except near the plume centerline. The one dimensional power spectra of the velocity fluctuations show a 3 power law that puts both the particle and bubble plume in a category different from single phase shear flow turbulence.


Compact and high precision wavemeters using the Talbot effect and signal processing. Precise knowledge of a laser's wavelength is crucial for applications from spectroscopy to telecommunications. Here we present a wavemeter which operates on the Talbot effect. Tone parameter extraction algorithms are used to retrieve the frequency of the periodic signal obtained in the sampled Talbot interferogram. Theoretical performance analysis based on the Cram 'er Rao lower bound (CRLB) as well as experimental results are presented and discussed. With this scheme, we experimentally demonstrate a compact and high precision wavemeter with below 10 pm single shot estimation uncertainty under the 3 sigma criterion around 780 nm.


Reachability is Tower Complete. A complete characterization of the complexity of the reachability problem for vector addition system has been open for a long time. The problem is shown to be Tower complete.


Toeplitz determinants associated with Ma Minda classes of starlike and convex functions. A starlike function f is characterized by the quantity zf'(z) f(z) lying in the right half plane. This paper deals with sharp bounds for certain symmetric Toeplitz determinants whose entries are the coefficients of the functions f for which the quantity zf'(z) f(z) takes values in certain specific subset in the right half plane. The results obtained include several new special cases and some known results.


Relative Arbitrage Sharp Time Horizons and Motion by Curvature. We characterize the minimal time horizon over which any equity market with d geq 2 stocks and sufficient intrinsic volatility admits relative arbitrage with respect to the market portfolio. If d in 2,3 , the minimal time horizon can be computed explicitly, its value being zero if d 2 and sqrt 3 (2 pi) if d 3 . If d geq 4 , the minimal time horizon can be characterized via the arrival time function of a geometric flow of the unit simplex in mathbb R d that we call the minimum curvature flow.


Milking CowMask for Semi Supervised Image Classification. Consistency regularization is a technique for semi supervised learning that underlies a number of strong results for classification with few labeled data. It works by encouraging a learned model to be robust to perturbations on unlabeled data. Here, we present a novel mask based augmentation method called CowMask. Using it to provide perturbations for semi supervised consistency regularization, we achieve a state of the art result on ImageNet with 10 labeled data, with a top 5 error of 8.76 and top 1 error of 26.06 . Moreover, we do so with a method that is much simpler than many alternatives. We further investigate the behavior of CowMask for semi supervised learning by running many smaller scale experiments on the SVHN, CIFAR 10 and CIFAR 100 data sets, where we achieve results competitive with the state of the art, indicating that CowMask is widely applicable. We open source our code at https github.com google research google research tree master milking cowmask


Predicting the Post Impact Velocity of a Robotic Arm via Rigid Multibody Models an Experimental Study. Accurate post impact velocity predictions are essential in developing impact aware manipulation strategies for robots, where contacts are intentionally established at non zero speed mimicking human manipulation abilities in dynamic grasping and pushing of objects. Starting from the recorded dynamic response of a 7DOF torque controlled robot that intentionally impacts a rigid surface, we investigate the possibility and accuracy of predicting the post impact robot velocity from the pre impact velocity and impact configuration. The velocity prediction is obtained by means of an impact map, derived using the framework of nonsmooth mechanics, that makes use of the known rigid body robot model and the assumption of a frictionless inelastic impact.The main contribution is proposing a methodology that allows for a meaningful quantitative comparison between the recorded post impact data, that exhibits a damped oscillatory response after the impact, and the post impact velocity prediction derived via the readily available rigid body robot model, that presents no oscillations and that is the one typically obtained via mainstream robot simulator software. The results of this new approach are promising in terms of prediction accuracy and thus relevant for the growing field of impact aware robot control. The recorded impact data (18 experiments) is made publicly available, together with the numerical routines employed to generate the quantitative comparison, to further stimulate interest research in this field.


Stability index of linear random dynamical systems. Given a homogeneous linear discrete or continuous dynamical system, its stability index is given by the dimension of the stable manifold of the zero solution. In particular, for the n dimensional case, the zero solution is globally asymptotically stable if and only if this stability index is n. Fixed n, let X be the random variable that assigns to each linear random dynamical system its stability index, and let p k with k 0,1, ldots,n, denote the probabilities that P(X k) . In this paper we obtain either the exact values p k, or their estimations by combining the Monte Carlo method with a least square approach that uses some affine relations among the values p k,k 0,1, ldots,n. The particular case of n order homogeneous linear random differential or difference equations is also studied in detail.


Parameterised Counting in Logspace. In this paper, we introduce a new framework for parameterised counting in logspace, inspired by the parameterised space bounded models developed by Elberfeld, Stockhusen and Tantau (IPEC 2013, Algorithmica 2015). They defined the operators paraW and paraBeta for parameterised space complexity classes by allowing bounded nondeterminism with multiple read and read once access, respectively. Using these operators, they characterised the parameterised complexity of natural problems on graphs. In the spirit of the operators paraW and paraBeta by Stockhusen and Tantau, we introduce variants based on tail nondeterminism, paraW 1 and paraBeta Tail. Then, we consider counting versions of all four operators applied to logspace and obtain several natural complete problems for the resulting classes counting of paths in digraphs, counting first order models for formulas, and counting graph homomorphisms. Furthermore, we show that the complexity of a parameterised variant of the determinant function for (0,1) matrices is paraBeta Tail L hard and can be written as the difference of two functions in paraBetaTail L. For example, we show that the closure of paraBetaTail L under parameterised logspace parsimonious reductions coincides with paraBeta L, that is, modulo parameterised reductions, tail nondeterminism with read once access is the same as read once nondeterminism. We show that all introduced classes are closed under addition and multiplication, and those without tail nondeterminism are closed under parameterised logspace parsimonious reductions. Finally, we underline the significance of this topic by providing a promising outlook showing several open problems and options for further directions of research.


The Bochner Schoenberg Eberlein Property for Fr 'echet C algebras and uniform Fr 'echet Algebras. Takahasi and Hatori introduced a class of commutative Banach algebras which satisfy a Bochner Schoenberg Eberlein type inequality. Baised on their results we introduced a class of commutative Fr 'echet algebras which satisfy this property. We show that Fr 'echet C algebras and uniform Fr 'echet algebras are BSE algebras.


Dense Registration and Mosaicking of Fingerprints by Training an End to End Network. Dense registration of fingerprints is a challenging task due to elastic skin distortion, low image quality, and self similarity of ridge pattern. To overcome the limitation of handcraft features, we propose to train an end to end network to directly output pixel wise displacement field between two fingerprints. The proposed network includes a siamese network for feature embedding, and a following encoder decoder network for regressing displacement field. By applying displacement fields reliably estimated by tracing high quality fingerprint videos to challenging fingerprints, we synthesize a large number of training fingerprint pairs with ground truth displacement fields. In addition, based on the proposed registration algorithm, we propose a fingerprint mosaicking method based on optimal seam selection. Registration and matching experiments on FVC2004 databases, Tsinghua Distorted Fingerprint (TDF) database, and NIST SD27 latent fingerprint database show that our registration method outperforms previous dense registration methods in accuracy and efficiency. Mosaicking experiment on FVC2004 DB1 demonstrates that the proposed algorithm produced higher quality fingerprints than other algorithms which also validates the performance of our registration algorithm.


Multi Aspect Sentiment Analysis with Latent Sentiment Aspect Attribution. In this paper, we introduce a new framework called the sentiment aspect attribution module (SAAM). SAAM works on top of traditional neural networks and is designed to address the problem of multi aspect sentiment classification and sentiment regression. The framework works by exploiting the correlations between sentence level embedding features and variations of document level aspect rating scores. We demonstrate several variations of our framework on top of CNN and RNN based models. Experiments on a hotel review dataset and a beer review dataset have shown SAAM can improve sentiment analysis performance over corresponding base models. Moreover, because of the way our framework intuitively combines sentence level scores into document level scores, it is able to provide a deeper insight into data (e.g., semi supervised sentence aspect labeling). Hence, we end the paper with a detailed analysis that shows the potential of our models for other applications such as sentiment snippet extraction.


Kruskal based approximation algorithm for the multi level Steiner tree problem. We study the multi level Steiner tree problem a generalization of the Steiner tree problem in graphs where terminals T require varying priority, level, or quality of service. In this problem, we seek to find a minimum cost tree containing edges of varying rates such that any two terminals u , v with priorities P(u) , P(v) are connected using edges of rate min P(u),P(v) or better. The case where edge costs are proportional to their rate is approximable to within a constant factor of the optimal solution. For the more general case of non proportional costs, this problem is hard to approximate with ratio c log log n , where n is the number of vertices in the graph. A simple greedy algorithm by Charikar et al., however, provides a min 2( ln T 1), ell rho approximation in this setting, where rho is an approximation ratio for a heuristic solver for the Steiner tree problem and ell is the number of priorities or levels (Byrka et al. give a Steiner tree algorithm with rho approx 1.39 , for example). In this paper, we describe a natural generalization to the multi level case of the classical (single level) Steiner tree approximation algorithm based on Kruskal's minimum spanning tree algorithm. We prove that this algorithm achieves an approximation ratio at least as good as Charikar et al., and experimentally performs better with respect to the optimum solution. We develop an integer linear programming formulation to compute an exact solution for the multi level Steiner tree problem with non proportional edge costs and use it to evaluate the performance of our algorithm on both random graphs and multi level instances derived from SteinLib.


Introducing Representations of Facial Affect in Automated Multimodal Deception Detection. Automated deception detection systems can enhance health, justice, and security in society by helping humans detect deceivers in high stakes situations across medical and legal domains, among others. This paper presents a novel analysis of the discriminative power of dimensional representations of facial affect for automated deception detection, along with interpretable features from visual, vocal, and verbal modalities. We used a video dataset of people communicating truthfully or deceptively in real world, high stakes courtroom situations. We leveraged recent advances in automated emotion recognition in the wild by implementing a state of the art deep neural network trained on the Aff Wild database to extract continuous representations of facial valence and facial arousal from speakers. We experimented with unimodal Support Vector Machines (SVM) and SVM based multimodal fusion methods to identify effective features, modalities, and modeling approaches for detecting deception. Unimodal models trained on facial affect achieved an AUC of 80 , and facial affect contributed towards the highest performing multimodal approach (adaptive boosting) that achieved an AUC of 91 when tested on speakers who were not part of training sets. This approach achieved a higher AUC than existing automated machine learning approaches that used interpretable visual, vocal, and verbal features to detect deception in this dataset, but did not use facial affect. Across all videos, deceptive and truthful speakers exhibited significant differences in facial valence and facial arousal, contributing computational support to existing psychological theories on affect and deception. The demonstrated importance of facial affect in our models informs and motivates the future development of automated, affect aware machine learning approaches for modeling and detecting deception and other social behaviors in the wild.


The effect of seasonal strength and abruptness on predator prey dynamics. Coupled dynamical systems in ecology are known to respond to the seasonal forcing of their parameters with multiple dynamical behaviours, ranging from seasonal cycles to chaos. Seasonal forcing is predominantly modelled as a sine wave but the transition between seasons is often more sudden. Some studies mentioned the robustness of their results to the shape of the forcing signal, without detailed analyses. Therefore, whether and how the shape of seasonal forcing affects the dynamics of coupled dynamical systems remains unclear, while abrupt seasonal transitions are widespread in ecological systems. To provide some answers, we conduct a numerical analysis of the dynamical response of predator prey communities to the shape of the forcing signal by exploring the joint effect of two features of seasonal forcing the magnitude of the signal, which is classically the only one studied, and the shape of the signal, abrupt or sinusoidal. We consider both linear and saturating functional responses, and focus on seasonal forcing of the predator's discovery rate, which fluctuates with changing environmental conditions and prey's ability to escape predation. Our numerical results highlight that a more abrupt seasonal forcing mostly alters the magnitude of population fluctuations and triggers period doubling bifurcations, as well as the emergence of chaos, at lower forcing strength than for sine waves. Controlling the variance of the forcing signal mitigates this trend but does not fully suppress it, which suggests that the variance is not the only feature of the shape of seasonal forcing that acts on community dynamics. Although theoretical studies may predict correctly the sequence of bifurcations using sine waves as a representation of seasonality, there is a rationale for applied studies to implement as realistic seasonal forcing as possible to make precise predictions of community dynamics.


Multiple criteria decision analysis with the SRF II method to compare hypotheses of adaptive reuse for an iconic historical building. The paper shows how Multiple Criteria Decision Aiding (MCDA) tools can support the analyses of six hypotheses of adaptive reuse of an iconic historical building in Turin, Italy (called Stock Exchange) to identify the preferred alternative. In the last two years, the debate around the requalification of the building has been huge for several reasons it is perceived as a "monument" by citizens it shows architectural and typological values nationally recognized it involves public and private interests. In this context, interacting with experts involved in the ongoing discussion, we consider a recently proposed conjunction of four MCDA methods, namely Multiple Criteria Hierarchy Process (MCHP), permitting to consider structural relationships between criteria ELECTRE III, considering three types of interaction effects between criteria (strengthening, weakening and antagonistic effects) the imprecise SRF method, supplying an easily understandable approach to collect information from the DM and Stochastic Multicriteria Acceptability Analysis (SMAA), providing robust recommendation, in terms of rankings and relations of preference, indifference and incomparability between project alternatives, at each level of the hierarchy. We propose a modification of the SRF methodology, called SFR II, to increase the reliability of the decision aid procedure, which could constitute a significant advance for the same SRF method.


FASTA Q Data Compressors for MapReduce Hadoop Genomics Space and Time Savings Made Easy Version 1. Motivation Storage of genomic data is a major cost for the Life Sciences, effectively addressed mostly via specialized data compression methods. For the same reasons of abundance in data production, the use of Big Data technologies is seen as the future for genomic data storage and processing, with MapReduce Hadoop as leaders. Somewhat surprisingly, none of the specialized FASTA Q compressors is available within Hadoop. Indeed, their deployment there is not exactly immediate. Such a State of the Art is problematic. Results We provide major advances in two different directions. Methodologically, we propose two general methods, with the corresponding software, that make very easy to deploy a specialized FASTA Q compressor within MapReduce Hadoop for processing files stored on the distributed Hadoop File System, with very little knowledge of Hadoop. Practically, we provide evidence that the deployment of those specialized compressors within Hadoop, not available so far, results in major cost savings, i.e., on large plant genomes, 30 less HDFS data blocks (one block 128MB), speed up of at least x1.5 in I O time and comparable or reduced network communication time with respect to the use of generic compressors available in Hadoop. Finally, we observe that these results hold also for the Apache Spark framework, when used to process FASTA Q files stored on the Hadoop File System.


Finding Diverse Trees, Paths, and More. Mathematical modeling is a standard approach to solve many real world problems and em diversity of solutions is an important issue, emerging in applying solutions obtained from mathematical models to real world problems. Many studies have been devoted to finding diverse solutions. Baste et al. (Algorithms 2019, IJCAI 2020) recently initiated the study of computing diverse solutions of combinatorial problems from the perspective of fixed parameter tractability. They considered problems of finding r solutions that maximize some diversity measures (the minimum or sum of the pairwise Hamming distances among them) and gave some fixed parameter tractable algorithms for the diverse version of several well known problems, such as sc Vertex Cover , sc Feedback Vertex Set , sc d Hitting Set , and problems on bounded treewidth graphs. In this work, we investigate the (fixed parameter) tractability of problems of finding diverse spanning trees, paths, and several subgraphs. In particular, we show that, given a graph G and an integer r , the problem of computing r spanning trees of G maximizing the sum of the pairwise Hamming distances among them can be solved in polynomial time. To the best of the authors' knowledge, this is the first polynomial time solvable case for finding diverse solutions of unbounded size.


Sparse domination results for compactness on weighted spaces. By means of appropriate sparse bounds, we deduce compactness on weighted L p(w) spaces, 1 p infty , for all Calder 'on Zygmund operators having compact extensions on L 2( mathbb R n) . Similar methods lead to new results on boundedness and compactness of Haar multipliers on weighted spaces. In particular, we prove weighted bounds for weights in a class strictly larger than the typical A p class.


Iterative Collision Resolution for Slotted ALOHA with NOMA for Heterogeneous Devices. In this paper, the problem of using uncoordinated multiple access (UMA) to serve a massive amount of heterogeneous users is investigated. Leveraging the heterogeneity, we propose a novel UMA protocol, called iterative collision resolution for slotted ALOHA (IRSA) with non orthogonal multiple access (NOMA), to improve the conventional IRSA. In addition to the inter slot successive interference cancellation (SIC) technique used in existing IRSA based schemes, the proposed protocol further employs the intra slot SIC technique that enables collision resolution for certain configurations of collided packets. A novel multi dimensional density evolution is then proposed to analyze and to optimize the proposed protocol. Simulation results show that the proposed IRSA with NOMA protocol can efficiently exploit the heterogeneity among users and the multi dimensional density evolution can accurately predict the throughput performance. Last, an extension of the proposed IRSA with NOMA protocol to the frame asynchronous setting is investigated, where a boundary effect similar to that in spatially coupled low density parity check codes can be observed to bootstrap the decoding process.


A Method to Generate High Precision Mesh Model and RGB D Datasetfor 6D Pose Estimation Task. Recently, 3D version has been improved greatly due to the development of deep neural networks. A high quality dataset is important to the deep learning method. Existing datasets for 3D vision has been constructed, such as Bigbird and YCB. However, the depth sensors used to make these datasets are out of date, which made the resolution and accuracy of the datasets cannot full fill the higher standards of demand. Although the equipment and technology got better, but no one was trying to collect new and better dataset. Here we are trying to fill that gap. To this end, we propose a new method for object reconstruction, which takes into account the speed, accuracy and robustness. Our method could be used to produce large dataset with better and more accurate annotation. More importantly, our data is more close to the rendering data, which shrinking the gap between the real data and synthetic data further.


Tracer turbulence the Batchelor Howells Townsend spectrum revisited. Given a velocity field u(x,t) , we consider the evolution of a passive tracer theta governed by partial t theta u cdot nabla theta Delta theta g with time independent source g(x) . When u is small, Batchelor, Howells and Townsend (1959, J. Fluid Mech. 5 134) predicted that the tracer spectrum scales as theta k 2 propto k 4 u k 2 . In this paper, we prove that this scaling does indeed hold for large k , in a probabilistic sense, for random synthetic two dimensional incompressible velocity fields u(x,t) with given energy spectra. We also propose an asymptotic correction factor to the BHT scaling arising from the time dependence of u .


A Multifidelity Ensemble Kalman Filter with Reduced Order Control Variates. This work develops a new multifidelity ensemble Kalman filter (MFEnKF) algorithm based on linear control variate framework. The approach allows for rigorous multifidelity extensions of the EnKF, where the uncertainty in coarser fidelities in the hierarchy of models represent control variates for the uncertainty in finer fidelities. Small ensembles of high fidelity model runs are complemented by larger ensembles of cheaper, lower fidelity runs, to obtain much improved analyses at only small additional computational costs. We investigate the use of reduced order models as coarse fidelity control variates in the MFEnKF, and provide analyses to quantify the improvements over the traditional ensemble Kalman filters. We apply these ideas to perform data assimilation with a quasi geostrophic test problem, using direct numerical simulation and a corresponding POD Galerkin reduced order model. Numerical results show that the two fidelity MFEnKF provides better analyses than existing EnKF algorithms at comparable or reduced computational costs.


Embodied Question Answering in Photorealistic Environments with Point Cloud Perception. To help bridge the gap between internet vision style problems and the goal of vision for embodied perception we instantiate a large scale navigation task Embodied Question Answering 1 in photo realistic environments (Matterport 3D). We thoroughly study navigation policies that utilize 3D point clouds, RGB images, or their combination. Our analysis of these models reveals several key findings. We find that two seemingly naive navigation baselines, forward only and random, are strong navigators and challenging to outperform, due to the specific choice of the evaluation setting presented by 1 . We find a novel loss weighting scheme we call Inflection Weighting to be important when training recurrent models for navigation with behavior cloning and are able to out perform the baselines with this technique. We find that point clouds provide a richer signal than RGB images for learning obstacle avoidance, motivating the use (and continued study) of 3D deep learning models for embodied navigation.


Spectral Cross Cumulants for Multicolor Super resolved SOFI Imaging. Super resolution optical fluctuation imaging (SOFI) provides a resolution beyond the diffraction limit by analysing stochastic fluorescence fluctuations with higher order statistics. Using nth order spatio temporal cross cumulants the spatial resolution as well as the sampling can be increased up to n fold in all three spatial dimensions. In this study, we extend the cumulant analysis into the spectral domain and propose a novel multicolor super resolution scheme. The simultaneous acquisition of two spectral channels followed by spectral cross cumulant analysis and unmixing increase the spectral sampling. The number of discriminable fluorophore species is thus not limited to the number of physical detection channels. Using two color channels, we demonstrate spectral unmixing of three fluorophore species in simulations and multiple experiments with different cellular structures, fluorophores and filter sets. Based on an eigenvalue vector analysis we propose a scheme for an optimized spectral filter choice. Overall, our methodology provides a novel route for easy to implement multicolor sub diffraction imaging using standard microscopes while conserving the spatial super resolution property. This makes simultaneous multiplexed super resolution fluorescence imaging widely accessible to the life science community interested to probe colocalization between two or more molecular species.


On smoothing properties of the Bergman projection. We study smoothing properties of the Bergman projection and also of weighted Bergman projections. In particular, we relate these properties to the hyperconvexity index of a pseudoconvex domain in mathbb C n . The notion of a hyperconvexity index was first introduced by B.Y. Chen, which provides a flexible criterion for studying geometric properties of hyperconvex domains. We also obtain a new estimate of weighted Bergman projections, which improves a well known estimate of Berndtsson and Charpentier. We give several applications of this estimate, including the study of smoothing properties of weighted Bergman projections.


Contact Ion Pairs of Phosphate Groups in Water Two Dimensional Infrared Spectroscopy of Dimethyl Phosphate and Ab Initio Simulations. The interaction of phosphate groups with ions in an aqueous environment has a strong impact on the structure and folding processes of DNA and RNA. The dynamic variety of ionic arrangements, including both contact pairs and water separated ions, and the molecular coupling mechanisms are far from being understood. In a combined experimental and theoretical approach, we address the properties of contact ion pairs of the prototypical system dimethyl phosphate with Na , Ca 2 , and Mg 2 ions in water. Linear and femtosecond two dimensional infrared (2D IR) spectroscopy of the asymmetric (PO 2 ) stretching vibration separates and characterizes the different species via their blue shifted vibrational signatures and 2D IR lineshapes. Phosphate magnesium contact pairs stand out as the most compact geometry while the contact pairs with Ca 2 and Na display a wider structural variation. Microscopic density functional theory simulations rationalize the observed frequency shifts and reveal distinct differences between the contact geometries.


Monosynaptic inference via finely timed spikes. Observations of finely timed spike relationships in population recordings have been used to support partial reconstruction of neural microcircuit diagrams. In this approach, fine timescale components of paired spike train interactions are isolated and subsequently attributed to synaptic parameters. Recent perturbation studies strengthen the case for such an inference, yet the complete set of measurements needed to calibrate statistical models are unavailable. To address this gap, we study features of pairwise spiking in a large scale in vivo dataset where presynaptic neurons were explicitly decoupled from network activity by juxtacellular stimulation. We then construct biophysical models of paired spike trains to reproduce the observed phenomenology of in vivo monosynaptic interactions, including both fine timescale spike spike correlations and firing irregularity. A key characteristic of these models is that the paired neurons are coupled by rapidly fluctuating background inputs. We quantify a monosynapse's causal effect by comparing the postsynaptic train with its counterfactual, when the monosynapse is removed. Subsequently, we develop statistical techniques for estimating this causal effect from the pre and post synaptic spike trains. A particular focus is the justification and application of a nonparametric separation of timescale principle to implement synaptic inference. Using simulated data generated from the biophysical models, we characterize the regimes in which the estimators accurately identify the monosynaptic effect. A secondary goal is to initiate a critical exploration of neurostatistical assumptions in terms of biophysical mechanisms, particularly with regards to the challenging but arguably fundamental issue of fast, unobservable nonstationarities in background dynamics.


Optimal solution of the liquidation problem under execution risk. We consider an investor that trades continuously and wants to liquidate an initial asset position within a prescribed time interval. During the execution of the liquidation order the investor is subject to execution risk. We study the problem of finding the optimal liquidation strategy adopted by the investor in order to maximize the expected revenue resulting from the liquidation. We present a mathematical model of the liquidation problem that extends the model of Almgren and Chriss (Almgren, R., Chriss, N., Optimal execution of portfolio transactions, Journal of Risk, 2000) to include execution risk. The liquidation problem is modeled as a linear quadratic stochastic optimal control problem with finite horizon and, under some hypotheses, is solved explicitly.


Elmendorf constructions for G categories and G posets. We introduce new Elmendorf constructions for equivariant categories and posets, and we prove that they are compatible with the classical topological one. Our constructions are more concrete than their model categorical counterparts, and they give rise to new proofs of the Elmendorf theorems for equivariant categories and posets.


Existence, regularity and uniqueness of weak solutions with bounded magnetic fields to the steady Hall MHD system. Under the condition of small external forces, we obtain existence of a weak solution of the steady Hall MHD system with H " o lder continuous magnetic field. We also established regularity of weak solutions provided that magnetic fields are bounded. For sufficiently small external forces, uniqueness result is also established.


Dynamics of an imprecise stochastic Holling II one predator two prey system with jumps. Groups in ecology are often affected by sudden environmental perturbations. Parameters of stochastic models are often imprecise due to various uncertainties. In this paper, we formulate a stochastic Holling II one predator two prey system with jumps and interval parameters. Firstly, we prove the existence and uniqueness of the positive solution. Moreover, the sufficient conditions for the extinction and persistence in the mean of the solution are obtained.