A xi weak Grothendieck compactness principle. For 0 leqslant xi leqslant omega 1 , we define the notion of xi weakly precompact and xi weakly compact sets in Banach spaces and prove that a set is xi weakly precompact if and only if its weak closure is xi weakly compact. We prove a quantified version of Grothendieck's compactness principle and the characterization of Schur spaces obtained by Dowling et al. For 0 leqslant xi leqslant omega 1 , we prove that a Banach space X has the xi Schur property if and only if every xi weakly compact set is contained in the closed, convex hull of a weakly null (equivalently, norm null) sequence.


Exterior point Optimization for Nonconvex Learning. In this paper we present the nonconvex exterior point optimization solver (NExOS) a novel first order algorithm tailored to constrained nonconvex learning problems. We consider the problem of minimizing a convex function over nonconvex constraints, where the projection onto the constraint set is single valued around local minima. A wide range of nonconvex learning problems have this structure including (but not limited to) sparse and low rank optimization problems. By exploiting the underlying geometry of the constraint set, NExOS finds a locally optimal point by solving a sequence of penalized problems with strictly decreasing penalty parameters. NExOS solves each penalized problem by applying a first order algorithm, which converges linearly to a local minimum of the corresponding penalized formulation under regularity conditions. Furthermore, the local minima of the penalized problems converge to a local minimum of the original problem as the penalty parameter goes to zero. We implement NExOS in the open source Julia package NExOS.jl, which has been extensively tested on many instances from a wide variety of learning problems. We demonstrate that our algorithm, in spite of being general purpose, outperforms specialized methods on several examples of well known nonconvex learning problems involving sparse and low rank optimization. For sparse regression problems, NExOS finds locally optimal solutions which dominate glmnet in terms of support recovery, yet its training loss is smaller by an order of magnitude. For low rank optimization with real world data, NExOS recovers solutions with 3 fold training loss reduction, but with a proportion of explained variance that is 2 times better compared to the nuclear norm heuristic.


P SLOCAL Completeness of Maximum Independent Set Approximation. We prove that the maximum independent set approximation problem with polylogarithmic approximation factor is P SLOCAL complete. Thus an efficient algorithm for the maximum independent set approximation in the LOCAL model implies efficient algorithms for many problems in the LOCAL model including the computation of (polylog n, polylog n) network decompositions.


Aerogel based metasurfaces for perfect acoustic energy absorption. The unusual viscoelastic properties of silica aerogel plates are efficiently used to design subwavelength perfect sound absorbers. We theoretically, numerically and experimentally report a perfect absorbing metamaterial panel made of periodically arranged resonant building blocks consisting of a slit loaded by a clamped aerogel plate backed by a closed cavity. The impedance matching condition is analyzed using the Argand diagram of the reflection coefficient, i.e., the trajectory of the reflection coefficient as a function of frequency in the complex plane. The lack or excess of losses in the system can be identified via this Argand diagram in order to achieve the impedance matching condition. The universality of this tool can be further exploited to design more complex metasurfaces for perfect sound absorption, thus allowing the rapid design of novel and efficient absorbing metamaterials.


Instance wise Depth and Motion Learning from Monocular Videos. We present an end to end joint training framework that explicitly models 6 DoF motion of multiple dynamic objects, ego motion and depth in a monocular camera setup without supervision. Our technical contributions are three fold. First, we propose a differentiable forward rigid projection module that plays a key role in our instance wise depth and motion learning. Second, we design an instance wise photometric and geometric consistency loss that effectively decomposes background and moving object regions. Lastly, we introduce a new auto annotation scheme to produce video instance segmentation maps that will be utilized as input to our training pipeline. These proposed elements are validated in a detailed ablation study. Through extensive experiments conducted on the KITTI dataset, our framework is shown to outperform the state of the art depth and motion estimation methods. Our code and dataset will be available at https github.com SeokjuLee Insta DM.


Using p row graphs to study p competition graphs. For a positive integer p , the p competition graph of a digraph D is a graph which has the same vertex set as D and an edge between distinct vertices x and y if and only if x and y have at least p common out neighbors in D . A graph is said to be a p competition graph if it is the p competition graph of a digraph. Given a graph G , we call the set of positive integers p such that G is a p competition the competition realizer of a graph G . In this paper, we introduce the notion of p row graph of a matrix which generalizes the existing notion of row graph. We call the graph obtained from a graph G by identifying each pair of adjacent vertices which share the same closed neighborhood the condensation of G . Using the notions of p row graph and condensation of a graph, we study competition realizers for various graphs to extend results given by Kim it et al. p competition graphs, it Linear Algebra Appl. bf 217 (1995) 167 178 . Especially, we find all the elements in the competition realizer for each caterpillar.


What Makes a Data GIF Understandable?. GIFs are enjoying increasing popularity on social media as a format for data driven storytelling with visualization simple visual messages are embedded in short animations that usually last less than 15 seconds and are played in automatic repetition. In this paper, we ask the question, "What makes a data GIF understandable?" While other storytelling formats such as data videos, infographics, or data comics are relatively well studied, we have little knowledge about the design factors and principles for "data GIFs". To close this gap, we provide results from semi structured interviews and an online study with a total of 118 participants investigating the impact of design decisions on the understandability of data GIFs. The study and our consequent analysis are informed by a systematic review and structured design space of 108 data GIFs that we found online. Our results show the impact of design dimensions from our design space such as animation encoding, context preservation, or repetition on viewers' understanding of the GIF's core message. The paper concludes with a list of suggestions for creating more effective Data GIFs.


Families of finite sets in which no set is covered by the union of the others. Let F be a finite nonempty family of finite nonempty sets. We prove the following (i) F satisfies the condition of the title if and only if for every pair of distinct subfamilies A 1,...,A r , B 1,...,B s of F, the union of the A i is different from the union of the B i. (ii) If F satisfies the condition of the title, then the number of subsets of the union of the members of F containing at least one set of F is odd. We give two applications of these results, one to number theory and one to commutative algebra.


BDNet Bengali Handwritten Numeral Digit Recognition based on Densely connected Convolutional Neural Networks. Images of handwritten digits are different from natural images as the orientation of a digit, as well as similarity of features of different digits, makes confusion. On the other hand, deep convolutional neural networks are achieving huge success in computer vision problems, especially in image classification. BDNet is a densely connected deep convolutional neural network model used to classify (recognize) Bengali handwritten numeral digits. It is end to end trained using ISI Bengali handwritten numeral dataset. During training, untraditional data preprocessing and augmentation techniques are used so that the trained model works on a different dataset. The model has achieved the test accuracy of 99.775 (baseline was 99.40 ) on the test dataset of ISI Bengali handwritten numerals. So, the BDNet model gives 62.5 error reduction compared to previous state of the art models. Here we have also created a dataset of 1000 images of Bengali handwritten numerals to test the trained model, and it giving promising results. Codes, trained model and our own dataset are available at https github.com Sufianlab BDNet .


An Affective Situation Labeling System from Psychological Behaviors in Emotion Recognition. This paper presents a computational framework for providing affective labels to real life situations, called A Situ. We first define an affective situation, as a specific arrangement of affective entities relevant to emotion elicitation in a situation. Then, the affective situation is represented as a set of labels in the valence arousal emotion space. Based on physiological behaviors in response to a situation, the proposed framework quantifies the expected emotion evoked by the interaction with a stimulus event. The accumulated result in a spatiotemporal situation is represented as a polynomial curve called the affective curve, which bridges the semantic gap between cognitive and affective perception in real world situations. We show the efficacy of the curve for reliable emotion labeling in real world experiments, respectively concerning 1) a comparison between the results from our system and existing explicit assessments for measuring emotion, 2) physiological distinctiveness in emotional states, and 3) physiological characteristics correlated to continuous labels. The efficiency of affective curves to discriminate emotional states is evaluated through subject dependent classification performance using bicoherence features to represent discrete affective states in the valence arousal space. Furthermore, electroencephalography based statistical analysis revealed the physiological correlates of the affective curves.


Elementary hypergeometric functions, Heun functions, and moments of MKZ operators. We consider some hypergeometric functions and prove that they are elementary functions. Consequently, the second order moments of Meyer Konig and Zeller type operators are elementary functions. The higher order moments of these operators are expressed in terms of elementary functions and polylogarithms. Other applications are concerned with the expansion of certain Heun functions in series or finite sums of elementary hypergeometric functions.


SCAT Second Chance Autoencoder for Textual Data. We present a k competitive learning approach for textual autoencoders named Second Chance Autoencoder (SCAT). SCAT selects the k largest and smallest positive activations as the winner neurons, which gain the activation values of the loser neurons during the learning process, and thus focus on retrieving well representative features for topics. Our experiments show that SCAT achieves outstanding performance in classification, topic modeling, and document visualization compared to LDA, K Sparse, NVCTM, and KATE.


Query Variant Advertisement Text Generation with Association Knowledge. Online advertising is an important revenue source for many IT companies. In the search advertising scenario, advertisement text that meets the need of the search query would be more attractive to the user. However, the manual creation of query variant advertisement texts for massive items is expensive. Traditional text generation methods tend to focus on the general searching needs with high frequency while ignoring the diverse personalized searching needs with low frequency. In this paper, we propose the query variant advertisement text generation task that aims to generate candidate advertisement texts for different web search queries with various needs based on queries and item keywords. To solve the problem of ignoring low frequency needs, we propose a dynamic association mechanism to expand the receptive field based on external knowledge, which can obtain associated words to be added to the input. These associated words can serve as bridges to transfer the ability of the model from the familiar high frequency words to the unfamiliar low frequency words. With association, the model can make use of various personalized needs in queries and generate query variant advertisement texts. Both automatic and human evaluations show that our model can generate more attractive advertisement text than baselines.


