Financial option valuation by unsupervised learning with artificial neural networks. Artificial neural networks (ANNs) have recently also been applied to solve partial differential equations (PDEs). In this work, the classical problem of pricing European and American financial options, based on the corresponding PDE formulations, is studied. Instead of using numerical techniques based on finite element or difference methods, we address the problem using ANNs in the context of unsupervised learning. As a result, the ANN learns the option values for all possible underlying stock values at future time points, based on the minimization of a suitable loss function. For the European option, we solve the linear Black Scholes equation, whereas for the American option, we solve the linear complementarity problem formulation. Two asset exotic option values are also computed, since ANNs enable the accurate valuation of high dimensional options. The resulting errors of the ANN approach are assessed by comparing to the analytic option values or to numerical reference solutions (for American options, computed by finite elements).


Arithmetic Combinatorics on Vinogradov systems. In this paper, we present a variant of the Balog Szemer 'edi Gowers theorem for the Vinogradov system. We then use our result to deduce a higher degree analogue of the sum product phenomenon.


Curved boundary conditions of the lattice Boltzmann method for simulating microgaseous flows in the slip flow regime. The lattice Boltzmann method (LBM) has shown its promising capability in simulating microscale gas flows. However, the suitable boundary condition is still one of the critical issues for the LBM to model microgaseous flows involving curved geometries. In this paper, a local boundary condition of the LBM is proposed to treat curved solid walls of microgaseous flows. The developed boundary treatment combines the Maxwellian diffuse reflection scheme and a single node boundary scheme which contains a free parameter as well as the distance ratio. The curved boundary condition is analyzed within the multiple relaxation time (MRT) model for a unidirectional microflow. It is shown that the derived slip velocity depends on the free parameter as well as the distance ratio and relaxation times. By virtue of the free parameter, the combination parameter and the uniform relaxation time are theoretically determined to realize the accurate slip boundary condition. In addition, it is found that besides the halfway diffuse bounce back (DBB) scheme, previous curved boundary schemes only containing the distance ratio cannot ensure uniform relaxation times to realize the slip boundary condition. Some numerical examples with planar and curved boundaries are carried out to validate the present curved boundary scheme. The good and robust consistency of numerical predictions with analytical solutions demonstrates our theoretical analysis.


Linearization of topologically Anosov homeomorphisms of non compact surfaces. We study the dynamics of Topologically Anosov homeomorphisms of non compact surfaces. In the case of surfaces of genus zero and finite type, we classify them. We prove that if f S to S , is a Topologically Anosov homeomorphism where S is a non compact surface of genus zero and finite type, then S R 2 and f is conjugate to a homothety or reverse homothety (depending on wether f preserves or reverses orientation). A weaker version of this result was conjectured in a previous work.


The role of liquid liquid phase separation in regulating enzyme activity. Liquid liquid phase separation is now recognized as a common mechanism for regulating enzyme activity in cells. Insights from studies in cells are complemented by in vitro studies aimed at developing better understanding of mechanisms underlying such control. These mechanisms are often based on the influence of LLPS on the physicochemical properties of the enzyme's environment. Biochemical mechanisms underlying such regulation include the potential for concentrating reactants together, tuning reaction rates, and controlling competing metabolic pathways. LLPS is thus a powerful tool with extensive utilities for the cell, e.g. for consolidating cell survival under stress or rerouting metabolic pathways in response to the energy state of the cell. By examining the evidence of how LLPS affects enzyme catalysis, we can begin to understand emerging concepts and expand our understanding of enzyme catalysis in living cells.


Gaussian Process Bandit Optimization of the Thermodynamic Variational Objective. Achieving the full promise of the Thermodynamic Variational Objective (TVO), a recently proposed variational lower bound on the log evidence involving a one dimensional Riemann integral approximation, requires choosing a "schedule" of sorted discretization points. This paper introduces a bespoke Gaussian process bandit optimization method for automatically choosing these points. Our approach not only automates their one time selection, but also dynamically adapts their positions over the course of optimization, leading to improved model learning and inference. We provide theoretical guarantees that our bandit optimization converges to the regret minimizing choice of integration points. Empirical validation of our algorithm is provided in terms of improved learning and inference in Variational Autoencoders and Sigmoid Belief Networks.


A Doubly Randomized Block Coordinate Primal Dual Method for Large scale Saddle Point Problems. In this paper, we consider a large scale convex concave saddle point problem in a finite sum form that arises in machine learning problems involving empirical risk minimization, e.g., robust classification, kernel matrix learning, etc. To contend with the challenges in computing full gradients, we employ a block coordinate primal dual scheme in which randomly selected primal and dual blocks of variables are updated at every iteration. When the number of component functions in the finite sum is massive, we can derive further efficiency by utilizing an increasing batch size of gradients, leading to progressive variance reduction. An ergodic convergence rate of mathcal O ( log(K) K) is obtained using variance reduction which is the first known rate result for a special purpose method to deal with finite sum non bilinear saddle point problems, matching the best known rate (up to a log factor) associated with deterministic primal dual schemes using full gradients. Using an acceleration for the setting where a single component gradient is utilized, a non asymptotic rate of mathcal O ( log(K) sqrt K ) is obtained. Finally, for both single and increasing sample size scenarios, almost sure convergence of the iterate sequence to a saddle point is shown.


A mathematical model of cell fate selection on a dynamic tissue. Multicellular tissues are the building blocks of many biological systems and organs. These tissues are not static, but dynamically change over time. Even if the overall structure remains the same there is a turnover of cells within the tissue. This dynamic homeostasis is maintained by numerous governing mechanisms which are finely tuned in such a way that the tissue remains in a homeostatic state, even across large timescales. Some of these governing mechanisms include cell motion, and cell fate selection through inter cellular signalling. However, it is not yet clear how to link these two processes, or how they may affect one another across the tissue. In this paper, we present a multicellular, multiscale model, which brings together the two phenomena of cell motility, and inter cellular signalling, to describe cell fate selection on a dynamic tissue. We find that the affinity for cellular signalling to occur greatly influences a cells ability to differentiate. We also find that our results support claims that cell differentiation is a finely tuned process within dynamic tissues at homeostasis, with excessive cell turnover rates leading to unhealthy (undifferentiated and unpatterned) tissues.


Generalized orbital varieties for Mirkovic Vybornov slices as affinizations of Mirkovic Vilonen cycles. We show that generalized orbital varieties for Mirkovic Vybornov slices can be indexed by semi standard Young tableaux. We also check that the Mirkovic Vybornov isomorphism sends generalized orbital varieties to (dense subsets of) Mirkovic Vilonen cycles, such that the (combinatorial) Lusztig datum of a generalized orbital variety, which it inherits from its tableau, is equal to the (geometric) Lusztig datum of its MV cycle.


Road to the White House Analyzing the Relations Between Mainstream and Social Media During the U.S. Presidential Primaries. Information is crucial to the function of a democratic society where well informed citizens can make rational political decisions. While in the past political entities were primarily utilizing newspaper and later television to inform the public, with the rise of the Internet and online social media, the political arena has transformed into a more complex structure. Now, more than ever, people express themselves online while mainstream news agencies attempt to seize the power of the Internet to spread their agenda. To grasp the political coexistence of mainstream media and online social media, in this paper, we perform an analysis between these two sources of information in the context of the U.S. 2020 presidential election. In particular, we collect data during the 2020 Democratic Party presidential primaries pertaining to the candidates and by analyzing this data, we highlight similarities and differences between these two main types of sources, detect the potential impact they have on each other, and understand how this impact relationship can change over time. To supplement these two main sources and to establish a baseline, we also include Google Trends search results and Polling results for each of the candidates that are being analyzed.


On NMT Search Errors and Model Errors Cat Got Your Tongue?. We report on search errors and model errors in neural machine translation (NMT). We present an exact inference procedure for neural sequence models based on a combination of beam search and depth first search. We use our exact search to find the global best model scores under a Transformer base model for the entire WMT15 English German test set. Surprisingly, beam search fails to find these global best model scores in most cases, even with a very large beam size of 100. For more than 50 of the sentences, the model in fact assigns its global best score to the empty translation, revealing a massive failure of neural models in properly accounting for adequacy. We show by constraining search with a minimum translation length that at the root of the problem of empty translations lies an inherent bias towards shorter translations. We conclude that vanilla NMT in its current form requires just the right amount of beam search errors, which, from a modelling perspective, is a highly unsatisfactory conclusion indeed, as the model often prefers an empty translation.


Explicit near fully X Ramanujan graphs. Let p(Y 1, dots, Y d, Z 1, dots, Z e) be a self adjoint noncommutative polynomial, with coefficients from mathbb C r times r , in the indeterminates Y 1, dots, Y d (considered to be self adjoint), the indeterminates Z 1, dots, Z e , and their adjoints Z 1 , dots, Z e . Suppose Y 1, dots, Y d are replaced by independent random n times n matching matrices, and Z 1, dots, Z e are replaced by independent random n times n permutation matrices. Assuming for simplicity that p 's coefficients are 0 1 matrices, the result can be thought of as a kind of random rn vertex graph G . As n to infty , there will be a natural limiting infinite graph X that covers any finite outcome for G . A recent landmark result of Bordenave and Collins shows that for any varepsilon 0 , with high probability the spectrum of a random G will be varepsilon close in Hausdorff distance to the spectrum of X (once the suitably defined "trivial" eigenvalues are excluded). We say that G is " varepsilon near fully X Ramanujan". Our work has two contributions First we study and clarify the class of infinite graphs X that can arise in this way. Second, we derandomize the Bordenave Collins result for any X , we provide explicit, arbitrarily large graphs G that are covered by X and that have (nontrivial) spectrum at Hausdorff distance at most varepsilon from that of X . This significantly generalizes the recent work of Mohanty et al., which provided explicit near Ramanujan graphs for every degree d (meaning d regular graphs with all nontrivial eigenvalues bounded in magnitude by 2 sqrt d 1 varepsilon ). As an application of our main technical theorem, we are also able to determine the "eigenvalue relaxation value" for a wide class of average case degree 2 constraint satisfaction problems.


