Weakly Supervised Multi Level Attentional Reconstruction Network for Grounding Textual Queries in Videos. The task of temporally grounding textual queries in videos is to localize one video segment that semantically corresponds to the given query. Most of the existing approaches rely on segment sentence pairs (temporal annotations) for training, which are usually unavailable in real world scenarios. In this work we present an effective weakly supervised model, named as Multi Level Attentional Reconstruction Network (MARN), which only relies on video sentence pairs during the training stage. The proposed method leverages the idea of attentional reconstruction and directly scores the candidate segments with the learnt proposal level attentions. Moreover, another branch learning clip level attention is exploited to refine the proposals at both the training and testing stage. We develop a novel proposal sampling mechanism to leverage intra proposal information for learning better proposal representation and adopt 2D convolution to exploit inter proposal clues for learning reliable attention map. Experiments on Charades STA and ActivityNet Captions datasets demonstrate the superiority of our MARN over the existing weakly supervised methods.


How to Return to Normalcy Fast and Comprehensive Contact Tracing of COVID 19 through Proximity Sensing Using Mobile Devices. We outline a contact tracing strategy based on proximity sensing using mobile devices. We discuss what an ideal system should look like and what it can do. We show that, when adopted sufficiently broadly, such a contact tracing strategy can bring COVID 19 under complete control, end the need of social distancing, and return the society to full normalcy. We also review some of the challenges faced by the current generation of proximity sensing technologies, including Bluetooth Low Energy used by phones, and consider both interim and longer term solutions. Our main contribution is that we reason through why such a contact tracing strategy is likely to achieve the stated goal of returning to full normalcy. Using probabilistic models, we show that universal adoption is not necessary to achieve the stated goal, thus there is some room for exceptions however, the adoption rate needs to be very high, e.g., above 95 depending on the disease parameters. With more vigilance in disease surveillance to detect mild cases earlier, the number may be brought down to about 90 . The results call for deployment effort to be led by public authorities at the state or federal level so that the required adoption rate can be reached and the tracing coverage is wide enough to be relevant for disease control.


Exact controllability in minimal time of the Navier Stokes periodic flow in a 2D channel. This work is concerned with the necessary conditions of optimality for a minimal time control problem (P) for the linearized Navier Stokes periodic flow in a 2D channel, subject to a boundary input which acts on the transversal component of the velocity. The objective in this problem is the reaching of the laminar regime in a minimum time, as well as its preservation after this time. The determination of the necessary conditions of optimality relies on the analysis of intermediate minimal time control problems (P k ) for the Fourier modes "k" associated to the Navier Stokes equations and on the proof of the maximum principle for them. Also it is found that one can construct, on the basis of the optimal controllers of problems (P k ), a small time called here textit quasi minimal and a boundary controller which realizes the required objective in (P).


Inverse Sturm Liouville problem with analytical functions in the boundary condition. The inverse spectral problem is studied for the Sturm Liouville operator with a complex valued potential and arbitrary entire functions in one of the boundary conditions. We obtain necessary and sufficient conditions for uniqueness, and develop a constructive algorithm for the inverse problem solution. The main results are applied to the Hochstadt Lieberman half inverse problem. As an auxiliary proposition, we prove local solvability and stability for the inverse Sturm Liouville problem by the Cauchy data in the non self adjoint case.


Learning the Model Update for Siamese Trackers. Siamese approaches address the visual tracking problem by extracting an appearance template from the current frame, which is used to localize the target in the next frame. In general, this template is linearly combined with the accumulated template from the previous frame, resulting in an exponential decay of information over time. While such an approach to updating has led to improved results, its simplicity limits the potential gain likely to be obtained by learning to update. Therefore, we propose to replace the handcrafted update function with a method which learns to update. We use a convolutional neural network, called UpdateNet, which given the initial template, the accumulated template and the template of the current frame aims to estimate the optimal template for the next frame. The UpdateNet is compact and can easily be integrated into existing Siamese trackers. We demonstrate the generality of the proposed approach by applying it to two Siamese trackers, SiamFC and DaSiamRPN. Extensive experiments on VOT2016, VOT2018, LaSOT, and TrackingNet datasets demonstrate that our UpdateNet effectively predicts the new target template, outperforming the standard linear update. On the large scale TrackingNet dataset, our UpdateNet improves the results of DaSiamRPN with an absolute gain of 3.9 in terms of success score.


Efficient fully dynamic elimination forests with applications to detecting long paths and cycles. We present a data structure that in a dynamic graph of treedepth at most d , which is modified over time by edge insertions and deletions, maintains an optimum height elimination forest. The data structure achieves worst case update time 2 cal O (d 2) , which matches the best known parameter dependency in the running time of a static fpt algorithm for computing the treedepth of a graph. This improves a result of Dvo v r 'ak et al. ESA 2014 , who for the same problem achieved update time f(d) for some non elementary (i.e. tower exponential) function f . As a by product, we improve known upper bounds on the sizes of minimal obstructions for having treedepth d from doubly exponential in d to d cal O (d) . As applications, we design new fully dynamic parameterized data structures for detecting long paths and cycles in general graphs. More precisely, for a fixed parameter k and a dynamic graph G , modified over time by edge insertions and deletions, our data structures maintain answers to the following queries Does G contain a simple path on k vertices? Does G contain a simple cycle on at least k vertices? In the first case, the data structure achieves amortized update time 2 cal O (k 2) . In the second case, the amortized update time is 2 cal O (k 4) cal O (k log n) . In both cases we assume access to a dictionary on the edges of G .


On a Variant of the Elliott Halberstam Conjecture and the Goldbach Conjecture. In this paper we prove that the binary Goldbach conjecture for sufficiently large even integers would follow under the assumptions of both the Elliott Halberstam conjecture and a variant of the Elliott Halberstam conjecture twisted by the M " o bius function, provided that the sum of their level of distributions exceeds 1. This continues the work of Pan. An analogous result for the twin prime conjecture is obtained by Ram Murty and Vatwani.


On the Ricci Flow of Homogeneous Metrics on Spheres. We study the Ricci flow of the four parameter family of Sp(n 1) invariant metrics on spheres. We determine their forward behaviour and also classify ancient solutions. In doing so, we exhibit a new one parameter family of ancient solutions on spheres. These (non isometric) ancient solutions all have a larger isometry group, namely Sp(n 1)Sp(1), Sp(n 1)U(1), or U(2n 2). Two ancient solutions are non collapsed and converge, under the backwards flow, to Jensen's second Einstein metric. One solution parametrizes the well known Berger metrics. The rest are new and collapse, under a rescaling of the backwards flow, to Ziller's second homogeneous Einstein metric on complex projective space.


Electron acceleration and thermalization at magnetotail separatrices. In this study we use the Magnetospheric Multiscale (MMS) mission to investigate the electron acceleration and thermalization occurring along the magnetic reconnection separatrices in the magnetotail. We find that initially cold electron lobe populations are accelerated towards the X line forming beams with energies up to a few keV's, corresponding to a substantial fraction of the electron thermal energy inside the exhaust. The accelerated electron populations are unstable to the formation of electrostatic waves which develop into nonlinear electrostatic solitary waves. The waves' amplitudes are large enough to interact efficiently with a large part of the electron population, including the electron beam. The wave particle interaction gradually thermalizes the beam, transforming directed drift energy to thermal energy.


A small collection of open problems. This paper collects some problems that I have encountered during the years, have puzzled me and which, to the best of my knowledge, are still open. Most of them are well known and have been first stated by other authors. In this sad season of lockdown, I modestly try to contribute to scientific interaction at a distance. Therefore all comments and exchange of information are most welcome.


Inductive blockwise Alperin weight condition for type B and odd primes. By the reduction theorems of Navarro Tiep and Sp "ath, a way to prove the Alperin weight conjecture and its blockwise version is to verify the co called inductive Alperin weight condition and inductive blockwise Alperin weight condition for all finie simple groups respectively. In this paper, we establish the inductive blockwise Alperin weight condition for simple groups of type mathsf B and odd primes, using a criterion given by Brough and Sp "ath recently.


Riemannian counterparts to Lorentzian space forms. On a smooth n manifold M with n geq 3 , we study pairs (g,T) consisting of a Riemannian metric g and a unit length vector field T with geodesic flow and integrable normal bundle. Motivated by how Ricci solitons generalize Einstein metrics via a distinguished vector field, we propose to generalize space forms by considering those pairs (g,T) whose corresponding Lorentzian metric g scriptscriptstyle L g 2T flat otimes T flat has constant curvature. We show by examples that such pairs exist when M is noncompact, and that complete metrics exist among them. When M is compact, however, the situation is more rigid. In the compact setting, we prove that the only pairs (g,T) whose corresponding Lorentzian metric g scriptscriptstyle L is a space form are those where (M,g) is flat and its universal covering splits isometrically as a product mathbb R times N . The nonexistence of compact Lorentzian spherical space forms plays a key role in our proof.


Explicit volume preserving numerical schemes for relativistic trajectories and spin dynamics. A class of explicit numerical schemes is developed to solve for the relativistic dynamics and spin of particles in electromagnetic fields, using the Lorentz BMT equation formulated in the Clifford algebra representation of Baylis. It is demonstrated that these numerical methods, reminiscent of the leapfrog and Verlet methods, share a number of important properties they are energy conserving, volume conserving and second order convergent. These properties are analysed empirically by benchmarking against known analytical solutions in constant uniform electrodynamic fields. It is demonstrated that the numerical error in a constant magnetic field remains bounded for long time simulations in contrast to the Boris pusher, whose angular error increases linearly with time. Finally, the intricate spin dynamics of a particle is investigated in a plane wave field configuration.


