Sasakian Geometry on Sphere Bundles. The purpose of this paper is to study the Sasakian geometry on odd dimensional sphere bundles over a smooth projective algebraic variety N with the ultimate, but probably unachievable goal of understanding the existence and non existence of extremal and constant scalar curvature Sasaki metrics. We apply the fiber join construction of Yamazaki cite Yam99 for K contact manifolds to the Sasaki case. This construction depends on the choice of d 1 integral K "ahler classes omega j on N that are not necessarily colinear in the K "ahler cone. We show that the colinear case is equivalent to a subclass of a different join construction orginally described in cite BG00a,BGO06 , applied to the spherical case by the authors in cite BoTo13,BoTo14a when d 1 , and known as cone decomposable cite BHLT16 . The non colinear case gives rise to infinite families of new inequivalent cone indecomposable Sasaki contact CR on certain sphere bundles. We prove that the Sasaki cone for some of these structures contains an open set of extremal Sasaki metrics and, for certain specialized cases, the regular ray within this cone is shown to have constant scalar curvature. We also compute the cohomology groups of all such sphere bundles over a product of Riemann surfaces.


Systematic Classification of Attackers via Bounded Model Checking. In this work, we study the problem of verification of systems in the presence of attackers using bounded model checking. Given a system and a set of security requirements, we present a methodology to generate and classify attackers, mapping them to the set of requirements that they can break. A naive approach suffers from the same shortcomings of any large model checking problem, i.e., memory shortage and exponential time. To cope with these shortcomings, we describe two sound heuristics based on cone of influence reduction and on learning, which we demonstrate empirically by applying our methodology to a set of hardware benchmark systems.


Text based inference of moral sentiment change. We present a text based framework for investigating moral sentiment change of the public via longitudinal corpora. Our framework is based on the premise that language use can inform people's moral perception toward right or wrong, and we build our methodology by exploring moral biases learned from diachronic word embeddings. We demonstrate how a parameter free model supports inference of historical shifts in moral sentiment toward concepts such as slavery and democracy over centuries at three incremental levels moral relevance, moral polarity, and fine grained moral dimensions. We apply this methodology to visualizing moral time courses of individual concepts and analyzing the relations between psycholinguistic variables and rates of moral sentiment change at scale. Our work offers opportunities for applying natural language processing toward characterizing moral sentiment change in society.


HGKT Introducing Hierarchical Exercise Graph for Knowledge Tracing. Knowledge tracing (KT) which aims at predicting learner's knowledge mastery plays an important role in the computer aided educational system. In recent years, many deep learning models have been applied to tackle the KT task, which have shown promising results. However, limitations still exist. Most existing methods simplify the exercising records as knowledge sequences, which fail to explore rich information that existed in exercises. Besides, the existing diagnosis results of knowledge tracing are not convincing enough since they neglect prior relations between exercises. To solve the above problems, we propose a hierarchical graph knowledge tracing model called HGKT to explore the latent hierarchical relations between exercises. Specifically, we introduce the concept of problem schema to construct a hierarchical exercise graph that could model the exercise learning dependencies. Moreover, we employ two attention mechanisms to highlight the important historical states of learners. In the testing stage, we present a K S diagnosis matrix that could trace the transition of mastery of knowledge and problem schema, which can be more easily applied to different applications. Extensive experiments show the effectiveness and interpretability of our proposed models.


Early Action Prediction with Generative Adversarial Networks. Action Prediction is aimed to determine what action is occurring in a video as early as possible, which is crucial to many online applications, such as predicting a traffic accident before it happens and detecting malicious actions in the monitoring system. In this work, we address this problem by developing an end to end architecture that improves the discriminability of features of partially observed videos by assimilating them to features from complete videos. For this purpose, the generative adversarial network is introduced for tackling action prediction problem, which improves the recognition accuracy of partially observed videos though narrowing the feature difference of partially observed videos from complete ones. Specifically, its generator comprises of two networks a CNN for feature extraction and an LSTM for estimating residual error between features of the partially observed videos and complete ones, and then the features from CNN adds the residual error from LSTM, which is regarded as the enhanced feature to fool a competing discriminator. Meanwhile, the generator is trained with an additional perceptual objective, which forces the enhanced features of partially observed videos are discriminative enough for action prediction. Extensive experimental results on UCF101, BIT and UT Interaction datasets demonstrate that our approach outperforms the state of the art methods, especially for videos that less than 50 portion of frames is observed.


SIA A Scalable Interoperable Annotation Server for Biomedical Named Entities. Recent years showed a strong increase in biomedical sciences and an inherent increase in publication volume. Extraction of specific information from these sources requires highly sophisticated text mining and information extraction tools. However, the integration of freely available tools into customized workflows is often cumbersome and difficult. We describe SIA (Scalable Interoperable Annotation Server), our contribution to the BeCalm Technical interoperability and performance of annotation servers (BeCalm TIPS) task, a scalable, extensible, and robust annotation service. The system currently covers six named entity types (i.e., Chemicals, Diseases, Genes, miRNA, Mutations, and Organisms) and is freely available under Apache 2.0 license at https github.com Erechtheus sia.


Lower Bounds for the Error of Quadrature Formulas for Hilbert Spaces. We prove lower bounds for the worst case error of quadrature formulas that use given sample points X n x 1, dots , x n . We are mainly interested in optimal point sets X n , but also prove lower bounds that hold with high probability for sets of independently and uniformly distributed points. As a tool, we use a recent result (and extensions thereof) of Vyb 'iral on the positive semi definiteness of certain matrices related to the product theorem of Schur. The new technique also works for spaces of analytic functions where known methods based on decomposable kernels cannot be applied.


Demographic Bias in Presentation Attack Detection of Iris Recognition Systems. With the widespread use of biometric systems, the demographic bias problem raises more attention. Although many studies addressed bias issues in biometric verification, there are no works that analyze the bias in presentation attack detection (PAD) decisions. Hence, we investigate and analyze the demographic bias in iris PAD algorithms in this paper. To enable a clear discussion, we adapt the notions of differential performance and differential outcome to the PAD problem. We study the bias in iris PAD using three baselines (hand crafted, transfer learning, and training from scratch) using the NDCLD 2013 database. The experimental results point out that female users will be significantly less protected by the PAD, in comparison to males.