Geometric aspects of two and threepeakons. We apply geometric tools to study dynamics of two and threepeakon solutions of the Camassa Holm equation. New proofs of asymptotic behavior of the solutions are given. In particular we recover well known collision conditions. Additionally the Gauss curvature (in the twopeakon case) and the sectional curvature (in the treepeakon case) of corresponding manifolds are computed.


Polynomial Trace Identities in SL(2, bf C ) , Quaternion Algebras, and Two generator Kleinian Groups. We study certain polynomial trace identities in the group SL(2, IC) and their application in the theory of discrete groups. We obtain canonical representations for two generator groups in S 4 and then in S 5 we give a new proof for Gehring and Martin's polynomial trace identities for good words, and extend that result to a larger class which is also closed under a semigroup operation inducing polynomial composition. This new approach is through the use of quaternion algebras over indefinites and an associated group of units. We obtain structure theorems for these quaternion algebras which appear to be of independent interest in S 8. Using these quaternion algebras and their units, we consider their relation to discrete subgroups of SL(2, IC) giving necessary and sufficient criteria for discreteness, and another for arithmeticity S 9. We then show that for the groups IZ p IZ 2 , the complement of the closure of roots of the good word polynomials is precisely the moduli space of geometrically finite discrete and faithful representations a result we show holds in greater generality in S12.


How to Ask Better Questions? A Large Scale Multi Domain Dataset for Rewriting Ill Formed Questions. We present a large scale dataset for the task of rewriting an ill formed natural language question to a well formed one. Our multi domain question rewriting MQR dataset is constructed from human contributed Stack Exchange question edit histories. The dataset contains 427,719 question pairs which come from 303 domains. We provide human annotations for a subset of the dataset as a quality estimate. When moving from ill formed to well formed questions, the question quality improves by an average of 45 points across three aspects. We train sequence to sequence neural models on the constructed dataset and obtain an improvement of 13.2 in BLEU 4 over baseline methods built from other data resources. We release the MQR dataset to encourage research on the problem of question rewriting.


Autoencoding Word Representations through Time for Semantic Change Detection. Semantic change detection concerns the task of identifying words whose meaning has changed over time. The current state of the art detects the level of semantic change in a word by comparing its vector representation in two distinct time periods, without considering its evolution through time. In this work, we propose three variants of sequential models for detecting semantically shifted words, effectively accounting for the changes in the word representations over time, in a temporally sensitive manner. Through extensive experimentation under various settings with both synthetic and real data we showcase the importance of sequential modelling of word vectors through time for detecting the words whose semantics have changed the most. Finally, we take a step towards comparing different approaches in a quantitative manner, demonstrating that the temporal modelling of word representations yields a clear cut advantage in performance.


Towards human level performance on automatic pose estimation of infant spontaneous movements. Assessment of spontaneous movements can predict the long term developmental disorders in high risk infants. In order to develop algorithms for automated prediction of later disorders, highly precise localization of segments and joints by infant pose estimation is required. Four types of convolutional neural networks were trained and evaluated on a novel infant pose dataset, covering the large variation in 1 424 videos from a clinical international community. The localization performance of the networks was evaluated as the deviation between the estimated keypoint positions and human expert annotations. The computational efficiency was also assessed to determine the feasibility of the neural networks in clinical practice. The best performing neural network had a similar localization error to the inter rater spread of human expert annotations, while still operating efficiently. Overall, the results of our study show that pose estimation of infant spontaneous movements has a great potential to support research initiatives on early detection of developmental disorders in children with perinatal brain injuries by quantifying infant movements from video recordings with human level performance.


On the Generalized Ornstein Uhlenbeck Semigroup. We give several functional inequalities related to the Ornstein Uhlenbeck semigroup in the Dunkl differential difference operators setting. As an application of these inequalities, we derive out a Sobolev logarithmic and an hypercontractivity properties for this semigroup


3D hierarchical optimization for Multi view depth map coding. Depth data has a widespread use since the popularity of high resolution 3D sensors. In multi view sequences, depth information is used to supplement the color data of each view. This article proposes a joint encoding of multiple depth maps with a unique representation. Color and depth images of each view are segmented independently and combined in an optimal Rate Distortion fashion. The resulting partitions are projected to a reference view where a coherent hierarchy for the multiple views is built. A Rate Distortionoptimization is applied to obtain the final segmentation choosing nodes of the hierarchy. The consistent segmentation is used to robustly encode depth maps of multiple views obtaining competitive results with HEVC coding standards. Available at http link.springer.com article 10.1007 s11042 017 5409 z


Magnetic Octupole Response of Dielectric Oligomers. The development of new approaches to tuning the resonant magnetic response of simple all dielectric nanostructures is very important in modern nanophotonics. Here we show that a resonant magnetic octupole (MOCT) response can be obtained by dividing a solid rectangular silicon block to an oligomer structure with the introduction of narrow gaps between four nanocubes. We control and tune the spectral position of the MOCT resonance by varying the distance between the nanocubes. We demonstrate that several magnetic hot spots related to the MOCT resonance can be located in the gaps creating a strong magnetic field gradient in free space. We observe that the resonant excitation of the MOCT moment leads to a significant enhancement of light absorption in the system at the spectral region, where light absorption in bulk silicon is weak. The results of this work can be applied to design new composite antennas and metamaterials based on complex building blocks, energy harvesting devices and molecular trapping with magnetic hot spots.


A bi fidelity method for the multiscale Boltzmann equation with random parameters. In this paper, we study the multiscale Boltzmann equation with multi dimensional random parameters by a bi fidelity stochastic collocation (SC) method developed in A. Narayan, C. Gittelson and D. Xiu, SIAM J. Sci. Comput., 36 (2014) X. Zhu, A. Narayan and D. Xiu, SIAM J. Uncertain. Quantif., 2 (2014) . By choosing the compressible Euler system as the low fidelity model, we adapt the bi fidelity SC method to combine computational efficiency of the low fidelity model with high accuracy of the high fidelity (Boltzmann) model. With only a small number of high fidelity asymptotic preserving solver runs for the Boltzmann equation, the bi fidelity approximation can capture well the macroscopic quantities of the solution to the Boltzmann equation in the random space. A priori estimate on the accuracy between the high and bi fidelity solutions together with a convergence analysis is established. Finally, we present extensive numerical experiments to verify the efficiency and accuracy of our proposed method.


Comment on ''Inverse Doppler shift and control field as coherence generators for the stability in superluminal light''. In their study of inverse Doppler shift and superluminal light Phys. Rev. A 91, 053807 (2015) , Ghafoor et al. consider a three level atomic arrangement with transitions in the optical domain. In fact, the values they give to the parameters lead to a probe wavelength lying in the decimeter band. We point out that the Doppler shifts are then negligible and remark that the simulations performed by Ghafoor et al. do not evidence any superluminal effect.


Ergodic optimization for some dynamical systems beyond uniform hyperbolicity. In this paper, we show that for several interesting systems beyond uniform hyperbolicity, any generic continuous function has a unique maximizing measure with zero entropy. In some cases, we also know that the maximizing measure has full support. These interesting systems including singular hyperbolic attractors, C infty surface diffeomorphisms and diffeomorphisms away from homoclinic tangencies.


Estimating the Potential of Program Repair Search Spaces with Commit Analysis. The most natural method for evaluating program repair systems is to run them on bug datasets, such as Defects4J. Yet, using this evaluation technique on arbitrary real world programs requires heavy configuration. In this paper, we propose a purely static method to evaluate the potential of the search space of repair approaches. This new method enables researchers and practitioners to encode the search spaces of repair approaches and select potentially useful ones without struggling with tool configuration and execution. We encode the search spaces by specifying the repair strategies they employ. Next, we use the specifications to check whether past commits lie in repair search spaces. For a repair approach, including many human written past commits in its search space indicates its potential to generate useful patches. We implement our evaluation method in LighteR. LighteR gets a Git repository and outputs a list of commits whose source code changes lie in repair search spaces. We run LighteR on 55,309 commits from the history of 72 Github repositories with and show that LighteR's precision and recall are 77 and 92 , respectively. Overall, our experiments show that our novel method is both lightweight and effective to study the search space of program repair approaches.


On Quasi Steinberg characters of Symmetric and Alternating groups and their Double Covers. An irreducible character of a finite group G is called quasi p Steinberg character for a prime p if it takes a nonzero value on every p regular element of G . In this article, we classify the quasi p Steinberg characters of Symmetric ( S n ) and Alternating ( A n ) groups and their double covers. In particular, an existence of a non linear quasi p Steinberg character of S n implies n leq 8 and of A n implies n leq 9 .


"Going on a vacation" takes longer than "Going for a walk" A Study of Temporal Commonsense Understanding. Understanding time is crucial for understanding events expressed in natural language. Because people rarely say the obvious, it is often necessary to have commonsense knowledge about various temporal aspects of events, such as duration, frequency, and temporal order. However, this important problem has so far received limited attention. This paper systematically studies this temporal commonsense problem. Specifically, we define five classes of temporal commonsense, and use crowdsourcing to develop a new dataset, MCTACO, that serves as a test set for this task. We find that the best current methods used on MCTACO are still far behind human performance, by about 20 , and discuss several directions for improvement. We hope that the new dataset and our study here can foster more future research on this topic.