On the Necessity and Design of Coordination Mechanism for Cognitive Autonomous Networks. Cognitive Autonomous Networks (CAN) are promoted to advance Self Organizing Network (SON), replacing rule based SON Functions (SFs) with Cognitive Functions (CFs), which learn optimal behavior by interacting with the network. As in SON, CFs do encounter conflicts due to overlap in parameters or objectives. However, owing to the non deterministic behavior of CFs, these conflicts cannot be resolved using rulebased methods and new solutions are required. This paper investigates the CF deployments with and without a coordination mechanism, and proves both heuristically and mathematically that a coordination mechanism is required. Using a two CF Multi Agent System model with the possible types of conflicts, we show that the challenge is a typical bargaining problem, for which the optimal response is the Nash bargaining Solution (NBS). We use NBS to propose a coordination mechanism design that is capable of resolving the conflicts and show via simulations how implementation of the proposed solution is feasible in real life scenario.


FFD Fast Feature Detector. Scale invariance, good localization and robustness to noise and distortions are the main properties that a local feature detector should possess. Most existing local feature detectors find excessive unstable feature points that increase the number of keypoints to be matched and the computational time of the matching step. In this paper, we show that robust and accurate keypoints exist in the specific scale space domain. To this end, we first formulate the superimposition problem into a mathematical model and then derive a closed form solution for multiscale analysis. The model is formulated via difference of Gaussian (DoG) kernels in the continuous scale space domain, and it is proved that setting the scale space pyramid's blurring ratio and smoothness to 2 and 0.627, respectively, facilitates the detection of reliable keypoints. For the applicability of the proposed model to discrete images, we discretize it using the undecimated wavelet transform and the cubic spline function. Theoretically, the complexity of our method is less than 5 of that of the popular baseline Scale Invariant Feature Transform (SIFT). Extensive experimental results show the superiority of the proposed feature detector over the existing representative hand crafted and learning based techniques in accuracy and computational time. The code and supplementary materials can be found at url https github.com mogvision FFD .


Landscaping Systematic Mapping Studies in Software Engineering A Tertiary Study. Context A number of Systematic Mapping Studies (SMSs) that cover Software Engineering (SE) are reported in literature. Tertiary studies synthesize the secondary studies to provide a holistic view of an area. Objectives We synthesize SMSs in SE to provide insights into existing SE areas and to investigate the trends and quality of SMSs. Methodology We use Systematic Literature Review protocol to analyze and map the SMSs in SE, till August 2017, to SE Body of Knowledge (SWEBOK). Results We analyze 210 SMSs and results show that (1) Software design and construction are most active areas in SE (2) Some areas lack SMSs, including mathematical foundations, software configuration management, and SE tools (3) The quality of SMSs is improving with time (4) SMSs in journals have higher quality than SMSs in conferences and are cited more often (5) Low quality in SMSs can be attributed to a lack of quality assessment in SMSs and not reporting information about the primary studies. Conclusion There is a potential for more SMSs in some SE areas. A number of SMSs do not provide the required information for an SMS, which leads to a low quality score.


Gap between the largest and smallest parts of partitions and Berkovich and Uncu's conjectures. We prove three main conjectures of Berkovich and Uncu (Ann. Comb. 23 (2019) 263 284) on the inequalities between the numbers of partitions of n with bounded gap between largest and smallest parts for sufficiently large n . Actually our theorems are stronger than their original conjectures. The analytic version of our results shows that the coefficients of some partition q series are eventually positive.


Faster provable sieving algorithms for the Shortest Vector Problem and the Closest Vector Problem on lattices in ell p norm. In this work, we give provable sieving algorithms for the Shortest Vector Problem (SVP) and the Closest Vector Problem (CVP) on lattices in ell p norm ( 1 leq p leq infty ). The running time we obtain is better than existing provable sieving algorithms. We give a new linear sieving procedure that works for all ell p norm ( 1 leq p leq infty ). The main idea is to divide the space into hypercubes such that each vector can be mapped efficiently to a sub region. We achieve a time complexity of 2 2.751n o(n) , which is much less than the 2 3.849n o(n) complexity of the previous best algorithm. We also introduce a mixed sieving procedure, where a point is mapped to a hypercube within a ball and then a quadratic sieve is performed within each hypercube. This improves the running time, especially in the ell 2 norm, where we achieve a time complexity of 2 2.25n o(n) , while the List Sieve Birthday algorithm has a running time of 2 2.465n o(n) . We adopt our sieving techniques to approximation algorithms for SVP and CVP in ell p norm ( 1 leq p leq infty ) and show that our algorithm has a running time of 2 2.001n o(n) , while previous algorithms have a time complexity of 2 3.169n o(n) .