Augmented Curation of Unstructured Clinical Notes from a Massive EHR System Reveals Specific Phenotypic Signature of Impending COVID 19 Diagnosis. Understanding the temporal dynamics of COVID 19 patient phenotypes is necessary to derive fine grained resolution of pathophysiology. Here we use state of the art deep neural networks over an institution wide machine intelligence platform for the augmented curation of 15.8 million clinical notes from 30,494 patients subjected to COVID 19 PCR diagnostic testing. By contrasting the Electronic Health Record (EHR) derived clinical phenotypes of COVID 19 positive (COVIDpos, n 635) versus COVID 19 negative (COVIDneg, n 29,859) patients over each day of the week preceding the PCR testing date, we identify anosmia dysgeusia (37.4 fold), myalgia arthralgia (2.6 fold), diarrhea (2.2 fold), fever chills (2.1 fold), respiratory difficulty (1.9 fold), and cough (1.8 fold) as significantly amplified in COVIDpos over COVIDneg patients. The specific combination of cough and diarrhea has a 3.2 fold amplification in COVIDpos patients during the week prior to PCR testing, and along with anosmia dysgeusia, constitutes the earliest EHR derived signature of COVID 19 (4 7 days prior to typical PCR testing date). This study introduces an Augmented Intelligence platform for the real time synthesis of institutional knowledge captured in EHRs. The platform holds tremendous potential for scaling up curation throughput, with minimal need for retraining underlying neural networks, thus promising EHR powered early diagnosis for a broad spectrum of diseases.


n Gage Predicting in class Emotional, Behavioural and Cognitive Engagement in the Wild. The study of student engagement has attracted growing interests to address problems such as low academic performance, disaffection, and high dropout rates. Existing approaches to measuring student engagement typically rely on survey based instruments. While effective, those approaches are time consuming and labour intensive. Meanwhile, both the response rate and quality of the survey are usually poor. As an alternative, in this paper, we investigate whether we can infer and predict engagement at multiple dimensions, just using sensors. We hypothesize that multidimensional student engagement can be translated into physiological responses and activity changes during the class, and also be affected by the environmental changes. Therefore, we aim to explore the following questions Can we measure the multiple dimensions of high school student's learning engagement including emotional, behavioural and cognitive engagement with sensing data in the wild? Can we derive the activity, physiological, and environmental factors contributing to the different dimensions of student engagement? If yes, which sensors are the most useful in differentiating each dimension of the engagement? Then, we conduct an in situ study in a high school from 23 students and 6 teachers in 144 classes over 11 courses for 4 weeks. We present the n Gage, a student engagement sensing system using a combination of sensors from wearables and environments to automatically detect student in class multidimensional learning engagement. Experiment results show that n Gage can accurately predict multidimensional student engagement in real world scenarios with an average MAE of 0.788 and RMSE of 0.975 using all the sensors. We also show a set of interesting findings of how different factors (e.g., combinations of sensors, school subjects, CO2 level) affect each dimension of the student learning engagement.


A Strong XOR Lemma for Randomized Query Complexity. We give a strong direct sum theorem for computing xor circ g . Specifically, we show that for every function g and every k geq 2 , the randomized query complexity of computing the xor of k instances of g satisfies overline R eps(xor circ g) Theta(k overline R eps k (g)) . This matches the naive success amplification upper bound and answers a conjecture of Blais and Brody (CCC19). As a consequence of our strong direct sum theorem, we give a total function g for which R(xor circ g) Theta(k log(k) cdot R(g)) , answering an open question from Ben David et al.(arxiv 2006.10957v1).


Opinion Dynamics on Discourse Sheaves. We introduce a novel class of Laplacians and diffusion dynamics on discourse sheaves as a model for network dynamics, with application to opinion dynamics on social networks. These sheaves are algebraic data structures tethered to a network (or more general space) that can represent various modes of communication, including selective opinion modulation and lying. After introducing the sheaf model, we develop a sheaf Laplacian in this context and show how to evolve both opinions and communications with diffusion dynamics over the network. Issues of controllability, reachability, bounded confidence, and harmonic extension are addressed using this framework.


HPILN A feature learning framework for cross modality person re identification. Most video surveillance systems use both RGB and infrared cameras, making it a vital technique to re identify a person cross the RGB and infrared modalities. This task can be challenging due to both the cross modality variations caused by heterogeneous images in RGB and infrared, and the intra modality variations caused by the heterogeneous human poses, camera views, light brightness, etc. To meet these challenges a novel feature learning framework, HPILN, is proposed. In the framework existing single modality re identification models are modified to fit for the cross modality scenario, following which specifically designed hard pentaplet loss and identity loss are used to improve the performance of the modified cross modality re identification models. Based on the benchmark of the SYSU MM01 dataset, extensive experiments have been conducted, which show that the proposed method outperforms all existing methods in terms of Cumulative Match Characteristic curve (CMC) and Mean Average Precision (MAP).


Lambda linked coupling for drifting Brownian motions. We raise a question on whether a dynamical system driven by Markov process is Markovian, for which we are able to propose a criterion and examples of positive case. This investigation leads us to develop (i) a general construction of intertwining dual via Liggett duality, and (ii) a realization of Lambda linked coupling in a form of dynamical system. We show this construction of intertwining dual and Lambda linked coupling for an n dimensional drifting Brownian motion when it is a characteristic diffusion. In particular, it includes an extension of Pitman's 2M W theorem by Rogers and Pitman as a special case.


Parametric study of temperature distribution in plasmon assisted photocatalysis. Recently, there has been a growing interest in the usage of mm scale composites of plasmonic nanoparticles for enhancing the rates of chemical reactions the effect was shown recently to be predominantly associated with the elevated temperature caused by illumination. Here, we study the parametric dependence of the temperature distribution in these samples, and provide analytic expressions for simple cases. We show that since these systems are usually designed to absorb all the incoming light, the temperature distribution in them is weakly dependent on the illumination spectrum, pulse duration, particle shape, size and density. Thus, changes in these parameters yield at most modest quantitative changes. We also show that the temperature distribution is linearly dependent on the beam radius and the thermal conductivity of the host. Finally, we study the sensitivity of the reaction rate to these parameters as a function of the activation energy and interpret various previous experimental reports. These results would simplify the optimization of photocatalysis experiments, as well as for other energy related applications based on light harvesting for heat generation.


Technical Note Game Theoretic Interactions of Different Orders. In this study, we define interaction components of different orders between two input variables based on game theory. We further prove that interaction components of different orders satisfy several desirable properties.


Captioning Images Taken by People Who Are Blind. While an important problem in the vision community is to design algorithms that can automatically caption images, few publicly available datasets for algorithm development directly address the interests of real users. Observing that people who are blind have relied on (human based) image captioning services to learn about images they take for nearly a decade, we introduce the first image captioning dataset to represent this real use case. This new dataset, which we call VizWiz Captions, consists of over 39,000 images originating from people who are blind that are each paired with five captions. We analyze this dataset to (1) characterize the typical captions, (2) characterize the diversity of content found in the images, and (3) compare its content to that found in eight popular vision datasets. We also analyze modern image captioning algorithms to identify what makes this new dataset challenging for the vision community. We publicly share the dataset with captioning challenge instructions at https vizwiz.org


Reflecting random walks in curvilinear wedges. We study a random walk (Markov chain) in an unbounded planar domain whose boundary is described by two curves of the form x 2 a x 1 beta and x 2 a x 1 beta , with x 1 geq 0 . In the interior of the domain, the random walk has zero drift and a given increment covariance matrix. From the vicinity of the upper and lower sections of the boundary, the walk drifts back into the interior at a given angle alpha or alpha to the relevant inwards pointing normal vector. Here we focus on the case where alpha and alpha are equal but opposite, which includes the case of normal reflection. For 0 leq beta , beta 1 , we identify the phase transition between recurrence and transience, depending on the model parameters, and quantify recurrence via moments of passage times.


A multi path 2.5 dimensional convolutional neural network system for segmenting stroke lesions in brain MRI images. Automatic identification of brain lesions from magnetic resonance imaging (MRI) scans of stroke survivors would be a useful aid in patient diagnosis and treatment planning. We propose a multi modal multi path convolutional neural network system for automating stroke lesion segmentation. Our system has nine end to end UNets that take as input 2 dimensional (2D) slices and examines all three planes with three different normalizations. Outputs from these nine total paths are concatenated into a 3D volume that is then passed to a 3D convolutional neural network to output a final lesion mask. We trained and tested our method on datasets from three sources Medical College of Wisconsin (MCW), Kessler Foundation (KF), and the publicly available Anatomical Tracings of Lesions After Stroke (ATLAS) dataset. Cross study validation results (with independent training and validation datasets) were obtained to compare with previous methods based on naive Bayes, random forests, and three recently published convolutional neural networks. Model performance was quantified in terms of the Dice coefficient. Training on the KF and MCW images and testing on the ATLAS images yielded a mean Dice coefficient of 0.54. This was reliably better than the next best previous model, UNet, at 0.47. Reversing the train and test datasets yields a mean Dice of 0.47 on KF and MCW images, whereas the next best UNet reaches 0.45. With all three datasets combined, the current system compared to previous methods also attained a reliably higher cross validation accuracy. It also achieved high Dice values for many smaller lesions that existing methods have difficulty identifying. Overall, our system is a clear improvement over previous methods for automating stroke lesion segmentation, bringing us an important step closer to the inter rater accuracy level of human experts.