Singularity formation and regularization at multiple times in the viscous Hamilton Jacobi equation. The Cauchy Dirichlet pbm for the superquadratic viscous Hamilton Jacobi eqn (VHJ), which has important applications in stochastic control theory, admits a unique, global viscosity solution. Sol. thus exist in the weak sense after appearance of singularity in finite time, which occurs through gradient blow up (GBU) on the boundary. Whereas theory of visc. sol. has been extensively studied and applied to many PDEs, there are less results on refined behavior of sol. In particular, detailed behavior of visc. sol. of VHJ after GBU has remained mostly open. Here, in general dim., for each m ge 1 we construct sol. which undergo GBU and LBC at least at m times and then recover regularity, as well as sol. that exhibit GBU without LBC at 1st blowup time. In 1d, we obtain the complete classification of visc. sol. at each time, which extends to radial cases in higher d. Furthermore for each m ge 2 and arbitrarily given combination of GBU types with without LBC at m times in arbitrarily given order, we show exist. of a sol. with this exact combination of GBU. Some sol. display a new type of behavior called "bouncing". Global weak sol. of VHJ with multiple time singularity turn out to display larger variety of behaviors than for the Fujita eqn. We introduce a method based on an arbitrary number of critical parameters, whose continuity requires a delicate argument. Since we do not rely on any known special sol. unlike in Fujita eqn, our method is expected to apply to other eqns. Singular behaviors at multiple times are completely new in the context of VHJ but also of stochastic control theory. In this framework our results imply that for certain spatial distributions of rewards, if a controled Brownian particle starts near the boundary, then the net gain attains profitable values on different time horizons but not on some intermediate times.


Mathematical analysis and potential therapeutic implications of a novel HIV 1 model of basal and activated transcription in T cells and macrophages. HIV 1 affects tens of millions of people worldwide. Current treatments often involve a cocktail of antiretroviral drugs, which are effective in reducing the virus and extending life spans. However, there is currently no FDA approved HIV 1 transcription inhibitor. Furthermore, there have only been a few attempts to model the transcription process in HIV 1. In this work, we extend a novel three state model of HIV 1 transcription introduced in DeMarino et al. (2020) that has been developed and validated against experimental data. After fitting this model to in vitro data, significant differences in the transcription process of HIV 1 in T cells and macrophages have been observed. In particular, the activation of the HIV 1 promoter in T cells appears to take place rapidly as the Tat protein approaches a critical threshold. In contrast, the same process occurs smoother in macrophages. In this work, we carry out systematic mathematical analyses of the model to complement experimental data fitting and sensitivity analysis performed earlier. We derive explicit solutions of the model to obtain exact transcription process decay rates for the original model and then study the effect of nonlinearity on the system behavior, including the existence and the local and global stability of the positive equilibrium. We were able to show the stability of the positive steady state in limiting cases, with the global stability in the general case remaining an open question. By modeling the effect of transcription inhibiting drug therapy, we provide a nontrivial condition for it to be effective in reducing viral load. Moreover, our numerical simulations and analysis point out that the effect of the transcription inhibitor can be enhanced by synchronizing with standard treatments, such as combination antiretroviral therapy, to allow the reduction of total dosages and toxicity.


Maker Breaker on Digraphs. We study two biassed Maker Breaker games played on the complete digraph vec K n . In the strong connectivity game, Maker wants to build a strongly connected subgraph. We determine the asymptotic optimal bias for this game viz. frac n log n . In the Hamiltonian game, Maker wants to build a Hamiltonian subgraph. We determine the asymptotic optimal bias for this game up to a constant factor.


End to End 3D PointCloud Semantic Segmentation for Autonomous Driving. 3D semantic scene labeling is a fundamental task for Autonomous Driving. Recent work shows the capability of Deep Neural Networks in labeling 3D point sets provided by sensors like LiDAR, and Radar. Imbalanced distribution of classes in the dataset is one of the challenges that face 3D semantic scene labeling task. This leads to misclassifying for the non dominant classes which suffer from two main problems a) rare appearance in the dataset, and b) few sensor points reflected from one object of these classes. This paper proposes a Weighted Self Incremental Transfer Learning as a generalized methodology that solves the imbalanced training dataset problems. It re weights the components of the loss function computed from individual classes based on their frequencies in the training dataset, and applies Self Incremental Transfer Learning by running the Neural Network model on non dominant classes first, then dominant classes one by one are added. The experimental results introduce a new 3D point cloud semantic segmentation benchmark for KITTI dataset.


Communication Complexity of Distributed High Dimensional Correlation Testing. Two parties observe independent copies of a d dimensional vector and a scalar. They seek to test if their data is correlated or not, namely they seek to test if the norm rho 2 of the correlation vector rho between their observations exceeds tau or is it 0 . To that end, they communicate interactively and declare the output of the test. We show that roughly order d tau 2 bits of communication are sufficient and necessary for resolving the distributed correlation testing problem above. Furthermore, we establish a lower bound of roughly d 2 tau 2 bits for communication needed for distributed correlation estimation, rendering the estimate and test approach suboptimal in communication required for distributed correlation testing. For the one dimensional case with one way communication, our bounds are tight even in the constant and provide a precise dependence of communication complexity on the probabilities of error of two types.


Learning Disentangled Representation for Robust Person Re identification. We address the problem of person re identification (reID), that is, retrieving person images from a large dataset, given a query image of the person of interest. A key challenge is to learn person representations robust to intra class variations, as different persons can have the same attribute and the same person's appearance looks different with viewpoint changes. Recent reID methods focus on learning discriminative features but robust to only a particular factor of variations (e.g., human pose), which requires corresponding supervisory signals (e.g., pose annotations). To tackle this problem, we propose to disentangle identity related and unrelated features from person images. Identity related features contain information useful for specifying a particular person (e.g., clothing), while identity unrelated ones hold other factors (e.g., human pose, scale changes). To this end, we introduce a new generative adversarial network, dubbed emph identity shuffle GAN (IS GAN), that factorizes these features using identification labels without any auxiliary information. We also propose an identity shuffling technique to regularize the disentangled features. Experimental results demonstrate the effectiveness of IS GAN, significantly outperforming the state of the art on standard reID benchmarks including the Market 1501, CUHK03 and DukeMTMC reID. Our code and models are available online https cvlab yonsei.github.io projects ISGAN .


Arbitrarily high order structure preserving schemes for the Gross Pitaevskii equation with angular momentum rotation in three dimensions. In this paper, we design a novel class of arbitrarily high order structure preserving numerical schemes for the time dependent Gross Pitaevskii equation with angular momentum rotation in three dimensions. Based on the idea of the scalar auxiliary variable approach which is proposed in the recent papers J. Comput. Phys., 416 (2018) 353 407 and SIAM Rev., 61(2019) 474 506 for developing energy stable schemes for gradient flow systems, we firstly reformulate the Gross Pitaevskii equation into an equivalent system with a modified energy conservation law. The reformulated system is then discretized by the Gauss collocation method in time and the standard Fourier pseudo spectral method in space, respectively. We show that the proposed schemes can preserve the discrete mass and modified energy exactly. Numerical results are addressed to verify the efficiency and high order accuracy of the proposed schemes.


Characterizing network paths in and out of the clouds. Commercial Cloud computing is becoming mainstream, with funding agencies moving beyond prototyping and starting to fund production campaigns, too. An important aspect of any scientific computing production campaign is data movement, both incoming and outgoing. And while the performance and cost of VMs is relatively well understood, the network performance and cost is not. This paper provides a characterization of networking in various regions of Amazon Web Services, Microsoft Azure and Google Cloud Platform, both between Cloud resources and major DTNs in the Pacific Research Platform, including OSG data federation caches in the network backbone, and inside the clouds themselves. The paper contains both a qualitative analysis of the results as well as latency and throughput measurements. It also includes an analysis of the costs involved with Cloud based networking.


Homogeneous completely simple semigroups. A semigroup is completely simple if it has no proper ideals and contains a primitive idempotent. We say that a completely simple semigroup S is a homogeneous completely simple semigroup if any isomorphism between finitely generated completely simple subsemigroups of S extends to an automorphism of S . Motivated by the study of homogeneous completely regular semigroups, we obtain a complete classification of homogeneous completely simple semigroups, modulo the group case. As a consequence, all finite regular homogeneous semigroups are described, thus extending the work of Cherlin on homogeneous finite groups.


Upward Point Set Embeddings of Paths and Trees. We study upward planar straight line embeddings (UPSE) of directed trees on given point sets. The given point set S has size at least the number of vertices in the tree. For the special case where the tree is a path P we show that (a) If S is one sided convex, the number of UPSEs equals the number of maximal monotone paths in P . (b) If S is in general position and P is composed by three maximal monotone paths, where the middle path is longer than the other two, then it always admits an UPSE on S . We show that the decision problem of whether there exists an UPSE of a directed tree with n vertices on a fixed point set S of n points is NP complete, by relaxing the requirements of the previously known result which relied on the presence of cycles in the graph, but instead fixing position of a single vertex. Finally, by allowing extra points, we guarantee that each directed caterpillar on n vertices and with k switches in its backbone admits an UPSE on every set of n 2 k 2 points.


Getting Passive Aggressive About False Positives Patching Deployed Malware Detectors. False positives (FPs) have been an issue of extreme importance for anti virus (AV) systems for decades. As more security vendors turn to machine learning, alert deluge has hit critical mass with over 20 of all alerts resulting in FPs and, in some organizations, the number reaches half of all alerts. This increase has resulted in fatigue, frustration, and, worst of all, neglect from security workers on SOC teams. A foundational cause for FPs is that vendors must build one global system to try and satisfy all customers, but have no method to adjust to individual local environments. This leads to outrageous, albeit technically correct, characterization of their platforms being 99.9 effective. Once these systems are deployed the idiosyncrasies of individual, local environments expose blind spots that lead to FPs and uncertainty. We propose a strategy for fixing false positives in production after a model has already been deployed. For too long the industry has tried to combat these problems with inefficient, and at times, dangerous allowlist techniques and excessive model retraining which is no longer enough. We propose using a technique called passive aggressive learning to alter a malware detection model to an individual's environment, eliminating false positives without sharing any customer sensitive information. We will show how to use passive aggressive learning to solve a collection of notoriously difficult false positives from a production environment without compromising the malware model's accuracy, reducing the total number of FP alerts by an average of 23x.