On the fields of definition of Hodge loci. A polarizable variation of Hodge structure over a smooth complex quasi projective variety S is said to be defined over a number field L if S and the algebraic connection associated to the variation are both defined over L . Conjecturally any special subvariety (also called "an irreducible component of the Hodge locus) for such variations is defined over overline mathbb Q , and its Galois conjugates are also special subvarieties. We prove this conjecture for special subvarieties satisfying a simple monodromy condition. As a corollary we reduce the conjecture that special subvarieties for variation of Hodge structures defined over a number field are defined over overline mathbb Q to the case of special points.


Du Bois Wrapped Bar Chart Visualizing categorical data with disproportionate values. We propose a visualization technique, Du Bois wrapped bar chart, inspired by work of W.E.B Du Bois. Du Bois wrapped bar charts enable better large to small bar comparison by wrapping large bars over a certain threshold. We first present two crowdsourcing experiments comparing wrapped and standard bar charts to evaluate (1) the benefit of wrapped bars in helping participants identify and compare values (2) the characteristics of data most suitable for wrapped bars. In the first study (n 98) using real world datasets, we find that wrapped bar charts lead to higher accuracy in identifying and estimating ratios between bars. In a follow up study (n 190) with 13 simulated datasets, we find participants were consistently more accurate with wrapped bar charts when certain category values are disproportionate as measured by entropy and H spread. Finally, in an in lab study, we investigate participants' experience and strategies, leading to guidelines for when and how to use wrapped bar charts.


Putting the Air Transportation System to sleep a passenger perspective measured by passenger generated data. This paper aims at analyzing the effect on the US air transportation system of the travel restriction measures implemented during the COVID 19 pandemic from a passenger perspective. Flight centric data are not already publicly and widely available therefore the traditional metrics used to measure the state of this system are not yet available. Seven metrics based on three different passenger generated datasets are proposed here. They aim to measure in close to real time how the travel restriction measures impacted the relation between major stakeholders of the US air transportation system, namely passengers, airports and airlines.


Addressing Ancestry Disparities in Genomic Medicine A Geographic aware Algorithm. With declining sequencing costs a promising and affordable tool is emerging in cancer diagnostics genomics. By using association studies, genomic variants that predispose patients to specific cancers can be identified, while by using tumor genomics cancer types can be characterized for targeted treatment. However, a severe disparity is rapidly emerging in this new area of precision cancer diagnosis and treatment planning, one which separates a few genetically well characterized populations (predominantly European) from all other global populations. Here we discuss the problem of population specific genetic associations, which is driving this disparity, and present a novel solution coordinate based local ancestry for helping to address it. We demonstrate our boosting based method on whole genome data from divergent groups across Africa and in the process observe signals that may stem from the transcontinental Bantu expansion.


Secret objectives promoting inquiry and tackling preconceptions in teaching laboratories. In its most general form, a secret objective' is any inconsistency between the experimental reality and the information provided to students prior to starting work on an experiment. Students are challenged to identify the secret objectives and then given freedom to explore and understand the experiment, thus encouraging and facilitating genuine inquiry elements in introductory laboratory courses. Damping of a simple pendulum is used as a concrete example to demonstrate how secret objectives can be included. We also discuss the implications of the secret objectives method and how this can provide a link between the concepts of problem based learning and inquiry style labs.


Scrutiny of stagnation region flow in a nanofluid suspended permeable medium due to inconsistent heat source sink. In present analysis, nanofluid transport near to a stagnation region over a bidirectionally deforming surface is scrutinized. The region is embedded with Darcy Forchheimer medium which supports permeability. The porous matrix is suspended with nanofluid, and surface is under the influence of inconsistent heat source sink. Using similarity functions, framed governing equations are switched to a collection of ordinary differential equations. Output is procured via optimal homotopy asymptotic method (OHAM). Basic notion of OHAM for a vector differential set up is presented along with required convergence theorems. At different flow stagnation strengths, nanofluid behavior is investigated with respect to variations in porosity parameter, Forchheimer number, Brownian motion, stretching ratio, thermophoretic force, heat source sink and Schimdt number. Stagnation flow strength invert the pattern of boundary layer profiles of primary velocity. Heat transfer has straightforward relation with Forchheimer number when stagnation forces dominate stretching forces


A Strengthening of Erd H o s Gallai Theorem and Proof of Woodall's Conjecture. For a 2 connected graph G on n vertices and two vertices x,y in V(G) , we prove that there is an (x,y) path of length at least k if there are at least frac n 1 2 vertices in V(G) backslash x,y of degree at least k . This strengthens a well known theorem due to Erd H o s and Gallai in 1959. As the first application of this result, we show that a 2 connected graph with n vertices contains a cycle of length at least 2k if it has at least frac n 2 k vertices of degree at least k . This confirms a 1975 conjecture made by Woodall. As another applications, we obtain some results which generalize previous theorems of Dirac, Erd H o s Gallai, Bondy, and Fujisawa et al., present short proofs of the path case of Loebl Koml ' o s S ' o s Conjecture which was verified by Bazgan et al. and of a conjecture of Bondy on longest cycles (for large graphs) which was confirmed by Fraisse and Fournier, and make progress on a conjecture of Bermond.


A topological encoding method for data driven photonics inverse design. Data driven approaches have been proposed as effective strategies for the inverse design and optimization of photonic structures in recent years. In order to assist data driven methods for the design of topology of photonic devices, we propose a topological encoding method that transforms photonic structures represented by binary images to a continuous sparse representation. This sparse representation can be utilized for dimensionality reduction and dataset generation, enabling effective analysis and optimization of photonic topologies with data driven approaches. As a proof of principle, we leverage our encoding method for the design of two dimensional non paraxial diffractive optical elements with various diffraction intensity distributions. We proved that our encoding method is able to assist machine learning based inverse design approach for accurate and global optimization.


Adversarial Learning for Personalized Tag Recommendation. We have recently seen great progress in image classification due to the success of deep convolutional neural networks and the availability of large scale datasets. Most of the existing work focuses on single label image classification. However, there are usually multiple tags associated with an image. The existing works on multi label classification are mainly based on lab curated labels. Humans assign tags to their images differently, which is mainly based on their interests and personal tagging behavior. In this paper, we address the problem of personalized tag recommendation and propose an end to end deep network which can be trained on large scale datasets. The user preference is learned within the network in an unsupervised way where the network performs joint optimization for user preference and visual encoding. A joint training of user preference and visual encoding allows the network to efficiently integrate the visual preference with tagging behavior for a better user recommendation. In addition, we propose the use of adversarial learning, which enforces the network to predict tags resembling user generated tags. We demonstrate the effectiveness of the proposed model on two different large scale and publicly available datasets, YFCC100M and NUS WIDE. The proposed method achieves significantly better performance on both the datasets when compared to the baselines and other state of the art methods. The code is publicly available at https github.com vyzuer ALTReco.


High correlated variables creator machine Prediction of the compressive strength of concrete. In this paper, we introduce a novel hybrid model for predicting the compressive strength of concrete using ultrasonic pulse velocity (UPV) and rebound number (RN). First, 516 data from 8 studies of UPV and rebound hammer (RH) tests was collected. Then, high correlated variables creator machine (HVCM) is used to create the new variables that have a better correlation with the output and improve the prediction models. Three single models, including a step by step regression (SBSR), gene expression programming (GEP) and an adaptive neuro fuzzy inference system (ANFIS) as well as three hybrid models, i.e. HCVCM SBSR, HCVCM GEP and HCVCM ANFIS, were employed to predict the compressive strength of concrete. The statistical parameters and error terms such as coefficient of determination, root mean square error (RMSE), normalized mean square error (NMSE), fractional bias, the maximum positive and negative errors, and mean absolute percentage error (MAPE), were computed to evaluate and compare the models. The results show that HCVCM ANFIS can predict the compressive strength of concrete better than all other models. HCVCM improves the accuracy of ANFIS by 5 in the coefficient of determination, 10 in RMSE, 3 in NMSE, 20 in MAPE, and 7 in the maximum negative error.


Fast multiscale contrast independent preconditioners for linear elastic topology optimization problems. The goal of this work is to present a fast and viable approach for the numerical solution of the high contrast state problems arising in topology optimization. The optimization process is iterative, and the gradients are obtained by an adjoint analysis, which requires the numerical solution of large high contrast linear elastic problems with features spanning several length scales. The size of the discretized problems forces the utilization of iterative linear solvers with solution time dependant on the quality of the preconditioner. The lack of clear separation between the scales, as well as the high contrast, imposes severe challenges on the standard preconditioning techniques. Thus, here we propose new methods for the high contrast elasticity equation with performance independent of the high contrast and the multi scale structure of the elasticity problem. The solvers are based on two levels domain decomposition techniques with a carefully constructed coarse level to deal with the high contrast and multi scale nature of the problem. The construction utilizes spectral equivalence between scalar diffusion and each displacement block of the elasticity problems and, in contrast to previous solutions proposed in the literature, is able to select the appropriate dimension of the coarse space automatically. The new methods inherit the advantages of domain decomposition techniques, such as easy parallelization and scalability. The presented numerical experiments demonstrate the excellent performance of the proposed methods.


Emerging Cross lingual Structure in Pretrained Language Models. We study the problem of multilingual masked language modeling, i.e. the training of a single model on concatenated text from multiple languages, and present a detailed study of several factors that influence why these models are so effective for cross lingual transfer. We show, contrary to what was previously hypothesized, that transfer is possible even when there is no shared vocabulary across the monolingual corpora and also when the text comes from very different domains. The only requirement is that there are some shared parameters in the top layers of the multi lingual encoder. To better understand this result, we also show that representations from independently trained models in different languages can be aligned post hoc quite effectively, strongly suggesting that, much like for non contextual word embeddings, there are universal latent symmetries in the learned embedding spaces. For multilingual masked language modeling, these symmetries seem to be automatically discovered and aligned during the joint training process.


Unsupervised Pose Flow Learning for Pose Guided Synthesis. Pose guided synthesis aims to generate a new image in an arbitrary target pose while preserving the appearance details from the source image. Existing approaches rely on either hard coded spatial transformations or 3D body modeling. They often overlook complex non rigid pose deformation or unmatched occluded regions, thus fail to effectively preserve appearance information. In this paper, we propose an unsupervised pose flow learning scheme that learns to transfer the appearance details from the source image. Based on such learned pose flow, we proposed GarmentNet and SynthesisNet, both of which use multi scale feature domain alignment for coarse to fine synthesis. Experiments on the DeepFashion, MVC dataset and additional real world datasets demonstrate that our approach compares favorably with the state of the art methods and generalizes to unseen poses and clothing styles.


Fusing location and text features for sentiment classification. Geo tagged Twitter data has been used recently to infer insights on the human aspects of social media. Insights related to demographics, spatial distribution of cultural activities, space time travel trajectories for humans as well as happiness has been mined from geo tagged twitter data in recent studies. To date, not much study has been done on the impact of the geolocation features of a Tweet on its sentiment. This observation has inspired us to propose the usage of geo location features as a method to perform sentiment classification. In this method, the sentiment classification of geo tagged tweets is performed by concatenating geo location features and one hot encoded word vectors as inputs for convolutional neural networks (CNN) and long short term memory (LSTM) networks. The addition of language independent features in the form of geo location features has helped to enrich the tweet representation in order to combat the sparse nature of short tweet message. The results achieved has demonstrated that concatenating geo location features to one hot encoded word vectors can achieve higher accuracy as compared to the usage of word vectors alone for the purpose of sentiment classification.


Prevalence and incidence of postpartum depression and environmental factors the IGEDEPP cohort. Background IGEDEPP (Interaction of Gene and Environment of Depression during PostPartum) is a prospective multicenter cohort study of 3,310 Caucasian women who gave birth between 2011 and 2016, with follow up until one year postpartum. The aim of the current study is to describe the cohort and estimate the prevalence and cumulative incidence of early and late postpartum depression (PPD). Methods Socio demographic data, personal and family psychiatric history, as well as stressful life events during childhood and pregnancy were evaluated at baseline. Early and late PPD were assessed at 8 weeks and 1 year postpartum respectively, using DSM 5 criteria. Results The prevalence of early PPD was 8.3 (95 CI 7.3 9.3), and late PPD 12.9 (95 CI 11.5 14.2), resulting in an 8 week cumulative incidence of 8.5 (95 CI 7.4 9.6) and a one year cumulative incidence of PPD of 18.1 (95 CI 17.1 19.2). Nearly half of the cohort (N 1571, 47.5 ) had a history of at least one psychiatric or addictive disorder, primarily depressive disorder (35 ). Almost 300 women in the cohort (9.0 ) reported childhood trauma. During pregnancy, 47.7 women experienced a stressful event, 30.2 in the first 8 weeks and 43.9 between 8 weeks and one year postpartum. Nearly one in five women reported at least one stressful postpartum event at 8 weeks. Conclusion Incident depressive episodes affected nearly one in five women during the first year postpartum. Most women had stressful perinatal events. Further IGEDEPP studies will aim to disentangle the impact of childhood and pregnancy related stressful events on postpartum mental disorders.


Pump Depletion Dynamics and Saturation of Stimulated Brillouin Scattering in Shock Ignition Relevant Experiments. As an alternative inertial confinement fusion scheme with predicted high energy gain and more robust designs, shock ignition requires a strong converging shock driven by a shaped pulse with a high intensity spike at the end to ignite a pre compressed fusion capsule. Understanding nonlinear laser plasma instabilities in shock ignition conditions is crucial to assess and improve the laser shock energy coupling. Recent experiments conducted on the OMEGA EP laser facility have for the first time demonstrated that such instabilities can sim 100 deplete the first 0.5 ns of the high intensity laser pump. Analysis of the observed laser generated blast wave suggests that this pump depletion starts at 0.01 0.02 critical density and progresses to 0.1 0.2 critical density. This pump depletion is also confirmed by the time resolved stimulated Raman backscattering spectra. The dynamics of the pump depletion can be explained by the breaking of ion acoustic waves in stimulated Brillouin scattering. Such strong pump depletion would inhibit the collisional laser energy absorption but may benefit the generation of hot electrons with moderate temperatures for electron shock ignition Shang et al. Phys. Rev. Lett. 119 195001 (2017) .


Measuring the frequency response of optically pumped metal clad nanolasers. We report on our initial attempt to characterize the intrinsic frequency response of metal clad nanolasers. The probed nanolaser is optically biased and modulated, allowing the emitted signal to be detected using a high speed photodiode at each modulation frequency. Based on this technique, the prospect of high speed operation of nanolasers is evaluated by measuring the D factor, which is the ratio of the resonance frequency to the square root of its output power (fR P out 2). Our measurements show that for nanolasers, this factor is an order of magnitude greater than that of other state of the art directly modulated semiconductor lasers. The theoretical analysis, based on the rate equation model and finite element method simulations of the cavity is in full agreement with the measurement results.


Integral averages and maximization of functions. Some properties of integral averages of functions on intervals and their asymptotic behavior are investigated. The results are aimed at applications to entire and subharmonic functions.


A physical constraints preserving genuinely multidimensional HLL scheme for the special relativistic hydrodynamics. This paper develops the genuinely multidimensional HLL Riemann solver and finite volume scheme for the two dimensional special relativistic hydrodynamic equations on Cartesian meshes and studies its physical constraint preserving (PCP) property. Several numerical results demonstrate the accuracy, the performance and the resolution of the shock waves and the genuinely multi dimensional wave structures of the proposed PCP scheme.


Vanishing Chern classes for numerically flat Higgs bundles. I consider Higgs bundles satisfying a notion of ampleness that was introduce Bruzzo, Gra na Otero and Hern 'andez Ruip 'erez, and prove that the Chern classes of rank r H ample Higgs bundles over dimension n , polarized, smooth, complex, projective varieties are positive under opportune hypothesis. I extend this to non negativeness of Chern classes of all numerically effective Higgs bundles and use this condition to prove the vanishing of Chern classes of numerically flat Higgs bundles.


Variational Problems for Tree Roots and Branches. This paper studies two classes of variational problems introduced in 7 , related to the optimal shapes of tree roots and branches. Given a measure mu describing the distribution of leaves, a sunlight functional S( mu) computes the total amount of light captured by the leaves. For a measure mu describing the distribution of root hair cells, a harvest functional H( mu) computes the total amount of water and nutrients gathered by the roots. In both cases, we seek a measure mu that maximizes these functionals subject to a rami?ed transportation cost, for transporting nutrients from the roots to the trunk or from the trunk to the leaves. Compared with 7 , here we do not impose any a priori bound on the total mass of the optimal measure mu , and more careful a priori estimates are thus required. In the unconstrained optimization problem for branches, we prove that an optimal measure exists, with bounded support and bounded total mass. In the unconstrained problem for tree roots, we prove that an optimal measure exists, with bounded support but possibly unbounded total mass. The last section of the paper analyzes how the size of the optimal tree depends on the parameters defining the various functionals.


Realtime Index Free Single Source SimRank Processing on Web Scale Graphs. Given a graph G and a node u in G, a single source SimRank query evaluates the similarity between u and every node v in G. Existing approaches to single source SimRank computation incur either long query response time, or expensive pre computation, which needs to be performed again whenever the graph G changes. Consequently, to our knowledge none of them is ideal for scenarios in which (i) query processing must be done in realtime, and (ii) the underlying graph G is massive, with frequent updates. Motivated by this, we propose SimPush, a novel algorithm that answers single source SimRank queries without any pre computation, and at the same time achieves significantly higher query processing speed than even the fastest known index based solutions. Further, SimPush provides rigorous result quality guarantees, and its high performance does not rely on any strong assumption of the underlying graph. Specifically, compared to existing methods, SimPush employs a radically different algorithmic design that focuses on (i) identifying a small number of nodes relevant to the query, and subsequently (ii) computing statistics and performing residue push from these nodes only. We prove the correctness of SimPush, analyze its time complexity, and compare its asymptotic performance with that of existing methods. Meanwhile, we evaluate the practical performance of SimPush through extensive experiments on 8 real datasets. The results demonstrate that SimPush consistently outperforms all existing solutions, often by over an order of magnitude. In particular, on a commodity machine, SimPush answers a single source SimRank query on a web graph containing over 133 million nodes and 5.4 billion edges in under 62 milliseconds, with 0.00035 empirical error, while the fastest index based competitor needs 1.18 seconds.


RIU Net Embarrassingly simple semantic segmentation of 3D LiDAR point cloud. This paper proposes RIU Net (for Range Image U Net), the adaptation of a popular semantic segmentation network for the semantic segmentation of a 3D LiDAR point cloud. The point cloud is turned into a 2D range image by exploiting the topology of the sensor. This image is then used as input to a U net. This architecture has already proved its efficiency for the task of semantic segmentation of medical images. We demonstrate how it can also be used for the accurate semantic segmentation of a 3D LiDAR point cloud and how it represents a valid bridge between image processing and 3D point cloud processing. Our model is trained on range images built from KITTI 3D object detection dataset. Experiments show that RIU Net, despite being very simple, offers results that are comparable to the state of the art of range image based methods. Finally, we demonstrate that this architecture is able to operate at 90fps on a single GPU, which enables deployment for real time segmentation.


Simple Topological Drawings of k Planar Graphs. Every finite graph admits a emph simple (topological) drawing , that is, a drawing where every pair of edges intersects in at most one point. However, in combination with other restrictions simple drawings do not universally exist. For instance, emph k planar graphs are those graphs that can be drawn so that every edge has at most k crossings (i.e., they admit a emph k plane drawing ). It is known that for k le 3 , every k planar graph admits a k plane simple drawing. But for k ge 4 , there exist k planar graphs that do not admit a k plane simple drawing. Answering a question by Schaefer, we show that there exists a function f mathbb N rightarrow mathbb N such that every k planar graph admits an f(k) plane simple drawing, for all k in mathbb N . Note that the function f depends on k only and is independent of the size of the graph. Furthermore, we develop an algorithm to show that every 4 planar graph admits an 8 plane simple drawing.


Short time approximate solutions of an equation modeling a camphor motion. As a profound example of spontaneous motion, we analyze the motion of a camphor particle on a water surface. The motion is modeled as an initial boundary value problem for a coupled nonlinear system of a diffusion equation and an ordinary differential equation in a two dimensional domain. Since it seems that the well posedness of this initial boundary value problem is missing, we provided its proof. Then, by constructing an approximate solution to this initial boundary value problem, we gave a mathematically rigorous interpretation of a camphor motion. That is we showed that the motion of camphor locally in time has a self avoiding orbit. We also gave the numerical performance of the approximate solution.


On the rates of convergence for sums of dependent random variables. For a sequence X n , , n geqslant 1 of nonnegative random variables where max min(X n s,t),0 , t s geqslant 0 , satisfy a moment inequality, sufficient conditions are given under which sum k 1 n (X k mathbb E , X k) b n overset mathrm a.s. longrightarrow 0 . Our statement allows us to obtain a strong law of large numbers for sequences of pairwise negatively quadrant dependent random variables under sharp normalising constants.


Weighted Sobolev Inequalities in CD(0,N) spaces. In this note, we prove global weighted Sobolev inequalities on non compact CD(0,N) spaces satisfying a suitable growth condition, extending to possibly non smooth and non Riemannian structures a previous result by V. Minerbe stated for Riemannian manifolds with non negative Ricci curvature. We use this result in the context of RCD(0,N) spaces to get a uniform bound of the corresponding weighted heat kernel via a weighted Nash inequality.


Resiliency in Numerical Algorithm Design for Extreme Scale Simulations. This work is based on the seminar titled Resiliency in Numerical Algorithm Design for Extreme Scale Simulations'' held March 1 6, 2020 at Schloss Dagstuhl, that was attended by all the authors. Naive versions of conventional resilience techniques will not scale to the exascale regime with a main memory footprint of tens of Petabytes, synchronously writing checkpoint data all the way to background storage at frequent intervals will create intolerable overheads in runtime and energy consumption. Forecasts show that the mean time between failures could be lower than the time to recover from such a checkpoint, so that large calculations at scale might not make any progress if robust alternatives are not investigated. More advanced resilience techniques must be devised. The key may lie in exploiting both advanced system features as well as specific application knowledge. Research will face two essential questions (1) what are the reliability requirements for a particular computation and (2) how do we best design the algorithms and software to meet these requirements? One avenue would be to refine and improve on system or application level checkpointing and rollback strategies in the case an error is detected. Developers might use fault notification interfaces and flexible runtime systems to respond to node failures in an application dependent fashion. Novel numerical algorithms or more stochastic computational approaches may be required to meet accuracy requirements in the face of undetectable soft errors. The goal of this Dagstuhl Seminar was to bring together a diverse group of scientists with expertise in exascale computing to discuss novel ways to make applications resilient against detected and undetected faults. In particular, participants explored the role that algorithms and applications play in the holistic approach needed to tackle this challenge.


Extending OCaml's 'open'. We propose a harmonious extension of OCaml's 'open' construct. OCaml's existing construct 'open M' imports the names exported by the module 'M' into the current scope. At present 'M' is required to be the path to a module. We propose extending 'open' to instead accept an arbitrary module expression, making it possible to succinctly address a number of existing scope related difficulties that arise when writing OCaml programs.


Enhancing simultaneous rational function recovery adaptive error correction capability and new bounds for applications. In this work we present some results that allow to improve the decoding radius in solving polynomial linear systems with errors in the scenario where errors are additive and randomly distributed over a finite field. The decoding radius depends on some bounds on the solution that we want to recover, so their overestimation could significantly decrease our error correction capability. For this reason, we introduce an algorithm that can bridge this gap, introducing some ad hoc parameters that reduce the discrepancy between the estimate decoding radius and the effective error correction capability.


Absolute pressure and gas species identification with an optically levitated rotor. The authors describe a novel variety of spinning rotor vacuum gauge in which the rotor is a sim 4.7 text mu m diameter silica microsphere, optically levitated. A rotating electrostatic field is used to apply torque to the permanent electric dipole moment of the silica microsphere and control its rotational degrees of freedom. When released from a driving field, the microsphere's angular velocity decays exponentially with a damping time inversely proportional to the residual gas pressure, and dependent on gas composition. The gauge is calibrated by measuring the rotor mass with electrostatic co levitation, and assuming a spherical shape, confirmed separately, and uniform density. The gauge is cross checked against a capacitance manometer by observing the torsional drag due to a number of different gas species. The techniques presented can be used to perform absolute vacuum measurements localized in space, owing to the small dimensions of the microsphere and the ability to translate the optical trap in three dimensions, as well as measurements in magnetic field environments. In addition, the dynamics of the microsphere, paired with a calibrated vacuum gauge, can be used to measure the effective molecular mass of a gas mixture without the need for ionization and at pressures up to approximately 1 mbar.


physics.flu-dyn physics.ao-ph physics.data-an physics.ins-det

Uncertainty amplification due to density refractive index gradients in volumetric PTV and BOS experiments. We theoretically analyze the effect of density refractive index gradients on the measurement precision of Volumetric Particle Tracking Velocimetry (V PTV) and Background Oriented Schlieren (BOS) experiments by deriving the Cramer Rao lower bound (CRLB) for the 2D centroid estimation process. A model is derived for the diffraction limited image of a particle or dot viewed through a medium containing density gradients that includes the effect of various experimental parameters such as the particle depth, viewing direction and f number. Using the model we show that non linearities in the density gradient field lead to blurring of the particle dot image. This blurring amplifies the effect of image noise on the centroid estimation process, leading to an increase in the CRLB and a decrease in the measurement precision. The ratio of position uncertainties of a dot in the reference and gradient images is a function of the ratio of the dot diameters and dot intensities. We term this parameter the Amplification Ratio (AR), and we propose a methodology for estimating the position uncertainties in tracking based BOS measurements. The theoretical predictions of the particle dot position estimation variance from the CRLB are compared to ray tracing simulations with good agreement. The uncertainty amplification is also demonstrated on experimental BOS images of flow induced by a spark discharge, where we show that regions of high amplification ratio correspond to regions of density gradients. This analysis elucidates the dependence of the position error on density and refractive index gradient induced distortion parameters, provides a methodology for accounting its effect on uncertainty quantification and provides a framework for optimizing experiment design.


A general Chevalley formula for semi infinite flag manifolds and quantum K theory. We give a combinatorial Chevalley formula for an arbitrary weight, in the torus equivariant K group of semi infinite flag manifolds, which is expressed in terms of the quantum alcove model. As an application, we prove the Chevalley formula for anti dominant fundamental weights in the (small) torus equivariant quantum K theory QK T(G B) of the flag manifold G B this has been a longstanding conjecture about the multiplicative structure of QK T(G B) . Moreover, in type A n 1 , we prove that the so called quantum Grothendieck polynomials indeed represent Schubert classes in the (non equivariant) quantum K theory QK(SL n B) we also obtain very explicit information about the coefficients in the respective Chevalley formula.


Lower bound performances for average consensus in open multi agent systems (extended version). We derive fundamental limitations on the performances of intrinsic averaging algorithms in open multi agent systems, which are systems subject to random arrivals and departures of agents. Each agent holds a value, and their goal is to estimate the average of the values of the agents presently in the system. We provide a lower bound on the expected Mean Square Error for any estimation algorithm, assuming that the number of agents remains constant and that communications are random and pairwise. Our derivation is based on the expected error obtained with an optimal algorithm under conditions more favorable than those the actual problem allows, and relies on an analysis of the constraints on the information spreading mechanisms in the system, and relaxations of these.


From Protocol to Screening A Hybrid Learning Approach for Technology Assisted Systematic Literature Reviews. In the medical domain, a Systematic Literature Review (SLR) attempts to collect all empirical evidence, that fit pre specified eligibility criteria, in order to answer a specific research question. The process of preparing an SLR consists of multiple tasks that are labor intensive and time consuming, involving large monetary costs. Technology assisted review (TAR) methods automate the different processes of creating an SLR and they are particularly focused on reducing the burden of screening for reviewers. We present a novel method for TAR that implements a full pipeline from the research protocol to the screening of the relevant papers. Our pipeline overcomes the need of a Boolean query constructed by specialists and consists of three different components the primary retrieval engine, the inter review ranker and the intra review ranker, combining learning to rank techniques with a relevance feedback method. In addition, we contribute an updated version of the Task 2 of the CLEF 2019 eHealth Lab dataset, which we make publicly available. Empirical results on this dataset show that our approach can achieve state of the art results.


Stationary one sided area minimizing hypersurfaces with isolated singularities. We extend the results of Hardt and Simon on area minimizing cones to prove that isolated singularities of stationary one sided area minimizing hypersurfaces can be locally perturbed away on the side that they are minimizing.


On Bungee Set of Composition of Transcendental Entire Functions. Let f be a transcendental entire function. For n in mathbb N , let f n denote the n th iterate of f . Let I(f) z in mathbb C f n rightarrow infty as n rightarrow infty and K(f) z textrm there exists R 0 textrm such that f n(z) leq R textrm for n geq 0 . Then the set mathbb C setminus (I(f) cup K(f)) denoted by BU(f) is called Bungee set of f . In this paper we give an alternate definition for BU(f) which is very easy to work with, and we illustrate it by proving some properties of Bungee sets of composite transcendental entire functions and also of Bungee sets of permutable transcendental entire functions.


Word Rotator's Distance. A key principle in assessing textual similarity is measuring the degree of semantic overlap between two texts by considering the word alignment. Such alignment based approaches are intuitive and interpretable however, they are empirically inferior to the simple cosine similarity between general purpose sentence vectors. To address this issue, we focus on and demonstrate the fact that the norm of word vectors is a good proxy for word importance, and their angle is a good proxy for word similarity. Alignment based approaches do not distinguish them, whereas sentence vector approaches automatically use the norm as the word importance. Accordingly, we propose a method that first decouples word vectors into their norm and direction, and then computes alignment based similarity using earth mover's distance (i.e., optimal transport cost), which we refer to as word rotator's distance. Besides, we find how to grow the norm and direction of word vectors (vector converter), which is a new systematic approach derived from sentence vector estimation methods. On several textual similarity datasets, the combination of these simple proposed methods outperformed not only alignment based approaches but also strong baselines. The source code is available at https github.com eumesy wrd


Simulation of Human and Artificial Emotion (SHArE). The framework for Simulation of Human and Artificial Emotion (SHArE) describes the architecture of emotion in terms of parameters transferable between psychology, neuroscience, and artificial intelligence. These parameters can be defined as abstract concepts or granularized down to the voltage levels of individual neurons. This model enables emotional trajectory design for humans which may lead to novel therapeutic solutions for various mental health concerns. For artificial intelligence, this work provides a compact notation which can be applied to neural networks as a means to observe the emotions and motivations of machines.


Interactive Music and Synchronous Reactive Programming. This paper presents Skini, a programming methodology and an execution environment for interactive structured music. With this system, the composer programs his scores in the HipHop.js synchronous reactive language. They are then executed, or played, in live concerts, in interaction with the audience. The system aims at helping composers to find a good balance between the determinism of the compositions and the nondeterminism of the interactions with the public. Each execution of a Skini score yields to a different but aesthetically consistent interpretation. This work raises many questions in the musical fields. How to combine composition and interaction? How to control the musical style when the audience influences what is to play next? What are the possible connections with generative music? These are important questions for the Skini system but they are out of the scope of this paper that focuses exclusively on the computer science aspects of the system. From that perspective, the main questions are how to program the scores and in which language? General purpose languages are inappropriate because their elementary constructs (i.e., variables, functions, loops, etc.) do not match the constructions needed to express music and musical constraints. We show that synchronous programming languages are a much better fit because they rely on temporal constructs that can be directly used to represent musical scores and because their malleability enables composers to experiment easily with artistic variations of their initial scores. The paper mostly focuses on scores programming. It exposes the process a composer should follow from his very first musical intuitions up to the generation of a musical artifact. The paper presents some excerpts of the programming of a classical music composition that it then precisely relates to an actual recording. Examples of techno music and jazz are also presented, with audio artifact, to demonstrate the versatility of the system. Finally, brief presentations of past live concerts are presented as an evidence of viability of the system.


Voronoi Cells in Metric Algebraic Geometry of Plane Curves. Voronoi cells of varieties encode many features of their metric geometry. We prove that each Voronoi or Delaunay cell of a plane curve appears as the limit of a sequence of cells obtained from point samples of the curve. We use this result to study metric features of plane curves, including the medial axis, curvature, evolute, bottlenecks, and reach. In each case, we provide algebraic equations defining the object and, where possible, give formulas for the degrees of these algebraic varieties. We show how to identify the desired metric feature from Voronoi or Delaunay cells, and therefore how to approximate it by a finite point sample from the variety.


Calabi Yau threefolds over finite fields and torsion in cohomologies. We study various examples of Calabi Yau threefolds over finite fields. In particular, we provide a counterexample to a conjecture of K. Joshi on lifting Calabi Yau threefolds to characteristic zero. We also compute the p adic cohomologies of some Calabi Yau threefolds constructed by Cynk van Straten which have remarkable arithmetic properties, as well as those of the Hirokado threefold. These examples and computations answer some outstanding questions of B. Bhatt, T. Ekedahl, van der Geer Katsura and Patakfalvi Zdanowicz, and shed new light on the Beauville Bogomolov decomposition in positive characteristic. Our tools include p adic Hodge theory as well as classical algebraic topology. We also give potential examples showing that Hodge numbers of threefolds in positive characteristic are not derived invariants, contrary to the case of characteristic zero.


On the problem of maximal L q regularity for viscous Hamilton Jacobi equations. For q 2, gamma 1 , we prove that maximal regularity of L q type holds for periodic solutions to Delta u Du gamma f in mathbb R d , under the (sharp) assumption q d frac gamma 1 gamma .


On the growth of cuspidal cohomology of rm GL 4 . In this article, we establish an asymptotic estimate on the number of cuspidal automorphic representations of rm GL 4( mathbb A mathbb Q ) which contribute to the cuspidal cohomology of rm GL 4 and are obtained from symmetric cube transfer of automorphic representations of rm GL 2( mathbb A mathbb Q ) of a given weight and with varying level structure. This generalises the recent work of C. Ambi 2020 about the similar problem for rm GL 3 .


Constant rank theorems for curvature problems via a viscosity approach. An important set of theorems in geometric analysis consists of constant rank theorems for a wide variety of curvature problems. In this paper, for geometric curvature problems in compact and non compact settings, we provide new proofs which are both elementary and short. Moreover, we employ our method to obtain constant rank theorems for homogeneous and non homogeneous curvature equations in new geometric settings. One of the essential ingredients for our method is a generalization of a differential inequality in a viscosity sense satisfied by the smallest eigenvalue of a linear map (Brendle Choi Daskalopoulos, Acta Math. 219(2017) 1 16) to the one for the subtrace. The viscosity approach provides a concise way to work around the well known technical hurdle that eigenvalues are only Lipschitz in general. This paves the way for a simple induction argument.


Insights into Leading Edge Vortex Formation and Detachment on a Pitching and Plunging Flat Plate. The present study is a prelude to applying different flow control devices on pitching and plunging airfoils with the intention of controlling the growth of the leading edge vortex (LEV) hence, the lift under unsteady stall conditions. As a pre requisite, the parameters influencing the development of the LEV topology must be fully understood, and this constitutes the main motivation of the present experimental investigation. The aims of this study are twofold. First, an approach is introduced to validate the comparability between flow fields and LEV characteristics of two different facilities using water and air as working media by making use of a common baseline case. The motivation behind this comparison is that with two facilities the overall parameter range can be greatly expanded. This comparison includes an overview of the respective parameter ranges, control of the airfoil kinematics and careful scrutiny of how post processing procedures of velocity data from time resolved particle image velocimetry (PIV) influence the integral properties and topological features used to characterise the LEV development. Second, and based on results coming from both facilities, the appearance of secondary structures and their effect on LEV detachment over an extended parameter range is studied. A Lagrangian flow field analysis, based on finite time Lyapunov Exponent (FTLE) ridges, allows precise identification of secondary structures and reveals that their emergence is closely correlated to a vortex Reynolds number threshold computed from the LEV circulation. This threshold is used to model the temporal onset of secondary structures. Further analysis indicates that the emergence of secondary structures causes the LEV to stop accumulating circulation if the shear layer angle at the leading edge of the flat plate has ceased to increase.


Pick a Fight or Bite your Tongue Investigation of Gender Differences in Idiomatic Language Usage. A large body of research on gender linked language has established foundations regarding cross gender differences in lexical, emotional, and topical preferences, along with their sociological underpinnings. We compile a novel, large and diverse corpus of spontaneous linguistic productions annotated with speakers' gender, and perform a first large scale empirical study of distinctions in the usage of textit figurative language between male and female authors. Our analyses suggest that (1) idiomatic choices reflect gender specific lexical and semantic preferences in general language, (2) men's and women's idiomatic usages express higher emotion than their literal language, with detectable, albeit more subtle, differences between male and female authors along the dimension of dominance compared to similar distinctions in their literal utterances, and (3) contextual analysis of idiomatic expressions reveals considerable differences, reflecting subtle divergences in usage environments, shaped by cross gender communication styles and semantic biases.


Semi uniform stability of operator semigroups and energy decay of damped waves. Only in the last fifteen years or so has the notion of semi uniform stability, which lies between exponential stability and strong stability, become part of the asymptotic theory of C 0 semigroups. It now lies at the very heart of modern semigroup theory. After briefly reviewing the notions of exponential and strong stability, we present an overview of some of the best known (and often optimal) abstract results on semi uniform stability. We go on to indicate briefly how these results can be applied to obtain (sometimes optimal) rates of energy decay for certain damped second order Cauchy problems.


Classifying Referential and Non referential It Using Gaze. When processing a text, humans and machines must disambiguate between different uses of the pronoun it, including non referential, nominal anaphoric or clause anaphoric ones. In this paper, we use eye tracking data to learn how humans perform this disambiguation. We use this knowledge to improve the automatic classification of it. We show that by using gaze data and a POS tagger we are able to significantly outperform a common baseline and classify between three categories of it with an accuracy comparable to that of linguisticbased approaches. In addition, the discriminatory power of specific gaze features informs the way humans process the pronoun, which, to the best of our knowledge, has not been explored using data from a natural reading task.


Rigidity theorems of spacelike entire self shrinking graphs in the pseudo Euclidean space. In this paper, we firstly establish a new volume growth estimate for spacelike entire graphs in the pseudo Euclidean space mathbb R m n n . Then by using this volume growth estimate and the Co Area formula, we prove various rigidity results for spacelike entire self shrinking graphs.


Intrinsic Smallness. Recent work in computability theory has focused on various notions of asymptotic computability, which capture the idea of a set being "almost computable." One potentially upsetting result is that all four notions of asymptotic computability admit "almost computable" sets in every Turing degree via coding tricks, contradicting the notion that "almost computable" sets should be computationally close to the computable sets. In response, Astor introduced the notion of intrinsic density a set has defined intrinsic density if its image under any computable permutation has the same asymptotic density. Furthermore, Astor also introduced various notions of intrinsic computation in which the standard coding tricks cannot be used to embed intrinsically computable sets in every Turing degree. Our goal is to study the sets which are intrinsically small, i.e. those that have intrinsic density zero. We begin by studying which computable functions preserve intrinsic smallness. We also show that intrinsic smallness and hyperimmunity are computationally independent notions of smallness, i.e. any hyperimmune degree contains a Turing equivalent hyperimmune set which is "as large as possible" and therefore not intrinsically small. Our discussion concludes by relativizing the notion of intrinsic smallness and discussing intrinsic computability as it relates to our study of intrinsic smallness.


GE852 A Dataset of 852 Game Engines. Game engines provide a platform for developers to build games with an interface tailored to handle the complexity during game development. To reduce effort and improve quality of game development, there is a strong need to understand and analyze the quality of game engines and their various aspects such as API usability, code quality, code reuse and so on. To the best our knowledge, we are not aware of any dataset that caters to game engines in the literature. To this end, we present GE852, a dataset of 852 game engine repositories mined from GitHub in two languages, namely Java and C . The dataset contains metadata of all the mined repositories including commits, pull requests, issues and so on. We believe that our dataset can lay foundation for empirical investigation in the area of game engines.


Development of a Surface having Regular Polygonal Base and Elliptic Arcs. This paper aims to develop the mathematical representation of a surface generated by elliptical arcs joining the sides of a regular polygon to a point lying vertically upward on the central axis of the polygon. The volume of the corresponding solid has also been determined.


Universal Litmus Patterns Revealing Backdoor Attacks in CNNs. The unprecedented success of deep neural networks in many applications has made these networks a prime target for adversarial exploitation. In this paper, we introduce a benchmark technique for detecting backdoor attacks (aka Trojan attacks) on deep convolutional neural networks (CNNs). We introduce the concept of Universal Litmus Patterns (ULPs), which enable one to reveal backdoor attacks by feeding these universal patterns to the network and analyzing the output (i.e., classifying the network as clean' or corrupted'). This detection is fast because it requires only a few forward passes through a CNN. We demonstrate the effectiveness of ULPs for detecting backdoor attacks on thousands of networks with different architectures trained on four benchmark datasets, namely the German Traffic Sign Recognition Benchmark (GTSRB), MNIST, CIFAR10, and Tiny ImageNet. The codes and train test models for this paper can be found here https umbcvision.github.io Universal Litmus Patterns .


Oriented Matroids and Combinatorial Neural Codes. A combinatorial neural code mathscr C subseteq 2 n is convex if it arises as the intersection pattern of convex open subsets of mathbb R d . We relate the emerging theory of convex neural codes to the established theory of oriented matroids, both categorically and with respect to geometry and computational complexity. On the categorical side, we show that the map taking an acyclic oriented matroid to the code of positive parts of its topes is a faithful functor. We adapt the oriented matroid ideal introduced by Novik, Postnikov, and Sturmfels into a functor from the category of oriented matroids to the category of rings then, we show that the resulting ring maps naturally to the neural ring of the matroid's neural code. For geometry and computational complexity, we show that a code has a realization with convex polytopes if and only if it lies below the code of a representable oriented matroid in the partial order of codes introduced by Jeffs. We show that previously published examples of non convex codes do not lie below any oriented matroids, and we construct examples of non convex codes lying below non representable oriented matroids. By way of this construction, we can apply Mn " e v Sturmfels universality to show that deciding whether a combinatorial code is convex is NP hard.


Domain Adaptive Transfer Learning on Visual Attention Aware Data Augmentation for Fine grained Visual Categorization. Fine Grained Visual Categorization (FGVC) is a challenging topic in computer vision. It is a problem characterized by large intra class differences and subtle inter class differences. In this paper, we tackle this problem in a weakly supervised manner, where neural network models are getting fed with additional data using a data augmentation technique through a visual attention mechanism. We perform domain adaptive knowledge transfer via fine tuning on our base network model. We perform our experiment on six challenging and commonly used FGVC datasets, and we show competitive improvement on accuracies by using attention aware data augmentation techniques with features derived from deep learning model InceptionV3, pre trained on large scale datasets. Our method outperforms competitor methods on multiple FGVC datasets and showed competitive results on other datasets. Experimental studies show that transfer learning from large scale datasets can be utilized effectively with visual attention based data augmentation, which can obtain state of the art results on several FGVC datasets. We present a comprehensive analysis of our experiments. Our method achieves state of the art results in multiple fine grained classification datasets including challenging CUB200 2011 bird, Flowers 102, and FGVC Aircrafts datasets.


On Szemer 'edi's theorem with differences from a random set. We consider, over both the integers and finite fields, Szemer ' e di's theorem on k term arithmetic progressions where the set S of allowed common differences in those progressions is restricted and random. Fleshing out a line of enquiry suggested by Frantzikinakis et al, we show that over the integers, the conjectured threshold for mathbb P (d in S) for Szemer ' e di's theorem to hold a.a.s follows from a conjecture about how so called dual functions are approximated by nilsequences. We also show that the threshold over finite fields is different to this threshold over the integers.


Modeling and simulation of transverse wakefields in PWFA. A simplified model describing the PWFA (plasma wakefield acceleration) transverse instability in the form of a wake function parameterized only with an effective cavity aperture radius a is benchmarked against PIC simulations. This wake function implies a 1 a 4 scaling of the transverse wakefields, which indicates transverse intra beam wakefields typically several orders of magnitude higher than in conventional acceleration structures. Furthermore, the wakefield formalism is utilized to perform a parameter study for a SI 1.5 tera electronvolt plasma wakefield accelerator, where the constraint on drive beam to main beam efficiency imposed by transverse wakefields is taken into account. Eventually, a parameter set with promising properties in terms of energy spread, stability and luminosity per power was found.


Language Generation via Combinatorial Constraint Satisfaction A Tree Search Enhanced Monte Carlo Approach. Generating natural language under complex constraints is a principled formulation towards controllable text generation. We present a framework to allow specification of combinatorial constraints for sentence generation. We propose TSMH, an efficient method to generate high likelihood sentences with respect to a pre trained language model while satisfying the constraints. Our approach is highly flexible, requires no task specific training, and leverages efficient constraint satisfaction solving techniques. To better handle the combinatorial constraints, a tree search algorithm is embedded into the proposal process of the Markov chain Monte Carlo (MCMC) to explore candidates that satisfy more constraints. Compared to existing MCMC approaches, our sampling approach has a better mixing performance. Experiments show that TSMH achieves consistent and significant improvement on multiple language generation tasks.


SizeNet Weakly Supervised Learning of Visual Size and Fit in Fashion Images. Finding clothes that fit is a hot topic in the e commerce fashion industry. Most approaches addressing this problem are based on statistical methods relying on historical data of articles purchased and returned to the store. Such approaches suffer from the cold start problem for the thousands of articles appearing on the shopping platforms every day, for which no prior purchase history is available. We propose to employ visual data to infer size and fit characteristics of fashion articles. We introduce SizeNet, a weakly supervised teacher student training framework that leverages the power of statistical models combined with the rich visual information from article images to learn visual cues for size and fit characteristics, capable of tackling the challenging cold start problem. Detailed experiments are performed on thousands of textile garments, including dresses, trousers, knitwear, tops, etc. from hundreds of different brands.


Substitutional subshifts and growth of groups. We show how to use symbolic dynamics of Schreier graphs to embed the Grigorchuk group into a simple torsion group of intermediate growth and to construct uncountably many growth types of simple torsion groups.


The 4 D Gaussian Random Vector Maximum Conjecture and the 3 D Simplex Mean Width Conjecture. We prove the four dimensional Gaussian random vector maximum conjecture. This conjecture asserts that among all centered Gaussian random vectors X (X 1,X 2,X 3,X 4) with E X i 2 1 , 1 le i le 4 , the expectation E max(X 1,X 2,X 3,X 4) is maximal if and only if all off diagonal elements of the covariance matrix equal frac 1 3 . As a direct consequence, we resolve the three dimensional simplex mean width conjecture. This latter conjecture is a long standing open problem in convex geometry, which asserts that among all simplices inscribed into the three dimensional unit Euclidean ball the regular simplex has the maximal mean width.


DLockout A Design Lockout Technique for Key Obfuscated RTL IP Designs. Intellectual Property (IP) infringement including piracy and over production have emerged as significant threats in the semiconductor supply chain. Key based obfuscation techniques (i.e., logic locking) are widely applied to secure legacy IP from such attacks. However, the fundamental question remains open whether an attacker is allowed an exponential amount of time to seek correct key or could it be useful to lock out the design in a non destructive manner after several incorrect attempts. In this paper, we address this question with a robust design lockout technique. Specifically, we perform comparisons on obfuscation logic output that reflects the condition (correct or incorrect) of the applied key without changing the system behaviour. The proposed approach, when combined with key obfuscation (logic locking) technique, increases the difficulty of reverse engineering key obfuscated RTL module. We provide security evaluation of DLockout against three common side channel attacks followed by a quantitative assessment of the resilience. We conducted a set of experiments on four datapath intensive IPs and one crypto core for three different key lengths (32 , 64 , and 128 bit) under typical design corner. On average, DLockout incurs negligible area, power, and delay overheads.


On Petersson's partition limit formula. For each prime p equiv 1 pmod 4 consider the Legendre character chi ( frac cdot p ) . Let p pm(n) be the number of partitions of n into parts lambda 0 such that chi( lambda) pm 1 . Petersson proved a beautiful limit formula for the ratio of p (n) to p (n) as n to infty expressed in terms of important invariants of the real quadratic field mathbb Q ( sqrt p ) . But his proof is not illuminating and Grosswald conjectured a more natural proof using a Tauberian converse of the Stolz Ces aro theorem. In this paper we suggest an approach to address Grosswald's conjecture. We discuss a monotonicity conjecture which looks quite natural in the context of the monotonicity theorems of Bateman Erd H o s.


Discrete Mean Field Games Existence of Equilibria and Convergence. We consider mean field games with discrete state spaces (called discrete mean field games in the following) and we analyze these games in continuous and discrete time, over finite as well as infinite time horizons. We prove the existence of a mean field equilibrium assuming continuity of the cost and of the drift. These conditions are more general than the existing papers studying finite state space mean field games. Besides, we also study the convergence of the equilibria of N player games to mean field equilibria in our four settings. On the one hand, we define a class of strategies in which any sequence of equilibria of the finite games converges weakly to a mean field equilibrium when the number of players goes to infinity. On the other hand, we exhibit equilibria outside this class that do not converge to mean field equilibria and for which the value of the game does not converge. In discrete time this non convergence phenomenon implies that the Folk theorem does not scale to the mean field limit.


Asynchronous Snapshots of Actor Systems for Latency Sensitive Applications. The actor model is popular for many types of server applications. Efficient snapshotting of applications is crucial in the deployment of pre initialized applications or moving running applications to different machines, e.g for debugging purposes. A key issue is that snapshotting blocks all other operations. In modern latency sensitive applications, stopping the application to persist its state needs to be avoided, because users may not tolerate the increased request latency. In order to minimize the impact of snapshotting on request latency, our approach persists the application's state asynchronously by capturing partial heaps, completing snapshots step by step. Additionally, our solution is transparent and supports arbitrary object graphs. We prototyped our snapshotting approach on top of the Truffle Graal platform and evaluated it with the Savina benchmarks and the Acme Air microservice application. When performing a snapshot every thousand Acme Air requests, the number of slow requests ( 0.007 of all requests) with latency above 100ms increases by 5.43 . Our Savina microbenchmark results detail how different utilization patterns impact snapshotting cost. To the best of our knowledge, this is the first system that enables asynchronous snapshotting of actor applications, i.e. without stop the world synchronization, and thereby minimizes the impact on latency. We thus believe it enables new deployment and debugging options for actor systems.


Improved Multi Source Domain Adaptation by Preservation of Factors. Domain Adaptation (DA) is a highly relevant research topic when it comes to image classification with deep neural networks. Combining multiple source domains in a sophisticated way to optimize a classification model can improve the generalization to a target domain. Here, the difference in data distributions of source and target image datasets plays a major role. In this paper, we describe based on a theory of visual factors how real world scenes appear in images in general and how recent DA datasets are composed of such. We show that different domains can be described by a set of so called domain factors, whose values are consistent within a domain, but can change across domains. Many DA approaches try to remove all domain factors from the feature representation to be domain invariant. In this paper we show that this can lead to negative transfer since task informative factors can get lost as well. To address this, we propose Factor Preserving DA (FP DA), a method to train a deep adversarial unsupervised DA model, which is able to preserve specific task relevant factors in a multi domain scenario. We demonstrate on CORe50, a dataset with many domains, how such factors can be identified by standard one to one transfer experiments between single domains combined with PCA. By applying FP DA, we show that the highest average and minimum performance can be achieved.


Variation of the Swan conductor of an mathbb F ell sheaf on a rigid disc. This article studies the variation of the Swan conductor of a lisse 'etale sheaf of mathbb F ell modules mathcal F on the rigid unit disc D over a complete discrete valuation field K with algebraically closed residue field of characteristic p neq ell . We associate to mathcal F a function rm sw rm AS ( mathcal F , cdot) mathbb Q geq 0 to mathbb Q , defined with the Abbes Saito logarithmic ramification filtration, which measures, at each t in mathbb Q geq 0 , the ramification of the restriction of mathcal F to the subdisc of radius t along the special fiber of the normalized integral model. We prove that this function is continuous and piecewise linear, with finitely many slopes which are all integers. We compute the slope at t in mathbb Q geq 0 in terms of a characteristic cycle associated to mathcal F , a (power of a) logarithmic differential form defined by ramification theory.


Sequence Information Channel Concatenation for Improving Camera Trap Image Burst Classification. Camera Traps are extensively used to observe wildlife in their natural habitat without disturbing the ecosystem. This could help in the early detection of natural or human threats to animals, and help towards ecological conservation. Currently, a massive number of such camera traps have been deployed at various ecological conservation areas around the world, collecting data for decades, thereby requiring automation to detect images containing animals. Existing systems perform classification to detect if images contain animals by considering a single image. However, due to challenging scenes with animals camouflaged in their natural habitat, it sometimes becomes difficult to identify the presence of animals from merely a single image. We hypothesize that a short burst of images instead of a single image, assuming that the animal moves, makes it much easier for a human as well as a machine to detect the presence of animals. In this work, we explore a variety of approaches, and measure the impact of using short image sequences (burst of 3 images) on improving the camera trap image classification. We show that concatenating masks containing sequence information and the images from the 3 image burst across channels, improves the ROC AUC by 20 on a test set from unseen camera sites, as compared to an equivalent model that learns from a single image.


Pseudo differential operators associated to general type I locally compact groups. In a recent paper by M. Mantoiu and M. Ruzhansky, a global pseudo differential calculus has been developed for unimodular groups of type I. In the present article we generalize the main results to arbitrary locally compact groups of type I. Our methods involve the use of Plancherel's theorem for non unimodular groups. We also make connections with a C algebraic formalism, involving dynamical systems, and give explicit constructions for the group of affine transformations of the real line.


Physics informed Autoencoders for Lyapunov stable Fluid Flow Prediction. In addition to providing high profile successes in computer vision and natural language processing, neural networks also provide an emerging set of techniques for scientific problems. Such data driven models, however, typically ignore physical insights from the scientific system under consideration. Among other things, a physics informed model formulation should encode some degree of stability or robustness or well conditioning (in that a small change of the input will not lead to drastic changes in the output), characteristic of the underlying scientific problem. We investigate whether it is possible to include physics informed prior knowledge for improving the model quality (e.g., generalization performance, sensitivity to parameter tuning, or robustness in the presence of noisy data). To that extent, we focus on the stability of an equilibrium, one of the most basic properties a dynamic system can have, via the lens of Lyapunov analysis. For the prototypical problem of fluid flow prediction, we show that models preserving Lyapunov stability improve the generalization error and reduce the prediction uncertainty.


A symplectic discontinuous Galerkin full discretization for stochastic Maxwell equations. This paper proposes a fully discrete method called the symplectic dG full discretization for stochastic Maxwell equations driven by additive noises, based on a stochastic symplectic method in time and a discontinuous Galerkin (dG) method with the upwind fluxes in space. A priori H k regularity ( k in 1,2 ) estimates for the solution of stochastic Maxwell equations are presented, which have not been reported before to the best of our knowledge. These H k regularities are vital to make the assumptions of the mean square convergence analysis on the initial fields, the noise and the medium coefficients, but not on the solution itself. The convergence order of the symplectic dG full discretization is shown to be k 2 in the temporal direction and k 1 2 in the spatial direction. Meanwhile we reveal the small noise asymptotic behaviors of the exact and numerical solutions via the large deviation principle, and show that the fully discrete method preserves the divergence relations in a weak sense.


Donkey and Smuggler Optimization Algorithm A Collaborative Working Approach to Path Finding. Swarm Intelligence is a metaheuristic optimization approach that has become very predominant over the last few decades. These algorithms are inspired by animals' physical behaviors and their evolutionary perceptions. The simplicity of these algorithms allows researchers to simulate different natural phenomena to solve various real world problems. This paper suggests a novel algorithm called Donkey and Smuggler Optimization Algorithm (DSO). The DSO is inspired by the searching behavior of donkeys. The algorithm imitates transportation behavior such as searching and selecting routes for movement by donkeys in the actual world. Two modes are established for implementing the search behavior and route selection in this algorithm. These are the Smuggler and Donkeys. In the Smuggler mode, all the possible paths are discovered and the shortest path is then found. In the Donkeys mode, several donkey behaviors are utilized such as Run, Face Suicide, and Face Support. Real world data and applications are used to test the algorithm. The experimental results consisted of two parts, firstly, we used the standard benchmark test functions to evaluate the performance of the algorithm in respect to the most popular and the state of the art algorithms. Secondly, the DSO is adapted and implemented on three real world applications namely traveling salesman problem, packet routing, and ambulance routing. The experimental results of DSO on these real world problems are very promising. The results exhibit that the suggested DSO is appropriate to tackle other unfamiliar search spaces and complex problems.


Property Invariant Embedding for Automated Reasoning. Automated reasoning and theorem proving have recently become major challenges for machine learning. In other domains, representations that are able to abstract over unimportant transformations, such as abstraction over translations and rotations in vision, are becoming more common. Standard methods of embedding mathematical formulas for learning theorem proving are however yet unable to handle many important transformations. In particular, embedding previously unseen labels, that often arise in definitional encodings and in Skolemization, has been very weak so far. Similar problems appear when transferring knowledge between known symbols. We propose a novel encoding of formulas that extends existing graph neural network models. This encoding represents symbols only by nodes in the graph, without giving the network any knowledge of the original labels. We provide additional links between such nodes that allow the network to recover the meaning and therefore correctly embed such nodes irrespective of the given labels. We test the proposed encoding in an automated theorem prover based on the tableaux connection calculus, and show that it improves on the best characterizations used so far. The encoding is further evaluated on the premise selection task and a newly introduced symbol guessing task, and shown to correctly predict 65 of the symbol names.


A Consent Model for Blockchain based Distributed Data Sharing Platforms. In modern healthcare systems, being able to share electronic health records is crucial for providing quality care and for enabling a larger spectrum of health services. Health data sharing is dependent on obtaining individual consent which, in turn, is hindered by a lack of resources. To this extend, blockchain based platforms facilitate data sharing by inherently creating a trusted distributed network of users. These users are enabled to share their data without depending on the time and resources of specific players (such as the health services). In blockchain based platforms, data governance mechanisms become very important due to the need to specify and monitor data sharing and data use conditions. In this paper, we present a blockchain based data sharing consent model for access control over individual health data. We use smart contracts to dynamically represent the individual consent over health data and to enable data requesters to search and access them. The dynamic consent model extends upon two ontologies the Data Use Ontology (DUO) which models the individual consent of users and the Automatable Discovery and Access Matrix (ADA M) which describes queries from data requesters. We deploy the model on Ethereum blockchain and evaluate different data sharing scenarios. The contribution of this paper is to create an individual consent model for health data sharing platforms. Such a model guarantees that individual consent is respected and that there is accountability for all the participants in the data sharing platform. The evaluation of our solution indicates that such a data sharing model provides a flexible approach to decide how the data is used by data requesters. Our experimental evaluation shows that the proposed model is efficient and adapts to personalized access control policies in data sharing.


Topic Centric Unsupervised Multi Document Summarization of Scientific and News Articles. Recent advances in natural language processing have enabled automation of a wide range of tasks, including machine translation, named entity recognition, and sentiment analysis. Automated summarization of documents, or groups of documents, however, has remained elusive, with many efforts limited to extraction of keywords, key phrases, or key sentences. Accurate abstractive summarization has yet to be achieved due to the inherent difficulty of the problem, and limited availability of training data. In this paper, we propose a topic centric unsupervised multi document summarization framework to generate extractive and abstractive summaries for groups of scientific articles across 20 Fields of Study (FoS) in Microsoft Academic Graph (MAG) and news articles from DUC 2004 Task 2. The proposed algorithm generates an abstractive summary by developing salient language unit selection and text generation techniques. Our approach matches the state of the art when evaluated on automated extractive evaluation metrics and performs better for abstractive summarization on five human evaluation metrics (entailment, coherence, conciseness, readability, and grammar). We achieve a kappa score of 0.68 between two co author linguists who evaluated our results. We plan to publicly share MAG 20, a human validated gold standard dataset of topic clustered research articles and their summaries to promote research in abstractive summarization.


First demonstration of 6 dB quantum noise reduction in a kilometer scale gravitational wave observatory. Photon shot noise, arising from the quantum mechanical nature of the light, currently limits the sensitivity of all the gravitational wave observatories at frequencies above one kilohertz. We report a successful application of squeezed vacuum states of light at the GEO ,600 observatory and demonstrate for the first time a reduction of quantum noise up to 6.03 pm 0.02 dB in a kilometer scale interferometer. This is equivalent at high frequencies to increasing the laser power circulating in the interferometer by a factor of four. Achieving this milestone, a key goal for the upgrades of the advanced detectors, required a better understanding of the noise sources and losses, and implementation of robust control schemes to mitigate their contributions. In particular, we address the optical losses from beam propagation, phase noise from the squeezing ellipse, and backscattered light from the squeezed light source. The expertise gained from this work carried out at GEO 600 provides insight towards the implementation of 10 dB of squeezing envisioned for third generation gravitational wave detectors.