On the incomparability of systems of sets of lengths. Let H be a Krull monoid with finite class group G such that every class contains a prime divisor. We consider the system mathcal L (H) of all sets of lengths of H and study when mathcal L (H) contains or is contained in a system mathcal L (H') of a Krull monoid H' with finite class group G' , prime divisors in all classes and Davenport constant mathsf D (G') mathsf D (G) . Among others, we show that if G is either cyclic of order m ge 7 or an elementary 2 group of rank m 1 ge 6 , and G' is any group which is non isomorphic to G but with Davenport constant mathsf D (G') mathsf D (G) , then the systems mathcal L (H) and mathcal L (H') are incomparable.


Wearable Affective Life Log System for Understanding Emotion Dynamics in Daily Life. Past research on recognizing human affect has made use of a variety of physiological sensors in many ways. Nonetheless, how affective dynamics are influenced in the context of human daily life has not yet been explored. In this work, we present a wearable affective life log system (ALIS), that is robust as well as easy to use in daily life to detect emotional changes and determine their cause and effect relationship on users' lives. The proposed system records how a user feels in certain situations during long term activities with physiological sensors. Based on the long term monitoring, the system analyzes how the contexts of the user's life affect his her emotion changes. Furthermore, real world experimental results demonstrate that the proposed wearable life log system enables us to build causal structures to find effective stress relievers suited to every stressful situation in school life.


CPM A Large scale Generative Chinese Pre trained Language Model. Pre trained Language Models (PLMs) have proven to be beneficial for various downstream NLP tasks. Recently, GPT 3, with 175 billion parameters and 570GB training data, drew a lot of attention due to the capacity of few shot (even zero shot) learning. However, applying GPT 3 to address Chinese NLP tasks is still challenging, as the training corpus of GPT 3 is primarily English, and the parameters are not publicly available. In this technical report, we release the Chinese Pre trained Language Model (CPM) with generative pre training on large scale Chinese training data. To the best of our knowledge, CPM, with 2.6 billion parameters and 100GB Chinese training data, is the largest Chinese pre trained language model, which could facilitate several downstream Chinese NLP tasks, such as conversation, essay generation, cloze test, and language understanding. Extensive experiments demonstrate that CPM achieves strong performance on many NLP tasks in the settings of few shot (even zero shot) learning. The code and parameters are available at https github.com TsinghuaAI CPM Generate.


Dynamics of a Stochastic COVID 19 Epidemic Model with Jump Diffusion. For a stochastic COVID 19 model with jump diffusion, we prove the existence and uniqueness of the global positive solution. We also investigate some conditions for the extinction and persistence of the disease. We calculate the threshold of the stochastic epidemic system which determines the extinction or permanence of the disease at different intensities of the stochastic noises. This threshold is denoted by xi which depends on the white and jump noises. The effects of these noises on the dynamics of the model are studied. The numerical experiments show that the random perturbation introduced in the stochastic model suppresses disease outbreaks as compared to its deterministic counterpart. In other words, the impact of the noises on the extinction and persistence is high. When the noise is large or small, our numerical findings show that the COVID 19 vanishes from the population if xi 1 whereas the epidemic can't go out of control if xi 1. From this, we observe that white noise and jump noise have a significant effect on the spread of COVID 19 infection, i.e., we can conclude that the stochastic model is more realistic than the deterministic one. Finally, to illustrate this phenomenon, we put some numerical simulations.


H 1 norm error estimate for a nonstandard finite element approximation of second order linear elliptic PDEs in non divergence form. This paper establishes the optimal H 1 norm error estimate for a nonstandard finite element method for approximating H 2 strong solutions of second order linear elliptic PDEs in non divergence form with continuous coefficients. To circumvent the difficulty of lacking an effective duality argument for this class of PDEs, a new analysis technique is introduced the crux of it is to establish an H 1 norm stability estimate for the finite element approximation operator which mimics a similar estimate for the underlying PDE operator recently established by the authors and its proof is based on a freezing coefficient technique and a topological argument. Moreover, both the H 1 norm stability and error estimate also hold for the linear finite element method.


Preconditioned accelerated gradient descent methods for locally Lipschitz smooth objectives with applications to the solution of nonlinear PDEs. We develop a theoretical foundation for the application of Nesterov's accelerated gradient descent method (AGD) to the approximation of solutions of a wide class of partial differential equations (PDEs). This is achieved by proving the existence of an invariant set and exponential convergence rates when its preconditioned version (PAGD) is applied to minimize locally Lipschitz smooth, strongly convex objective functionals. We introduce a second order ordinary differential equation (ODE) with a preconditioner built in and show that PAGD is an explicit time discretization of this ODE, which requires a natural time step restriction for energy stability. At the continuous time level, we show an exponential convergence of the ODE solution to its steady state using a simple energy argument. At the discrete level, assuming the aforementioned step size restriction, the existence of an invariant set is proved and a matching exponential rate of convergence of the PAGD scheme is derived by mimicking the energy argument and the convergence at the continuous level. Applications of the PAGD method to numerical PDEs are demonstrated with certain nonlinear elliptic PDEs using pseudo spectral methods for spatial discretization, and several numerical experiments are conducted. The results confirm the global geometric and mesh size independent convergence of the PAGD method, with an accelerated rate that is improved over the preconditioned gradient descent (PGD) method.


Industrial robot ransomware Akerbeltz. Cybersecurity lessons have not been learnt from the dawn of other technological industries. In robotics, the existing insecurity landscape needs to be addressed immediately. Several manufacturers profiting from the lack of general awareness are systematically ignoring their responsibilities by claiming their insecure (open) systems facilitate system integration, disregarding the safety, privacy and ethical consequences that their (lack of) actions have. In an attempt to raise awareness and illustrate the "insecurity by design in robotics" we have created Akerbeltz, the first known instance of industrial robot ransomware. Our malware is demonstrated using a leading brand for industrial collaborative robots, Universal Robots. We describe the rationale behind our target and discuss the general flow of the attack including the initial cyber intrusion, lateral movement and later control phase. We urge security researchers to adopt some sort of disclosure policy that forces manufacturers to react promptly. We advocate against security by obscurity and encourage the release of similar actions once vulnerability reports fall into a dead end. Actions are now to be taken to abide a future free of zero days for robotics.


Personalized Cardiovascular Disease Risk Mitigation via Longitudinal Inverse Classification. Cardiovascular disease (CVD) is a serious illness affecting millions world wide and is the leading cause of death in the US. Recent years, however, have seen tremendous growth in the area of personalized medicine, a field of medicine that places the patient at the center of the medical decision making and treatment process. Many CVD focused personalized medicine innovations focus on genetic biomarkers, which provide person specific CVD insights at the genetic level, but do not focus on the practical steps a patient could take to mitigate their risk of CVD development. In this work we propose longitudinal inverse classification, a recommendation framework that provides personalized lifestyle recommendations that minimize the predicted probability of CVD risk. Our framework takes into account historical CVD risk, as well as other patient characteristics, to provide recommendations. Our experiments show that earlier adoption of the recommendations elicited from our framework produce significant CVD risk reduction.


Resolvent analysis of compressible laminar and turbulent cavity flows. The present work demonstrates the use of resolvent analysis to obtain physical insights for open cavity flows. Resolvent analysis identifies the flow response to harmonic forcing, given a steady base state, in terms of the response and forcing modes and the amplification gain. The response and forcing modes reveal the spatial structures associated with this amplification process. In this study, we perform resolvent analysis on both laminar and turbulent flows over a rectangular cavity with length to depth ratio of L D 6 at a free stream Mach number of M infty 0.6 in a spanwise periodic setting. Based on the dominant instability of the base state, a discount parameter is introduced to resolvent analysis to examine the harmonic characteristics over a finite time window. We first uncover the underlying flow physics and interpret findings from laminar flow at Re D 502 . These findings from laminar flow are extended to a more practical cavity flow example at a much higher Reynolds number of Re D 10 4 . The features of response and forcing modes from the laminar and turbulent cavity flows are similar to the spatial structures from the laminar analysis. We further find that the large amplification of energy in flow response is associated with high frequency for turbulent flow, while the flow is more responsive to low frequency excitation in the laminar case. These findings from resolvent analysis provide valuable insights for flow control studies with regard to parameter selection and placement of actuators and sensors.


Factors and loose Hamilton cycles in sparse pseudo random hypergraphs. We investigate the emergence of spanning structures in sparse pseudo random k uniform hypergraphs, using the following comparatively weak notion of pseudo randomness. A k uniform hypergraph H on n vertices is called (p, alpha, epsilon) pseudo random if for all (not necessarily disjoint) vertex subsets A 1, dots, A k subseteq V(H) with A 1 cdots A k geq alpha n k we have e(A 1, dots, A k) (1 pm epsilon)p A 1 cdots A k . For any linear k uniform F we provide a bound on alpha alpha(n) in terms of p p(n) and F , such that (under natural divisibility assumptions on n ) any k uniform big(p, alpha, o(1) big) pseudo random n vertex hypergraph H with a mild minimum vertex degree condition contains an F factor. The approach also enables us to establish the existence of loose Hamilton cycles in sufficiently pseudo random hypergraphs and all results imply corresponding bounds for stronger notions of hypergraph pseudo randomness such as jumbledness or large spectral gap. As a consequence, big(p, alpha, o(1) big) pseudo random k graphs as above contain (i) a perfect matching if alpha o(p k ) and (ii) a loose Hamilton cycle if alpha o(p k 1 ) . This extends the works of Lenz Mubayi, and Lenz Mubayi Mycroft who studied the analogous problems in the dense setting.


Higher Order Method for Differential Inclusions. Uncertainty is unavoidable in modeling dynamical systems and it may be represented mathematically by differential inclusions. In the past, we proposed an algorithm to compute validated solutions of differential inclusions here we provide several theoretical improvements to the algorithm, including its extension to piecewise constant and sinusoidal approximations of uncertain inputs, updates on the affine approximation bounds and a generalized formula for the analytical error. The approach proposed is able to achieve higher order convergence with respect to the current state of the art. We implemented the methodology in Ariadne, a library for the verification of continuous and hybrid systems. For evaluation purposes, we introduce ten systems from the literature, with varying degrees of nonlinearity, number of variables and uncertain inputs. The results are hereby compared with two state of the art approaches to time varying uncertainties in nonlinear systems.


On the limiting behaviour of some nonlocal seminorms a new phenomenon. In this note we study the behaviour as s to 0 of some semigroup based Besov seminorms associated with a non symmetric and hypoelliptic diffusion with a drift. Our results generalise a previous one of Maz'ya and Shaposhnikova for the classical fractional Sobolev spaces W s,p , and they also underscore a new phenomenon caused by the presence of the drift.


physics.comp-ph cs.LG cs.NE physics.optics

Wave Physics as an Analog Recurrent Neural Network. Analog machine learning hardware platforms promise to be faster and more energy efficient than their digital counterparts. Wave physics, as found in acoustics and optics, is a natural candidate for building analog processors for time varying signals. Here we identify a mapping between the dynamics of wave physics, and the computation in recurrent neural networks. This mapping indicates that physical wave systems can be trained to learn complex features in temporal data, using standard training techniques for neural networks. As a demonstration, we show that an inverse designed inhomogeneous medium can perform vowel classification on raw audio signals as their waveforms scatter and propagate through it, achieving performance comparable to a standard digital implementation of a recurrent neural network. These findings pave the way for a new class of analog machine learning platforms, capable of fast and efficient processing of information in its native domain.


Learning the constitutive relation of polymeric flows with memory. We develop a learning strategy to infer the constitutive relation for the stress of polymeric flows with memory. We make no assumptions regarding the functional form of the constitutive relations, except that they should be expressible in differential form as a function of the local stress and strain rate tensors. In particular, we use a Gaussian Process regression to infer the constitutive relations from stress trajectories generated from small scale (fixed strain rate) microscopic polymer simulations. For simplicity, a Hookean dumbbell representation is used as a microscopic model, but the method itself can be generalized to incorporate more realistic descriptions. The learned constitutive relation is then used to perform macroscopic flow simulations, allowing us to update the stress distribution in the fluid in a manner that accounts for the microscopic polymer dynamics. The results using the learned constitutive relation are in excellent agreement with full Multi Scale Simulations, which directly couple micro macro degrees of freedom, as well as the exact analytical solution given by the Maxwell constitutive relation. We are able to fully capture the history dependence of the flow, as well as the elastic effects in the fluid. We expect the proposed learning simulation approach to be used not only to study the dynamics of entangled polymer flows, but also for the complex dynamics of other Soft Matter systems, which possess a similar hierarchy of length and time scales.


Torus covering knot groups and their irreducible metabelian SU(2) representations. A torus covering T 2 knot is a surface knot of genus one determined from a pair of commutative braids. For a torus covering T 2 knot F , we determine the number of irreducible metabelian SU(2) representations of the knot group of F in terms of the knot determinant of F . It is similar to the result due to Lin for the knot group of a classical knot. Further, we investigate the number of irreducible metabelian SU(2) representations using Fox's p colorability.


An Efficient Interval Uncertainty Optimization Approach Based on Quasi sparse Response Surface. The structure uncertainty optimization problem is usually treated as double loop optimization process, which is computation intensive. In this paper, an efficient interval uncertainty optimization approach based on Quasi sparse response surface (QSRS) is proposed for structure uncertainty optimization. In which, 1) with l 1 norm and l 2 norm penalty method, a few appropriate basis functions are selected form a large number of basis functions to construct QSRS accurately and only a few sampling points is required, 2) as the orthogonal chebyshev polynomials is employed as QSRS basis functions, the local uncertainty can be evaluated by the combination of QSRS and interval arithmetic. Hence, the inner optimization process is eliminated. One mathematical problem and one engineering problem are used to validate the efficiency of the proposed approach. The results show that only 25 sampling points is needed than recently published approach.