Proceedings of the Artificial Intelligence for Cyber Security (AICS) Workshop 2020. The workshop will focus on the application of artificial intelligence to problems in cyber security. AICS 2020 emphasis will be on human machine teaming within the context of cyber security problems and will specifically explore collaboration between human operators and AI technologies. The workshop will address applicable areas of AI, such as machine learning, game theory, natural language processing, knowledge representation, automated and assistive reasoning and human machine interactions. Further, cyber security application areas with a particular emphasis on the characterization and deployment of human machine teaming will be the focus.


Evaluation of radon adsorption efficiency values in xenon with activated carbon fibers. The radioactive noble gas radon 222 ( mathrm 222 Rn , or Rn) produced in the uranium series is a crucial background source in many underground experiments. We have estimated the adsorption property of Rn with Activated Carbon Fibers (ACFs) in air (Air), argon (Ar), and xenon (Xe) gas. In this study, we evaluated six ACFs, named A 7, A 10, A 15, A 20, A 25, and S 25, provided from UNITIKA Ltd. We measured intrinsic radioactivity of these ACF samples, and found A 20's radioactivity of the uranium series is 5.5 mathrm mBq kg with 90 confidence level. In Air and Ar gas, we found ACF A 15 has the adsorption efficiency of 1 10000 reduction at maximum before saturation of Rn adsorption, and more than 97 adsorption efficiency after the saturation. In Xe gas, we found ACF A 20 has the best Rn adsorption ability among tested ACFs. We also found S 25, A 25, and A 15 have similar Rn adsorption performance.


Impossibility of Full Decentralization in Permissionless Blockchains. Bitcoin uses blockchain technology and proof of work (PoW) mechanism where nodes spend computing resources and earn rewards in return for spending these resources. This incentive system has caused power to be significantly biased towards a few nodes, called mining pools. In fact, poor decentralization appears not only in PoW based coins but also in coins adopting other mechanisms such as proof of stake (PoS) and delegated proof of stake (DPoS). In this paper, we target this centralization issue. To this end, we first define (m, varepsilon, delta) decentralization as a state that satisfies 1) there are at least m participants running a node and 2) the ratio between the total resource power of nodes run by the richest and delta th percentile participants is less than or equal to 1 varepsilon. To see if it is possible to achieve good decentralization, we introduce sufficient conditions for the incentive system of a blockchain to reach (m, varepsilon, delta) decentralization. When satisfying the conditions, a blockchain system can reach full decentralization with probability 1. However, to achieve this, the blockchain system should be able to assign a positive Sybil cost, where the Sybil cost is defined as the difference between the cost for one participant running multiple nodes and the total cost for multiple participants each running one node. On the other hand, we prove that when there is no Sybil cost, the probability of reaching (m, varepsilon, delta) decentralization is upper bounded by a value close to 0, considering a large rich poor gap. To determine the conditions that each system cannot satisfy, we also analyze protocols of all PoW, PoS, and DPoS coins in the top 100 coins according to our conditions. Finally, we conduct data analysis of these coins to validate our theory.


Stable components and layers. Component graphs Gamma 0 (F) are defined for arrays of sets F , and in particular for arrays of path components for Vietoris Rips complexes and Lesnick complexes. The path components of Gamma 0 (F) are the it stable components of the array F . The stable components for the system of Lesnick complexes L s,k (X) for a finite data set X decompose into layers, which are themselves path components of a graph. Combinatorial scoring functions are defined for layers and stable components.


Factual Error Correction for Abstractive Summarization Models. Neural abstractive summarization systems have achieved promising progress, thanks to the availability of large scale datasets and models pre trained with self supervised methods. However, ensuring the factual consistency of the generated summaries for abstractive summarization systems is a challenge. We propose a post editing corrector module to address this issue by identifying and correcting factual errors in generated summaries. The neural corrector model is pre trained on artificial examples that are created by applying a series of heuristic transformations on reference summaries. These transformations are inspired by an error analysis of state of the art summarization model outputs. Experimental results show that our model is able to correct factual errors in summaries generated by other neural summarization models and outperforms previous models on factual consistency evaluation on the CNN DailyMail dataset. We also find that transferring from artificial error correction to downstream settings is still very challenging.


A counterexample to an optimistic guess about 'etale local systems. In p adic Hodge theory, it is known that if a Galois representation is de Rham, then it becomes semistable after extension of the base field. Liu and Zhu asked whether a corresponding result holds in the relative setting given an 'etale local system on a quasi compact rigid analytic variety (for example, a projective scheme) over a p adic field, does it become semistable after a finite extension of the base field? We give a counterexample.


A portable and Linux capable RISC V computer system in Verilog HDL. RISC V is an open and royalty free instruction set architecture which has been developed at the University of California, Berkeley. The processors using RISC V can be designed and released freely. Because of this, various processor cores and system on chips (SoCs) have been released so far. However, there are a few public RISC V computer systems that are portable and can boot Linux operating systems. In this paper, we describe a portable and Linux capable RISC V computer system targeting FPGAs in Verilog HDL. This system can be implemented on an FPGA with fewer hardware resources, and can be implemented on low cost FPGAs or customized by introducing an accelerator. This paper also describes the knowledge obtained through the development of this RISC V computer system.


An affirmative answer to a conjecture related to the solvability of groups. In this paper, we show that each finite group G containing at most p 2 Sylow p subgroups for each odd prime number p , is a solvable group. In fact, we give a positive answer to the conjecture in cite Rob .


Contracting Boundary of a Cusped Space. Let G be a finitely generated group. Cashen and Mackay proved that if the contracting boundary of G with the topology of fellow travelling quasi geodesics is compact then G is a hyperbolic group. Let mathcal H be a finite collection of finitely generated infinite index subgroups of G . Let G h be the cusped space obtained by attaching combinatorial horoballs to each left cosets of elements of mathcal H . In this article, we prove that if the combinatorial horoballs are contracting and G h has compact contracting boundary then G is hyperbolic relative to mathcal H .


Generative Temporal Difference Learning for Infinite Horizon Prediction. We introduce the gamma model, a predictive model of environment dynamics with an infinite probabilistic horizon. Replacing standard single step models with gamma models leads to generalizations of the procedures central to model based control, including the model rollout and model based value estimation. The gamma model, trained with a generative reinterpretation of temporal difference learning, is a natural continuous analogue of the successor representation and a hybrid between model free and model based mechanisms. Like a value function, it contains information about the long term future like a standard predictive model, it is independent of task reward. We instantiate the gamma model as both a generative adversarial network and normalizing flow, discuss how its training reflects an inescapable tradeoff between training time and testing time compounding errors, and empirically investigate its utility for prediction and control.


Computing the Value of Data Towards Applied Data Minimalism. We present an approach to compute the monetary value of individual data points, in context of an automated decision system. The proposed method enables us to explore and implement a paradigm of data minimalism for large scale machine learning systems. Data minimalistic implementations enhance scalability, while maintaining or even optimizing a system's performance. Using two types of recommender systems, we first demonstrate how much data is ineffective in both settings. We then present a general account of computing data value via sensitivity analysis, and how, in theory, individual data points can be priced according to their informational contribution to automated decisions. We further exemplify this method to lab scale recommender systems and outline further steps towards commercial data minimalistic applications.


Associahedra, cyclohedra and inversion of power series. We introduce the Hopf monoid of sets of cycles and paths, which contains the Fa a di Bruno Hopf monoid as a submonoid. We give cancellation free and grouping free formulas for its antipode, one in terms of tubings and one in terms of emph pointed noncrossing partitions. We provide an explicit description of the group of characters of this Hopf monoid in terms of pairs of power series. Using graph associahedra, we relate paths and cycles to associahedra and cyclohedra, respectively. We give formulas for inversion in the group of characters in terms of the faces of these polytopes.


Understanding and Improving Proximity Graph based Maximum Inner Product Search. The inner product navigable small world graph (ip NSW) represents the state of the art method for approximate maximum inner product search (MIPS) and it can achieve an order of magnitude speedup over the fastest baseline. However, to date it is still unclear where its exceptional performance comes from. In this paper, we show that there is a strong norm bias in the MIPS problem, which means that the large norm items are very likely to become the result of MIPS. Then we explain the good performance of ip NSW as matching the norm bias of the MIPS problem large norm items have big in degrees in the ip NSW proximity graph and a walk on the graph spends the majority of computation on these items, thus effectively avoids unnecessary computation on small norm items. Furthermore, we propose the ip NSW algorithm, which improves ip NSW by introducing an additional angular proximity graph. Search is first conducted on the angular graph to find the angular neighbors of a query and then the MIPS neighbors of these angular neighbors are used to initialize the candidate pool for search on the inner product proximity graph. Experiment results show that ip NSW consistently and significantly outperforms ip NSW and provides more robust performance under different data distributions.