A Priority Based Cross Layer Design for Future VANETs through Full Duplex Technology. Among all requirements for vehicle to everything (V2X) communications, successful delivery of packets with small delay is of the highest significance. Especially, the delivery of a message before a potential accident (i.e. emergency message) should be guaranteed. In this work, we propose a novel cross layer design to enhance the delivery of emergency messages so that accidents can be further avoided. Particularly, in the PHY layer, imperfect full duplex (FD) simultaneous transmitting and sensing is analysed and dynamic thresholds for determining the channel status before and during transmissions are mathematically formulated. Then a novel FD MAC protocol, named priority based multiple access (PBMA), based on prioritised messaging between different vehicles is proposed. Average collision probability, collision duration, waiting time as well as successful delivery rate of the system are formulated too. The delivery performance of emergency messages is also mathematically derived. In addition, comparisons have been made among three different mechanisms. Benchmark is the DSRC standard which uses half duplex (HD) technology with enhanced distributed channel access (EDCA) protocol. We also compare our proposed protocol with FD EDCA. Simulations have verified the accuracy of our analysis. They have also illustrated the delivery of emergency messages has been enhanced by deploying our proposed design.


Degree bounds for Gr " o bner bases of modules. Let F be a non negatively graded free module over a polynomial ring mathbb K x 1, dots,x n generated by m basis elements. Let M be a submodule of F generated by elements in F with degrees bounded by D and dim F M r . We prove that if M is graded, the degree of the reduced Gr " o bner basis of M for any term order is bounded by 2 left 1 2((Dm) n r m D) right 2 r 1 . If M is not graded, the bound is 2 left 1 2((Dm) (n r) 2 m D) right 2 r . This is a generalization of Dub ' e (1990) and Mayr Ritscher(2013)'s bounds for ideals in a polynomial ring.


Superquadrics Revisited Learning 3D Shape Parsing beyond Cuboids. Abstracting complex 3D shapes with parsimonious part based representations has been a long standing goal in computer vision. This paper presents a learning based solution to this problem which goes beyond the traditional 3D cuboid representation by exploiting superquadrics as atomic elements. We demonstrate that superquadrics lead to more expressive 3D scene parses while being easier to learn than 3D cuboid representations. Moreover, we provide an analytical solution to the Chamfer loss which avoids the need for computational expensive reinforcement learning or iterative prediction. Our model learns to parse 3D objects into consistent superquadric representations without supervision. Results on various ShapeNet categories as well as the SURREAL human body dataset demonstrate the flexibility of our model in capturing fine details and complex poses that could not have been modelled using cuboids.


ConveRT Efficient and Accurate Conversational Representations from Transformers. General purpose pretrained sentence encoders such as BERT are not ideal for real world conversational AI applications they are computationally heavy, slow, and expensive to train. We propose ConveRT (Conversational Representations from Transformers), a pretraining framework for conversational tasks satisfying all the following requirements it is effective, affordable, and quick to train. We pretrain using a retrieval based response selection task, effectively leveraging quantization and subword level parameterization in the dual encoder to build a lightweight memory and energy efficient model. We show that ConveRT achieves state of the art performance across widely established response selection tasks. We also demonstrate that the use of extended dialog history as context yields further performance gains. Finally, we show that pretrained representations from the proposed encoder can be transferred to the intent classification task, yielding strong results across three diverse data sets. ConveRT trains substantially faster than standard sentence encoders or previous state of the art dual encoders. With its reduced size and superior performance, we believe this model promises wider portability and scalability for Conversational AI applications.


Local well posedness and finite time blowup for fourth order Schr "odinger equation with complex coefficient. We consider the fourth order Schr "odinger equation i partial tu Delta 2 u mu Delta u lambda u alpha u 0, where alpha 0, mu pm1 or 0 and lambda in mathbb C . Firstly, we prove local well posedness in H 4 left( R N right) in both H 4 subcritical and critical case alpha 0 , (N 8) alpha leq8 . Then, for any given compact set K subset mathbb R N , we construct H 4( R N) solutions that are defined on ( T, 0) for some T 0 , and blow up exactly on K at t 0 .


N pure ideals and mid rings. In this paper, we introduce the concept of N pure ideal as a generalization of pure ideal. Using this concept, a new and interesting type of rings is presented, we call it mid ring. Also, we provide new characterizations for von Neumann regular and zero dimensional rings. Moreover, some results about mp ring are given. Finally, a characterization for mid rings is provided. Then it is shown that the class of mid rings is strictly between the class of reduced mp rings (p.f. rings) and the class of mp rings.


The Role of Domain Expertise in User Trust and the Impact of First Impressions with Intelligent Systems. Domain specific intelligent systems are meant to help system users in their decision making process. Many systems aim to simultaneously support different users with varying levels of domain expertise, but prior domain knowledge can affect user trust and confidence in detecting system errors. While it is also known that user trust can be influenced by first impressions with intelligent systems, our research explores the relationship between ordering bias and domain expertise when encountering errors in intelligent systems. In this paper, we present a controlled user study to explore the role of domain knowledge in establishing trust and susceptibility to the influence of first impressions on user trust. Participants reviewed an explainable image classifier with a constant accuracy and two different orders of observing system errors (observing errors in the beginning of usage vs. in the end). Our findings indicate that encountering errors early on can cause negative first impressions for domain experts, negatively impacting their trust over the course of interactions. However, encountering correct outputs early helps more knowledgable users to dynamically adjust their trust based on their observations of system performance. In contrast, novice users suffer from over reliance due to their lack of proper knowledge to detect errors.


Purpose based access policy on provenance and data algebra. It is a crucial mechanism of access control to determine that data can only be accessed for allowed purposes. To achieve this mechanism, we propose purpose based access policies in this paper. Different from provenance based policies that determine if a piece of data can be accessed or not, purpose based access policies determines for what purposes can data be accessed. Particularly, the purposes can be classified as different sensitivity levels. For the first time, We tailor policy algebras to include internal and external policy operators for hierarchical purposes, in order to merge purpose sets generated by individual policies. We also created external policy algebras to merge policies from multi parties. With different types' testing experiments, our model is proved to be feasible and practical.


Cherenkov radiation induced symmetry breaking in counter propagating dissipative Kerr solitons. The process of soliton Cherenkov radiation (also known as dispersive wave emission) in microresonator frequency combs plays a critical role in generating broadband and coherent microcomb spectra. Here, we report the observation of symmetry breaking in the group velocity of counter propagating dissipative Kerr solitons, induced by polychromatic soliton Cherenkov radiation. Results show that in the presence of higher order dispersion, the temporal arrangement of a multi soliton state affects its group velocity, an effect which originates from the interference between multiple radiative tails emitted by individual solitons. Experimentally, we bidirectionally pump a microresonator with laser fields of equal power and frequency, and observe lifting of the degeneracy between the repetition rates of the counter propagating solitons. The observation of symmetry breaking despite symmetric pumping conditions not only shines new light on the impact of dispersive waves on dissipative Kerr soliton dynamics, but also introduces a novel approach to develop coherent dual comb spectrometers based on microcombs.


The development and deployment of formal methods in the UK. UK researchers have made major contributions to the technical ideas underpinning formal approaches to the specification and development of computer systems. Perhaps as a consequence of this, some of the significant attempts to deploy theoretical ideas into practical environments have taken place in the UK. The authors of this paper have been involved in formal methods for many years and both have tracked a significant proportion of the whole story. This paper both lists key ideas and indicates where attempts were made to use the ideas in practice. Not all of these deployment stories have been a complete success and an attempt is made to tease out lessons that influence the probability of long term impact.


Machine learning as a model for cultural learning Teaching an algorithm what it means to be fat. As we navigate our cultural environment, we learn cultural biases, like those around gender, social class, health, and body weight. It is unclear, however, exactly how public culture becomes private culture. In this paper, we provide a theoretical account of such cultural learning. We propose that neural word embeddings provide a parsimonious and cognitively plausible model of the representations learned from natural language. Using neural word embeddings, we extract cultural schemata about body weight from New York Times articles. We identify several cultural schemata that link obesity to gender, immorality, poor health, and low socioeconomic class. Such schemata may be subtly but pervasively activated in public culture thus, language can chronically reproduce biases. Our findings reinforce ongoing concerns that machine learning can also encode, and reproduce, harmful human biases.


Development and Validation of a Data Fusion Algorithm with Low Cost Inertial Measurement Units to Analyze Shoulder Movements in Manual Workers. Work related upper extremity musculoskeletal disorders (WRUED) are a major problem in modern societies as they affect the quality of life of workers and lead to absenteeism and productivity loss. According to studies performed in North America and Western Europe, their prevalence has increased in the last few decades. This challenge calls for improvements in prevention methods. One avenue is through the development of wearable sensor systems to analyze worker's movements and provide feedback to workers and or clinicians. Such systems could decrease the physical work demands and ultimately prevent musculoskeletal disorders. This paper presents the development and validation of a data fusion algorithm for inertial measurement units to analyze worker's arm elevation. The algorithm was implemented on two commercial sensor systems (Actigraph GT9X and LSM9DS1) and results were compared with the data fusion results from a validated commercial sensor (XSens MVN system). Cross correlation analyses r , root mean square error (RMSE) and average absolute error of estimate were used to establish the construct validity of the algorithm. Five subjects each performed ten different arm elevation tasks. The results show that the algorithm is valid to evaluate shoulder movements with high correlations between the results of the two different sensors and the commercial sensor (0.900 0.998) and relatively low RMSE value for the ten tasks (1.66 11.24 deg ). The proposed data fusion algorithm could thus be used to estimate arm elevation.