Storage Solutions for Big Data Systems A Qualitative Study and Comparison. Big data systems development is full of challenges in view of the variety of application areas and domains that this technology promises to serve. Typically, fundamental design decisions involved in big data systems design include choosing appropriate storage and computing infrastructures. In this age of heterogeneous systems that integrate different technologies for optimized solution to a specific real world problem, big data system are not an exception to any such rule. As far as the storage aspect of any big data system is concerned, the primary facet in this regard is a storage infrastructure and NoSQL seems to be the right technology that fulfills its requirements. However, every big data application has variable data characteristics and thus, the corresponding data fits into a different data model. This paper presents feature and use case analysis and comparison of the four main data models namely document oriented, key value, graph and wide column. Moreover, a feature analysis of 80 NoSQL solutions has been provided, elaborating on the criteria and points that a developer must consider while making a possible choice. Typically, big data storage needs to communicate with the execution engine and other processing and visualization technologies to create a comprehensive solution. This brings forth second facet of big data storage, big data file formats, into picture. The second half of the research paper compares the advantages, shortcomings and possible use cases of available big data file formats for Hadoop, which is the foundation for most big data computing technologies. Decentralized storage and blockchain are seen as the next generation of big data storage and its challenges and future prospects have also been discussed.


Frequency Guided Word Substitutions for Detecting Textual Adversarial Examples. Recent efforts have shown that neural text processing models are vulnerable to adversarial examples, but the nature of these examples is poorly understood. In this work, we show that adversarial attacks against CNN, LSTM and Transformer based classification models perform word substitutions that are identifiable through frequency differences between replaced words and their corresponding substitutions. Based on these findings, we propose frequency guided word substitutions (FGWS), a simple algorithm exploiting the frequency properties of adversarial word substitutions for the detection of adversarial examples. FGWS achieves strong performance by accurately detecting adversarial examples on the SST 2 and IMDb sentiment datasets, with F1 detection scores of up to 91.4 against RoBERTa based classification models. We compare our approach against a recently proposed perturbation discrimination framework and show that we outperform it by up to 13.0 F1.


Characterization of nuclearity for Beurling Bj " o rck spaces. We characterize the nuclearity of the Beurling Bj " o rck spaces mathcal S ( omega) ( eta) ( mathbb R d) and mathcal S omega eta ( mathbb R d) in terms of the defining weight functions omega and eta .


ConnectionChain Secure Interworking of Blockchains. Blockchain is a core technology to manage the value of cryptocurrencies, or to record trails of important business trades. The Smart Contract on blockchain is expected to improve security on blockchain system with automated operation, but it cannot be the solution when the application service required to operate tightly related blockchain ledgers as service business logic. This paper proposed the method to extend the functionality of traditional Smart Contract on blockchain, and introduced the prototype system, named 'ConnectionChain'.


Residual supersingular Iwasawa theory and signed Iwasawa invariants. For an odd prime p and a supersingular elliptic curve over a number field, this article introduces a fine signed residual Selmer group, under certain hypotheses on the base field. This group depends purely on the residual representation at p , yet captures information about the Iwasawa theoretic invariants of the signed p infty Selmer group that arise in supersingular Iwasawa theory. Working in this residual setting provides a natural framework for studying congruences modulo p in Iwasawa theory.


Decoder Error Propagation Mitigation for Spatially Coupled LDPC Codes. In this paper, we introduce two new methods of mitigating decoder error propagation for low latency sliding window decoding (SWD) of spatially coupled low density parity check (SC LDPC) codes. Building on the recently introduced idea of emph check node (CN) doping of regular SC LDPC codes, here we employ variable node (VN) doping to fix (set to a known value) a subset of variable nodes in the coupling chain. Both of these doping methods have the effect of allowing SWD to recover from error propagation, at a cost of a slight rate loss. Experimental results show that, similar to CN doping, VN doping improves performance by up to two orders of magnitude compared to undoped SC LDPC codes in the typical signal to noise ratio operating range. Further, compared to CN doping, VN doping has the advantage of not requiring any changes to the decoding process.In addition, a log likelihood ratio based window extension algorithm is proposed to reduce the effect of error propagation. Using this approach, we show that decoding latency can be reduced by up to a significant fraction without suffering any loss in performance.


Emotion Recognition for Vietnamese Social Media Text. Emotion recognition or emotion prediction is a higher approach or a special case of sentiment analysis. In this task, the result is not produced in terms of either polarity positive or negative or in the form of rating (from 1 to 5) but of a more detailed level of analysis in which the results are depicted in more expressions like sadness, enjoyment, anger, disgust, fear, and surprise. Emotion recognition plays a critical role in measuring the brand value of a product by recognizing specific emotions of customers' comments. In this study, we have achieved two targets. First and foremost, we built a standard Vietnamese Social Media Emotion Corpus (UIT VSMEC) with exactly 6,927 emotion annotated sentences, contributing to emotion recognition research in Vietnamese which is a low resource language in natural language processing (NLP). Secondly, we assessed and measured machine learning and deep neural network models on our UIT VSMEC corpus. As a result, the CNN model achieved the highest performance with the weighted F1 score of 59.74 . Our corpus is available at our research website.


A new CLT for additive functionals of Markov chains. In this paper we study the central limit theorem for additive functionals of stationary Markov chains with general state space by using a new idea involving conditioning with respect to both the past and future of the chain. Practically, we show that any additive functionals of a stationary and totally ergodic Markov chain with the variance of S n divided by n uniformly bounded, satisfies a square root central limit theorem with a random centering. We do not assume that the Markov chain is irreducible and aperiodic. However, the random centering is not needed if the Markov chain satisfies stronger forms of ergodicity. In absence an ergodicity the convergence in distribution still holds, but the limiting distribution might not be normal.


Real projective structures on Riemann surfaces and new hyper K "ahler manifolds. The twistor space of the moduli space of solutions of Hitchin's self duality equations can be identified with the Deligne Hitchin moduli space of lambda connections. We use real projective structures on Riemann surfaces to prove the existence of new components of real holomorphic sections of the Deligne Hitchin moduli space. Applying the twistorial construction we show the existence of new hyper K "ahler manifolds associated to any compact Riemann surface of genus g geq2 . These hyper K "ahler manifolds can be considered as moduli spaces of (certain) singular solutions of the self duality equations.


Density estimates and short time asymptotics for a hypoelliptic diffusion process. We study a system of n differential equations, each in dimension d . Only the first equation is forced by a Brownian motion and the dependence structure is such that, under a local weak H "ormander condition, the noise propagates to the whole system. We prove upper bounds for the transition density (heat kernel) and its derivatives of any order. Then we give precise short time asymptotics of the density at a suitable central limit time scale. Both these results account for the different non diffusive scales of propagation in the various components. Finally, we provide a valuation formula for short maturity at the money Asian basket options under correlated local volatility dynamics.


Scalable Decision Theoretic Planning in Open and Typed Multiagent Systems. In open agent systems, the set of agents that are cooperating or competing changes over time and in ways that are nontrivial to predict. For example, if collaborative robots were tasked with fighting wildfires, they may run out of suppressants and be temporarily unavailable to assist their peers. We consider the problem of planning in these contexts with the additional challenges that the agents are unable to communicate with each other and that there are many of them. Because an agent's optimal action depends on the actions of others, each agent must not only predict the actions of its peers, but, before that, reason whether they are even present to perform an action. Addressing openness thus requires agents to model each other's presence, which becomes computationally intractable with high numbers of agents. We present a novel, principled, and scalable method in this context that enables an agent to reason about others' presence in its shared environment and their actions. Our method extrapolates models of a few peers to the overall behavior of the many agent system, and combines it with a generalization of Monte Carlo tree search to perform individual agent reasoning in many agent open environments. Theoretical analyses establish the number of agents to model in order to achieve acceptable worst case bounds on extrapolation error, as well as regret bounds on the agent's utility from modeling only some neighbors. Simulations of multiagent wildfire suppression problems demonstrate our approach's efficacy compared with alternative baselines.


2D Raman THz spectroscopy of binary CHBr3 MeOH solvent mixture. Hybrid two dimensional (2D) Raman terahertz spectroscopy is used to measure the interactions between two solvents pair in the binary CHBr3 MeOH mixture in the frequency range of 1 7 THz. Changes in the cross peak signature are monitored, originating from the coupling of an intramolecular bending mode of CHBr3 to the collective intermolecular degrees of freedom of the mixture. The appearance of a new cross peak in the 2D spectrum measured for solvent mixture with MeOH molar fraction of 0.3 indicates a coupling to a new set of low frequency modes formed due to the hydrogen bond interactions between the two solvents. This interpretation is supported by the measurement of the CHBr3 CS2 binary solvent mixture as well as by 1D absorption measurements of neat MeOH.