Localizing Anomalies from Weakly Labeled Videos. Video anomaly detection under video level labels is currently a challenging task. Previous works have made progresses on discriminating whether a video sequencecontains anomalies. However, most of them fail to accurately localize the anomalous events within videos in the temporal domain. In this paper, we propose a Weakly Supervised Anomaly Localization (WSAL) method focusing on temporally localizing anomalous segments within anomalous videos. Inspired by the appearance difference in anomalous videos, the evolution of adjacent temporal segments is evaluated for the localization of anomalous segments. To this end, a high order context encoding model is proposed to not only extract semantic representations but also measure the dynamic variations so that the temporal context could be effectively utilized. In addition, in order to fully utilize the spatial context information, the immediate semantics are directly derived from the segment representations. The dynamic variations as well as the immediate semantics, are efficiently aggregated to obtain the final anomaly scores. An enhancement strategy is further proposed to deal with noise interference and the absence of localization guidance in anomaly detection. Moreover, to facilitate the diversity requirement for anomaly detection benchmarks, we also collect a new traffic anomaly (TAD) dataset which specifies in the traffic conditions, differing greatly from the current popular anomaly detection evaluation benchmarks.Extensive experiments are conducted to verify the effectiveness of different components, and our proposed method achieves new state of the art performance on the UCF Crime and TAD datasets.


PAARS Privacy Aware Access Regulation System. During pandemics, health officials usually recommend access monitoring and regulation protocols systems in places that are major activity centres. As organizations adhere to those recommendations, they often fail to implement proper privacy requirements to prevent privacy loss of the users of those protocols or systems. This is a very timely issue as health authorities across the world are increasingly putting these regulations in place to mitigate the spread of the current pandemic. A number of solutions have been proposed to mitigate these privacy issues existing in current models of contact tracing or access regulations systems. However, a prevalent pattern among these solutions are they mainly focus on protecting users privacy from server side and involve Bluetooth based ephemeral identifier exchange between users. Another pattern is all the current solutions try to solve the problem in city wide or nation wide level. In this paper, we propose a system, PAARS, which approaches the privacy issues in access monitoring regulation systems from a micro level. We solve the privacy issues in access monitoring regulation systems without any exchange of any ephemeral identifiers between users. Moreover, our proposed system provides privacy on both server side and the user side by using secure hashing and differential privacy mechanism.


A Deep Learning based Radar and Camera Sensor Fusion Architecture for Object Detection. Object detection in camera images, using deep learning has been proven successfully in recent years. Rising detection rates and computationally efficient network structures are pushing this technique towards application in production vehicles. Nevertheless, the sensor quality of the camera is limited in severe weather conditions and through increased sensor noise in sparsely lit areas and at night. Our approach enhances current 2D object detection networks by fusing camera data and projected sparse radar data in the network layers. The proposed CameraRadarFusionNet (CRF Net) automatically learns at which level the fusion of the sensor data is most beneficial for the detection result. Additionally, we introduce BlackIn, a training strategy inspired by Dropout, which focuses the learning on a specific sensor type. We show that the fusion network is able to outperform a state of the art image only network for two different datasets. The code for this research will be made available to the public at https github.com TUMFTM CameraRadarFusionNet.


Mathematical Programming formulations for the Alternating Current Optimal Power Flow problem. Power flow refers to the injection of power on the lines of an electrical grid, so that all the injections at the nodes form a consistent flow within the network. Optimality, in this setting, is usually intended as the minimization of the cost of generating power. Current can either be direct or alternating while the former yields approximate linear programming formulations, the latter yields formulations of a much more interesting sort namely, nonconvex nonlinear programs in complex numbers. In this technical survey, we derive formulation variants and relaxations of the alternating current optimal power flow problem.


On the 4 color theorem for signed graphs. There are several ways to generalize graph coloring to signed graphs. M 'a v c ajov 'a, Raspaud and v S koviera introduced one of them and conjectured that in this setting, for signed planar graphs four colors are always enough, generalising thereby The Four Color Theorem. We disprove the conjecture.


Abelianization of the unit group of an integral group ring. For a finite group G and U U( mathbb Z G) , the group of units of the integral group ring of G , we study the implications of the structure of G on the abelianization U U' of U . We pose questions on the connections between the exponent of G G' and the exponent of U U' as well as between the ranks of the torsion free parts of Z(U) , the center of U , and U U' . We show that the units originating from known generic constructions of units in mathbb Z G are well behaved under the projection from U to U U' and that our questions have a positive answer for many examples. We then exhibit an explicit example which shows that the general statement on the torsion free part does not hold, which also answers questions from BJJ 18 .


Mathematizing the Limits of Time Heidegger, Derrida, and the Topology of Temporality. "The mathematization of time has limits," writes Derrida in Ousia and Gramme. Taking this quote in all possible senses, this paper considers Derrida's definition of limit as gramme, trace, and aporia, and develops the mathematization of all three. I will consider the structure of mathematical limit in Fregean arithmetics, calculus, and topology. I argue that a topological approach to the concept of gramme creates a new "limit" that illustrates the map of our "commute" to the unknown, and therefore avoids the aporetic act of crossing the impassible limit between life and death. This new "limit," often referred to by mathematicians as a "cone," is a shapeless shape that offers us knowledge about time and space that we otherwise cannot know about. By redefining the limit of time through three mathematical systems arithmetic, calculus, and topology this paper offers new perspectives to couple mathematics with philosophy.


Few shots Parallel Algorithm Portfolio Construction via Co evolution. Generalization, i.e., the ability of solving problem instances that are not available during the system design and development phase, is a critical goal for intelligent systems. A typical way to achieve good generalization is to learn a model from vast data. In the context of heuristic search, such a paradigm could be implemented as configuring the parameters of a parallel algorithm portfolio (PAP) based on a set of training problem instances, which is often referred to as PAP construction. However, compared to traditional machine learning, PAP construction often suffers from the lack of training instances, and the obtained PAPs may fail to generalize well. This paper proposes a novel competitive co evolution scheme, named Co Evolution of Parameterized Search (CEPS), as a remedy to this challenge. By co evolving a configuration population and an instance population, CEPS is capable of obtaining generalizable PAPs with few training instances. The advantage of CEPS in improving generalization is analytically shown in this paper. Two concrete algorithms, namely CEPS TSP and CEPS VRPSPDTW, are presented for the Traveling Salesman Problem (TSP) and the Vehicle Routing Problem with Simultaneous Pickup Delivery and Time Windows (VRPSPDTW), respectively. Experimental results show that CEPS has led to better generalization, and even managed to find new best known solutions for some instances.


Navigation Agents for the Visually Impaired A Sidewalk Simulator and Experiments. Millions of blind and visually impaired (BVI) people navigate urban environments every day, using smartphones for high level path planning and white canes or guide dogs for local information. However, many BVI people still struggle to travel to new places. In our endeavor to create a navigation assistant for the BVI, we found that existing Reinforcement Learning (RL) environments were unsuitable for the task. This work introduces SEVN, a sidewalk simulation environment and a neural network based approach to creating a navigation agent. SEVN contains panoramic images with labels for house numbers, doors, and street name signs, and formulations for several navigation tasks. We study the performance of an RL algorithm (PPO) in this setting. Our policy model fuses multi modal observations in the form of variable resolution images, visible text, and simulated GPS data to navigate to a goal door. We hope that this dataset, simulator, and experimental results will provide a foundation for further research into the creation of agents that can assist members of the BVI community with outdoor navigation.


Filter pairs and natural extensions of logics. We adjust the notion of finitary filter pair, which was coined for creating and analyzing finitary logics, in such a way that we can treat logics of cardinality kappa , where kappa is a regular cardinal. The corresponding new notion is called kappa filter pair. A filter pair can be seen as a presentation of a logic, and we ask what different kappa filter pairs give rise to a fixed logic of cardinality kappa . To make the question well defined we restrict to a subcollection of filter pairs and establish a bijection from that collection to the set of natural extensions of that logic by a set of variables of cardinality kappa . Along the way we use kappa filter pairs to construct natural extensions for a given logic, work out the relationships between this construction and several others proposed in the literature, and show that the collection of natural extensions forms a complete lattice. In an optional section we introduce and motivate the concept of a general filter pair.


Ample completions of OMs and CUOMs. This paper considers completions of COMs (complexes oriented matroids) to ample partial cubes of the same VC dimension. We show that these exist for OMs (oriented matroids) and CUOMs (complexes of uniform oriented matroids). This implies that OMs and CUOMs satisfy the sample compression conjecture one of the central open questions of learning theory. We conjecture that every COM can be completed to an ample partial cube without increasing the VC dimension.


Sample and Gather Fast Ruling Set Algorithms in the Low Memory MPC Model. Motivated by recent progress on symmetry breaking problems such as maximal independent set (MIS) and maximal matching in the low memory Massively Parallel Computation (MPC) model (e.g., Behnezhad et al. PODC 2019 Ghaffari Uitto SODA 2019), we investigate the complexity of ruling set problems in this model. The MPC model has become very popular as a model for large scale distributed computing and it comes with the constraint that the memory per machine is strongly sublinear in the input size. For graph problems, extremely fast MPC algorithms have been designed assuming tilde Omega (n) memory per machine, where n is the number of nodes in the graph (e.g., the O( log log n) MIS algorithm of Ghaffari et al., PODC 2018). However, it has proven much more difficult to design fast MPC algorithms for graph problems in the low memory MPC model, where the memory per machine is restricted to being strongly sublinear in the number of nodes, i.e., O(n eps) for 0 eps 1 . In this paper, we present an algorithm for the 2 ruling set problem, running in tilde O ( log 1 6 Delta) rounds whp, in the low memory MPC model. We then extend this result to beta ruling sets for any integer beta 1 . Specifically, we show that a beta ruling set can be computed in the low memory MPC model with O(n eps) memory per machine in tilde O ( beta cdot log 1 (2 beta 1 2) Delta) rounds, whp. From this it immediately follows that a beta ruling set for beta Omega( log log log Delta) ruling set can be computed in in just O( beta log log n) rounds whp. The above results assume a total memory of tilde O (m n 1 eps ) . We also present algorithms for beta ruling sets in the low memory MPC model assuming that the total memory over all machines is restricted to tilde O (m) .