New high confinement regime with fast ions in the core of fusion plasmas. The key result of the present work is the theoretical prediction and observation of the formation of a new type of transport barrier in fusion plasmas, called F ATB (fast ion induced anomalous transport barrier). As demonstrated through state of the art global electrostatic and electromagnetic simulations, the F ATB is characterized by a full suppression of the turbulent transport caused by strongly sheared, axisymmetric E times B flows and an increase of the neoclassical counterpart, albeit keeping the overall fluxes at significantly reduced levels. The trigger mechanism is shown to be a mainly electrostatic resonant interaction between supra thermal particles, generated via ion cyclotron resonance heating, and plasma micro turbulence. These findings are obtained by realistic simulations of the ASDEX Upgrade discharge 36637 properly designed to maximized the beneficial role of the wave particle resonance interaction which exhibits the expected properties of improved confinement produced by energetic particles.


Privacy Preserving Spam Filtering using Functional Encryption. Traditional spam classification requires the end user to reveal the content of its received email to the spam classifier which violates the privacy. Spam classification over encrypted emails enables the classifier to classify spam email without accessing the email, hence protects the privacy of email content. In this paper, we construct a spam classification framework that enables the classification of encrypted emails. Our classification model is based on a neural network with a quadratic network part and a multi layer perception network part. The quadratic network architecture is compatible with the operation of an existing quadratic functional encryption scheme that enables our classification to predict the label of encrypted emails without revealing the associated plain text email. The evaluation results on real world spam datasets indicate that our proposed spam classification model achieves an accuracy of over 96 .


Incremental Treatments of the Full Configuration Interaction Problem. The recent many body expanded full configuration interaction (MBE FCI) method is reviewed by critically assessing its advantages and drawbacks in the context of contemporary near exact electronic structure theory. Besides providing a succinct summary of the history of MBE FCI to date within a generalized and unified theoretical setting, its finer algorithmic details are discussed alongside our optimized computational implementation of the theory. A selected few of the most recent applications of MBE FCI are revisited, before we close by outlining its future research directions as well as its place among modern near exact wave function based methods.


From Recognition to Prediction Analysis of Human Action and Trajectory Prediction in Video. With the advancement in computer vision deep learning, systems now are able to analyze an unprecedented amount of rich visual information from videos to enable applications such as autonomous driving, socially aware robot assistant and public safety monitoring. Deciphering human behaviors to predict their future paths trajectories and what they would do from videos is important in these applications. However, human trajectory prediction still remains a challenging task, as scene semantics and human intent are difficult to model. Many systems do not provide high level semantic attributes to reason about pedestrian future. This design hinders prediction performance in video data from diverse domains and unseen scenarios. To enable optimal future human behavioral forecasting, it is crucial for the system to be able to detect and analyze human activities as well as scene semantics, passing informative features to the subsequent prediction module for context understanding.


Automata and finite order elements in the Nottingham group. The Nottingham group at 2 is the group of (formal) power series t a 2 t 2 a 3 t 3 cdots in the variable t with coefficients a i from the field with two elements, where the group operation is given by composition of power series. The depth of such a series is the largest d geq 1 for which a 2 dots a d 0 . Only a handful of power series of finite order are explicitly known through a formula for their coefficients. We argue in this paper that it is advantageous to describe such series in closed computational form through automata, based on effective versions of proofs of Christol's theorem identifying algebraic and automatic series. Up to conjugation, there are only finitely many series sigma of order 2 n with fixed break sequence (i.e. the sequence of depths of sigma circ 2 i ). Starting from Witt vector or Carlitz module constructions, we give an explicit automaton theoretic description of (a) representatives up to conjugation for all series of order 4 with break sequence (1,m) for m 10 (b) representatives up to conjugation for all series of order 8 with minimal break sequence (1,3,11) and (c) an embedding of the Klein four group into the Nottingham group at 2. We study the complexity of the new examples from the algebro geometric properties of the equations they satisfy. For this, we generalise the theory of sparseness of power series to a four step hierarchy of complexity, for which we give both Galois theoretic and combinatorial descriptions. We identify where our different series fit into this hierarchy. We construct sparse representatives for the conjugacy class of elements of order two and depth 2 mu pm 1 ( mu geq 1) . Series with small state complexity can end up high in the hierarchy. This is true, for example, for a new automaton we found, representing a series of order 4 with 5 states, the minimal possible number for such a series.


Improving Style Transfer with Calibrated Metrics. Style transfer methods produce a transferred image which is a rendering of a content image in the manner of a style image. We seek to understand how to improve style transfer. To do so requires quantitative evaluation procedures, but the current evaluation is qualitative, mostly involving user studies. We describe a novel quantitative evaluation procedure. Our procedure relies on two statistics the Effectiveness (E) statistic measures the extent that a given style has been transferred to the target, and the Coherence (C) statistic measures the extent to which the original image's content is preserved. Our statistics are calibrated to human preference targets with larger values of E (resp C) will reliably be preferred by human subjects in comparisons of style (resp. content). We use these statistics to investigate the relative performance of a number of Neural Style Transfer(NST) methods, revealing several intriguing properties. Admissible methods lie on a Pareto frontier (i.e. improving E reduces C or vice versa). Three methods are admissible Universal style transfer produces very good C but weak E modifying the optimization used for Gatys' loss produces a method with strong E and strong C and a modified cross layer method has slightly better E at strong cost in C. While the histogram loss improves the E statistics of Gatys' method, it does not make the method admissible. Surprisingly, style weights have relatively little effect in improving EC scores, and most variability in the transfer is explained by the style itself (meaning experimenters can be misguided by selecting styles).


Do you trade with your friends or become friends with your trading partners? A case study in the G1 cryptocurrency. We study the interplay between social ties and financial transactions made through a recent cryptocurrency called breve G 1 . It has the particularity of combining the usual transaction record with a reliable network of identified users. This gives the opportunity to observe exactly who sent money to whom over a social network. This social network is a key piece of this cryptocurrency, which therefore puts much effort in ensuring that nodes correspond to unique, well identified, real living human users, linked together only if they met at least once in real world. Using this data, we study how social ties impact the structure of transactions and conversely. We show that users make transactions almost exclusively with people they are connected with in the social network. Instead, they tend to build social connections with people they will never make transactions with.


Regulator Design for a Congested Continuum Traffic Model with App Routing Instability. In this paper, we propose a control design methodology for a linearized continuum traffic model in the congested regime. The continuum traffic flow on a highway is modeled using a linearized quasilinear hyperbolic partial differential equation model known as the Aw Rascle Zhang (ARZ) model. The linear traffic model is augmented with a novel non local boundary condition representing car influx due to the use of routing apps such as Google Maps and Waze. The routing apps act as real time previews for highway traffic, introducing potentially destabilizing feedback in the app based navigation decision process, necessitating the development of a feedback controller. We first study small time H 1 solutions of the linearized model with the addition of the app routing for sufficiently small initial data. We introduce an extended, multi tiered boundary control design based upon the method of infinite dimensional backstepping. Using an intermediate decoupling transformation, we account for the non local boundary condition arising from routing app feedback. We study the existence of the extended backstepping method by characterizing the existence of the companion kernels associated with the backstepping method. Finally, we study the linear ARZ model with the app routing extension under the designed feedback, and show that for sufficiently small H 1 data, the equilibrium congestion solution is exponentially stable and guarantees the existence of closed loop solutions on the infinite time interval.


Coreference Resolution System for Indonesian Text with Mention Pair Method and Singleton Exclusion using Convolutional Neural Network. Neural network has shown promising performance on coreference resolution systems that uses mention pair method. With deep neural network, it can learn hidden and deep relations between two mentions. However, there is no work on coreference resolution for Indonesian text that uses this learning technique. The state of the art system for Indonesian text only states the use of lexical and syntactic features can improve the existing coreference resolution system. In this paper, we propose a new coreference resolution system for Indonesian text with mention pair method that uses deep neural network to learn the relations of the two mentions. In addition to lexical and syntactic features, in order to learn the representation of the mentions words and context, we use word embeddings and feed them to Convolutional Neural Network (CNN). Furthermore, we do singleton exclusion using singleton classifier component to prevent singleton mentions entering any entity clusters at the end. Achieving 67.37 without singleton exclusion, 63.27 with trained singleton classifier, and 75.95 with gold singleton classifier on CoNLL average F1 score, our proposed system outperforms the state of the art system.


Reannealing of Decaying Exploration Based On Heuristic Measure in Deep Q Network. Existing exploration strategies in reinforcement learning (RL) often either ignore the history or feedback of search, or are complicated to implement. There is also a very limited literature showing their effectiveness over diverse domains. We propose an algorithm based on the idea of reannealing, that aims at encouraging exploration only when it is needed, for example, when the algorithm detects that the agent is stuck in a local optimum. The approach is simple to implement. We perform an illustrative case study showing that it has potential to both accelerate training and obtain a better policy.