Evolution of cooperation driven by active information spreading. Cooperators forgo their interest to benefit others. Thus cooperation should not be favored by natural selection. It challenges the evolutionists, since cooperation is widespread. As one of the resolutions, information spreading has been revealed to play a key role in the emergence of cooperation. Individuals, however, are typically assumed to be passive in the information spreading. Here we assume that individuals are active to spread the information via self recommendation. Individuals with higher intensities of self recommendation are likely to have more neighbors. We find that i) eloquent cooperators are necessary to promote cooperation ii) individuals need to be open to the self recommendation to enhance cooperation level iii) the cost to benefit ratio should be smaller than one minus the ratio between self recommendation intensities of defector and cooperator, which qualitatively measures the viscosity of the population. Our results highlight the importance of active information spreading on cooperation.


Classification of 3 graded causal subalgebras of real simple Lie algebras. Let ( mathfrak g , tau) be a real simple symmetric Lie algebra and let W subset mathfrak g be an invariant closed convex cone which is pointed and generating with tau(W) W . For elements h in mathfrak g with tau(h) h , we classify the Lie algebras mathfrak g (W, tau,h) which are generated by the closed convex cones C pm (W, tau,h) ( pm W) cap mathfrak g pm 1 tau (h), where mathfrak g tau pm 1 (h) x in mathfrak g tau(x) x, h,x pm x . These cones occur naturally as the skew symmetric parts of the Lie wedges of endomorphism semigroups of certain standard subspaces. We prove in particular that, if mathfrak g (W, tau,h) is non trivial, then it is either a hermitian simple Lie algebra of tube type or a direct sum of two Lie algebras of this type. Moreover, we give for each hermitian simple Lie algebra and each equivalence class of involutive automorphisms tau of mathfrak g with tau(W) W a list of possible subalgebras mathfrak g (W, tau,h) up to isomorphy.


Finite presentation, the local lifting property, and local approximation properties of operator modules. We introduce notions of finite presentation and co exactness which serve as qualitative and quantitative analogues of finite dimensionality for operator modules over completely contractive Banach algebras. With these notions we begin the development of a local theory of operator modules by introducing analogues of the local lifting property, nuclearity, and semi discreteness. For a large class of operator modules we prove that the local lifting property is equivalent to flatness, generalizing the operator space result of Kye and Ruan. We pursue applications to abstract harmonic analysis, where, for a locally compact quantum group mathbb G , we show that L 1( mathbb G ) nuclearity of mathrm LUC ( mathbb G ) and L 1( mathbb G ) semi discreteness of L infty( mathbb G ) are both equivalent to co amenability of mathbb G . We establish the equivalence between A(G) injectivity of G bar ltimes M , A(G) semi discreteness of G bar ltimes M , and amenability of W dynamical systems (M,G, alpha) with M injective. We end with remarks on future directions.


Beyond Offline Mapping Learning Cross Lingual Word Embeddings through Context Anchoring. Recent research on cross lingual word embeddings has been dominated by unsupervised mapping approaches that align monolingual embeddings. Such methods critically rely on those embeddings having a similar structure, but it was recently shown that the separate training in different languages causes departures from this assumption. In this paper, we propose an alternative approach that does not have this limitation, while requiring a weak seed dictionary (e.g., a list of identical words) as the only form of supervision. Rather than aligning two fixed embedding spaces, our method works by fixing the target language embeddings, and learning a new set of embeddings for the source language that are aligned with them. To that end, we use an extension of skip gram that leverages translated context words as anchor points, and incorporates self learning and iterative restarts to reduce the dependency on the initial dictionary. Our approach outperforms conventional mapping methods on bilingual lexicon induction, and obtains competitive results in the downstream XNLI task.


Gr "obner Shirshov bases for commutative dialgebras. We establish Gr "obner Shirshov bases theory for commutative dialgebras. We show that for any ideal I of Di X , I has a unique reduced Gr "obner Shirshov basis, where Di X is the free commutative dialgebra generated by a set X , in particular, I has a finite Gr "obner Shirshov basis if X is finite. As applications, we give normal forms of elements of an arbitrary commutative disemigroup, prove that the word problem for finitely presented commutative dialgebras (disemigroups) is solvable, and show that if X is finite, then the problem whether two ideals of Di X are identical is solvable. We construct a Gr "obner Shirshov basis in associative dialgebra Di langle X rangle by lifting a Gr "obner Shirshov basis in Di X .


Comparative analysis of radiotherapy LINAC downtime and failure modes in the UK, Nigeria and Botswana. The lack of radiotherapy linear accelerators (LINACs) in Low and Middle Income Countries (LMICs) has been recognised as a major barrier to providing quality cancer care in these regions, along with a shortfall in the number of highly qualified personnel. It is expected that additional challenges will be faced in operating precise, high tech radiotherapy equipment in these environments, and anecdotal evidence suggests that LINACs have greater downtime and higher failure rates of components than their counterparts in High Income Countries. To guide future developments such as the design of a LINAC tailored for use in LMIC environments, it is important to take a data driven approach to any re engineering of the technology. However, no detailed statistical data on LINAC downtime and failure modes has been previously collected or presented in the literature. This work presents the first known comparative analysis of failure modes and downtime of current generation LINACs in radiotherapy centres, with the aim of determining any correlations between LINAC environment and performance. Logbooks kept by radiotherapy personnel on the operation of their LINAC were obtained and analysed from centres in Oxford (UK), Abuja, Benin, Enugu, Lagos, Sokoto (Nigeria) and Gaborone (Botswana). By deconstructing the LINAC into 12 different subsystems, it is found that the vacuum subsystem only fails in the LMIC centres and the failure rate in an LMIC environment is more than twice as large in 6 of the 12 subsystems compared to the High Income Country (HIC). Additionally, it is shown that despite accounting for only 3.4 of total number of faults, the LINAC faults which take more than an hour to repair account for 74.6 of the total downtime. The results of this study inform future attempts to mitigate the problems affecting LINACs in LMIC environments.


2D3D MatchNet Learning to Match Keypoints Across 2D Image and 3D Point Cloud. Large scale point cloud generated from 3D sensors is more accurate than its image based counterpart. However, it is seldom used in visual pose estimation due to the difficulty in obtaining 2D 3D image to point cloud correspondences. In this paper, we propose the 2D3D MatchNet an end to end deep network architecture to jointly learn the descriptors for 2D and 3D keypoint from image and point cloud, respectively. As a result, we are able to directly match and establish 2D 3D correspondences from the query image and 3D point cloud reference map for visual pose estimation. We create our Oxford 2D 3D Patches dataset from the Oxford Robotcar dataset with the ground truth camera poses and 2D 3D image to point cloud correspondences for training and testing the deep network. Experimental results verify the feasibility of our approach.


Commonotonicity and L 1 Random Variables. It is proved that in suitable filtrations every pair of integrable random variables is the conditional expectation of a pair of commonotone integrable random variables.


Numerical algorithm for the model describing anomalous diffusion in expanding media. We provide a numerical algorithm for the model characterizing anomalous diffusion in expanding media, which is derived in F. Le Vot, E. Abad, and S. B. Yuste, Phys. Rev. E bf96 (2017) 032117 . The Sobolev regularity for the equation is first established. Then we use the finite element method to discretize the Laplace operator and present error estimate of the spatial semi discrete scheme based on the regularity of the solution the backward Euler convolution quadrature is developed to approximate Riemann Liouville fractional derivative and error estimates for the fully discrete scheme are established by using the continuity of solution. Finally, the numerical experiments verify the effectiveness of the algorithm.


Interferometric speckle visibility spectroscopy (ISVS) for human cerebral blood flow monitoring. Infrared light scattering methods have been developed and employed to non invasively monitor human cerebral blood flow (CBF). However, the number of reflected photons that interact with the brain is low when detecting blood flow in deep tissue. To tackle this photon starved problem, we present and demonstrate the idea of interferometric speckle visibility spectroscopy (ISVS). In ISVS, an interferometric detection scheme is used to boost the weak signal light. The blood flow dynamics are inferred from the speckle statistics of a single frame speckle pattern. We experimentally demonstrated the improvement of measurement fidelity by introducing interferometric detection when the signal photon number is insufficient. We apply the ISVS system to monitor the human CBF in situations where the light intensity is sim 100 fold less than that in common diffuse correlation spectroscopy (DCS) implementations. Due to the large number of pixels ( sim 2 times 10 5 ) used to capture light in the ISVS system, we are able to collect a similar number of photons within one exposure time as in normal DCS implementations. Our system operates at a sampling rate of 100 Hz. At the exposure time of 2 ms, the average signal photon electron number is sim 0.95 count pixel, yielding a single pixel interferometric measurement signal to noise ratio (SNR) of sim 0.97. The total sim 2 times 10 5 pixels provide an expected overall SNR of 436. We successfully demonstrate that the ISVS system is able to monitor the human brain pulsatile blood flow, as well as the blood flow change when a human subject is doing a breath holding task.


Gr " o bner bases and syzygy theorem for direct product of principal ideal rings. In this paper we give versions of Hilbert's syzygy theorem for finitely generated modules over polynomial rings over direct product of principal ideal rings.


Use of Student's t Distribution for the Latent Layer in a Coupled Variational Autoencoder. A Coupled Variational Autoencoder, which incorporates both a generalized loss function and latent layer distribution, shows improvement in the accuracy and robustness of generated replicas of MNIST numerals. The latent layer uses a Student's t distribution to incorporate heavy tail decay. The loss function uses a coupled logarithm, which increases the penalty on images with outlier likelihood. The generalized mean of the generated image's likelihood is used to measure the performance of the algorithm's decisiveness, accuracy, and robustness.