Diverse Temporal Aggregation and Depthwise Spatiotemporal Factorization for Efficient Video Classification. Video classification researches that have recently attracted attention are the fields of temporal modeling and 3D efficient architecture. However, the temporal modeling methods are not efficient or the 3D efficient architecture is less interested in temporal modeling. For bridging the gap between them, we propose an efficient temporal modeling 3D architecture, called VoV3D, that consists of a temporal one shot aggregation (T OSA) module and depthwise factorized component, D(2 1)D. The T OSA is devised to build a feature hierarchy by aggregating temporal features with different temporal receptive fields. Stacking this T OSA enables the network itself to model short range as well as long range temporal relationships across frames without any external modules. Inspired by kernel factorization and channel factorization, we also design a depthwise spatiotemporal factorization module, named, D(2 1)D that decomposes a 3D depthwise convolution into two spatial and temporal depthwise convolutions for making our network more lightweight and efficient. By using the proposed temporal modeling method (T OSA), and the efficient factorized component (D(2 1)D), we construct two types of VoV3D networks, VoV3D M and VoV3D L. Thanks to its efficiency and effectiveness of temporal modeling, VoV3D L has 6x fewer model parameters and 16x less computation, surpassing a state of the art temporal modeling method on both Something Something and Kinetics 400. Furthermore, VoV3D shows better temporal modeling ability than a state of the art efficient 3D architecture, X3D having comparable model capacity. We hope that VoV3D can serve as a baseline for efficient video classification.


The large scale footprint in small scale Rayleigh B 'enard turbulence. Turbulent convection systems are known to give rise to prominent large scale circulation. At the same time, the background' (or small scale') turbulence is also highly relevant and e.g. carries the majority of the heat transport in the bulk of the flow. Here, we investigate how the small scale turbulence is interlinked with the large scale flow organization of Rayleigh B 'enard convection. Our results are based on a numerical simulation at Rayleigh number Ra 10 8 in a large aspect ratio ( Gamma 32 ) cell to ensure a distinct scale separation. We extract local magnitudes and wavenumbers of small scale turbulence and find significant correlation of large scale variations in these quantities with the large scale signal. Most notably, we find stronger temperature fluctuations and increased small scale transport (on the order of 10 of the global Nusselt number Nu ) in plume impacting regions and opposite trends in the plume emitting counterparts. This concerns wall distances up to 2 delta theta (thermal boundary layer thickness). Local wavenumbers are generally found to be higher on the plume emitting side compared to the impacting one. A second independent approach by means of conditional averages confirmed these findings and yields additional insight into the large scale variation of small scale properties. Our results have implications for modelling small scale turbulence.


Sharp variance entropy comparison for nonnegative Gaussian quadratic forms. In this article we study weighted sums of n i.i.d. Gamma( alpha ) random variables with nonnegative weights. We show that for n geq 1 alpha the sum with equal coefficients maximizes differential entropy when variance is fixed. As a consequence, we prove that among nonnegative quadratic forms in n independent standard Gaussian random variables, a diagonal form with equal coefficients maximizes differential entropy, under a fixed variance. This provides a sharp lower bound for the relative entropy between a nonnegative quadratic form and a Gaussian random variable. Bounds on capacities of transmission channels subject to n independent additive gamma noises are also derived.


Considerations for Eye Tracking Experiments in Information Retrieval. In this survey I discuss ophthalmic neurophysiology and the experimental considerations that must be made to reduce possible noise in an eye tracking data stream. I also review the history, experiments, technological benefits and limitations of eye tracking within the information retrieval field. The concepts of aware and adaptive user interfaces are also explored that humbly make an attempt to synthesize work from the fields of industrial engineering and psychophysiology with information retrieval.


Asymptotic approximations of the continuous Hahn polynomials and their zeros. Asymptotic approximations for the continuous Hahn polynomials and their zeros as the degree grows to infinity are established via their three term recurrence relation. The methods are based on the uniform asymptotic expansions for difference equations developed by Wang and Wong ( textit Numer. Math. , 2003) and the matching technique in the complex plane developed by Wang ( textit J. Approx. Theory , 2014).


Task agnostic Temporally Consistent Facial Video Editing. Recent research has witnessed the advances in facial image editing tasks. For video editing, however, previous methods either simply apply transformations frame by frame or utilize multiple frames in a concatenated or iterative fashion, which leads to noticeable visual flickers. In addition, these methods are confined to dealing with one specific task at a time without any extensibility. In this paper, we propose a task agnostic temporally consistent facial video editing framework. Based on a 3D reconstruction model, our framework is designed to handle several editing tasks in a more unified and disentangled manner. The core design includes a dynamic training sample selection mechanism and a novel 3D temporal loss constraint that fully exploits both image and video datasets and enforces temporal consistency. Compared with the state of the art facial image editing methods, our framework generates video portraits that are more photo realistic and temporally smooth.


Impact of non tidal station loading in LLR. Lunar Laser Ranging (LLR) measures the distance between observatories on Earth and retro reflectors on Moon since 1970. In this paper, we study the effect of non tidal station loading (NTSL) in the analysis of LLR data. We add the non tidal loading effect provided by three data centres the German Research Centre for Geosciences (GFZ), the International Mass Loading Service (IMLS) and EOST loading service of University of Strasbourg in France, as observation level corrections of the LLR observatories in our analysis. This effect causes deformations of the Earth surface up to the centimetre level. Its addition in the Institute of Geodesy (IfE) LLR model, it leads to a change in the uncertainties (3 sigma values) of the station coordinates resulting in up to a 0.60 improvement, an improvement in the post fit LLR residuals of up to 9 , and a decrease in the power of the annual signal in the LLR post fit residuals of up to 57 .


Properties of the solution set of generalized polynomial complementarity problems. In this paper, we consider the it generalized polynomial complementarity problem (GPCP), which covers the recently introduced it polynomial complementarity problem (PCP) and the well studied it tensor complementarity problem (TCP) as special cases. By exploiting the structure of tensors, we first show that the solution set of GPCPs is nonempty and compact when a pair of leading tensors is cone bf ER . Then, we study some topological properties of the solution set of GPCPs under the condition that the leading tensor pair is cone bf R 0 . Finally, we study a notable global Lipschitzian error bound of the solution set of GPCPs, which is better than the results obtained in the current PCPs and TCPs literature. Moreover, such an error bound is potentially helpful for finding and analyzing numerical solutions to the problem under consideration.


Ideal spectral emissivity design for extreme radiative cooling. Radiative coolers that can passively cool objects by radiating heat into the outer space have recently received much attention. However, the ultimate limits of their performance as well as their ideal spectral design are still unknown. We present the fundamental lower bound of the temperature of a radiatively cooled object on earth surfaces under general conditions, including non radiative heat transfer, and the upper bound of the net radiative power density of a radiative cooler as a function of temperature. We derive the ideal spectral emissivities that can realize such bounds and, contrary to common belief, find that the ideal emission window is different from 8 to 13 um and forms disjointed sets of wavelengths, whose width diminishes at lower temperatures. We show that ideal radiative coolers with perfect thermal insulation against conduction and convection have a steady state temperature of 243.6 K in summer and 180.5 K in winter, much below previously measured values. We also provide the ideal emission window for a single band emitter and show that this window should be much narrower than that of previous designs if the objective is to build a radiative freezer that can operate in summer. We provide a general guideline for designing spectral emissivity to achieve the maximum temperature drop or the maximum net radiative power density.


Motion Guided 3D Pose Estimation from Videos. We propose a new loss function, called motion loss, for the problem of monocular 3D Human pose estimation from 2D pose. In computing motion loss, a simple yet effective representation for keypoint motion, called pairwise motion encoding, is introduced. We design a new graph convolutional network architecture, U shaped GCN (UGCN). It captures both short term and long term motion information to fully leverage the additional supervision from the motion loss. We experiment training UGCN with the motion loss on two large scale benchmarks Human3.6M and MPI INF 3DHP. Our model surpasses other state of the art models by a large margin. It also demonstrates strong capacity in producing smooth 3D sequences and recovering keypoint motion.


Is 42 the Answer to Everything in Subtitling oriented Speech Translation?. Subtitling is becoming increasingly important for disseminating information, given the enormous amounts of audiovisual content becoming available daily. Although Neural Machine Translation (NMT) can speed up the process of translating audiovisual content, large manual effort is still required for transcribing the source language, and for spotting and segmenting the text into proper subtitles. Creating proper subtitles in terms of timing and segmentation highly depends on information present in the audio (utterance duration, natural pauses). In this work, we explore two methods for applying Speech Translation (ST) to subtitling a) a direct end to end and b) a classical cascade approach. We discuss the benefit of having access to the source language speech for improving the conformity of the generated subtitles to the spatial and temporal subtitling constraints and show that length is not the answer to everything in the case of subtitling oriented ST.


Rational curves on a smooth Hermitian surface II. In characteristic p 0 and for q a power of p , we compute the number of nonplanar rational curves of arbitrary degrees on a smooth Hermitian surface of degree q 1 under the assumption that the curves have a parametrization given by polynomials with at most 4 terms. It is shown that a smooth Hermitian cubic surface contains infinitely many rational curves of degree 3 and 6 . On the other hand, for all other cases the numbers of curves are finite and they are exactly determined. Further such rational curves are given explicitly up to projective isomorphism and their smoothness are checked.