Using Libraries of Approximate Circuits in Design of Hardware Accelerators of Deep Neural Networks. Approximate circuits have been developed to provide good tradeoffs between power consumption and quality of service in error resilient applications such as hardware accelerators of deep neural networks (DNN). In order to accelerate the approximate circuit design process and to support a fair benchmarking of circuit approximation methods, libraries of approximate circuits have been introduced. For example, EvoApprox8b contains hundreds of 8 bit approximate adders and multipliers. By means of genetic programming we generated an extended version of the library in which thousands of 8 to 128 bit approximate arithmetic circuits are included. These circuits form Pareto fronts with respect to several error metrics, power consumption and other circuit parameters. In our case study we show how a large set of approximate multipliers can be used to perform a resilience analysis of a hardware accelerator of ResNet DNN and to select the most suitable approximate multiplier for a given application. Results are reported for various instances of the ResNet DNN trained on CIFAR 10 benchmark problem.


Feature Sharing and Integration for Cooperative Cognition and Perception with Volumetric Sensors. The recent advancement in computational and communication systems has led to the introduction of high performing neural networks and high speed wireless vehicular communication networks. As a result, new technologies such as cooperative perception and cognition have emerged, addressing the inherent limitations of sensory devices by providing solutions for the detection of partially occluded targets and expanding the sensing range. However, designing a reliable cooperative cognition or perception system requires addressing the challenges caused by limited network resources and discrepancies between the data shared by different sources. In this paper, we examine the requirements, limitations, and performance of different cooperative perception techniques, and present an in depth analysis of the notion of Deep Feature Sharing (DFS). We explore different cooperative object detection designs and evaluate their performance in terms of average precision. We use the Volony dataset for our experimental study. The results confirm that the DFS methods are significantly less sensitive to the localization error caused by GPS noise. Furthermore, the results attest that detection gain of DFS methods caused by adding more cooperative participants in the scenes is comparable to raw information sharing technique while DFS enables flexibility in design toward satisfying communication requirements.


Mitigating the Impact of Speech Recognition Errors on Spoken Question Answering by Adversarial Domain Adaptation. Spoken question answering (SQA) is challenging due to complex reasoning on top of the spoken documents. The recent studies have also shown the catastrophic impact of automatic speech recognition (ASR) errors on SQA. Therefore, this work proposes to mitigate the ASR errors by aligning the mismatch between ASR hypotheses and their corresponding reference transcriptions. An adversarial model is applied to this domain adaptation task, which forces the model to learn domain invariant features the QA model can effectively utilize in order to improve the SQA results. The experiments successfully demonstrate the effectiveness of our proposed model, and the results are better than the previous best model by 2 EM score.


Persisting asymmetry in the probability distribution function for a random advection diffusion equation in impermeable channels. We study the effect of impermeable boundaries on the symmetry properties of a random passive scalar field advected by random flows. We focus on a broad class of nonlinear shear flows multiplied by a stationary, Ornstein Uhlenbeck (OU) time varying process, including some of their limiting cases, such as Gaussian white noise or plug flows. For the former case with linear shear, recent studies cite camassa2019symmetry numerically demonstrated that the decaying passive scalar's long time limiting probability distribution function (PDF) could be negatively skewed in the presence of impermeable channel boundaries, in contrast to rigorous results in free space which established the limiting PDF is positively skewed cite mclaughlin1996explicit . Here, the role of boundaries in setting the long time limiting skewness of the PDF is established rigorously for the above class using the long time asymptotic expansion of the N point correlator of the random field obtained from the ground state eigenvalue perturbation approach proposed in cite bronski1997scalar . Our analytical result verifies the conclusion for the linear shear flow obtained from numerical simulations in cite camassa2019symmetry . Moreover, we demonstrate that the limiting distribution is negatively skewed for any shear flow at sufficiently low P 'eclet number. We show that the long time limit of the first three moments depends explicitly on the value of gamma , which is in contrast to the conclusion in cite vanden2001non for the limiting PDF in free space. We derive the exact formula of the N point correlator for a flow with no spatial dependence and Gaussian temporal fluctuation, generalizing the results of cite bronski2007explicit . The long time analysis of this formula is consistent with our theory for a general shear flow. All results are verified by Monte Carlo simulations.


The Effect of Mobility on Delayed Data Offloading. Delayed offloading is a widely accepted solution for mobile users to offload their traffic through Wi Fi when they are moving in urban areas. However, delayed offloading enhances offloading efficiency at the expense of delay performance. Previous works mainly focus on the improvement of offloading efficiency while keeping delay performance in an acceptable region. In this paper, we study the impact of the user mobility on delayed data offloading in respect to the tradeoff between offloading efficiency and delay performance. We model a mobile terminal with delayed data offloading as an M MMSP 1 queuing system with three service states. To be practical, we consider the feature of currently commercial mobile terminals in our analysis. Our analytical result shows that the mobility of the users can reduce the queueing delay incurred by the delayed offloading, and suggests that delayed offloading strategies can be optimized according to the mobility of the terminals once the delay requirement is given.


Cloaking in plane elastic waves with swiss rolls. We propose a design of cylindrical elastic cloak for coupled in plane shear waves consisting of concentric layers of sub wavelength resonant stress free inclusions shaped as swiss rolls. The scaling factor between inclusions' sizes is according to Pendry's transform. Unlike the hitherto known situations, the present geometric transform starts from a Willis medium and further assumes that displacement fields bf u in original medium and bf u ' in transformed medium remain unaffected ( bf u ' bf u ), and this breaks the minor symmetries of the rank 4 and rank 3 tensors in the Willis equation that describes the transformed effective medium. We achieve some cloaking for a shear polarized source at specific, resonant sub wavelength, frequencies, when it is located near a clamped obstacle surrounded by the structured cloak. Such an effective medium allows for strong Willis coupling Quan et al., Physical Review Letters bf 120 (25), 254301 (2018) , notwithstanding potential chiral elastic effects Frenzel et al., Science bf 358 (6366), 1072 (2017) , and thus mitigates roles of Willis and Cosserat media in the achieved elastodynamic cloaking.


Bratteli Vershik models from basic sets. For all invertible zero dimensional systems, we analyze the basic sets with its relation to Bratteli Vershik models. For this, we introduce the notion of quasi section', in place of the basic sets. Following an observation by Downarowicz and Karpel (2019), we show that there exists one to one correspondence between some essential equivalence classes of decisive Bratteli diagrams and some topological conjugacy classes of triples of zero dimensional systems with quasi sections. Furthermore, there exists one to one correspondence between some essential equivalence classes of decisive Bratteli diagrams with closing property and some topological conjugacy classes of triples of zero dimensional systems with basic sets. In addition, we present a direct way of constructing basic sets for all invertible zero dimensional systems.


Fock space relativistic coupled cluster calculation of hyperfine induced bf 1S 0 rightarrow 3P o 0 clock transition in Al . We have developed an all particle Fock space relativistic coupled cluster method to calculate the properties of two valence atoms and ions. Using the method we compute the properties associated with hyperfine induced 1S 0 3P o 0 clock transition in Al . Our result of the 3P o 0 metastable state life time, 20.20 pm 0.91 s, is in excellent agreement with the experimental value, 20.60 pm 1.4 s Phys. Rev. Lett. bf 98 , 220801 (2007) . Our studies show that the contributions from the triple excitations, and the corrections from the Breit interaction and QED effects are essential to obtain accurate clock properties in Al .


The Cramer Rao inequality to go beyond the mathbf sqrt N limit of the standard least squares method in track fitting. The Cramer Rao Frechet inequality is reviewed specializing it to track fitting. A diffused opinion attributes to this inequality the limitation of the resolution of the track fits with the number N of observations. It turns out that this opinion is incorrect, weighted least squares method is not subjected to that N limitation. In a previous publication, simulations with a simple Gaussian model produced interesting results a linear growth of the peaks of the distributions with the number N of observations, much faster than the sqrt N of the standard least squares. These results could be considered a violation of a well known 1 N rule for the variance of an unbiased estimator, frequently reported as the Cramer Rao Frechet bound. To clarify this point beyond any doubt, it would be essential a direct proof of the consistency of those results with this inequality. Unfortunately, such proof is lacking or very difficult to find. Hence, the Cramer Rao Frechet developments are applied to prove the efficiency (optimality) of the simple Gaussian model and the consistency of its results. The inequality remains valid even for irregular models supporting the results of realistic models with similar growths.


Nanoscale polarization manipulation and encryption based on dielectric metasurfaces. Manipulating the polarization of light is highly desired for versatile applications ranging from super resolution, optical trapping, to particle acceleration. The enormous freedom in metasurface design motivates the implementation of polarization control in ultrathin and compact optical systems. However, the majority of proposed strategies based on metasurfaces have been demonstrated only a spatially homogeneous polarization generation, while less attention has been devoted to spatially variant inhomogeneous vector beams. Here, we demonstrate a novel method for generating arbitrary radial and azimuthal polarization beams with high efficiencies of up to 80 by utilizing transmission type dielectric metasurfaces. Polarization conversion metasurfaces are suitable candidates for the implementation of polarization encryption, which we demonstrate by encoding a hidden image into the spatial polarization distribution. In addition, we show that the image pattern can be modified by appropriate polarization selection of the transmitted light. Such a method may provide a practical technique for a variety of applications such as imaging, encryption and anti counterfeiting.


Octave wide phase matched four wave mixing in dispersion engineered crystalline microresonators. In this Letter, we report phase matched four wave mixing separated by over one octave in a dispersion engineered crystalline microresonator. Experimental and numerical results presented here confirm that primary sidebands were generated with a frequency shift up to 140 THz, and that secondary sidebands formed a localized comb structure, known as a clustered comb in the vicinity of the primary sidebands. A theoretical analysis of the phase matching condition validated our experimental observations, and our results good agree well with numerical simulations. These results offer the potential to realize a frequency tunable comb cluster generator operating from 1 um to mid infrared wavelengths with a single and compact device.