Capturing the power options smile by an additive two factor model for overlapping futures prices. In this paper we introduce an additive two factor model for electricity futures prices based on Normal Inverse Gaussian L 'evy processes, that fulfills a no overlapping arbitrage (NOA) condition. We compute European option prices by Fourier transform methods, introduce a specific calibration procedure that takes into account no arbitrage constraints and fit the model to power option settlement prices of the European Energy Exchange (EEX). We show that our model is able to reproduce the different levels and shapes of the implied volatility (IV) profiles displayed by options with a variety of delivery periods.


Private Shotgun DNA Sequencing A Structured Approach. DNA sequencing has faced a huge demand since it was first introduced as a service to the public. This service is often offloaded to the sequencing companies who will have access to full knowledge of individuals' sequences, a major violation of privacy. To address this challenge, we propose a solution, which is based on separating the process of reading the fragments of sequences, which is done at a sequencing machine, and assembling the reads, which is done at a trusted local data collector. To confuse the sequencer, in a pooled sequencing scenario, in which multiple sequences are going to be sequenced simultaneously, for each target individual, we add fragments of one non target individual, with a known DNA sequence at the data collector. Then coverage depth of the individuals, defined as the number of DNA fragments per DNA site, are selected proportional to the powers of two. This layered structured solution allows us to ensure privacy, using only one sequencing machine, in contrast to our previous solution, where we relied on the existence of multiple non colluding sequencing machines.


Literature Review Human Segmentation with Static Camera. Our research topic is Human segmentation with static camera. This topic can be divided into three sub tasks, which are object detection, instance identification and segmentation. These sub tasks are three closely related subjects. The development of each subject has great impact on the other two fields. In this literature review, we will first introduce the background of human segmentation and then talk about issues related to the above three fields as well as how they interact with each other.


Dirichlet series with periodic coefficients, Riemann's functional equation and real zeros of Dirichlet L functions. In this paper, we give Dirichlet series with periodic coefficients that have Riemann's functional equation and real zeros of Dirichlet L functions. The details are as follows. Let L(s, chi) be the Dirichlet L function and G( chi) be the Gauss sum associate with a primitive Dirichlet character chi ( rm mod , , q ). Put f (s, chi) q s L(s, chi) i kappa ( chi) G( chi) L(s, overline chi ) , where overline chi is the complex conjugate of chi and kappa ( chi) (1 chi ( 1)) 2 . Then we prove that f (s, chi) satisfies Riemann's functional equation appearing in Hamburger's theorem if chi is even. In addition, we show that f ( sigma, chi) ne 0 all sigma ge 1 . Moreover, we prove that f( sigma, chi) ne 0 for all 1 2 le sigma 1 if and only if L( sigma, chi) ne 0 for all 1 2 le sigma 1 . When chi is real, all zeros of f(s, chi) with Re (s) 0 are on the line sigma 1 2 if and only if GRH for L(s, chi) is true. However, f (s, chi) has infinitely many zeros off the critical line sigma 1 2 if chi is non real.


Revisiting Security Vulnerabilities in Commercial Password Managers. In this work we analyse five popular commercial password managers for security vulnerabilities. Our analysis is twofold. First, we compile a list of previously disclosed vulnerabilities through a comprehensive review of the academic and non academic sources and test each password manager against all the previously disclosed vulnerabilities. We find a mixed picture of fixed and persisting vulnerabilities. Then we carry out systematic functionality tests on the considered password managers and find four new vulnerabilities. Notably, one of the new vulnerabilities we identified allows a malicious app to impersonate a legitimate app to two out of five widely used password managers we tested and as a result steal the user's password for the targeted service. We implement a proof of concept attack to show the feasibility of this vulnerability in a real life scenario. Finally, we report and reflect on our experience of responsible disclosure of the newly discovered vulnerabilities to the corresponding password manager vendors.


An Image Processing Pipeline for Automated Packaging Structure Recognition. Dispatching and receiving logistics goods, as well as transportation itself, involve a high amount of manual efforts. The transported goods, including their packaging and labeling, need to be double checked, verified or recognized at many supply chain network points. These processes hold automation potentials, which we aim to exploit using computer vision techniques. More precisely, we propose a cognitive system for the fully automated recognition of packaging structures for standardized logistics shipments based on single RGB images. Our contribution contains descriptions of a suitable system design and its evaluation on relevant real world data. Further, we discuss our algorithmic choices.


Simulating Crowds in Real Time with Agent Based Modelling and a Particle Filter. Agent based modelling is a valuable approach for systems whose behaviour is driven by the interactions between distinct entities. They have shown particular promise as a means of modelling crowds of people in streets, public transport terminals, stadiums, etc. However, the methodology faces a fundamental difficulty there are no established mechanisms for dynamically incorporating real time data into models. This limits simulations that are inherently dynamic, such as pedestrian movements, to scenario testing of, for example, the potential impacts of new architectural configurations on movements. This paper begins to address this fundamental gap by demonstrating how a particle filter could be used to incorporate real data into an agent based model of pedestrian movements at run time. The experiments show that it is indeed possible to use a particle filter to perform online (real time) model optimisation. However, as the number of agents increases, the number of individual particles (and hence the computational complexity) required increases exponentially. By laying the groundwork for the real time simulation of crowd movements, this paper has implications for the management of complex environments (both nationally and internationally) such as transportation hubs, hospitals, shopping centres, etc.


Transformation Driven Visual Reasoning. This paper defines a new visual reasoning paradigm by introducing an important factor, i.e. transformation. The motivation comes from the fact that most existing visual reasoning tasks, such as CLEVR in VQA, are solely defined to test how well the machine understands the concepts and relations within static settings, like one image. We argue that this kind of textbf state driven visual reasoning approach has limitations in reflecting whether the machine has the ability to infer the dynamics between different states, which has been shown as important as state level reasoning for human cognition in Piaget's theory. To tackle this problem, we propose a novel textbf transformation driven visual reasoning task. Given both the initial and final states, the target is to infer the corresponding single step or multi step transformation, represented as a triplet (object, attribute, value) or a sequence of triplets, respectively. Following this definition, a new dataset namely TRANCE is constructed on the basis of CLEVR, including three levels of settings, i.e. Basic (single step transformation), Event (multi step transformation), and View (multi step transformation with variant views). Experimental results show that the state of the art visual reasoning models perform well on Basic, but are still far from human level intelligence on Event and View. We believe the proposed new paradigm will boost the development of machine visual reasoning. More advanced methods and real data need to be investigated in this direction. The resource of TVR is available at https hongxin2019.github.io TVR.


On Proinov's lower bound for the diaphony. In 1986, Proinov published an explicit lower bound for the diaphony of both finite and infinite sequences of points in the d dimensional unit cube. To the best of our knowledge, the proofs of these results were so far only available in a monograph of Proinov written in Bulgarian. The first contribution of our paper is to give a self contained version of Proinov's proof in English. Along the way, we improve the asymptotic constants using recent and corrected results of Hinrichs and Markhasin. Finally, as a main result, we use the method of Proinov to derive an explicit lower bound for the dyadic diaphony of finite and infinite sequences in a similar fashion.


Quantum Confinement Effects for Semiconductor Clusters in the Molecular Regime. Based on the observed absorption spectral band shifts, the growth process of the semiconductor clusters was divided into two phenomenological regimes The "molecular regime" that is associated with the band blue shift as the size of cluster increases and the "crystallite regime" that is associated with the band red shift as the size of cluster increases. We show that in the molecular regime, the band blue shift associated with cluster growth can be understood by a model that assume electrons are confined to a spherical potential well and the clusters are made of some basic units. A formula is given for the lowest excited electronic state energy. This expression contains an electron hole pair (EHP) delocalization constant as an adjustable parameter which, however, can be anchored to a definite value through the known transition energy at the spectra turn around point. The stability of clusters is characterized by a function that can be calculated by the eigenvalues of the Hamiltonian of the model.


Map plasticity. With the arrival of digital maps, the ubiquity of maps has increased sharply and new map functionalities have become available such as changing the scale on the fly or displaying hiding layers. Users can now interact with maps on multiple devices (e.g. smartphones, desktop computers, large scale displays, head mounted displays) using different means of interaction such as touch, voice or gestures. However, ensuring map functionalities and good user experience across these devices and modalities frequently entails dedicated development efforts for each combination. In this paper, we argue that introducing an abstract representation of what a map contains and affords can unlock new opportunities. For this purpose, we propose the concept of map plasticity, the capability of a map based system to support different contexts of use while preserving usability and functionality. Based on this definition, we discuss core components and an example. We also propose a research agenda for realising map plasticity and its benefits.