Isolated singularities of flat metrics on Riemann surfaces. Robert Bryant (Theorie des varietes minimales et applications, 1988, 154 321 347) proved that an isolated singularity of a conformal metric of positive constant curvature on a Riemann surface is a conical one. Using Complex Analysis, we find all of the local models for an isolated singularity of a flat metric whose area satisfies some polynomial growth condition near the singularity. In particular, we show that an isolated singularity of a flat metric with finite area is also a conical one.


M backslash L is not closed. We show that 1 3 sqrt 2 is a point of the Lagrange spectrum L which is accumulated by a sequence of elements of the complement M setminus L of the Lagrange spectrum in the Markov spectrum M . In particular, M setminus L is not a closed subset of mathbb R , so that a question by T. Bousch has a negative answer.


Matrix Rearrangement Inequalities Revisited. Let X p text Tr (X ast X) p 2 1 p denote the p Schatten norm of a matrix X in M n times n ( mathbb C ) , and sigma(X) the singular values with uparrow downarrow indicating its increasing or decreasing rearrangements. We wish to examine inequalities between A B p p A B p p , sigma downarrow(A) sigma downarrow(B) p p sigma downarrow(A) sigma downarrow(B) p p , and sigma uparrow(A) sigma downarrow(B) p p sigma uparrow(A) sigma downarrow(B) p p for various values of 1 leq p infty . It was conjectured in 6 that a universal inequality sigma downarrow(A) sigma downarrow(B) p p sigma downarrow(A) sigma downarrow(B) p p leq A B p p A B p p leq sigma uparrow(A) sigma downarrow(B) p p sigma uparrow(A) sigma downarrow(B) p p might hold for 1 leq p leq 2 and reverse at p geq 2 , potentially providing a stronger inequality to the generalization of Hanner's Inequality to complex matrices A B p p A B p p geq ( A p B p) p A p B p p . We extend some of the cases in which the inequalities of 5 hold, but offer counterexamples to any general rearrangement inequality holding. We simplify the original proofs of 6 with the technique of majorization. This also allows us to characterize the equality cases of all of the inequalities considered. We also address the commuting, unitary, and A,B 0 cases directly, and expand on the role of the anticommutator. In doing so, we extend Hanner's Inequality for self adjoint matrices to the A,B 0 case for all ranges of p .