RGBD Dog Predicting Canine Pose from RGBD Sensors. The automatic extraction of animal reb 3D pose from images without markers is of interest in a range of scientific fields. Most work to date predicts animal pose from RGB images, based on 2D labelling of joint positions. However, due to the difficult nature of obtaining training data, no ground truth dataset of 3D animal motion is available to quantitatively evaluate these approaches. In addition, a lack of 3D animal pose data also makes it difficult to train 3D pose prediction methods in a similar manner to the popular field of body pose prediction. In our work, we focus on the problem of 3D canine pose estimation from RGBD images, recording a diverse range of dog breeds with several Microsoft Kinect v2s, simultaneously obtaining the 3D ground truth skeleton via a motion capture system. We generate a dataset of synthetic RGBD images from this data. A stacked hourglass network is trained to predict 3D joint locations, which is then constrained using prior models of shape and pose. We evaluate our model on both synthetic and real RGBD images and compare our results to previously published work fitting canine models to images. Finally, despite our training set consisting only of dog data, visual inspection implies that our network can produce good predictions for images of other quadrupeds e.g. horses or cats when their pose is similar to that contained in our training set.


Loewner chains and evolution families on parallel slit half planes. In this paper, we define and study Loewner chains and evolution families on finitely multiply connected domains in the complex plane. These chains and families consist of conformal mappings on parallel slit half planes and have one and two "time" parameters, respectively. By analogy with the case of simply connected domains, we develop a general theory of Loewner chains and evolution families on multiply connected domains and, in particular, prove that they obey the chordal Komatu Loewner differential equations driven by measure valued processes. Our method involves Brownian motion with darning, as do some recent studies.


Fisher Information of a Family of Generalized Normal Distributions. In this brief note we compute the Fisher information of a family of generalized normal distributions. Fisher information is usually defined for regular distributions, i.e. continuously differentiable (log) density functions whose support does not depend on the family parameter theta . Although the uniform distribution in theta, theta does not satisfy the regularity requirements, as a special case of our result, we will obtain the Fisher information for this family.


Partial covariance two dimensional mass spectrometry for determination of biomolecular primary structure. Mass spectrometry (MS) is used widely in biomolecular structural analysis and is particularly dominant in the study of proteins. Despite its considerable power, state of the art protein MS frequently suffers from limited reliability of spectrum to structure assignments. This could not be solved fully by the dramatic increase in mass accuracy and resolution of modern MS instrumentation or by the introduction of new fragmentation methods. Here we present a new kind of two dimensional mass spectrometry for high fidelity determination of a biomolecular primary structure based on partial covariance mapping. Partial covariance two dimensional mass spectrometry (pC 2DMS) detects intrinsic statistical correlations between biomolecular fragments originating from the same or consecutive decomposition events. This enables identification of pairs of ions produced along the same fragmentation pathway of a biomolecule across its entire fragment mass spectrum. We demonstrate that the fragment fragment correlations revealed by pC 2DMS provide much more specific information on the amino acid sequence and its covalent modifications than the individual fragment mass to charge ratios on which standard one dimensional MS is based. We illustrate the power of pC 2DMS by using it to resolve structural isomers of combinatorially modified histone peptides inaccessible to standard MS.


Wiener index in graphs with given minimum degree and maximum degree. Let G be a connected graph of order n .The Wiener index W(G) of G is the sum of the distances between all unordered pairs of vertices of G . In this paper we show that the well known upper bound big( frac n delta 1 2 big) n choose 2 on the Wiener index of a graph of order n and minimum degree delta M. Kouider, P. Winkler, Mean distance and minimum degree. J. Graph Theory 25 no. 1 (1997) can be improved significantly if the graph contains also a vertex of large degree. Specifically, we give the asymptotically sharp bound W(G) leq n Delta delta choose 2 frac n 2 Delta delta 1 2n(n 1) on the Wiener index of a graph G of order n , minimum degree delta and maximum degree Delta . We prove a similar result for triangle free graphs, and we determine a bound on the Wiener index of C 4 free graphs of given order, minimum and maximum degree and show that it is, in some sense, best possible.


Estimating the Percolation Centrality of Large Networks through Pseudo dimension Theory. In this work we investigate the problem of estimating the percolation centrality of every vertex in a graph. This centrality measure quantifies the importance of each vertex in a graph going through a contagious process. It is an open problem whether the percolation centrality can be computed in mathcal O (n 3 c ) time, for any constant c 0 . In this paper we present a mathcal O (m log 2 n) randomized approximation algorithm for the percolation centrality for every vertex of G , generalizing techniques developed by Riondato, Upfal e Kornaropoulos (this complexity is reduced to mathcal O ((m n) log n) for unweighted graphs). The estimation obtained by the algorithm is within epsilon of the exact value with probability 1 delta , for it fixed constants 0 epsilon, delta leq 1 . In fact, we show in our experimental analysis that in the case of real world complex networks, the output produced by our algorithm is significantly closer to the exact values than its guarantee in terms of theoretical worst case analysis.


SUSY designed broken PT symmetric optical filters. We apply the supersymmetric Darboux transformation to the optical Helmoltz wave equation to generate analytically complex valued PT symmetric potentials (physically a graded refractive index dielectric). PT symmetry is then spontaneously broken controlling the amplitude of the imaginary part of the refractive index distribution. Consequently a resonance is detectable which is related to a singularity of the S matrix, responsible for extraordinary high transmission and reflection peaks in the scattering spectra. We demonstrate how controlling the resonance we can achieve different amplification rates up to four order of magnitude at the exact singular point. Total transmission and very high reflection can be also obtained. All the visible portion of the spectrum can be spanned by enlarging the spatial width of the potential. All these potentials can be unified in a single device with the capability to dynamically control the imaginary part of the refractive index, thus defining a tunable dynamical optical filter behaving as a perfect amplifier, a transparent barrier or a high efficiency mirror.


On the structure of certain Gamma difference modules. This is a largely expository paper, providing a self contained account on the results of Sch Si1, Sch Si2 , in the cases denoted there 2Q and 2M. These papers of Sch "afke and Singer supplied new proofs to the main theorems of Bez Bou, Ad Be , on the rationality of power series satisfying a pair of independent q difference, or Mahler, equations. We emphasize the language of Gamma difference modules, instead of difference equations or systems. Although in the two cases mentioned above this is only a semantic change, we also treat a new case, which may be labeled 1M1Q. Here the group Gamma is generalized dihedral rather than abelian, and the language of equations is inadequate. In the last section we explain how to generalize the main theorems in case 2Q to finite characteristic.


When Federated Learning Meets Blockchain A New Distributed Learning Paradigm. Motivated by the explosive computing capabilities at end user equipments, as well as the growing privacy concerns over sharing sensitive raw data, a new machine learning paradigm, named federated learning (FL) has emerged. By training models locally at each client and aggregating learning models at a central server, FL has the capability to avoid sharing data directly, thereby reducing privacy leakage. However, the traditional FL framework heavily relies on a single central server and may fall apart if such a server behaves maliciously. To address this single point of failure issue, this work investigates a blockchain assisted decentralized FL (BLADE FL) framework, which can well prevent the malicious clients from poisoning the learning process, and further provides a self motivated and reliable learning environment for clients. In detail, the model aggregation process is fully decentralized and the tasks of training for FL and mining for blockchain are integrated into each participant. In addition, we investigate the unique issues in this framework and provide analytical and experimental results to shed light on possible solutions.


Coded Computing for Secure Boolean Computations. The growing size of modern datasets necessitates splitting a large scale computation into smaller computations and operate in a distributed manner. Adversaries in a distributed system deliberately send erroneous data in order to affect the computation for their benefit. Boolean functions are the key components of many applications, e.g., verification functions in blockchain systems and design of cryptographic algorithms. We consider the problem of computing a Boolean function in a distributed computing system with particular focus on emph security against Byzantine workers . Any Boolean function can be modeled as a multivariate polynomial with high degree in general. However, the security threshold (i.e., the maximum number of adversarial workers can be tolerated such that the correct results can be obtained) provided by the recent proposed Lagrange Coded Computing (LCC) can be extremely low if the degree of the polynomial is high. We propose three different schemes called emph coded Algebraic normal form (ANF) , emph coded Disjunctive normal form (DNF) and emph coded polynomial threshold function (PTF) . The key idea of the proposed schemes is to model it as the concatenation of some low degree polynomials and threshold functions. In terms of the security threshold, we show that the proposed coded ANF and coded DNF are optimal by providing a matching outer bound.


Multiplicity free actions, birth and death processes on partitions, and Biane's quantum Ornstein Uhlenbeck semigroups. We introduce a family of multivariate continuous time pure birth and pure death chains, with birth and death rates defined in terms of the generalized binomial coefficients for multiplicity free actions. The state spaces for some of the introduced processes are some sets of partitions (equivalently, Young diagrams). The chains turn out to be the classical Markov processes obtained by restricting Biane's quantum Ornstein Uhlenbeck semigroups to commutative C algebras related to Gelfand pairs built on Heisenberg groups.