Cause and effect of linear mechanisms sustaining wall turbulence. Despite the nonlinear nature of turbulence, there is evidence that part of the energy transfer mechanisms sustaining wall turbulence can be ascribed to linear processes. The different scenarios stem from linear stability theory and comprise exponential instabilities, neutral modes, transient growth from non normal operators, and parametric instabilities from temporal mean flow variations, among others. These mechanisms, each potentially capable of leading to the observed turbulence structure, are rooted in theoretical and conceptual arguments. Whether the flow follows any or a combination of them remains elusive. Here, we evaluate the linear mechanisms responsible for the energy transfer from the streamwise averaged mean flow ( bf U ) to the fluctuating velocities ( bf u' ). We use cause and effect analysis based on interventions. This is achieved by direct numerical simulation of turbulent channel flows at low Reynolds number, in which the energy transfer from bf U to bf u' is constrained to preclude a targeted linear mechanism. We show that transient growth is sufficient for sustaining realistic wall turbulence. Self sustaining turbulence persists when exponential instabilities, neutral modes, and parametric instabilities of the mean flow are suppressed. We further show that a key component of transient growth is the Orr push over mechanism induced by spanwise variations of the base flow. Finally, we demonstrate that an ensemble of simulations with various frozen in time bf U arranged so that only transient growth is active, can faithfully represent the energy transfer from bf U to bf u' as in realistic turbulence. Our approach provides direct cause and effect evaluation of the linear energy injection mechanisms from bf U to bf u' in the fully nonlinear system and simplifies the conceptual model of self sustaining wall turbulence.


The Effectiveness of Johnson Lindenstrauss Transform for High Dimensional Optimization With Adversarial Outliers, and the Recovery. In this paper, we consider robust optimization problems in high dimensions. Because a real world dataset may contain significant noise or even specially crafted samples from some attacker, we are particularly interested in the optimization problems with arbitrary (and potentially adversarial) outliers. We focus on two fundamental optimization problems em SVM with outliers and em k center clustering with outliers . They are in fact extremely challenging combinatorial optimization problems, since we cannot impose any restriction on the adversarial outliers. Therefore, their computational complexities are quite high especially when we consider the instances in high dimensional spaces. The em Johnson Lindenstrauss (JL) Transform is one of the most popular methods for dimension reduction. Though the JL transform has been widely studied in the past decades, its effectiveness for dealing with adversarial outliers has never been investigated before (to the best of our knowledge). Based on some novel insights from the geometry, we prove that the complexities of these two problems can be significantly reduced through the JL transform. Moreover, we prove that the solution in the dimensionality reduced space can be efficiently recovered in the original mathbb R d while the quality is still preserved. In the experiments, we compare JL transform with several other well known dimension reduction methods, and study their performances on synthetic and real datasets.


A Time to Digital Converter based Correction Method for Charge Measurement through Area Integration. A high precision charge measurement can be achieved by the area integration of a digitized quasi Gaussian signal after the signal passes through the shaper and analog to digital converter (ADC). The charge measurement contains an error due to the uncertainty of the first sampled point of a signal waveform. To reduce the error, we employ a time to digital converter (TDC) to measure the uncertainty precisely, and we design correction algorithms to improve the resolution of the charge measurement. This work includes analysis and simulations of the proposed algorithms and implementation of them in an FPGA device. Besides, the tests are also conducted to evaluate the performance of the correction method. Test results indicate that the resolution of the charge measurement is successfully improved from 0.231 to 0.126 by using a signal from the shaping circuit (with the amplitude of 2 V, and leading and trailing edges of about 80 ns and 280 ns, respectively) digitized at the sampling rate of 62.5 Msps.


Deep Learning based Monocular Depth Prediction Datasets, Methods and Applications. Estimating depth from RGB images can facilitate many computer vision tasks, such as indoor localization, height estimation, and simultaneous localization and mapping (SLAM). Recently, monocular depth estimation has obtained great progress owing to the rapid development of deep learning techniques. They surpass traditional machine learning based methods by a large margin in terms of accuracy and speed. Despite the rapid progress in this topic, there are lacking of a comprehensive review, which is needed to summarize the current progress and provide the future directions. In this survey, we first introduce the datasets for depth estimation, and then give a comprehensive introduction of the methods from three perspectives supervised learning based methods, unsupervised learning based methods, and sparse samples guidance based methods. In addition, downstream applications that benefit from the progress have also been illustrated. Finally, we point out the future directions and conclude the paper.


Freeness for multiarrangements of hyperplanes over arbitrary fields. In this paper, we study the class of free multiarrangements of hyperplanes. Specifically, we investigate the relations between freeness over a field of finite characteristic and freeness over the rationals.


SpatialRugs Enhancing Spatial Awareness of Movement in Dense Pixel Visualizations. Compact visual summaries of spatio temporal movement data often strive to express accurate positions of movers. We present SpatialRugs, a technique to enhance the spatial awareness of movements in dense pixel visualizations. SpatialRugs apply 2D colormaps to visualize location mapped to a juxtaposed display. We explore the effect of various colormaps discussing perceptual limitations and introduce a custom color smoothing method to mitigate distorted patterns of collective movement behavior.


Region specific Diffeomorphic Metric Mapping. We introduce a region specific diffeomorphic metric mapping (RDMM) registration approach. RDMM is non parametric, estimating spatio temporal velocity fields which parameterize the sought for spatial transformation. Regularization of these velocity fields is necessary. However, while existing non parametric registration approaches, e.g., the large displacement diffeomorphic metric mapping (LDDMM) model, use a fixed spatially invariant regularization our model advects a spatially varying regularizer with the estimated velocity field, thereby naturally attaching a spatio temporal regularizer to deforming objects. We explore a family of RDMM registration approaches 1) a registration model where regions with separate regularizations are pre defined (e.g., in an atlas space), 2) a registration model where a general spatially varying regularizer is estimated, and 3) a registration model where the spatially varying regularizer is obtained via an end to end trained deep learning (DL) model. We provide a variational derivation of RDMM, show that the model can assure diffeomorphic transformations in the continuum, and that LDDMM is a particular instance of RDMM. To evaluate RDMM performance we experiment 1) on synthetic 2D data and 2) on two 3D datasets knee magnetic resonance images (MRIs) of the Osteoarthritis Initiative (OAI) and computed tomography images (CT) of the lung. Results show that our framework achieves state of the art image registration performance, while providing additional information via a learned spatio temoporal regularizer. Further, our deep learning approach allows for very fast RDMM and LDDMM estimations. Our code will be open sourced. Code is available at https github.com uncbiag registration.


Please Mind the Root Decoding Arborescences for Dependency Parsing. The connection between dependency trees and spanning trees is exploited by the NLP community to train and to decode graph based dependency parsers. However, the NLP literature has missed an important difference between the two structures only one edge may emanate from the root in a dependency tree. We analyzed the output of state of the art parsers on many languages from the Universal Dependency Treebank although these parsers are often able to learn that trees which violate the constraint should be assigned lower probabilities, their ability to do so unsurprisingly de grades as the size of the training set decreases. In fact, the worst constraint violation rate we observe is 24 . Prior work has proposed an inefficient algorithm to enforce the constraint, which adds a factor of n to the decoding runtime. We adapt an algorithm due to Gabow and Tarjan (1984) to dependency parsing, which satisfies the constraint without compromising the original runtime.


Straggler Mitigation with Tiered Gradient Codes. Coding theoretic techniques have been proposed for synchronous Gradient Descent (GD) on multiple servers to mitigate stragglers. These techniques provide the flexibility that the job is complete when any k out of n servers finish their assigned tasks. The task size on each server is found based on the values of k and n . However, it is assumed that all the n jobs are started when the job is requested. In contrast, we assume a tiered system, where we start with n 1 ge k tasks, and on completion of c tasks, we start n 2 n 1 more tasks. The aim is that as long as k servers can execute their tasks, the job gets completed. This paper exploits the flexibility that not all servers are started at the request time to obtain the achievable task sizes on each server. The task sizes are in general lower than starting all n 2 tasks at the request times thus helping achieve lower task sizes which helps to reduce both the job completion time and the total server utilization.


Unibody microscope objective tipped with a microsphere design, fabrication and application in subwavelength imaging. Microsphere based subwavelength imaging technique was first demonstrated in 2011. After nearly a decade of efforts, such technique has spawned numerous interests in fields such as laser nano machining, imaging, sensing and biological detection. For wider industrial scale application of the technique, a robust, low cost objective lens incorporating microsphere lens is highly desired and sought by many researchers. In this work, we demonstrate a unibody microscope objective lens formed by tipping a high index microsphere onto a Plano Convex lens and subsequently fitting them into a conventional objective lens. We call such new objective the Plano Convex Microsphere (PCM) objective, which resembles the appearance and operation of an ordinary microscope objective, while providing super resolving power in discerning subwavelength nanoscale features in air condition. The imaging performance of PCM objective along with the working distance has been systematically investigated. With the assistance of scanning process, larger area imaging is realized. The PCM objective can be easily adaptive to many existing microscope systems and appealing for commercialization.


Supercyclicity of the left and right multiplication operators on Banach ideal of operators. Let X be a Banach space with dim X 1 such that X ast , its dual, is separable and mathcal B (X) the algebra of bounded linear operators on X . In this paper, we study the passage of property of being supercyclic from an operator T in mathcal B (X) to the left and right multiplication induced by T on separable admissible Banach ideal of mathcal B (X) . We give a sufficient condition for the tensor product T widehat otimes R of two operators to be supercyclic. As a consequence, we give another equivalent conditions for the Supercyclicity Criterion.


ALCN Adaptive Local Contrast Normalization. To make Robotics and Augmented Reality applications robust to illumination changes, the current trend is to train a Deep Network with training images captured under many different lighting conditions. Unfortunately, creating such a training set is a very unwieldy and complex task. We therefore propose a novel illumination normalization method that can easily be used for different problems with challenging illumination conditions. Our preliminary experiments show that among current normalization methods, the Difference of Gaussians method remains a very good baseline, and we introduce a novel illumination normalization model that generalizes it. Our key insight is then that the normalization parameters should depend on the input image, and we aim to train a Convolutional Neural Network to predict these parameters from the input image. This, however, cannot be done in a supervised manner, as the optimal parameters are not known a priori. We thus designed a method to train this network jointly with another network that aims to recognize objects under different illuminations The latter network performs well when the former network predicts good values for the normalization parameters. We show that our method significantly outperforms standard normalization methods and would also be appear to be universal since it does not have to be re trained for each new application. Our method improves the robustness to light changes of state of the art 3D object detection and face recognition methods.