Thin Loewner carpets and their quasisymmetric embeddings in S 2 . A carpet is a metric space which is homeomorphic to the standard Sierpi 'nski carpet in mathbb R 2 , or equivalently, in S 2 . A carpet is called thin if its Hausdorff dimension is 2 . A metric space is called Q Loewner if its Q dimensional Hausdorff measure is Q Ahlfors regular and if it satisfies a (1,Q) Poincar 'e inequality. As we will show, Q Loewner planar metric spaces are always carpets, and admit quasisymmetric embeddings into the plane. In this paper, for every pair (Q,Q') , with 1 Q Q' 2 we construct infinitely many pairwise quasi symmetrically distinct Q Loewner carpets X which admit explicit snowflake embeddings, f X to S 2 , for which the image, f(X) , admits an explicit description and is Q' Ahlfors regular. In particular, these f are quasisymmetric embeddings. By a result of Tyson, the Hausdorff dimension of a Loewner space cannot be lowered by a quasisymmetric homeomorphism. By definition, this means that the carpets X and f(X) realize their conformal dimension. Each of images f(X) can be further uniformized via post composition with a quasisymmetric homeomorphism of S 2 , so as to yield a circle carpet and also a square carpet. Our Loewner carpets X are constructed via what we call an admissable quotiented inverse system. This mechanism extends the inverse limit construction for PI spaces given in cite cheegerkleinerinverse , which however, does not yield carpets. Loewner spaces are a particular subclass of PI spaces. They have strong rigidity properties which which do not hold for PI spaces in general.


Proportional Fair RAT Aggregation in HetNets. Heterogeneity in wireless network architectures (i.e., the coexistence of 3G, LTE, 5G, WiFi, etc.) has become a key component of current and future generation cellular networks. Simultaneous aggregation of each client's traffic across multiple such radio access technologies (RATs) base stations (BSs) can significantly increase the system throughput, and has become an important feature of cellular standards on multi RAT integration. Distributed algorithms that can realize the full potential of this aggregation are thus of great importance to operators. In this paper, we study the problem of resource allocation for multi RAT traffic aggregation in HetNets (heterogeneous networks). Our goal is to ensure that the resources at each BS are allocated so that the aggregate throughput achieved by each client across its RATs satisfies a proportional fairness (PF) criterion. In particular, we provide a simple distributed algorithm for resource allocation at each BS that extends the PF allocation algorithm for a single BS. Despite its simplicity and lack of coordination across the BSs, we show that our algorithm converges to the desired PF solution and provide (tight) bounds on its convergence speed. We also study the characteristics of the optimal solution and use its properties to prove the optimality of our algorithm's outcomes.


Dynamics of the Taylor shift on Bergman spaces. The Taylor (backward) shift on Bergman spaces A p( om) for general open sets om in the extended complex plane shows rich variety concerning its dynamical behaviour. Different aspects are worked out, where in the case p 2 a recent result of Bayart and Matheron plays a central role.


Search and capture efficiency of dynamic microtubules for centrosome relocation during IS formation. Upon contact with antigen presenting cells (APCs) cytotoxic T lymphocytes (T cells) establish a highly organized contact zone denoted as immunological synapse (IS). The formation of the IS implies relocation of the microtubule organizing center (MTOC) towards the contact zone, which necessitates a proper connection between MTOC and IS via dynamic microtubules (MTs). The efficiency of the MTs finding the IS within relevant time scale is, however, still illusive. We investigate how MTs search the three dimensional constrained cellular volume for the IS and bind upon encounter to dynein anchored at the IS cortex. The search efficiency is estimated by calculating the time required for the MTs to reach the dynein enriched region of the IS. In this study, we develop simple mathematical and numerical models incorporating relevant components of a cell and propose an optimal search strategy. Using the mathematical model, we have quantified the average search time for a wide range of model parameters and proposed an optimized set of values leading to the minimum capture time. Our results show that search times are minimal when the IS formed at the nearest or at the farthest sites on the cell surface, with respect to the perinuclear MTOC. The search time increases monotonically away from these two specific sites and are maximal at an intermediate position near the equator of the cell. We observed that search time strongly depends on the number of searching MTs and distance of the MTOC from the nuclear surface.


Solving Quasistatic Contact Problems Using Nonsmooth Optimization Approach. This paper is devoted to a study of time dependent hemivariational inequality. We prove existence and uniqueness of its solution, provide fully discrete scheme and reformulate this scheme as a series of nonsmooth optimization problems. This theory is later applied to a sample quasistatic contact problem describing a viscoelastic body in frictional contact with a foundation. This contact is governed by a nonmonotone friction law with dependence on normal component of displacement and tangential component of velocity. Finally, computational simulations are performed to illustrate obtained results.


A Self Organizing Network with Varying Density Structure for Characterizing Sensorimotor Transformations in Robotic Systems. In this work, we present the development of a neuro inspired approach for characterizing sensorimotor relations in robotic systems. The proposed method has self organizing and associative properties that enable it to autonomously obtain these relations without any prior knowledge of either the motor (e.g. mechanical structure) or perceptual (e.g. sensor calibration) models. Self organizing topographic properties are used to build both sensory and motor maps, then the associative properties rule the stability and accuracy of the emerging connections between these maps. Compared to previous works, our method introduces a new varying density self organizing map (VDSOM) that controls the concentration of nodes in regions with large transformation errors without affecting much the computational time. A distortion metric is measured to achieve a self tuning sensorimotor model that adapts to changes in either motor or sensory models. The obtained sensorimotor maps prove to have less error than conventional self organizing methods and potential for further development.


A Deep Drift Diffusion Model for Image Aesthetic Score Distribution Prediction. The task of aesthetic quality assessment is complicated due to its subjectivity. In recent years, the target representation of image aesthetic quality has changed from a one dimensional binary classification label or numerical score to a multi dimensional score distribution. According to current methods, the ground truth score distributions are straightforwardly regressed. However, the subjectivity of aesthetics is not taken into account, that is to say, the psychological processes of human beings are not taken into consideration, which limits the performance of the task. In this paper, we propose a Deep Drift Diffusion (DDD) model inspired by psychologists to predict aesthetic score distribution from images. The DDD model can describe the psychological process of aesthetic perception instead of traditional modeling of the results of assessment. We use deep convolution neural networks to regress the parameters of the drift diffusion model. The experimental results in large scale aesthetic image datasets reveal that our novel DDD model is simple but efficient, which outperforms the state of the art methods in aesthetic score distribution prediction. Besides, different psychological processes can also be predicted by our model.


Memory Attended Recurrent Network for Video Captioning. Typical techniques for video captioning follow the encoder decoder framework, which can only focus on one source video being processed. A potential disadvantage of such design is that it cannot capture the multiple visual context information of a word appearing in more than one relevant videos in training data. To tackle this limitation, we propose the Memory Attended Recurrent Network (MARN) for video captioning, in which a memory structure is designed to explore the full spectrum correspondence between a word and its various similar visual contexts across videos in training data. Thus, our model is able to achieve a more comprehensive understanding for each word and yield higher captioning quality. Furthermore, the built memory structure enables our method to model the compatibility between adjacent words explicitly instead of asking the model to learn implicitly, as most existing models do. Extensive validation on two real word datasets demonstrates that our MARN consistently outperforms state of the art methods.


A correspondence between boundary coefficients of real flag manifolds and height of roots. In this paper we prove a new formula for the coefficients of the cellular homology of real flag manifolds in terms of the height of certain roots. In particular, for flag manifolds of type A, we get a very simple formula for these coefficients and an explicit expression for the first and second homology groups with integer coefficients.


Early Abandoning PrunedDTW and its application to similarity search. The Dynamic Time Warping ("DTW") distance is widely used in time series analysis, be it for classification, clustering or similarity search. However, its quadratic time complexity prevents it from scaling. Strategies, based on early abandoning DTW or skipping its computation altogether thanks to lower bounds, have been developed for certain use cases such as nearest neighbour search. But vectorization and approximation aside, no advance was made on DTW itself until recently with the introduction of PrunedDTW. This algorithm, able to prune unpromising alignments, was later fitted with early abandoning. We present a new version of PrunedDTW, "EAPrunedDTW", designed with early abandon in mind from the start, and able to early abandon faster than before. We show that EAPrunedDTW significantly improves the computation time of similarity search in the UCR Suite, and renders lower bounds dispensable.


Dynamic Information Flow Tracking for Detection of Advanced Persistent Threats A Stochastic Game Approach. Advanced Persistent Threats (APTs) are stealthy customized attacks by intelligent adversaries. This paper deals with the detection of APTs that infiltrate cyber systems and compromise specifically targeted data and or infrastructures. Dynamic information flow tracking is an information trace based detection mechanism against APTs that taints suspicious information flows in the system and generates security analysis for unauthorized use of tainted data. In this paper, we develop an analytical model for resource efficient detection of APTs using an information flow tracking game. The game is a nonzero sum, turn based, stochastic game with asymmetric information as the defender cannot distinguish whether an incoming flow is malicious or benign and hence has only partial state observation. We analyze equilibrium of the game and prove that a Nash equilibrium is given by a solution to the minimum capacity cut set problem on a flow network derived from the system, where the edge capacities are obtained from the cost of performing security analysis. Finally, we implement our algorithm on the real world dataset for a data exfiltration attack augmented with false negative and false positive rates and compute an optimal defender strategy.


Planar narrow band pass filter based on Si resonant metasurface. Optically resonant dielectric metasurfaces offer unique capability to fully control the wavefront, polarisation, intensity or spectral content of light based on the excitation and interference of different electric and magnetic Mie multipolar resonances. Recent advances of the wide accessibility in the nanofabrication and nanotechnologies have led to a surge in the research field of high quality functional optical metasurfaces which can potentially replace or even outperform conventional optical components with ultra thin feature. Replacing conventional optical filtering components with metasurface technology offers remarkable advantages including lower integration cost, ultra thin compact configuration, easy combination with multiple functions and less restriction on materials. Here we propose and experimentally demonstrate a planar narrow band pass filter based on the optical dielectric metasurface composed of Si nanoresonators in array. A broadband transmission spectral valley (around 200 nm) has been realised by combining electric and magnetic dipole resonances adjacent to each other. Meanwhile, we obtain a narrow band transmission peak by exciting a high quality leaky mode which is formed by partially breaking a bound state in the continuum generated by the collective longitudinal magnetic dipole resonances in the metasurface. Our proposed metasurface based filter shows a stable performance for oblique light incidence with small angles (within 10 deg). Our work imply many potential applications of nanoscale photonics devices such as displays, spectroscopy, etc.


Investigating the signatures of long range persistence in seismic sequences along Circum Pacific subduction zones. In the present paper, we analyze the signatures of long range persistence in seismic sequences along Circum Pacific subduction zones, from Chile to Kermadec, extracted from the National Earthquake Information Center (NEIC) catalog. This region, known as the Pacific Ring of Fire, is the world's most active fault line, containing about 90 of the world's earthquakes. We used the classical rescaled range ( R S ) analysis to estimate the long term persistence signals derived from a scaling parameter called the Hurst exponent, H . We measured the referred exponent and obtained values of H 0.5 , indicating that a long term memory effect exists. We found a possible fractal relationship between H and the b s (q) index, which emerges from the non extensive Gutenberg Richter law as a function of the asperity. Therefore, H can be associated with a mechanism that controls the level of seismic activity. Finally, we concluded that the dynamics associated with fragment asperity interactions can be classified as a self affine fractal phenomenon.


Trajectory Planning for Autonomous Parking in Complex Environments A Tunnel based Optimal Control Approach. This paper proposes a fast and accurate trajectory planning algorithm for autonomous parking. Nominally, an optimal control problem should be formulated to describe this scheme, but the dimensionality of the optimal control problem is usually large, because the vehicle needs to avoid collision with every obstacle at every moment during the entire dynamic process. Although an initial guess obtained by a sample and search based planner facilitates the numerical optimization process, it is still far from being as fast as real time. To address this issue, we replace all of the collision avoidance constraints by series of within tunnel conditions. Concretely, we develop a tunnel based strategy such that the vehicle is restricted to move within the tunnels which naturally separate the vehicle from the obstacles. Unification, efficiency, and robustness of the proposed trajectory planning method have been verified by simulations.


Scene Graph Parsing by Attention Graph. Scene graph representations, which form a graph of visual object nodes together with their attributes and relations, have proved useful across a variety of vision and language applications. Recent work in the area has used Natural Language Processing dependency tree methods to automatically build scene graphs. In this work, we present an 'Attention Graph' mechanism that can be trained end to end, and produces a scene graph structure that can be lifted directly from the top layer of a standard Transformer model. The scene graphs generated by our model achieve an F score similarity of 52.21 to ground truth graphs on the evaluation set using the SPICE metric, surpassing the best previous approaches by 2.5 .


Elliptic curves with common torsion x coordinates and hyperelliptic torsion packets. We establish a connection between torsion packets on curves of genus 2 and pairs of elliptic curves realized as double covers of the projective line mathbb P x 1 that have many common torsion x coordinates. This can be used to show that the set of common torsion x coordinates has size at least 22 infinitely often and has 34 elements in some cases. We also explain how we obtained the current record example of a hyperelliptic torsion packet on a genus 2 curve.


Going from the huge to the small Efficient succinct representation of proofs in Minimal implicational logic. A previous article shows that any linear height bounded normal proof of a tautology in the Natural Deduction for Minimal implicational logic M supset is as huge as it is redundant. More precisely, any proof in a family of super polynomially sized and linearly height bounded proofs have a sub derivation that occurs super polynomially many times in it. In this article, we show that by collapsing all the repeated sub derivations we obtain a smaller structure, a rooted Directed Acyclic Graph (r DAG), that is polynomially upper bounded on the size of alpha and it is a certificate that alpha is a tautology that can be verified in polynomial time. In other words, for every huge proof of a tautology in M supset , we obtain a succinct certificate for its validity. Moreover, we show an algorithm able to check this validity in polynomial time on the certificate's size. Comments on how the results in this article are related to a proof of the conjecture NP CoNP appears in conclusion.


Optimal Control for Scheduling and Pricing Intra day Natural Gas Transport on Pipeline Networks. We formulate an economic optimal control problem for transport of natural gas over a large scale transmission pipeline network under transient flow conditions. The objective is to maximize economic welfare for users of the pipeline system, who provide time dependent price and quantity bids to purchase or supply gas at metered locations on a system with time varying injections, withdrawals, and control actions of compressors and regulators. Our formulation ensures that pipeline hydraulic limitations, compressor station constraints, operational factors, and pre existing contracts for gas transport are satisfied. A pipeline is modeled as a metric graph with gas dynamics partial differential equations on edges and coupling conditions at the nodes. These dynamic constraints are reduced using lumped elements to a sparse nonlinear differential algebraic equation system. A highly efficient temporal discretization scheme for time periodic formulations is introduced, which we extend to develop a rolling horizon model predictive control scheme. We apply the computational methodology to a pipeline system test network case study. In addition to the physical flow and compressor control solution, the optimization yields dual functions that we interpret as the time dependent economic values of gas at each location in the network.


Enhanced existence time of solutions to evolution equations of Whitham type. We show that Whitham type equations u t u u x L u x 0, where L is a general Fourier multiplier operator of order alpha in 1,1 , alpha neq 0, allow for small solutions to be extended beyond their expected existence time. The result is valid for a range of quadratic dispersive equations with inhomogeneous symbols in the dispersive range given by alpha, and should be extendable to other equations of the same relative dispersive strength.


Outliers of random perturbations of Toeplitz matrices with finite symbols. Consider an N times N Toeplitz matrix T N with symbol a ( lambda) sum ell d 2 d 1 a ell lambda ell , perturbed by an additive noise matrix N gamma E N , where the entries of E N are centered i.i.d. random variables of unit variance and gamma 1 2 . It is known that the empirical measure of eigenvalues of the perturbed matrix converges weakly, as N to infty , to the law of a (U) , where U is distributed uniformly on mathbb S 1 . In this paper, we consider the outliers, i.e. eigenvalues that are at a positive ( N independent) distance from a ( mathbb S 1) . We prove that there are no outliers outside rm spec , T( a ) , the spectrum of the limiting Toeplitz operator, with probability approaching one, as N to infty . In contrast, in rm spec , T( a ) setminus a ( mathbb S 1) the process of outliers converges to the point process described by the zero set of certain random analytic functions. The limiting random analytic functions can be expressed as linear combinations of the determinants of finite sub matrices of an infinite dimensional matrix, whose entries are i.i.d. having the same law as that of E N . The coefficients in the linear combination depend on the roots of the polynomial P z, a ( lambda) ( a ( lambda) z) lambda d 2 0 and semi standard Young Tableaux with shapes determined by the number of roots of P z, a ( lambda) 0 that are greater than one in moduli.


Moser inequalities in Gauss space. The sharp constants in a family of exponential Sobolev type inequalities in Gauss space are exhibited. They constitute the Gaussian analogues of the Moser inequality in the borderline case of the Sobolev embedding in the Euclidean space. Interestingly, the Gaussian results have features in common with the Euclidean ones, but also reveal marked diversities.