Impersonation as a Service Characterizing the Emerging Criminal Infrastructure for User Impersonation at Scale. In this paper we provide evidence of an emerging criminal infrastructure enabling impersonation attacks at scale. Impersonation as a Service (ImpaaS) allows attackers to systematically collect and enforce user profiles (consisting of user credentials, cookies, device and behavioural fingerprints, and other metadata) to circumvent risk based authentication system and effectively bypass multi factor authentication mechanisms. We present the ImpaaS model and evaluate its implementation by analysing the operation of a large, invite only, Russian ImpaaS platform providing user profiles for more than 260'000 Internet users worldwide. Our findings suggest that the ImpaaS model is growing, and provides the mechanisms needed to systematically evade authentication controls across multiple platforms, while providing attackers with a reliable, up to date, and semi automated environment enabling target selection and user impersonation against Internet users as scale.


Ultradifferentiable Chevalley theorems and isotropic functions. We prove ultradifferentiable Chevelley restriction theorems for a wide range of ultradifferentiable classes. As a special case we find that isotropic functions, i.e., functions defined on the vector space of real symmetric matrices invariant under the action of the special orthogonal group by conjugation, possess some ultradifferentiable regularity if and only if their restriction to diagonal matrices has the same regularity.


Improving Makespan in Dynamic Task Scheduling for Cloud Robotic Systems with Time Window Constraints. A scheduling method in a robotic network cloud system with minimal makespan is beneficial as the system can complete all the tasks assigned to it in the fastest way. Robotic network cloud systems can be translated into graphs where nodes represent hardware with independent computing power and edges represent data transmissions between nodes. Time window constraints on tasks are a natural way to order tasks. The makespan is the maximum amount of time between when the first node to receive a task starts executing its first scheduled task and when all nodes have completed their last scheduled task. Load balancing allocation and scheduling ensures that the time between when the first node completes its scheduled tasks and when all other nodes complete their scheduled tasks is as short as possible. We propose a grid of all tasks to ensure that the time window constraints for tasks are met. We propose grid of all tasks balancing algorithm for distributing and scheduling tasks with minimum makespan. We theoretically prove the correctness of the proposed algorithm and present simulations illustrating the obtained results.


Variations on the theme of the Trotter Kato theorem for homogenization of periodic hyperbolic systems. In L 2( mathbb R d mathbb C n) , we consider a matrix elliptic second order differential operator B varepsilon 0 . Coefficients of the operator B varepsilon are periodic with respect to some lattice in mathbb R d and depend on mathbf x varepsilon . We study the quantitative homogenization for the solutions of the hyperbolic system partial t 2 mathbf u varepsilon B varepsilon mathbf u varepsilon . In operator terms, we are interested in approximations of the operators cos (tB varepsilon 1 2 ) and B varepsilon 1 2 sin (tB varepsilon 1 2 ) in suitable operator norms. Approximations for the resolvent B varepsilon 1 have been already obtained by T. A. Suslina. So, we rewrite hyperbolic equation as a system for the vector with components mathbf u varepsilon and partial t mathbf u varepsilon , and consider the corresponding unitary group. For this group, we adapt the proof of the Trotter Kato theorem by introduction of some correction term and derive hyperbolic results from elliptic ones.


Evidencing Missing Resources of the Documentational Approach to Didactics. Toward Ten Programs of Research Development for Enriching This Approach. This chapter proposes a view from inside the DAD, starting from determining some essential resources missing of DAD, to proposing 10 programs of research development for developing it. It could be considered as a follow up of Chapter 1, where Ghislaine Gueudet situates the current state of DAD in looking back to its origin chapter 12 proposes a possible future of this approach in analyzing its current state. It determines the missing resources of DAD in questioning current and past PhD students who have anchored their research in DAD. What did do they learn in using DAD as a main theoretical resource to which extent did do they estimate that they have enriched DAD by their own work? Which are, according to them, the still missing resources of DAD? Which of these resources should be developed by DAD from itself, and or in co working with other theoretical framework? From this inquiry, this chapter proposes ten perspectives of research, aiming to develop some theoretical blind points of DAD, or to develop some methodological tools, or to deepen the cultural social aspects of DAD in questioning the naming systems used by teachers when interacting with resources. This chapter echoes actually different perspectives of research already present, as promising germs, in previous chapters of the book.


UCP Uniform Channel Pruning for Deep Convolutional Neural Networks Compression and Acceleration. To apply deep CNNs to mobile terminals and portable devices, many scholars have recently worked on the compressing and accelerating deep convolutional neural networks. Based on this, we propose a novel uniform channel pruning (UCP) method to prune deep CNN, and the modified squeeze and excitation blocks (MSEB) is used to measure the importance of the channels in the convolutional layers. The unimportant channels, including convolutional kernels related to them, are pruned directly, which greatly reduces the storage cost and the number of calculations. There are two types of residual blocks in ResNet. For ResNet with bottlenecks, we use the pruning method with traditional CNN to trim the 3x3 convolutional layer in the middle of the blocks. For ResNet with basic residual blocks, we propose an approach to consistently prune all residual blocks in the same stage to ensure that the compact network structure is dimensionally correct. Considering that the network loses considerable information after pruning and that the larger the pruning amplitude is, the more information that will be lost, we do not choose fine tuning but retrain from scratch to restore the accuracy of the network after pruning. Finally, we verified our method on CIFAR 10, CIFAR 100 and ILSVRC 2012 for image classification. The results indicate that the performance of the compact network after retraining from scratch, when the pruning rate is small, is better than the original network. Even when the pruning amplitude is large, the accuracy can be maintained or decreased slightly. On the CIFAR 100, when reducing the parameters and FLOPs up to 82 and 62 respectively, the accuracy of VGG 19 even improved by 0.54 after retraining.


Bayesian inference of network structure from information cascades. Contagion processes are strongly linked to the network structures on which they propagate, and learning these structures is essential for understanding and intervention on complex network processes such as epidemics and (mis)information propagation. However, using contagion data to infer network structure is a challenging inverse problem. In particular, it is imperative to have appropriate measures of uncertainty in network structure estimates, however these are largely ignored in most machine learning approaches. We present a probabilistic framework that uses samples from the distribution of networks that are compatible with the dynamics observed to produce network and uncertainty estimates. We demonstrate the method using the well known independent cascade model to sample from the distribution of networks P(G) conditioned on the observation of a set of infections C. We evaluate the accuracy of the method by using the marginal probabilities of each edge in the distribution, and show the bene ts of quantifying uncertainty to improve estimates and understanding, particularly with small amounts of data.


Spatial Sobolev regularity for stochastic Burgers equations with additive trace class noise. In this article we investigate the spatial Sobolev regularity of mild solutions to stochastic Burgers equations with additive trace class noise. Our findings are based on a combination of suitable bootstrap type arguments and a detailed analysis of the nonlinearity in the equation.


MultiNet Multi Stream Feature Aggregation and Geometric Loss Strategy for Multi Task Learning. Multi task learning is commonly used in autonomous driving for solving various visual perception tasks. It offers significant benefits in terms of both performance and computational complexity. Current work on multi task learning networks focus on processing a single input image and there is no known implementation of multi task learning handling a sequence of images. In this work, we propose a multi stream multi task network to take advantage of using feature representations from preceding frames in a video sequence for joint learning of segmentation, depth, and motion. The weights of the current and previous encoder are shared so that features computed in the previous frame can be leveraged without additional computation. In addition, we propose to use the geometric mean of task losses as a better alternative to the weighted average of task losses. The proposed loss function facilitates better handling of the difference in convergence rates of different tasks. Experimental results on KITTI, Cityscapes and SYNTHIA datasets demonstrate that the proposed strategies outperform various existing multi task learning solutions.


Heterogeneous partition of cellular blood borne nanoparticles through microvascular bifurcations. Blood flowing through microvascular bifurcations has been an active research topic for many decades, while the partitioning pattern of nanoscale solutes in the blood remains relatively unexplored. Here, we demonstrate a multiscale computational framework for direct numerical simulation of the nanoparticle (NP) partitioning through physiologically relevant vascular bifurcations in the presence of red blood cells (RBCs). The computational framework is established by embedding a newly developed particulate suspension inflow outflow boundary condition into a multiscale blood flow solver. The computational framework is verified by recovering a tubular blood flow without a bifurcation and validated against the experimental measurement of an intravital bifurcation flow. The classic Zweifach Fung (ZF) effect is shown to be well captured by the method. Moreover, we observe that NPs exhibit a ZF like heterogeneous partition in response to the heterogeneous partition of the RBC phase. The NP partitioning prioritizes the high flow rate daughter branch except for extreme (large or small) suspension flow partition ratios under which the complete phase separation tends to occur. By analyzing the flow field and the particle trajectories, we show that the ZF like heterogeneity in NP partition can be explained by the RBC entrainment effect caused by the deviation of the flow separatrix preceded by the tank treading of RBCs near the bifurcation junction. The recovery of homogeneity in the NP partition under extreme flow partition ratios is due to the plasma skimming of NPs in the cell free layer. These findings, based on the multiscale computational framework, provide biophysical insights to the heterogeneous distribution of NPs in microvascular beds that are observed pathophysiologically.


Optimal control of differential inclusions with endpoint and state constraints and duality. The paper studies optimal control problem described by higher order evolution differential inclusions (DFIs) with endpoint and state constraints. In the term of Euler Lagrange type inclusion is derived sufficient condition of optimality for higher order DFIs. It is shown that the adjoint inclusion for the first order DFIs, defined in terms of locally adjoint mapping, coincides with the classical Euler Lagrange inclusion. Then a duality theorem is proved, which shows that Euler Lagrange inclusions are "duality relations" for both problems. At the end of the paper duality problems for third order linear and fourth order polyhedral DFIs are considered.