Degrees of Randomized Computability. In this survey we discuss work of Levin and V'yugin on collections of sequences that are non negligible in the sense that they can be computed by a probabilistic algorithm with positive probability. More precisely, Levin and V'yugin introduced an ordering on collections of sequences that are closed under Turing equivalence. Roughly speaking, given two such collections mathcal A and mathcal B , mathcal A is below mathcal B in this ordering if mathcal A setminus mathcal B is negligible. The degree structure associated with this ordering, the Levin V'yugin degrees (or LV degrees), can be shown to be a Boolean algebra, and in fact a measure algebra. We demonstrate the interactions of this work with recent results in computability theory and algorithmic randomness First, we recall the definition of the Levin V'yugin algebra and identify connections between its properties and classical properties from computability theory. In particular, we apply results on the interactions between notions of randomness and Turing reducibility to establish new facts about specific LV degrees, such as the LV degree of the collection of 1 generic sequences, that of the collection of sequences of hyperimmune degree, and those collections corresponding to various notions of effective randomness. Next, we provide a detailed explanation of a complex technique developed by V'yugin that allows the construction of semi measures into which computability theoretic properties can be encoded. We provide two examples of the use of this technique by explicating a result of V'yugin's about the LV degree of the collection of Martin L "of random sequences and extending the result to the LV degree of the collection of sequences of DNC degree.


End to End Learning of Multi scale Convolutional Neural Network for Stereo Matching. Deep neural networks have shown excellent performance in stereo matching task. Recently CNN based methods have shown that stereo matching can be formulated as a supervised learning task. However, less attention is paid on the fusion of contextual semantic information and details. To tackle this problem, we propose a network for disparity estimation based on abundant contextual details and semantic information, called Multi scale Features Network (MSFNet). First, we design a new structure to encode rich semantic information and fine grained details by fusing multi scale features. And we combine the advantages of element wise addition and concatenation, which is conducive to merge semantic information with details. Second, a guidance mechanism is introduced to guide the network to automatically focus more on the unreliable regions. Third, we formulate the consistency check as an error map, obtained by the low stage features with fine grained details. Finally, we adopt the consistency checking between the left feature and the synthetic left feature to refine the initial disparity. Experiments on Scene Flow and KITTI 2015 benchmark demonstrated that the proposed method can achieve the state of the art performance.


Hausdorff operators on Fock Spaces. Let mu be a positive Borel measure on the positive real axis. We study the integral operator mathcal H mu (f)(z) int 0 infty frac 1 t f left( frac z t right) ,d mu(t), quad z in mathbb C ,, acting on the Fock spaces F p alpha , p in 1, infty , , alpha 0 . Its action is easily seen to be a coefficient multiplication by the moment sequence mu n int 1 infty frac 1 t n 1 ,d mu(t) . We prove that begin equation mathcal H mu F p alpha to F p alpha sup n in mathbb N mu n, , , , , ,1 leq p leq infty , ,. end equation A little o,condition describes the compactness of mathcal H mu on every F p alpha , ,p in (1, infty ) . In addition, we completely characterize the Schatten class membership of mathcal H mu .


On The Strong Convergence of The Gradient Projection Algorithm with Tikhonov regularizing term. We investigate the strong and the weak convergence properties of the following gradient projection algorithm with Tikhonov regularizing term x n 1 P Q (x n gamma n nabla f(x n ) gamma n alpha n nabla phi (x n )), where P Q is the projection operator from a Hilbert space mathcal H onto a given nonempty, closed and convex subset Q, f mathcal H rightarrow mathbb R a regular convex function, phi mathcal H rightarrow mathbb R a regular strongly convex function, and gamma n and alpha n are positive real numbers. Following a Lyuapunov approach inspired essentially from the paper Comminetti R, Peypouquet J Sorin S. Strong asymptotic convergence of evolution equations governed by maximal monotone operators with Tikhonov regularization. J. Differential Equations. (2001) 245 3753 3763 , we establish the strong convergence of (x n ) n to a particular minimizer x ast of f on Q under some simple and natural conditions on the objective function f and the sequences ( gamma n ) n and ( alpha n ) n


A Common Semantic Space for Monolingual and Cross Lingual Meta Embeddings. This paper presents a new technique for creating monolingual and cross lingual meta embeddings. Our method integrates multiple word embeddings created from complementary techniques, textual sources, knowledge bases and languages. Existing word vectors are projected to a common semantic space using linear transformations and averaging. With our method the resulting meta embeddings maintain the dimensionality of the original embeddings without losing information while dealing with the out of vocabulary problem. An extensive empirical evaluation demonstrates the effectiveness of our technique with respect to previous work on various intrinsic and extrinsic multilingual evaluations, obtaining competitive results for Semantic Textual Similarity and state of the art performance for word similarity and POS tagging (English and Spanish). The resulting cross lingual meta embeddings also exhibit excellent cross lingual transfer learning capabilities. In other words, we can leverage pre trained source embeddings from a resource rich language in order to improve the word representations for under resourced languages.


Tangential approximation of analytic sets. Two subanalytic subsets of mathbb R n are called s equivalent at a common point P if the Hausdorff distance between their intersections with the sphere centered at P of radius r vanishes to order s as r tends to 0 . In this work we strengthen this notion in the case of real subanalytic subsets of mathbb R n with isolated singular points, introducing the notion of tangential s equivalence at a common singular point which considers also the distance between the tangent planes to the sets near the point. We prove that, if V(f) is the zero set of an analytic map f and if we assume that V(f) has an isolated singularity, say at the origin O , then for any s geq 1 the truncation of the Taylor series of f of sufficiently high order defines an algebraic set with isolated singularity at O which is tangentially s equivalent to V(f) .


Large time asymptotics in deep learning. We consider the neural ODE perspective of supervised learning and study the impact of the final time T (which may indicate the depth of a corresponding ResNet) in training. For the classical L 2 regularized empirical risk minimization problem, whenever the neural ODE dynamics are homogeneous with respect to the parameters, we show that the training error is at most of the order mathcal O left( frac 1 T right) . Furthermore, if the loss inducing the empirical risk attains its minimum, the optimal parameters converge to minimal L 2 norm parameters which interpolate the dataset. By a natural scaling between T and the regularization hyperparameter lambda we obtain the same results when lambda searrow0 and T is fixed. This allows us to stipulate generalization properties in the overparametrized regime, now seen from the large depth, neural ODE perspective. To enhance the polynomial decay, inspired by turnpike theory in optimal control, we propose a learning problem with an additional integral regularization term of the neural ODE trajectory over 0,T . In the setting of ell p distance losses, we prove that both the training error and the optimal parameters are at most of the order mathcal O left(e mu t right) in any t in 0,T . The aforementioned stability estimates are also shown for continuous space time neural networks, taking the form of nonlinear integro differential equations. By using a time dependent moving grid for discretizing the spatial variable, we demonstrate that these equations provide a framework for addressing ResNets with variable widths.


Calliope Automatic Visual Data Story Generation from a Spreadsheet. Visual data stories shown in the form of narrative visualizations such as a poster or a data video, are frequently used in data oriented storytelling to facilitate the understanding and memorization of the story content. Although useful, technique barriers, such as data analysis, visualization, and scripting, make the generation of a visual data story difficult. Existing authoring tools rely on users' skills and experiences, which are usually inefficient and still difficult. In this paper, we introduce a novel visual data story generating system, Calliope, which creates visual data stories from an input spreadsheet through an automatic process and facilities the easy revision of the generated story based on an online story editor. Particularly, Calliope incorporates a new logic oriented Monte Carlo tree search algorithm that explores the data space given by the input spreadsheet to progressively generate story pieces (i.e., data facts) and organize them in a logical order. The importance of data facts is measured based on information theory, and each data fact is visualized in a chart and captioned by an automatically generated description. We evaluate the proposed technique through three example stories, two controlled experiments, and a series of interviews with 10 domain experts. Our evaluation shows that Calliope is beneficial to efficient visual data story generation.


Towards Higher Spectral Efficiency Rate 2 Full Diversity Complex Space Time Block Codes. The upcoming 5G networks demand high speed and high spectral efficiency communications to keep up with the proliferating traffic demands. To this end, Massive multiple input multiple output (MIMO) techniques have gained significant traction owing to its ability to achieve these without increasing bandwidth or density of base stations. The preexisting space time block code (STBC) designs cannot achieve a rate of more than 1 for more than two transmit antennas while preserving the orthogonality and full diversity conditions. In this paper, we present Jagannath codes a novel complex modulation STBC, that achieves a very high rate of 2 for three and four transmit antennas. The presented designs achieve full diversity and overcome the previously achieved rates with the three and four antenna MIMO systems. We present a detailed account of the code construction of the proposed designs, orthogonality and full diversity analysis, transceiver model and conditional maximum likelihood (ML) decoding. In an effort to showcase the improvement achieved with the presented designs, we compare the rates and delays of some of the known STBCs with the proposed designs. The effective spectral efficiency and coding gain of the presented designs are compared to the Asymmetric Coordinate Interleaved design (ACIOD) and Jafarkhani code. We presented an effective spectral efficiency improvement by a factor of 2 with the proposed Jagannath codes. Owing to the full diversity of the presented designs, we demonstrate significant coding gains (6 dB and 12 dB) with the proposed designs.