Towards Scalable and Reliable Capsule Networks for Challenging NLP Applications. Obstacles hindering the development of capsule networks for challenging NLP applications include poor scalability to large output spaces and less reliable routing processes. In this paper, we introduce 1) an agreement score to evaluate the performance of routing processes at instance level 2) an adaptive optimizer to enhance the reliability of routing 3) capsule compression and partial routing to improve the scalability of capsule networks. We validate our approach on two NLP tasks, namely multi label text classification and question answering. Experimental results show that our approach considerably improves over strong competitors on both tasks. In addition, we gain the best results in low resource settings with few training instances.


Hyperproperties for Robotics Planning via HyperLTL. There is a growing interest on formal methods based robotic planning for temporal logic objectives. In this work, we extend the scope of existing synthesis methods to hyper temporal logics. We are motivated by the fact that important planning objectives, such as optimality, robustness, and privacy, (maybe implicitly) involve the interrelation between multiple paths. Such objectives are thus hyperproperties, and cannot be expressed with usual temporal logics like the linear temporal logic (LTL). We show that such hyperproperties can be expressed by HyperLTL, an extension of LTL to multiple paths. To handle the complexity of planning with HyperLTL specifications, we introduce a symbolic approach for synthesizing planning strategies on discrete transition systems. Our planning method is evaluated on several case studies.


BlueFlood Concurrent Transmissions for Multi Hop Bluetooth 5 Modeling and Evaluation. Bluetooth is an omnipresent technology, available on billions of devices today. While it has been traditionally limited to peer to peer communication and star networks, the recent Bluetooth Mesh standard extends it to multi hop networking. In addition, the Bluetooth 5 standard introduces new modes to allow for increased reliability. In this paper, we evaluate the feasibility of concurrent transmissions (CT) in Bluetooth via modeling and controlled experiments and then devise an efficient network wide data dissemination protocol, BlueFlood, based on CT for multi hop Bluetooth networks. First, we model and analyze how CT distorts the received waveform and characterize the Bit Error Rate of a Frequency Shift Keying receiver to show that CT is feasible over Bluetooth. Second, we verify our analytic results with a controlled experimental study of CT over Bluetooth PHY. Third, we present BlueFlood, a fast and efficient network wide data dissemination in multi hop Bluetooth networks. In our experimental evaluation, in two testbeds deployed in university buildings, we show that BlueFlood achieves 99.9 end to end delivery ratio with a duty cycle of 0.4 for periodic dissemination of advertising packets of 38 bytes with 200 milliseconds intervals at 2 Mbps. Moreover, we show that BlueFlood can be received by off the shelf devices such as smartphones, paving a seamless integration with existing technologies.


Some Aspects of Geometric Computer Vision for Analysing Dynamical Scenes focusing Automotive Applications. This draft summarizes some basics about geometric computer vision needed to implement efficient computer vision algorithms for applications that use measurements from at least one digital camera mounted on a moving platform with a special focus on automotive applications processing image streams taken from cameras mounted on a car. Our intention is twofold On the one hand, we would like to introduce well known basic geometric relations in a compact way that can also be found in lecture books about geometric computer vision like 1, 2 . On the other hand, we would like to share some experience about subtleties that should be taken into account in order to set up quite simple but robust and fast vision algorithms that are able to run in real time. We added a conglomeration of literature, we found to be relevant when implementing basic algorithms like optical flow, visual odometry and structure from motion. The reader should get some feeling about how the estimates of these algorithms are interrelated, which parts of the algorithms are critical in terms of robustness and what kind of additional assumptions can be useful to constrain the solution space of the underlying usually non convex optimization problems.


An Age Dependent Model for Dengue Transmission Analysis and Comparison to Field Data from Semarang, Indonesia. Medical statistics reveal a significant dependence of hospitalized dengue patient on the patient's age. To incorporate an age dependence into a mathematical model, we extend the classical ODE system of disease dynamics to a PDE system. The equilibrium distribution is then determined by the fixed points of resulting integro differential equations. In this paper we use an extension of the concept of the basic reproductive number to characterize parameter regimes, where either only the disease free or an endemic equilibrium exists. Using rather general and minimal assumptions on the population distribution and on the age dependent transmission rate, we prove the existence of those equilibria. Furthermore, we are able to prove the convergence of an iteration scheme to compute the endemic equilibrium. To validate our model, we use existing data from the city of Semarang, Indonesia for comparison and to identify the model parameters.


Twisted Steinberg algebras. We introduce twisted Steinberg algebras over a commutative unital ring R . These generalise Steinberg algebras and are a purely algebraic analogue of Renault's twisted groupoid C algebras. In particular, for each ample Hausdorff groupoid G and each locally constant 2 cocycle sigma on G taking values in the units R times , we study the algebra A R(G, sigma) consisting of locally constant compactly supported R valued functions on G , with convolution and involution "twisted" by sigma . We also introduce a "discretised" analogue of a twist Sigma over a Hausdorff 'etale groupoid G , and we show that there is a one to one correspondence between locally constant 2 cocycles on G and discrete twists over G admitting a continuous global section. Given a discrete twist Sigma arising from a locally constant 2 cocycle sigma on an ample Hausdorff groupoid G , we construct an associated twisted Steinberg algebra A R(G Sigma) , and we show that it coincides with A R(G, sigma 1 ) . Given any discrete field mathbb F d , we prove a graded uniqueness theorem for A mathbb F d (G, sigma) , and under the additional hypothesis that G is effective, we prove a Cuntz Krieger uniqueness theorem and show that simplicity of A mathbb F d (G, sigma) is equivalent to minimality of G .


Surveys without Questions A Reinforcement Learning Approach. The 'old world' instrument, survey, remains a tool of choice for firms to obtain ratings of satisfaction and experience that customers realize while interacting online with firms. While avenues for survey have evolved from emails and links to pop ups while browsing, the deficiencies persist. These include reliance on ratings of very few respondents to infer about all customers' online interactions failing to capture a customer's interactions over time since the rating is a one time snapshot and inability to tie back customers' ratings to specific interactions because ratings provided relate to all interactions. To overcome these deficiencies we extract proxy ratings from clickstream data, typically collected for every customer's online interactions, by developing an approach based on Reinforcement Learning (RL). We introduce a new way to interpret values generated by the value function of RL, as proxy ratings. Our approach does not need any survey data for training. Yet, on validation against actual survey data, proxy ratings yield reasonable performance results. Additionally, we offer a new way to draw insights from values of the value function, which allow associating specific interactions to their proxy ratings. We introduce two new metrics to represent ratings one, customer level and the other, aggregate level for click actions across customers. Both are defined around proportion of all pairwise, successive actions that show increase in proxy ratings. This intuitive customer level metric enables gauging the dynamics of ratings over time and is a better predictor of purchase than customer ratings from survey. The aggregate level metric allows pinpointing actions that help or hurt experience. In sum, proxy ratings computed unobtrusively from clickstream, for every action, for each customer, and for every session can offer interpretable and more insightful alternative to surveys.


The correspondence induced on the pillowcase by the earring tangle. The earring tangle consists of four strands 4pt x 0,1 inside S 2 x 0,1 and one meridian around one of the strands. Equipping this tangle with a nontrivial SO(3) bundle, we show that its traceless SU(2) flat moduli space is topologically a smooth genus three surface. We also show that the restriction map from this surface to the traceless flat moduli space of the boundary of the earring tangle is a particular Lagrangian immersion into the product of two pillowcases. The latter computation suggests that figure eight bubbling a subtle degeneration phenomenon predicted by Bottman and Wehrheim appears in the context of traceless character varieties.


Recent developments on Oka manifolds. This paper is a survey of developments in Oka theory since the publication of my book Stein Manifolds and Holomorphic Mappings (The Homotopy Principle in Complex Analysis), Second Edition, Springer, 2017. It includes several results not published elsewhere. In particular, we give new examples of Oka domains in Euclidean and projective spaces. We also show that for n 1 the fibre mathbb C n in a Stein family can degenerate to a non Oka fibre, answering a question of Takeo Ohsawa. Several major open problems are mentioned.


A Short Remark on Analogical Reasoning. We discuss the problem of defining a logic for analogical reasoning, and sketch a solution in the style of the semantics for Counterfactual Conditionals, Preferential Structures, etc.


Supertagging the Long Tail with Tree Structured Decoding of Complex Categories. Although current CCG supertaggers achieve high accuracy on the standard WSJ test set, few systems make use of the categories' internal structure that will drive the syntactic derivation during parsing. The tagset is traditionally truncated, discarding the many rare and complex category types in the long tail. However, supertags are themselves trees. Rather than give up on rare tags, we investigate constructive models that account for their internal structure, including novel methods for tree structured prediction. Our best tagger is capable of recovering a sizeable fraction of the long tail supertags and even generates CCG categories that have never been seen in training, while approximating the prior state of the art in overall tag accuracy with fewer parameters. We further investigate how well different approaches generalize to out of domain evaluation sets.


Digits of primes. We survey some different results on the digits of prime numbers, giving a simplified proof of weak forms of a result of Maynard and Mauduit Rivat.


A Tight Approximation Algorithm for the Cluster Vertex Deletion Problem. We give the first 2 approximation algorithm for the cluster vertex deletion problem. This is tight, since approximating the problem within any constant factor smaller than 2 is UGC hard. Our algorithm combines the previous approaches, based on the local ratio technique and the management of true twins, with a novel construction of a 'good' cost function on the vertices at distance at most 2 from any vertex of the input graph. As an additional contribution, we also study cluster vertex deletion from the polyhedral perspective, where we prove almost matching upper and lower bounds on how well linear programming relaxations can approximate the problem.