Hot Get Richer Network Growth Model. Under preferential attachment (PA) network growth models late arrivals are at a disadvantage with regard to their final degrees. Previous extensions of PA have addressed this deficiency by either adding the notion of node fitness to PA, usually drawn from some fitness score distributions, or by using fitness alone to control attachment. Here we introduce a new dynamical approach to address late arrivals by adding a recent degree change bias to PA so that nodes with higher relative degree change in temporal proximity to an arriving node get an attachment probability boost. In other words, if PA describes a rich get richer mechanism, and fitness based approaches describe good get richer mechanisms, then our model can be characterized as a hot get richer mechanism, where hotness is determined by the rate of degree change over some recent past. The proposed model produces much later high ranking nodes than the PA model and, under certain parameters, produces networks with structure similar to PA networks.


Convex pentagons and concave octagons that can form rotationally symmetric tilings. In this study, the properties of convex pentagons that can form rotationally symmetric edge to edge tilings are discussed. Because the rotationally symmetric tilings are formed by concave octagons that are generated by two convex pentagons connected through a line symmetry, they are considered to be equivalent to rotationally symmetric tilings with concave octagons. In addition, under certain circumstances, tiling like patterns with a regular polygonal hole at the center can be formed using these convex pentagons.


Knowledge Driven Distractor Generation for Cloze style Multiple Choice Questions. In this paper, we propose a novel configurable framework to automatically generate distractive choices for open domain cloze style multiple choice questions, which incorporates a general purpose knowledge base to effectively create a small distractor candidate set, and a feature rich learning to rank model to select distractors that are both plausible and reliable. Experimental results on datasets across four domains show that our framework yields distractors that are more plausible and reliable than previous methods. This dataset can also be used as a benchmark for distractor generation in the future.


Factorization of Quaternionic Polynomials of Bi Degree (n,1). We consider polynomials of bi degree (n,1) over the skew field of quaternions where the indeterminates commute with each other and with all coefficients. Polynomials of this type do not generally admit factorizations. We recall a necessary and sufficient condition for existence of a factorization with univariate linear factors that has originally been stated by Skopenkov and Krasauskas. Such a factorization is, in general, non unique by known factorization results for univariate quaternionic polynomials. We unveil existence of bivariate polynomials with non unique factorizations that cannot be explained in this way and characterize them geometrically and algebraically. Existence of factorizations is related to the existence of special rulings of two different types (left right) on the ruled surface parameterized by the bivariate polynomial in the projective space over the quaternions. Special non uniqueness in above sense can be explained algebraically by commutation properties of factors in suitable factorizations. A necessary geometric condition for this to happen is degeneration to a point of at least one of the left right rulings.


Improving Optical Flow on a Pyramid Level. In this work we review the coarse to fine spatial feature pyramid concept, which is used in state of the art optical flow estimation networks to make exploration of the pixel flow search space computationally tractable and efficient. Within an individual pyramid level, we improve the cost volume construction process by departing from a warping to a sampling based strategy, which avoids ghosting and hence enables us to better preserve fine flow details. We further amplify the positive effects through a level specific, loss max pooling strategy that adaptively shifts the focus of the learning process on under performing predictions. Our second contribution revises the gradient flow across pyramid levels. The typical operations performed at each pyramid level can lead to noisy, or even contradicting gradients across levels. We show and discuss how properly blocking some of these gradient components leads to improved convergence and ultimately better performance. Finally, we introduce a distillation concept to counteract the issue of catastrophic forgetting and thus preserving knowledge over models sequentially trained on multiple datasets. Our findings are conceptually simple and easy to implement, yet result in compelling improvements on relevant error measures that we demonstrate via exhaustive ablations on datasets like Flying Chairs2, Flying Things, Sintel and KITTI. We establish new state of the art results on the challenging Sintel and KITTI 2012 test datasets, and even show the portability of our findings to different optical flow and depth from stereo approaches.


Data to Text Generation with Iterative Text Editing. We present a novel approach to data to text generation based on iterative text editing. Our approach maximizes the completeness and semantic accuracy of the output text while leveraging the abilities of recent pre trained models for text editing (LaserTagger) and language modeling (GPT 2) to improve the text fluency. To this end, we first transform data items to text using trivial templates, and then we iteratively improve the resulting text by a neural model trained for the sentence fusion task. The output of the model is filtered by a simple heuristic and reranked with an off the shelf pre trained language model. We evaluate our approach on two major data to text datasets (WebNLG, Cleaned E2E) and analyze its caveats and benefits. Furthermore, we show that our formulation of data to text generation opens up the possibility for zero shot domain adaptation using a general domain dataset for sentence fusion.


Ricci flow and contractibility of spaces of metrics. We show that the space of metrics of positive scalar curvature on any 3 manifold is either empty or contractible. Second, we show that the diffeomorphism group of every 3 dimensional spherical space form deformation retracts to its isometry group. This proves the Generalized Smale Conjecture. Our argument is independent of Hatcher's theorem in the S 3 case and in particular it gives a new proof of the S 3 case.


Counterfactual Vision and Language Navigation via Adversarial Path Sampling. Vision and Language Navigation (VLN) is a task where agents must decide how to move through a 3D environment to reach a goal by grounding natural language instructions to the visual surroundings. One of the problems of the VLN task is data scarcity since it is difficult to collect enough navigation paths with human annotated instructions for interactive environments. In this paper, we explore the use of counterfactual thinking as a human inspired data augmentation method that results in robust models. Counterfactual thinking is a concept that describes the human propensity to create possible alternatives to life events that have already occurred. We propose an adversarial driven counterfactual reasoning model that can consider effective conditions instead of low quality augmented data. In particular, we present a model agnostic adversarial path sampler (APS) that learns to sample challenging paths that force the navigator to improve based on the navigation performance. APS also serves to do pre exploration of unseen environments to strengthen the model's ability to generalize. We evaluate the influence of APS on the performance of different VLN baseline models using the room to room dataset (R2R). The results show that the adversarial training process with our proposed APS benefits VLN models under both seen and unseen environments. And the pre exploration process can further gain additional improvements under unseen environments.


Computing Classical Modular Forms for Arbitrary Congruence Subgroups. In this paper, we prove the existence of an efficient algorithm for the computation of q expansions of modular forms of weight k and level Gamma , where Gamma subseteq SL 2 ( mathbb Z ) is an arbitrary congruence subgroup. We also discuss some practical aspects and provide the necessary theoretical background.


Fundamental Limits of Coded Caching The Memory Rate Pair (K 1 1 K, 1 (K 1)). Maddah Ali and Niesen, in a seminal paper, introduced the notion of coded caching. The exact nature of the fundamental limits in this context has remained elusive even as several approximate characterizations have been found. A new optimal scheme for the (3, 3) cache network, operating at the memory rate pair (5 3, 1 2) for the demand where all the users request for distinct files, was introduced recently to partially address this issue. In this paper, an extension of this scheme to the general (K, K) cache network, operating at the memory rate pair (K 1 1 K, 1 (K 1)), is proposed. A new lower bound is also derived which demonstrates the optimality of the proposed scheme for the demand where all the users request for distinct files.


We Don't Speak the Same Language Interpreting Polarization through Machine Translation. Polarization among US political parties, media and elites is a widely studied topic. Prominent lines of prior research across multiple disciplines have observed and analyzed growing polarization in social media. In this paper, we present a new methodology that offers a fresh perspective on interpreting polarization through the lens of machine translation. With a novel proposition that two sub communities are speaking in two different emph languages , we demonstrate that modern machine translation methods can provide a simple yet powerful and interpretable framework to understand the differences between two (or more) large scale social media discussion data sets at the granularity of words. Via a substantial corpus of 86.6 million comments by 6.5 million users on over 200,000 news videos hosted by YouTube channels of four prominent US news networks, we demonstrate that simple word level and phrase level translation pairs can reveal deep insights into the current political divide what is emph black lives matter to one can be emph all lives matter to the other.


Deep Ritz revisited. Recently, progress has been made in the application of neural networks to the numerical analysis of partial differential equations (PDEs). In the latter the variational formulation of the Poisson problem is used in order to obtain an objective function a regularised Dirichlet energy that was used for the optimisation of some neural networks. In this notes we use the notion of Gamma convergence to show that ReLU networks of growing architecture that are trained with respect to suitably regularised Dirichlet energies converge to the true solution of the Poisson problem. We discuss how this approach generalises to arbitrary variational problems under certain universality assumptions of neural networks and see that this covers some nonlinear stationary PDEs like the p Laplace.


An Adaptive Similarity Measure to Tune Trust Influence in Memory Based Collaborative Filtering. The aim of the recommender systems is to provide relevant and potentially interesting information to each user. This is fulfilled by utilizing the already recorded tendencies of similar users or detecting items similar to interested items of the user. Challenges such as data sparsity and cold start problem are addressed in recent studies. Utilizing social information not only enhances the prediction accuracy but also tackles the data sparseness challenges. In this paper, we investigate the impact of using direct and indirect trust information in a memory based collaborative filtering recommender system. An adaptive similarity measure is proposed and the contribution of social information is tuned using two learning schemes, greedy and gradient based optimization. The results of the proposed method are compared with state of the art memory based and model based CF approaches on two real world datasets, Epinions and FilmTrust. The experiments show that our method is quite effective in designing an accurate and comprehensive recommender system.


A Zero One Law for Markov Chains. We prove an analog of the classical Zero One Law for both homogeneous and nonhomogeneous Markov chains (MC). Its almost precise formulation is simple given any event A from the tail sigma algebra of MC (Z n) , for large n , with probability near one, the trajectories of the MC are in states i , where P(A Z n i) is either near 0 or near 1 . A similar statement holds for the entrance sigma algebra, when n tends to infty . To formulate this second result, we give detailed results on the existence of nonhomogeneous Markov chains indexed by mathbb Z or mathbb Z in both the finite and countable cases. This extends a well known result due to Kolmogorov. Further, in our discussion, we note an interesting dichotomy between two commonly used definitions of MCs.