Stability of metric measure spaces with integral Ricci curvature bounds. In this article we study stability and compactness w.r.t. measured Gromov Hausdorff convergence of smooth metric measure spaces with integral Ricci curvature bounds. More precisely, we prove that a sequence of n dimensional Riemannian manifolds subconverges to a metric measure space that satisfies the curvature dimension condition CD(K,n) in the sense of Lott Sturm Villani provided the L p norm for p frac n 2 of the part of the Ricci curvature that lies below K converges to 0 . The results also hold for sequences of general smooth metric measure spaces (M,g M, e f mbox vol M) where Bakry Emery curvature replaces Ricci curvature. Corollaries are a Brunn Minkowski type inequality, a Bonnet Myers estimate and a statement on finiteness of the fundamental group. Together with a uniform noncollapsing condition the limit even satisfies the Riemannian curvature dimension condition RCD(K,N) . This implies volume and diameter almost rigidity theorems.


A general velocity correction scheme for two way coupled point particle simulations. The accuracy of Euler Lagrange point particle models employed in particle laden fluid flow simulations depends on accurate estimation of the particle force through closure models. Typical force closure models require computation of the slip velocity at the particle location, which in turn requires accurate estimation of the undisturbed fluid velocity. However, when the fluid and particle phases are two way coupled the fluid velocity field is disturbed by the presence of the particle. A common practice is to use the disturbed velocity to compute the particle force which can result in errors as much as 100 in predicting the particle dynamics. In this work, a general velocity correction scheme is developed that facilitates accurate estimation of the undisturbed fluid velocity in particle laden fluid flows with and without no slip walls. The model can handle particles of different size, arbitrary interpolation functions, anisotropic grids with large aspect ratios, and wall bounded flows. The present correction scheme is motivated by the recent work of Esmaily Horwitz (JCP, 2018) on unbounded particle laden flows. Modifications necessary for wall bounded flows are developed such that the undisturbed fluid velocity at any wall distance is accurately recovered, asymptotically approaching the unbounded scheme for particles far away from walls. A detailed series of verification tests were conducted on settling velocity of a particle in parallel and perpendicular motions to a no slip wall. A range of flow parameters and grid configurations involving anisotropic grids with aspect ratios typically encountered in particle laden turbulent channel flows, were considered in detail. When the wall effects are accounted for, the present correction scheme reduces the errors in predicting the near wall particle motion by one order of magnitude smaller values compared to the unbounded correction schemes.


About the Bloch Connelly Henderson Theorem on the simplexwise linear homeomorphisms of a convex 2 disk. This paper gives an improved version of the original proof of Bloch Connelly Henderson's theorem about the space of SL homeomorphisms of a convex 2 disk. A major improvement is related to the main lemma of the original paper.


Spectral properties and the accuracy of mean field approaches for epidemics on correlated networks. We present a comparison between stochastic simulations and mean field theories for the epidemic threshold of the susceptible infected susceptible (SIS) model on correlated networks (both assortative and disassortative) with power law degree distribution P(k) sim k gamma . We confirm the vanishing of the threshold regardless of the correlation pattern and the degree exponent gamma . Thresholds determined numerically are compared with quenched mean field (QMF) and pair quenched mean field (PQMF) theories. Correlations do not change the overall picture QMF and PQMF provide estimates that are asymptotically correct for large size for gamma 5 2 , while they only capture the vanishing of the threshold for gamma 5 2 , failing to reproduce quantitatively how this occurs. For a given size, PQMF is more accurate. We relate the variations in the accuracy of QMF and PQMF predictions with changes in the spectral properties (spectral gap and localization) of standard and modified adjacency matrices, which rule the epidemic prevalence near the transition point, depending on the theoretical framework. We also show that, for gamma 5 2 , while QMF provides an estimate of the epidemic threshold that is asymptotically exact, it fails to reproduce the singularity of the prevalence around the transition.


A look at generalized perfect shuffles. Standard perfect shuffles involve splitting a deck of 2n cards into two stacks and interlacing the cards from the stacks. There are two ways that this interlacing can be done, commonly referred to as an in shuffle and an out shuffle, respectively. In 1983, Diaconis, Graham, and Kantor determined the permutation group generated by in and out shuffles on a deck of 2n cards for all n . Diaconis et al. concluded their work by asking whether similar results can be found for so called generalized perfect shuffles. For these new shuffles, we split a deck of mn cards into m stacks and similarly interlace the cards with an in m shuffle or out m shuffle (denoted I m and O m , respectively). In this paper, we find the structure of the group generated by these two shuffles for a deck of m k cards, together with m y shuffles, for all possible values of m , k , and y . The group structure is completely determined by k gcd(y,k) and the parity of y gcd(y,k) . In particular, the group structure is independent of the value of m .


Datasets for Face and Object Detection in Fisheye Images. We present two new fisheye image datasets for training face and object detection models VOC 360 and Wider 360. The fisheye images are created by post processing regular images collected from two well known datasets, VOC2012 and Wider Face, using a model for mapping regular to fisheye images implemented in Matlab. VOC 360 contains 39,575 fisheye images for object detection, segmentation, and classification. Wider 360 contains 63,897 fisheye images for face detection. These datasets will be useful for developing face and object detectors as well as segmentation modules for fisheye images while the efforts to collect and manually annotate true fisheye images are underway.


Error Probability Analysis of NOMA based Diamond Relaying Network. Non orthogonal multiple access (NOMA) based cooperative relaying systems (CRS) are very promising to overcome spectral inefficiency of conventional cooperative communications. Although NOMA CRS have great recent attention, almost all studies investigate NOMA CRS only in terms of capacity and outage probability. Error performances of NOMA CRS have not been well studied. In this paper, we analyze error performance of NOMA based diamond relaying network (NOMA DRN) with imperfect successive interference canceler (SIC) as a NOMA CRS scheme. We derive exact bit error probability (BEP) for NOMA DRN and provide a tight approximated BEP in the closed form. In addition, high SNR analysis is conducted to present that NOMA DRN has an error floor. Moreover, it is proved that NOMA DRN turns out to be a non equiprobable communication system and we derive priori probabilities of symbols. All derived expressions are validated via computer simulations.


Zeroing Neural Networks, an Introduction to, a Survey of, and Predictive Computations for Discretized Time varying Matrix Problems. This paper is designed to increase the knowledge and computational know how for time varying matrix problems and Zeroing Neural Networks in the West. Zeroing Neural Networks (ZNN) were invented for time varying matrix problems 20 years ago in China and almost all of their advances have been made in and still come from its birthplace. ZNN methods have become a backbone for solving discretized sensor driven time varying matrix problems in real time, in theory and in on chip applications for robots, in control theory and in engineering. They have become the method of choice for many time varying matrix problems that benefit from or require efficient, accurate and predictive real time computations. The typical discretized ZNN algorithm needs seven distinct steps for its initial set up. The construction of discretized ZNN algorithms starts from a model with its associated error equation and the stipulation that the error function decrease exponentially fast. The error function differential equation is then mated with a convergent look ahead finite difference formula to create a distinctly new multistep style solver that predicts the future state of the system reliably from current and earlier state and solutions data. Matlab codes for discretized ZNN algorithms typically consist of one linear equations solve and one recursion of already available data per time step. This makes discretized ZNN based algorithms highly competitive with ordinary differential equation initial value path following or homotopy methods that are designed to work adaptively and gives ZNN different characteristics and applicabilities from multistep ODE initial value solvers. Discretized ZNN methods can solve problems given by sensor data with constant sampling gaps or from functional equations.


Driving with Data in the Motor City Mining and Modeling Vehicle Fleet Maintenance Data. The City of Detroit maintains an active fleet of over 2500 vehicles, spending an annual average of over 5 million on purchases and over 7.7 million on maintenance. Modeling patterns and trends in this data is of particular importance to a variety of stakeholders, particularly as Detroit emerges from Chapter 9 bankruptcy, but the structure in such data is complex, and the city lacks dedicated resources for in depth analysis. The City of Detroit's Operations and Infrastructure Group and the University of Michigan initiated a collaboration which seeks to address this unmet need by analyzing data from the City of Detroit's vehicle fleet. This work presents a case study and provides the first data driven benchmark, demonstrating a suite of methods to aid in data understanding and prediction for large vehicle maintenance datasets. We present analyses to address three key questions raised by the stakeholders, related to discovering multivariate maintenance patterns over time predicting maintenance and predicting vehicle and fleet level costs. We present a novel algorithm, PRISM, for automating multivariate sequential data analyses using tensor decomposition. This work is a first of its kind that presents both methodologies and insights to guide future civic data research.


A Homotopy Coordinate Descent Optimization Method for l 0 Norm Regularized Least Square Problem. This paper proposes a homotopy coordinate descent (HCD) method to solve the l 0 norm regularized least square ( l 0 LS) problem for compressed sensing, which combine the homotopy technique with a variant of coordinate descent method. Differs from the classical coordinate descent algorithms, HCD provides three strategies to speed up the convergence warm start initialization, active set updating, and strong rule for active set initialization. The active set is pre selected using a strong rule, then the coordinates of the active set are updated while those of inactive set are unchanged. The homotopy strategy provides a set of warm start initial solutions for a sequence of decreasing values of the regularization factor, which ensures all iterations along the homotopy solution path are sparse. Computational experiments on simulate signals and natural signals demonstrate effectiveness of the proposed algorithm, in accurately and efficiently reconstructing sparse solutions of the l 0 LS problem, whether the observation is noisy or not.


Non destructive testing of actively cooled plasma facing components by means of thermal transient excitation and infrared imaging. SATIR is a new test bed installed at Tore Supra to perform non destructive examination of actively cooled plasma facing components. Hot and cold water flow successively in the cooling tube of the component and the surface temperature is recorded with an infrared camera. Defects are detected by a slower temperature response above unbrazed areas. The connection between temperature differences and defect sizes is the main difficulty. It is established by tests of standard defects and thermal transient calculations of defective geometries. SATIR has been in use for two years and has proved to be very valuable to test industrial components as well as prototypes.


Characterization of Industrial Smoke Plumes from Remote Sensing Data. The major driver of global warming has been identified as the anthropogenic release of greenhouse gas (GHG) emissions from industrial activities. The quantitative monitoring of these emissions is mandatory to fully understand their effect on the Earth's climate and to enforce emission regulations on a large scale. In this work, we investigate the possibility to detect and quantify industrial smoke plumes from globally and freely available multi band image data from ESA's Sentinel 2 satellites. Using a modified ResNet 50, we can detect smoke plumes of different sizes with an accuracy of 94.3 . The model correctly ignores natural clouds and focuses on those imaging channels that are related to the spectral absorption from aerosols and water vapor, enabling the localization of smoke. We exploit this localization ability and train a U Net segmentation model on a labeled sub sample of our data, resulting in an Intersection over Union (IoU) metric of 0.608 and an overall accuracy for the detection of any smoke plume of 94.0 on average, our model can reproduce the area covered by smoke in an image to within 5.6 . The performance of our model is mostly limited by occasional confusion with surface objects, the inability to identify semi transparent smoke, and human limitations to properly identify smoke based on RGB only images. Nevertheless, our results enable us to reliably detect and qualitatively estimate the level of smoke activity in order to monitor activity in industrial plants across the globe. Our data set and code base are publicly available.


Quadratically Constrained Two way Adversarial Channels. We study achievable rates of reliable communication in a power constrained two way additive interference channel over the real alphabet where communication is disrupted by a power constrained jammer. This models the wireless communication scenario where two users Alice and Bob, operating in the full duplex mode, wish to exchange messages with each other in the presence of a jammer, James. Alice and Bob simultaneously transmit their encodings underline x A and underline x B over n channel uses. It is assumed that James can choose his jamming signal underline s as a noncausal randomized function of underline x A and underline x B , and the codebooks used by Alice and Bob. Alice and Bob observe underline x A underline x B underline s , and must recover each others' messages reliably. In this article, we provide upper and lower bounds on the capacity of this channel which match each other and equal frac 1 2 log left( frac 1 2 mathsf SNR right) in the high mathsf SNR regime (where mathsf SNR , signal to noise ratios, is defined as the ratio of the power constraints of the users to the power constraint of the jammer). We give a code construction based on lattice codes, and derive achievable rates for large mathsf SNR . We also present upper bounds based on two specific attack strategies for James. Along the way, sumset property of lattices for the achievability and general properties of capacity achieving codes for memoryless channels for the converse are proved, which might be of independent interest.


Integration of biophysical connectivity in the spatial optimization of coastal ecosystem services. Ecological connectivity in coastal oceanic waters is mediated by dispersion of the early life stages of marine organisms and conditions the structure of biological communities and the provision of ecosystem services. Integrated management strategies aimed at ensuring long term service provision to society do not currently consider the importance of dispersal and larval connectivity. A spatial optimization model is introduced to maximise the potential provision of ecosystem services in coastal areas by accounting for the role of dispersal and larval connectivity. The approach combines a validated coastal circulation model that reproduces realistic patterns of larval transport along the coast, which ultimately conditions the biological connectivity and productivity of an area, with additional spatial layers describing potential ecosystem services. The spatial optimization exercise was tested along the coast of Central Chile, a highly productive area dominated by the Humboldt Current. Results show it is unnecessary to relocate existing management areas, as increasing no take areas by 10 could maximise ecosystem service provision, while improving the spatial representativeness of protected areas and minimizing social conflicts. The location of protected areas was underrepresented in some sections of the study domain, principally due to the restriction of the model to rocky subtidal habitats. Future model developments should encompass the diversity of coastal ecosystems and human activities to inform integrative spatial management. Nevertheless, the spatial optimization model is innovative not only for its integrated ecosystem perspective, but also because it demonstrates that it is possible to incorporate time varying biophysical connectivity within the optimization problem, thereby linking the dynamics of exploited populations produced by the spatial management regime.


Memory Safety Preservation for WebAssembly. WebAssembly (Wasm) is a next generation portable compilation target for deploying applications written in high level languages on the web. In order to protect their memory from untrusted code, web browser engines confine the execution of compiled Wasm programs in a memory safe sandbox. Unfortunately, classic memory safety vulnerabilities (e.g., buffer overflows and use after free) can still corrupt the memory within the sandbox and allow Wasm code to mount severe attacks. To prevent these attacks, we study a class of secure compilers that eliminate (different kinds of) of memory safety violations. Following a rigorous approach, we discuss memory safety in terms of hypersafety properties, which let us identify suitable secure compilation criteria for memory safety preserving compilers. We conjecture that, barring some restrictions at module boundaries, the existing security mechanisms of Wasm may suffice to enforce memory safety preservation, in the short term. In the long term, we observe that certain features proposed in the design of a memory safe variant of Wasm could allow compilers to lift these restrictions and enforce relaxed forms of memory safety.


Fast Bayesian Uncertainty Estimation and Reduction of Batch Normalized Single Image Super Resolution Network. Convolutional neural network (CNN) has achieved unprecedented success in image super resolution tasks in recent years. However, the network's performance depends on the distribution of the training sets and degrades on out of distribution samples. This paper adopts a Bayesian approach for estimating uncertainty associated with output and applies it in a deep image super resolution model to address the concern mentioned above. We use the uncertainty estimation technique using the batch normalization layer, where stochasticity of the batch mean and variance generate Monte Carlo (MC) samples. The MC samples, which are nothing but different super resolved images using different stochastic parameters, reconstruct the image, and provide a confidence or uncertainty map of the reconstruction. We propose a faster approach for MC sample generation, and it allows the variable image size during testing. Therefore, it will be useful for image reconstruction domain. Our experimental findings show that this uncertainty map strongly relates to the quality of reconstruction generated by the deep CNN model and explains its limitation. Furthermore, this paper proposes an approach to reduce the model's uncertainty for an input image, and it helps to defend the adversarial attacks on the image super resolution model. The proposed uncertainty reduction technique also improves the performance of the model for out of distribution test images. To the best of our knowledge, we are the first to propose an adversarial defense mechanism in any image reconstruction domain.


A Pneumatic Chaotic Pendulum. I present a chaotic pendulum based on the repulsive force between a random array of point sources of air flow and the conical tip of a rigid pendulum. Source code is provided for generation of random aperture arrays. The chaotic motion was analyzed using machine vision techniques. A computer simulation of this system is also presented, as are the results of some example simulations.


2D Image Relighting with Image to Image Translation. With the advent of Generative Adversarial Networks (GANs), a finer level of control in manipulating various features of an image has become possible. One example of such fine manipulation is changing the position of the light source in a scene. This is fundamentally an ill posed problem, since it requires understanding the scene geometry to generate proper lighting effects. This problem is not a trivial one and can become even more complicated if we want to change the direction of the light source from any direction to a specific one. Here we provide our attempt to solve this problem using GANs. Specifically, pix2pix arXiv 1611.07004 trained with the dataset VIDIT arXiv 2005.05460 which contains images of the same scene with different types of light temperature and 8 different light source positions (N, NE, E, SE, S, SW, W, NW). The results are 8 neural networks trained to be able to change the direction of the light source from any direction to one of the 8 previously mentioned. Additionally, we provide, as a tool, a simple CNN trained to identify the direction of the light source in an image.


Implementation of an Index Optimize Technology for Highly Specialized Terms based on the Phonetic Algorithm Metaphone. When compiling databases, for example to meet the needs of healthcare establishments, there is quite a common problem with the introduction and further processing of names and last names of doctors and patients that are highly specialized both in terms of pronunciation and writing. This is because names and last names of people cannot be unique, their notation is not subject to any rules of phonetics, while their length in different languages may not match. With the advent of the Internet, this situation has become generally critical and can lead to that multiple copies of e mails are sent to one address. It is possible to solve the specified problem by using phonetic algorithms for comparing words Daitch Mokotoff, Soundex, NYSIIS, Polyphone, and Metaphone, as well as the Levenshtein and Jaro algorithms, Q gram based algorithms, which make it possible to find distances between words. The most widespread among them are the Soundex and Metaphone algorithms, which are designed to index the words based on their sound, taking into consideration the rules of pronunciation. By applying the Metaphone algorithm, an attempt has been made to optimize the phonetic search processes for tasks of fuzzy coincidence, for example, at data deduplication in various databases and registries, in order to reduce the number of errors of incorrect input of last names. An analysis of the most common last names reveals that some of them are of the Ukrainian or Russian origin. At the same time, the rules following which the names are pronounced and written, for example in Ukrainian, differ radically from basic algorithms for English and differ quite significantly for the Russian language. That is why a phonetic algorithm should take into consideration first of all the peculiarities in the formation of Ukrainian last names, which is of special relevance now.


Annotation Based Static Analysis for Personal Data Protection. This paper elaborates the use of static source code analysis in the context of data protection. The topic is important for software engineering in order for software developers to improve the protection of personal data during software development. To this end, the paper proposes a design of annotating classes and functions that process personal data. The design serves two primary purposes on one hand, it provides means for software developers to document their intent on the other hand, it furnishes tools for automatic detection of potential violations. This dual rationale facilitates compliance with the General Data Protection Regulation (GDPR) and other emerging data protection and privacy regulations. In addition to a brief review of the state of the art of static analysis in the data protection context and the design of the proposed analysis method, a concrete tool is presented to demonstrate a practical implementation for the Java programming language.


PointIso Point Cloud Based Deep Learning Model for Detecting Arbitrary Precision Peptide Features in LC MS Map through Attention Based Segmentation. A promising technique of discovering disease biomarkers is to measure the relative protein abundance in multiple biofluid samples through liquid chromatography with tandem mass spectrometry (LC MS MS) based quantitative proteomics. The key step involves peptide feature detection in LC MS map, along with its charge and intensity. Existing heuristic algorithms suffer from inaccurate parameters since different settings of the parameters result in significantly different outcomes. Therefore, we propose PointIso, to serve the necessity of an automated system for peptide feature detection that is able to find out the proper parameters itself, and is easily adaptable to different types of datasets. It consists of an attention based scanning step for segmenting the multi isotopic pattern of peptide features along with charge and a sequence classification step for grouping those isotopes into potential peptide features. PointIso is the first point cloud based, arbitrary precision deep learning network to address the problem and achieves 98 detection of high quality MS MS identifications in a benchmark dataset, which is higher than several other widely used algorithms. Besides contributing to the proteomics study, we believe our novel segmentation technique should serve the general image processing domain as well.


Service Shifting a Paradigm for Service Resilience in 5G. Many real world services can be provided through multiple virtual network function (VNF) graphs, corresponding, e.g., to high and low complexity variants of the service itself. Based on this observation, we extend the concept of service scaling in network orchestration to service shifting, i.e., upgrading or downgrading the VNF graph to use among those implementing the same service. Service shifting can serve multiple goals, from reducing operational costs to reacting to infrastructure problems. Furthermore, it enhances the flexibility of service level agreements between network operators and third party content providers ("verticals). In this paper, we introduce and describe the service shifting concept, its benefits, and the associated challenges, with special reference to how service shifting can be integrated within real world 5G architectures and implementations. We conclude that existing network orchestration frameworks can be easily extended to support service shifting, and its adoption has the potential to make 5G network slices easier for the operators to manage under high load conditions, while still meeting the verticals' requirements.


Joint Realizability of Monotone Boolean functions. The study of monotone Boolean functions (MBFs) has a long history. We explore a connection between MBFs and ordinary differential equation (ODE) models of gene regulation, and, in particular, a problem of the realization of an MBF as a function describing the state transition graph of an ODE. We formulate a problem of joint realizability of finite collections of MBFs by establishing a connection between the parameterized dynamics of a class of ODEs and a collection of MBFs. We pose a question of what collections of MBFs can be realized by ODEs that belong to nested classes defined by increased algebraic complexity of their right hand sides. As we progressively restrict the algebraic form of the ODE, we show by a combination of theory and explicit examples that the class of jointly realizable functions strictly decreases. Our results impact the study of regulatory network dynamics, as well as the classical area of MBFs. We conclude with a series of potential extensions and conjectures.


Notes on Theory of Distributed Systems. Notes for the Yale course CPSC 465 565 Theory of Distributed Systems.


On a characterisation theorem for a adic solenoids. According to the Heyde theorem the Gaussian distribution on the real line is characterized by the symmetry of the conditional distribution of one linear form of independent random variables given another. We prove an analogue of this theorem for linear forms of two independent random variables taking values in an a adic solenoid Sigma a without elements of order 2, assuming that the characteristic functions of the random variables do not vanish, and coefficients of the linear forms are topological automorphisms of Sigma a .


A remark on a conjecture of Erd H o s and Straus. The aim of this note is to show that given a positive integer n geq 5 , the positive integral solutions of the diophantine equation 4 n 1 x 1 y 1 z cannot have solution such that x and y are coprime with xy sqrt z 2 . The proof uses the continued fraction expansion of 4 n .


At least half of the leapfrog fullerene graphs have exponentially many Hamilton cycles. A fullerene graph is a 3 connected cubic planar graph with pentagonal and hexagonal faces. The leapfrog transformation of a planar graph produces the trucation of the dual of the given graph. A fullerene graph is leapfrog if it can be obtained from another fullerene graph by the leapfrog transformation. We prove that leapfrog fullerene graphs on n 12k 6 vertices have at least 2 k Hamilton cycles.


Low rank tensor completion with sparse regularization in a transformed domain. Tensor completion is a challenging problem with various applications. Many related models based on the low rank prior of the tensor have been proposed. However, the low rank prior may not be enough to recover the original tensor from the observed incomplete tensor. In this paper, we prose a tensor completion method by exploiting both the low rank and sparse prior of tensor. Specifically, the tensor completion task can be formulated as a low rank minimization problem with a sparse regularizer. The low rank property is depicted by the tensor truncated nuclear norm based on tensor singular value decomposition (T SVD) which is a better approximation of tensor tubal rank than tensor nuclear norm. While the sparse regularizer is imposed by a ell 1 norm in a discrete cosine transformation (DCT) domain, which can better employ the local sparse property of completed data. To solve the optimization problem, we employ an alternating direction method of multipliers (ADMM) in which we only need to solve several subproblems which have closed form solutions. Substantial experiments on real world images and videos show that the proposed method has better performances than the existing state of the art methods.


Vojta's conjecture, heights associated with subschemes, and primitive prime divisors in arithmetic dynamics. Assuming Vojta's conjecture, we give a sufficient condition for the limit lim n to infty frac h Y (f n (x)) h H (f n (x)) is equal to zero, where f colon X longrightarrow X is a surjective self morphism on a smooth projective variety X , h H is an ample height function on X , and h Y is a global height function associated with a closed subscheme Y subset X of codimension at least two. Based on this, we propose a conjecture on a sufficient condition for the limit to be zero. We point out that our conjecture implies Dynamical Mordell Lang conjecture for endomorphisms on mathbb P 2 overline mathbb Q . We also discuss applications of Vojta's conjecture with truncated counting function to the problem of the existence of primitive prime divisors of coordinates of orbits of f


Spatio Temporal Relation and Attention Learning for Facial Action Unit Detection. Spatio temporal relations among facial action units (AUs) convey significant information for AU detection yet have not been thoroughly exploited. The main reasons are the limited capability of current AU detection works in simultaneously learning spatial and temporal relations, and the lack of precise localization information for AU feature learning. To tackle these limitations, we propose a novel spatio temporal relation and attention learning framework for AU detection. Specifically, we introduce a spatio temporal graph convolutional network to capture both spatial and temporal relations from dynamic AUs, in which the AU relations are formulated as a spatio temporal graph with adaptively learned instead of predefined edge weights. Moreover, the learning of spatio temporal relations among AUs requires individual AU features. Considering the dynamism and shape irregularity of AUs, we propose an attention regularization method to adaptively learn regional attentions that capture highly relevant regions and suppress irrelevant regions so as to extract a complete feature for each AU. Extensive experiments show that our approach achieves substantial improvements over the state of the art AU detection methods on BP4D and especially DISFA benchmarks.


CNN based Density Estimation and Crowd Counting A Survey. Accurately estimating the number of objects in a single image is a challenging yet meaningful task and has been applied in many applications such as urban planning and public safety. In the various object counting tasks, crowd counting is particularly prominent due to its specific significance to social security and development. Fortunately, the development of the techniques for crowd counting can be generalized to other related fields such as vehicle counting and environment survey, if without taking their characteristics into account. Therefore, many researchers are devoting to crowd counting, and many excellent works of literature and works have spurted out. In these works, they are must be helpful for the development of crowd counting. However, the question we should consider is why they are effective for this task. Limited by the cost of time and energy, we cannot analyze all the algorithms. In this paper, we have surveyed over 220 works to comprehensively and systematically study the crowd counting models, mainly CNN based density map estimation methods. Finally, according to the evaluation metrics, we select the top three performers on their crowd counting datasets and analyze their merits and drawbacks. Through our analysis, we expect to make reasonable inference and prediction for the future development of crowd counting, and meanwhile, it can also provide feasible solutions for the problem of object counting in other fields. We provide the density maps and prediction results of some mainstream algorithm in the validation set of NWPU dataset for comparison and testing. Meanwhile, density map generation and evaluation tools are also provided. All the codes and evaluation results are made publicly available at https github.com gaoguangshuai survey for crowd counting.


A Unifying Model for Locally Constrained Spanning Tree Problems. Given a graph G and a digraph D whose vertices are the edges of G , we investigate the problem of finding a spanning tree of G that satisfies the constraints imposed by D . The restrictions to add an edge in the tree depend on its neighborhood in D . Here, we generalize previously investigated problems by also considering as input functions ell and u on E(G) that give a lower and an upper bound, respectively, on the number of constraints that must be satisfied by each edge. The produced feasibility problem is denoted by texttt G DCST , while the optimization problem is denoted by texttt G DCMST . We show that texttt G DCST is NP complete even under strong assumptions on the structures of G and D , as well as on functions ell and u . On the positive side, we prove two polynomial results, one for texttt G DCST and another for texttt G DCMST , and also give a simple exponential time algorithm along with a proof that it is asymptotically optimal under the ETH. Finally, we prove that other previously studied constrained spanning tree ( textsc CST ) problems can be modeled within our framework, namely, the textsc Conflict CST , the textsc Forcing CS, the textsc At Least One All Dependency CST , the textsc Maximum Degree CST , the textsc Minimum Degree CST , and the textsc Fixed Leaves Minimum Degree CST .


Numerical range and positive block matrices. We obtain several norm and eigenvalue inequalities for positive matrices partitioned into four blocks. The results involve the numerical range of the off diagonal block X, especially the distance from 0 to W(X).


E Health Sensitive Data Dissemination Exploiting Trust and Mobility of Users. E health services handle a massive amount of sensitive data, requiring reliability and privacy. The advent of new technologies drives e health services into their continuous provision outside traditional care institutions. This creates uncertain and unreliable conditions, resulting in the challenge of controlling sensitive user data dissemination. Then, there is a gap in sensitive data dissemination under situations requiring fast response (e.g., cardiac arrest). This obligates networks to provide reliable sensitive data dissemination under user mobility, dynamic network topology, and occasional interactions between the devices. In this article, we propose STEALTH, a system that employs social trust and communities of interest to address these challenges. STEALTH follows two steps clustering and dissemination. In the first, STEALTH groups devices based on the interests of their users, forming communities of interest. A healthcare urgency launches the second, in which STEALTH disseminates user sensitive data to devices belonging to specific communities, subjected to the level of trust between devices. Simulation results demonstrate that STEALTH ensures data dissemination to people who can contribute toward an efficient service. STEALTH has achieved up to 97.14 of reliability in accessing sensitive data with a maximum latency of 170 ms, and up to 100 of availability during emergencies.


TMLab Generative Enhanced Model (GEM) for adversarial attacks. We present our Generative Enhanced Model (GEM) that we used to create samples awarded the first prize on the FEVER 2.0 Breakers Task. GEM is the extended language model developed upon GPT 2 architecture. The addition of novel target vocabulary input to the already existing context input enabled controlled text generation. The training procedure resulted in creating a model that inherited the knowledge of pretrained GPT 2, and therefore was ready to generate natural like English sentences in the task domain with some additional control. As a result, GEM generated malicious claims that mixed facts from various articles, so it became difficult to classify their truthfulness.


Robust PCA via Regularized REAPER with a Matrix Free Proximal Algorithm. Principal component analysis (PCA) is known to be sensitive to outliers, so that various robust PCA variants were proposed in the literature. A recent model, called REAPER, aims to find the principal components by solving a convex optimization problem. Usually the number of principal components must be determined in advance and the minimization is performed over symmetric positive semi definite matrices having the size of the data, although the number of principal components is substantially smaller. This prohibits its use if the dimension of the data is large which is often the case in image processing. In this paper, we propose a regularized version of REAPER which enforces the sparsity of the number of principal components by penalizing the nuclear norm of the corresponding orthogonal projector. This has the advantage that only an upper bound on the number of principal components is required. Our second contribution is a matrix free algorithm to find a minimizer of the regularized REAPER which is also suited for high dimensional data. The algorithm couples a primal dual minimization approach with a thick restarted Lanczos process. As a side result, we discuss the topic of the bias in robust PCA. Numerical examples demonstrate the performance of our algorithm.


Introduction to Plasma Physics. The following notes are intended to provide a brief primer in plasma physics, introducing common definitions, basic properties and processes typically found in plasmas. These concepts are inherent in contemporary plasma based accelerator schemes, and thus build foundation for the more advanced lectures which follow in this volume. No prior knowledge of plasma physics is required, but the reader is assumed to be familiar with basic electrodynamics and fluid mechanics.


Confusing and Detecting ML Adversarial Attacks with Injected Attractors. Many machine learning adversarial attacks find adversarial samples of a victim model mathcal M by following the gradient of some attack objective functions, either explicitly or implicitly. To confuse and detect such attacks, we take the proactive approach that modifies those functions with the goal of misleading the attacks to some local minimals, or to some designated regions that can be easily picked up by an analyzer. To achieve this goal, we propose adding a large number of artifacts, which we called attractors , onto the otherwise smooth function. An attractor is a point in the input space, where samples in its neighborhood have gradient pointing toward it. We observe that decoders of watermarking schemes exhibit properties of attractors and give a generic method that injects attractors from a watermark decoder into the victim model mathcal M . This principled approach allows us to leverage on known watermarking schemes for scalability and robustness and provides explainability of the outcomes. Experimental studies show that our method has competitive performance. For instance, for un targeted attacks on CIFAR 10 dataset, we can reduce the overall attack success rate of DeepFool to 1.9 , whereas known defense LID, FS and MagNet can reduce the rate to 90.8 , 98.5 and 78.5 respectively.


Pretorsion theories in general categories. We present a setting for the study of torsion theories in general categories. The idea is to associate, with any pair ( mathcal T , mathcal F ) of full replete subcategories in a category mathcal C , the corresponding full subcategory mathcal Z mathcal T cap mathcal F of emph trivial objects in mathcal C . The morphisms which factor through mathcal Z are called mathcal Z trivial, and these form an ideal of morphisms, with respect to which one can define mathcal Z prekernels, mathcal Z precokernels, and short mathcal Z preexact sequences. This naturally leads to the notion of pretorsion theory, which is the object of study of this article, and includes the classical one in the abelian context when mathcal Z is reduced to the 0 object of mathcal C . We study the basic properties of pretorsion theories, and examine some new examples in the category of all endomappings of finite sets and in the category of preordered sets.


Partitioning Graphs for the Cloud using Reinforcement Learning. In this paper, we propose Revolver, a parallel graph partitioning algorithm capable of partitioning large scale graphs on a single shared memory machine. Revolver employs an asynchronous processing framework, which leverages reinforcement learning and label propagation to adaptively partition a graph. In addition, it adopts a vertex centric view of the graph where each vertex is assigned an autonomous agent responsible for selecting a suitable partition for it, distributing thereby the computation across all vertices. The intuition behind using a vertex centric view is that it naturally fits the graph partitioning problem, which entails that a graph can be partitioned using local information provided by each vertex's neighborhood. We fully implemented and comprehensively tested Revolver using nine real world graphs. Our results show that Revolver is scalable and can outperform three popular and state of the art graph partitioners via producing comparable localized partitions, yet without sacrificing the load balance across partitions.


g2pM A Neural Grapheme to Phoneme Conversion Package for Mandarin Chinese Based on a New Open Benchmark Dataset. Conversion of Chinese graphemes to phonemes (G2P) is an essential component in Mandarin Chinese Text To Speech (TTS) systems. One of the biggest challenges in Chinese G2P conversion is how to disambiguate the pronunciation of polyphones characters having multiple pronunciations. Although many academic efforts have been made to address it, there has been no open dataset that can serve as a standard benchmark for fair comparison to date. In addition, most of the reported systems are hard to employ for researchers or practitioners who want to convert Chinese text into pinyin at their convenience. Motivated by these, in this work, we introduce a new benchmark dataset that consists of 99,000 sentences for Chinese polyphone disambiguation. We train a simple neural network model on it, and find that it outperforms other preexisting G2P systems. Finally, we package our project and share it on PyPi.


PAIRS AutoGeo an Automated Machine Learning Framework for Massive Geospatial Data. An automated machine learning framework for geospatial data named PAIRS AutoGeo is introduced on IBM PAIRS Geoscope big data and analytics platform. The framework simplifies the development of industrial machine learning solutions leveraging geospatial data to the extent that the user inputs are minimized to merely a text file containing labeled GPS coordinates. PAIRS AutoGeo automatically gathers required data at the location coordinates, assembles the training data, performs quality check, and trains multiple machine learning models for subsequent deployment. The framework is validated using a realistic industrial use case of tree species classification. Open source tree species data are used as the input to train a random forest classifier and a modified ResNet model for 10 way tree species classification based on aerial imagery, which leads to an accuracy of 59.8 and 81.4 , respectively. This use case exemplifies how PAIRS AutoGeo enables users to leverage machine learning without extensive geospatial expertise.


The LIG system for the English Czech Text Translation Task of IWSLT 2019. In this paper, we present our submission for the English to Czech Text Translation Task of IWSLT 2019. Our system aims to study how pre trained language models, used as input embeddings, can improve a specialized machine translation system trained on few data. Therefore, we implemented a Transformer based encoder decoder neural system which is able to use the output of a pre trained language model as input embeddings, and we compared its performance under three configurations 1) without any pre trained language model (constrained), 2) using a language model trained on the monolingual parts of the allowed English Czech data (constrained), and 3) using a language model trained on a large quantity of external monolingual data (unconstrained). We used BERT as external pre trained language model (configuration 3), and BERT architecture for training our own language model (configuration 2). Regarding the training data, we trained our MT system on a small quantity of parallel text one set only consists of the provided MuST C corpus, and the other set consists of the MuST C corpus and the News Commentary corpus from WMT. We observed that using the external pre trained BERT improves the scores of our system by 0.8 to 1.5 of BLEU on our development set, and 0.97 to 1.94 of BLEU on the test set. However, using our own language model trained only on the allowed parallel data seems to improve the machine translation performances only when the system is trained on the smallest dataset.


Approximation of solutions to non stationary Stokes system. We propose a fast method for high order approximations of the solution of the Cauchy problem for the linear non stationary Stokes system in R 3 in the unknown velocity bf u and kinematic pressure P . The density bf f ( bf x ,t) and the divergence vector free initial value bf g ( bf x) are smooth and rapidly decreasing as bf x tends to infinity. We construct the vector bf u in the form bf u bf u 1 bf u 2 where bf u 1 solves a system of homogeneous heat equations and bf u 2 solves a system of non homogeneous heat equations with right hand side bf f nabla P . Moreover P cal L ( nabla cdot bf f) where cal L denotes the harmonic potential. Fast semi analytic cubature formulas for computing the harmonic potential and the solution of the heat equation based on the approximation of the data by functions with analitically known potentials are considered. In addition, the gradient nabla P can be approximated by the gradient of the cubature of P , which is a semi analytic formula too. We derive fast and accurate high order formulas for the approximation of bf u 1, bf u 2 , P and nabla P . The accuracy of the method and the convergence order 2,4,6 and 8 are confirmed by numerical experiments.


Approximation results of Artin Tougeron type for general filtrations and for C r equations. Artin approximation and other related approximation results are used in various areas. The traditional formulation of such results is restricted to filtrations by powers of ideals, I j , and to Noetherian rings. In this paper we extend several approximation results both to rather general filtrations and to C r rings, for 2 le r le infty . As an auxiliary step we establish the surjectivity of the completion map for rings of C infty functions, for a very broad class of filtrations.


TTPP Temporal Transformer with Progressive Prediction for Efficient Action Anticipation. Video action anticipation aims to predict future action categories from observed frames. Current state of the art approaches mainly resort to recurrent neural networks to encode history information into hidden states, and predict future actions from the hidden representations. It is well known that the recurrent pipeline is inefficient in capturing long term information which may limit its performance in predication task. To address this problem, this paper proposes a simple yet efficient Temporal Transformer with Progressive Prediction (TTPP) framework, which repurposes a Transformer style architecture to aggregate observed features, and then leverages a light weight network to progressively predict future features and actions. Specifically, predicted features along with predicted probabilities are accumulated into the inputs of subsequent prediction. We evaluate our approach on three action datasets, namely TVSeries, THUMOS 14, and TV Human Interaction. Additionally we also conduct a comprehensive study for several popular aggregation and prediction strategies. Extensive results show that TTPP not only outperforms the state of the art methods but also more efficient.


Secure by synthesis network with active deception and temporal logic specifications. This paper is concerned with the synthesis of strategies in network systems with active cyber deception. Active deception in a network employs decoy systems and other defenses to conduct defensive planning against the intrusion of malicious attackers who have been confirmed by sensing systems. In this setting, the defender's objective is to ensure the satisfaction of security properties specified in temporal logic formulas. We formulate the problem of deceptive planning with decoy systems and other defenses as a two player games with asymmetrical information and Boolean payoffs in temporal logic. We use level 2 hypergame with temporal logic objectives to capture the incomplete incorrect knowledge of the attacker about the network system as a payoff misperception. The true payoff function is private information of the defender. Then, we extend the solution concepts of omega regular games to analyze the attacker's rational strategy given her incomplete information. By generalizing the solution of level 2 hypergame in the normal form to extensive form, we extend the solutions of games with safe temporal logic objectives to decide whether the defender can ensure security properties to be satisfied with probability one, given any possible strategy that is perceived to be rational by the attacker. Further, we use the solution of games with co safe (reachability) temporal logic objectives to determine whether the defender can engage the attacker, by directing the attacker to a high fidelity honeypot. The effectiveness of the proposed synthesis methods is illustrated with synthetic network systems with honeypots.


Neural Graph Embedding Methods for Natural Language Processing. Knowledge graphs are structured representations of facts in a graph, where nodes represent entities and edges represent relationships between them. Recent research has resulted in the development of several large KGs. However, all of them tend to be sparse with very few facts per entity. In the first part of the thesis, we propose two solutions to alleviate this problem (1) KG Canonicalization, i.e., identifying and merging duplicate entities in a KG, (2) Relation Extraction which involves automating the process of extracting semantic relationships between entities from unstructured text. Traditional Neural Networks like CNNs and RNNs are constrained to handle Euclidean data. However, graphs in Natural Language Processing (NLP) are prominent. Recently, Graph Convolutional Networks (GCNs) have been proposed to address this shortcoming and have been successfully applied for several problems. In the second part of the thesis, we utilize GCNs for Document Timestamping problem and for learning word embeddings using dependency context of a word instead of sequential context. In this third part of the thesis, we address two limitations of existing GCN models, i.e., (1) The standard neighborhood aggregation scheme puts no constraints on the number of nodes that can influence the representation of a target node. This leads to a noisy representation of hub nodes which coves almost the entire graph in a few hops. (2) Most of the existing GCN models are limited to handle undirected graphs. However, a more general and pervasive class of graphs are relational graphs where each edge has a label and direction associated with it. Existing approaches to handle such graphs suffer from over parameterization and are restricted to learning representation of nodes only.


On weak majority dimensions of digraphs. In this paper, we introduce the notion of the weak majority dimension of a digraph which is well defined for any digraph. We first study properties shared by the weak dimension of a digraph and show that a weak majority dimension of a digraph can be arbitrarily large. Then we present a complete characterization of digraphs of weak majority dimension 0 and 1 , respectively, and show that every digraph with weak majority dimension at most two is transitive. Finally, we compute the weak majority dimensions of directed paths and directed cycles and pose open problems.


Referencing Source Code Artifacts a Separate Concern in Software Citation. Among the entities involved in software citation, software source code requires special attention, due to the role it plays in ensuring scientific reproducibility. To reference source code we need identifiers that are not only unique and persistent, but also support emph integrity checking intrinsically. Suitable identifiers must guarantee that denotedobjects will always stay the same, without relying on external third parties and administrative processes. We analyze the role of identifiers for digital objects (IDOs), whose properties are different from, and complementary to, those of the various digital identifiers of objects (DIOs) that are today popular building blocks of software and data citation toolchains.We argue that both kinds of identifiers are needed and detail the syntax, semantics, and practical implementation of the persistent identifiers (PIDs) adopted by the Software Heritage project to reference billions of softwaresource code artifacts such as source code files, directories, and commits.


Recent progress in the L p theory for elliptic and parabolic equations with discontinuous coefficients. In this paper, we review some results over the last 10 15 years on elliptic and parabolic equations with discontinuous coefficients. We begin with an approach given by N. V. Krylov to parabolic equations in the whole space with VMO x coefficients. We then discuss some subsequent development including elliptic and parabolic equations with coefficients which are allowed to be merely measurable in one or two space directions, weighted L p estimates with Muckenhoupt ( A p ) weights, non local elliptic and parabolic equations, as well as fully nonlinear elliptic and parabolic equations.


Online Collection and Forecasting of Resource Utilization in Large Scale Distributed Systems. Large scale distributed computing systems often contain thousands of distributed nodes (machines). Monitoring the conditions of these nodes is important for system management purposes, which, however, can be extremely resource demanding as this requires collecting local measurements of each individual node and constantly sending those measurements to a central controller. Meanwhile, it is often useful to forecast the future system conditions for various purposes such as resource planning allocation and anomaly detection, but it is usually too resource consuming to have one forecasting model running for each node, which may also neglect correlations in observed metrics across different nodes. In this paper, we propose a mechanism for collecting and forecasting the resource utilization of machines in a distributed computing system in a scalable manner. We present an algorithm that allows each local node to decide when to transmit its most recent measurement to the central node, so that the transmission frequency is kept below a given constraint value. Based on the measurements received from local nodes, the central node summarizes the received data into a small number of clusters. Since the cluster partitioning can change over time, we also present a method to capture the evolution of clusters and their centroids. As an effective way to reduce the amount of computation, time series forecasting models are trained on the time varying centroids of each cluster, to forecast the future resource utilizations of a group of local nodes. The effectiveness of our proposed approach is confirmed by extensive experiments using multiple real world datasets.


A homotopical Skolem Noether theorem. The classical Skolem Noether Theorem Gir71 shows us (1) how we can assign to an Azumaya algebra A on a scheme X a cohomological Brauer class in H 2(X, mathbf G m) and (2) how Azumaya algebras correspond to twisted vector bundles. The Derived Skolem Noether Theorem Lie09 generalizes this result to weak algebras in the derived 1 category locally quasi isomorphic to derived endomorphism algebras of perfect complexes. We show that in general for a co family mathscr C otimes of presentable monoidal quasi categories with descent over a quasi category with a Grothendieck topology, there is a fibre sequence giving in particular the above correspondences. For a totally supported perfect complex E over a quasi compact and quasi separated scheme X , the long exact sequence on homotopy group sheaves splits giving equalities pi i( mathop mathrm Aut mathop mathrm Perf E, mathrm id E) pi i( mathop mathrm Aut mathop mathrm Alg mathop mathrm Perf mathop mathbf R mathrm End E , mathrm id mathop mathbf R mathrm End E ) for i ge1 . Further applications include complexes in Derived Algebraic Geometry, module spectra in Spectral Algebraic Geometry and ind coherent sheaves and crystals in Derived Algeraic Geometry in characteristic 0.


Two Way Physical Layer Security Protocol for Gaussian Channels. In this paper we propose a two way protocol of physical layer security using the method of privacy amplification against eavesdroppers. First we justify our proposed protocol by analyzing the physical layer security provided by the classic wiretap channel model (i.e. one way protocol). In the Gaussian channels, the classic one way protocol requires Eve's channel to be degraded w.r.t. Bob's channel. However, this channel degradation condition depends on Eve's location and whether Eve's receiving antenna is more powerful than Bob's. To overcome this limitation, we introduce a two way protocol inspired in IEEE TIT (1993) that eliminates the channel degradation condition. In the proposed two way protocol, on a first phase, via Gaussian channel, Bob sends randomness to Alice, which is partially leaked to Eve. Then, on a second phase, Alice transmits information to Bob over a public noiseless channel. We derive the secrecy capacity of the two way protocol when the channel to Eve is also Gaussian. We show that the capacity of the two way protocol is always positive. We present numerical values of the capacities illustrating the gains obtained by our proposed protocol. We apply our result to simple yet realistic models of satellite communication channels.


Regular Global Solutions for A Generalized KdV Equation Posed on A Half Line. An initial boundary value problem for a generalized KdV equation posed on a half line is considered. Existence and uniqueness of global regular solutions for arbitrary smooth initial data are established.


Tanh sinh quadrature for single and multiple integration using floating point arithmetic. The problem of estimating single and multi dimensional integrals, with or without end point singularities, is prevalent in all fields of scientific research, and in particular in physics. Although tanh sinh quadrature is known to handle most of these cases excellently, its use is not widely spread among physicists. Moreover, while most calculations are limited by the use of finite precision floating point arithmetic, similar considerations for tanh sinh quadrature are mostly lacking in literature, where infinite precision floating point numbers are often assumed. Also little information is available on the application of tanh sinh quadrature to multiple integration. We have investigated the risks and limitations associated with limited precision floating point numbers when using tanh sinh quadrature for both single and multiple integration, while obtaining excellent convergence rates. In addition, this paper provides recommendations for a straightforward implementation using limited precision floating point numbers and for avoiding numerical instabilities.


Relative genus bounds in indefinite four manifolds. Given a closed four manifold X with an indefinite intersection form, we consider smoothly embedded surfaces in X setminus int (B 4) , with boundary a knot K subset S 3 . We give several methods to bound the genus of such surfaces in a fixed homology class. Our techniques include adjunction inequalities and the 10 8 4 theorem. In particular, we present obstructions to a knot being H slice (that is, bounding a null homologous disk) in a four manifold and show that the set of H slice knots can detect exotic smooth structures on closed 4 manifolds.


A low rank method for two dimensional time dependent radiation transport calculations. The low rank approximation is a complexity reduction technique to approximate a tensor or a matrix with a reduced rank, which has been applied to the simulation of high dimensional problems to reduce the memory required and computational cost. In this work, a dynamical low rank approximation method is developed for the time dependent radiation transport equation in 1 D and 2 D Cartesian geometries. Using a finite volume discretization in space and a spherical harmonics basis in angle, we construct a system that evolves on a low rank manifold via an operator splitting approach. Numerical results on five test problems demonstrate that the low rank solution requires less memory than solving the full rank equations with the same accuracy. It is furthermore shown that the low rank algorithm can obtain high fidelity results at a moderate extra cost by increasing the number of basis functions while keeping the rank fixed.


Representation of two by two matrices over perfect fields by a diagonal quadratic form. Let F be a perfect field. Then the diagonal quadratic form a iX i 2 over F is universal over M 2(F) if and only if atleast two of the a i are non zero.


Stopping Criteria for Value and Strategy Iteration on Concurrent Stochastic Reachability Games. We consider concurrent stochastic games played on graphs with reachability and safety objectives. These games can be solved by value iteration as well as strategy iteration, each of them yielding a sequence of under approximations of the reachability value and a sequence of over approximation of the safety value, converging to it in the limit. For both approaches, we provide the first (anytime) algorithms with stopping criteria. The stopping criterion for value iteration is based on providing a convergent sequence of over approximations, which then allows to estimate the distance to the true value. For strategy iteration, we bound the error by complementing the strategy iteration algorithm for reachability by a new strategy iteration algorithm under approximating the safety value.


NFV Platform Design A Survey. Due to the intrinsically inefficient service provisioning in traditional networks, Network Function Virtualization (NFV) keeps gaining attention from both industry and academia. By replacing the purpose built, expensive, proprietary network equipment with software network functions consolidated on commodity hardware, NFV envisions a shift towards a more agile and open service provisioning paradigm with much lower capital expenditure (CapEx) and operational expenditure (OpEx). Nonetheless, just like any complex system, NFV platforms commonly consist of abounding software and hardware components and usually incorporate disparate design choices based on distinct motivations or use cases. This broad collection of convoluted alternatives makes it extremely arduous for network operators to make proper choices. Although numerous efforts have been devoted to investigating different aspects of NFV, none of them specifically focused on NFV platforms or attempted to explore the design space. In this paper, we present a comprehensive survey on NFV platform design. Our study solely targets existing NFV platform implementations. We begin with an architectural view of the standard reference NFV platform and present our taxonomy of existing NFV platforms based on the principal purpose of design. Then we thoroughly explore the design space and elaborate on the implementation choices each platform opts for. We believe that our study gives a detailed guideline for network operators or service providers to choose or implement the most appropriate NFV platforms based on their respective requirements. Note that this report serves as a complementary document for a published IEEE TNSM paper 1 . We will periodically update this document to include the newly proposed NFV platforms and design choices.


A lower bound on critical points of the electric potential of a knot. Given a knot K parametrized by r 0,2 pi to mathbb R 3 , we can define the electric potential on its complement by Phi(x) int 0 2 pi frac r'(t) x r(t) dt . Physicists and knot theorists want to understand the critical points of the potential and their behavior. The tunneling number t(K) of a knot is the smallest number of arcs one needs to add to a knot so the complement is a handlebody. We show the number of critical points of the potential is at least 2t(K) 2 . The result is proven using Morse theory and stable manifold theory.


Accelerated projection based forward backward splitting algorithms for monotone inclusion problems. In this paper, based on inertial and Tseng's ideas, we propose two projection based algorithms to solve a monotone inclusion problem in infinite dimensional Hilbert spaces. Solution theorems of strong convergence are obtained under the certain conditions. Some numerical experiments are presented to illustrate that our algorithms are efficient than the existing results.


On "Efficiency versus Instability in plasma accelerators". Recently in a paper by Lebedev et al it was demonstrated that the efficiency of the energy transfer from the drive bunch to the witness bunch in the plasma wakefield accelerator has a limit due to the BBU instability of the witness bunch. It was stated that the efficiency instability relation is universal and thus should be considered as a fundamental limit. In this note, we show that recent results on the short range wakefields indicate that this relation should be modified and conclusions of the paper by Lebedev et al should be reconsidered. In particular, we argue that the efficiency instability relation produces only the lower bound for efficiency and thus does not produce a fundamental limit.


Cross Domain Generalization of Neural Constituency Parsers. Neural parsers obtain state of the art results on benchmark treebanks for constituency parsing but to what degree do they generalize to other domains? We present three results about the generalization of neural parsers in a zero shot setting training on trees from one corpus and evaluating on out of domain corpora. First, neural and non neural parsers generalize comparably to new domains. Second, incorporating pre trained encoder representations into neural parsers substantially improves their performance across all domains, but does not give a larger relative improvement for out of domain treebanks. Finally, despite the rich input representations they learn, neural parsers still benefit from structured output prediction of output trees, yielding higher exact match accuracy and stronger generalization both to larger text spans and to out of domain corpora. We analyze generalization on English and Chinese corpora, and in the process obtain state of the art parsing results for the Brown, Genia, and English Web treebanks.


A kinetic theory approach for 2D crowd dynamics with emotional contagion. In this paper, we present a computational modeling approach for the dynamics of human crowds, where the spreading of an emotion (specifically fear) has an influence on the pedestrians' behavior. Our approach is based on the methods of the kinetic theory of active particles. The model allows us to weight between two competing behaviors depending on fear level the search for less congested areas and the tendency to follow the stream unconsciously (herding). The fear level of each pedestrian influences her walking speed and is influenced by the fear levels of her neighbors. Numerically, we solve our pedestrian model with emotional contagion using an operator splitting scheme. We simulate evacuation scenarios involving two groups of interacting pedestrians to assess how domain geometry and the details of fear propagation impact evacuation dynamics. Further, we reproduce the evacuation dynamics of an experimental study involving distressed ants.


Conversational Semantic Parsing for Dialog State Tracking. We consider a new perspective on dialog state tracking (DST), the task of estimating a user's goal through the course of a dialog. By formulating DST as a semantic parsing task over hierarchical representations, we can incorporate semantic compositionality, cross domain knowledge sharing and co reference. We present TreeDST, a dataset of 27k conversations annotated with tree structured dialog states and system acts. We describe an encoder decoder framework for DST with hierarchical representations, which leads to 20 improvement over state of the art DST approaches that operate on a flat meaning space of slot value pairs.


Scalable Top k Query on Information Networks with Hierarchical Inheritance Relations. Graph query, pattern mining and knowledge discovery become challenging on large scale heterogeneous information networks (HINs). State of the art techniques involving path propagation mainly focus on the inference on nodes labels and neighborhood structures. However, entity links in the real world also contain rich hierarchical inheritance relations. For example, the vulnerability of a product version is likely to be inherited from its older versions. Taking advantage of the hierarchical inheritances can potentially improve the quality of query results. Motivated by this, we explore hierarchical inheritance relations between entities and formulate the problem of graph query on HINs with hierarchical inheritance relations. We propose a graph query search algorithm by decomposing the original query graph into multiple star queries and apply a star query algorithm to each star query. Further candidates from each star query result are then constructed for final top k query answers to the original query. To efficiently obtain the graph query result from a large scale HIN, we design a bound based pruning technique by using uniform cost search to prune search spaces. We implement our algorithm in GraphX to test the effectiveness and efficiency on synthetic and real world datasets. Compared with two common graph query algorithms, our algorithm can effectively obtain more accurate results and competitive performances.


A note on covers defining relative and sectional categories. We give a characterization of relative category in the sense of Doeraene El Haouari by using open covers. We also prove that relative category and sectional category can be defined by taking arbitrary covers (not necessarily open) when dealing with ANR spaces.


A Need for Trust in Conversational Interface Research. Across several branches of conversational interaction research including interactions with social robots, embodied agents, and conversational assistants, users have identified trust as a critical part of those interactions. Nevertheless, there is little agreement on what trust means within these sort of interactions or how trust can be measured. In this paper, we explore some of the dimensions of trust as it has been understood in previous work and we outline some of the ways trust has been measured in the hopes of furthering discussion of the concept across the field.


k Critical Graphs in P 5 Free Graphs. Given two graphs H 1 and H 2 , a graph G is (H 1,H 2) free if it contains no induced subgraph isomorphic to H 1 or H 2 . Let P t be the path on t vertices. A graph G is k vertex critical if G has chromatic number k but every proper induced subgraph of G has chromatic number less than k . The study of k vertex critical graphs for graph classes is an important topic in algorithmic graph theory because if the number of such graphs that are in a given hereditary graph class is finite, then there is a polynomial time algorithm to decide if a graph in the class is (k 1) colorable. In this paper, we initiate a systematic study of the finiteness of k vertex critical graphs in subclasses of P 5 free graphs. Our main result is a complete classification of the finiteness of k vertex critical graphs in the class of (P 5,H) free graphs for all graphs H on 4 vertices. To obtain the complete dichotomy, we prove the finiteness for four new graphs H using various techniques such as Ramsey type arguments and the dual of Dilworth's Theorem that may be of independent interest.


Strong solutions to the Stefan problem with Gibbs Thomson correction and boundary contact. We prove existence and uniqueness of strong solutions to the two phase Stefan problem with Gibbs Thomson law where the free interface forms a ninety degree contact angle with the fixed boundary. We also discuss existence of global solutions and convergence to equilibria.


Efficient Photonic Crystal Parametric Source harnessing high Q resonances. A new tuning mechanism is introduced in high Q multimode photonic crystal resonators allowing to harness the resonant enhancement of the parametric resonance systematically. As a consequence, ultra efficient stimulated and spontaneous Four Wave Mixing at continuous microWatt pumping levels are observed, and the scaling with Q is demonstrated. Experimental results are in perfect agreement with an analytical model without fitting parameters.


Linear Quadratic Stackelberg Stochastic Differential Games Closed Loop Solvability. This paper is concerned with the closed loop solvability of one kind of linear quadratic Stackelberg stochastic differential game, where the coefficients are deterministic. The notion of the closed loop solvability is introduced, which require to be independent of the initial state. The follower's problem is solved first, and the closed loop optimal strategy is characterized by a Riccati equation, together with an adapted solution to a linear backward stochastic differential equation. Then the necessary conditions of the existence of the leader's nonanticipating closed loop optimal strategy is obtained via a system of cross coupled Riccati equations. The sufficiency is open since the completion of square method is invalid.


Anapole mediated giant photothermal nonlinearity in nanostructured silicon. Featured with a plethora of electric and magnetic Mie resonances, high index dielectric nanostructures offer a versatile platform to concentrate light matter interactions at the nanoscale. By integrating unique features of far field scattering control and near field concentration from radiationless anapole states, here, we demonstrate a giant photothermal nonlinearity in single subwavelength sized silicon nanodisks. The nanoscale energy concentration and consequent near field enhancements mediated by the anapole mode yield a reversible nonlinear scattering with a large modulation depth and a broad dynamic range, unveiling a record high nonlinear index change up to 0.5 at mild incident light intensities on the order of MW cm2. The observed photothermal nonlinearity showcases three orders of magnitude enhancement compared with that of unstructured bulk silicon, as well as nearly one order of magnitude higher than that through the radiative electric dipolar mode. Such nonlinear scattering can empower distinctive point spread functions in confocal reflectance imaging, offering the potential for far field localization of nanostructured Si with an accuracy approaching 40 nm. Our findings shed new light on active silicon photonics based on optical anapoles.


Character Sheaves for Graded Lie Algebras Stable Gradings. In this paper we construct full support character sheaves for stably graded Lie algebras. Conjecturally these are precisely the cuspidal character sheaves. Irreducible representations of Hecke algebras associated to complex reflection groups at roots of unity enter the description. We do so by analysing the Fourier transform of the nearby cycle sheaves constructed in GVX2 .


Mobile Internet Experience Urban vs. Rural Saturation vs. Starving?. Mobile Internet experience has been of increasing interest. Services accessed via smartphone applications shall provide satisfying Quality of Experience (QoE), irrespective of end user location, time of the day, and other circumstances. Unfortunately, current LTE networks often don't provide constant user throughput, one of the major system influence factors to mobile Internet QoE. In this paper, we conducted an exemplary measurement study in LTE networks, comparing the QoE of mobile networks in an urban and a rural region. Our results show that there are significant differences concerning the network speed which can result in unsatisfactory service quality depending on the application to be used. When evaluating the QoE for multiple users who are using the same base station in a specific area, user satisfaction decreases drastically, especially in rural areas. Our work encourages for future work to focus on this gap between the QoE in urban and rural areas.


The Fast and Free Memory Method for the efficient computation of convolution kernels. We introduce the Fast Free Memory method (FFM), a new fast method for the numerical evaluation of convolution products. Inheriting from the Fast Multipole Method, the FFM is a descent only and kernel independent algorithm. We give the complete algorithm and the relevant complexity analysis. While dense matrices arise normally in such computations, the linear storage complexity and the quasi linear computational complexity enable the evaluation of convolution products featuring up to one billion entries. We show how we are able to solve complex scattering problems using Boundary Integral Equations with dozen of millions of unknowns. Our implementation is made freely available within the Gypsilab framework under the GPL 3.0 license.


Modeling Trust in Human Robot Interaction A Survey. As the autonomy and capabilities of robotic systems increase, they are expected to play the role of teammates rather than tools and interact with human collaborators in a more realistic manner, creating a more human like relationship. Given the impact of trust observed in human robot interaction (HRI), appropriate trust in robotic collaborators is one of the leading factors influencing the performance of human robot interaction. Team performance can be diminished if people do not trust robots appropriately by disusing or misusing them based on limited experience. Therefore, trust in HRI needs to be calibrated properly, rather than maximized, to let the formation of an appropriate level of trust in human collaborators. For trust calibration in HRI, trust needs to be modeled first. There are many reviews on factors affecting trust in HRI, however, as there are no reviews concentrated on different trust models, in this paper, we review different techniques and methods for trust modeling in HRI. We also present a list of potential directions for further research and some challenges that need to be addressed in future work on human robot trust modeling.


Structural Attacks on Local Routing in Payment Channel Networks. Payment channel networks (PCN) enable scalable blockchain transactions without fundamentally changing the underlying distributed ledger algorithm. However, routing a payment via multiple channels in a PCN requires locking collateral for potentially long periods of time. Adversaries can abuse this mechanism to conduct denial of service attacks. Previous work focused on source routing, which is unlikely to remain a viable routing approach as these networks grow. In this work, we examine the effectiveness of attacks in PCNs that use routing algorithms based on local knowledge, where compromised intermediate nodes can delay or drop transactions to create denial of service. We focus on SpeedyMurmurs as a representative of such protocols. We identify two attacker node selection strategies one based on the position in the routing tree, and the other on betweenness centrality. Our simulation driven study shows that while they are both effective, the centrality based attack approaches near optimal effectiveness. We also show that the attacks are ineffective in less centralized networks and discuss incentives for the participants in PCNs to create less centralized topologies through the payment channels they establish among themselves.


Viscosity solutions for controlled McKean Vlasov jump diffusions. We study a class of non linear integro differential equations on the Wasserstein space related to the optimal control of McKean Vlasov jump diffusions. We develop an intrinsic notion of viscosity solutions that does not rely on the lifting to an Hilbert space and prove a comparison theorem for these solutions. We also show that the value function is the unique viscosity solution.


A non invasive ultra thin luminophore foil detector system for secondary beam monitoring. High intensity secondary beams play a vital role in today's particle physics and materials science research and require suitable detection techniques to adjust beam characteristics to optimally match experimental conditions. To this end we have developed a non invasive, ultra thin, CsI(Tl) luminophore foil detector system, based on CCD imaging. We have used this to quantify the beam characteristics of an intensity frontier surface muon beam used for next generation charged lepton flavour violation (cLFV) search experiments at the Paul Scherrer Institut (PSI) and to assess the possible use for a future High intensity Muon Beam (HiMB project), currently under study at PSI. An overview of the production and intrinsic characteristics of such foils is given and their application in a high intensity beam environment.


A Survey on Adaptive Random Testing. Random testing (RT) is a well studied testing method that has been widely applied to the testing of many applications, including embedded software systems, SQL database systems, and Android applications. Adaptive random testing (ART) aims to enhance RT's failure detection ability by more evenly spreading the test cases over the input domain. Since its introduction in 2001, there have been many contributions to the development of ART, including various approaches, implementations, assessment and evaluation methods, and applications. This paper provides a comprehensive survey on ART, classifying techniques, summarizing application areas, and analyzing experimental evaluations. This paper also addresses some misconceptions about ART, and identifies open research challenges to be further investigated in the future work.


Coloring Drawings of Graphs. We consider face colorings of drawings of graphs in the plane. Given a multi graph G together with a drawing Gamma(G) in the plane with only finitely many crossings, we define a face k coloring of Gamma(G) to be a coloring of the maximal connected regions of the drawing, the faces, with k colors such that adjacent faces have different colors. By the 4 color theorem, every drawing of a bridgeless graph has a face 4 coloring. A drawing of a graph is facially 2 colorable if and only if the underlying graph is Eulerian. We show that every graph without degree 1 vertices admits a 3 colorable drawing. This leads to the natural question which graphs G have the property that each of its drawings has a 3 coloring. We say that such a graph G is facially 3 colorable. We derive several sufficient and necessary conditions for this property we show that every 4 edge connected graph and every graph admitting a nowhere zero 3 flow is facially 3 colorable. We also discuss circumstances under which facial 3 colorability guarantees the existence of a nowhere zero 3 flow. On the negative side, we present an infinite family of facially 3 colorable graphs without a nowhere zero 3 flow. On the positive side, we formulate a conjecture which has a surprising relation to a famous open problem by Tutte known as the 3 flow conjecture. We prove our conjecture for subcubic and for K 3,3 minor free graphs.


Successive Refinement of Privacy. This work examines a novel question how much randomness is needed to achieve local differential privacy (LDP)? A motivating scenario is providing em multiple levels of privacy to multiple analysts, either for distribution or for heavy hitter estimation, using the emph same (randomized) output. We call this setting emph successive refinement of privacy , as it provides hierarchical access to the raw data with different privacy levels. For example, the same randomized output could enable one analyst to reconstruct the input, while another can only estimate the distribution subject to LDP requirements. This extends the classical Shannon (wiretap) security setting to local differential privacy. We provide (order wise) tight characterizations of privacy utility randomness trade offs in several cases for distribution estimation, including the standard LDP setting under a randomness constraint. We also provide a non trivial privacy mechanism for multi level privacy. Furthermore, we show that we cannot reuse random keys over time while preserving privacy of each user.


Graphs cannot be indexed in polynomial time for sub quadratic time string matching, unless SETH fails. We consider the following string matching problem on a node labeled graph G (V,E) given a pattern string P , decide whether there exists a path in G whose concatenation of node labels equals P . This is a basic primitive in various problems in bioinformatics, graph databases, or networks. The hardness results of Backurs and Indyk (FOCS 2016) imply that this problem cannot be solved in better than O( E P ) time, under the Orthogonal Vectors Hypothesis (OVH), and this holds even under various restrictions on the graph (Equi et al., ICALP 2019). In this paper we consider its offline version, namely the one in which we are allowed to index the graph in order to support time efficient string matching queries. Indeed, it was tantalizing in the string matching community to believe that sub quadratic time queries can be achieved, e.g. at the cost of a high degree polynomial time indexing. We disprove this belief, showing that, under OVH, no polynomial time index can support querying P in time O( E delta P beta) , with either delta 1 or beta 1 . We prove this tight bound employing a known self reducibility technique, e.g. from the field of dynamic algorithms, which translates conditional lower bounds for an online problem to its offline version. As a side contribution, we formalize this technique with the notion of linear independent components reduction, allowing for a simple proof of our result. As another illustration of our technique, we also translate the quadratic conditional lower bound of Backurs and Indyk (STOC 2015) for the problem of matching a query string inside a text, under edit distance. We obtain an analogous tight quadratic lower bound for its offline version, improving the recent result of Cohen Addad, Feuilloley and Starikovskaya (SODA 2019), but with a slightly different boundary condition.


Ergodic pairs for degenerate pseudo Pucci's fully nonlinear operators. We study the ergodic problem for fully nonlinear elliptic operators F( nabla u, D 2 u) which may be degenerate when at least one of the components of the gradient vanishes. We extend here the results in the celebrated paper of Lasry and Lions, the ones of Leonori and Porretta Capuzzo Dolcetta Leoni and Porretta, Birindelli et al.


Separate In Latent Space Unsupervised Single Image Layer Separation. Many real world vision tasks, such as reflection removal from a transparent surface and intrinsic image decomposition, can be modeled as single image layer separation. However, this problem is highly ill posed, requiring accurately aligned and hard to collect triplet data to train the CNN models. To address this problem, this paper proposes an unsupervised method that requires no ground truth data triplet in training. At the core of the method are two assumptions about data distributions in the latent spaces of different layers, based on which a novel unsupervised layer separation pipeline can be derived. Then the method can be constructed based on the GANs framework with self supervision and cycle consistency constraints, etc. Experimental results demonstrate its successfulness in outperforming existing unsupervised methods in both synthetic and real world tasks. The method also shows its ability to solve a more challenging multi layer separation task.


Deep Fictitious Play for Finding Markovian Nash Equilibrium in Multi Agent Games. We propose a deep neural network based algorithm to identify the Markovian Nash equilibrium of general large N player stochastic differential games. Following the idea of fictitious play, we recast the N player game into N decoupled decision problems (one for each player) and solve them iteratively. The individual decision problem is characterized by a semilinear Hamilton Jacobi Bellman equation, to solve which we employ the recently developed deep BSDE method. The resulted algorithm can solve large N player games for which conventional numerical methods would suffer from the curse of dimensionality. Multiple numerical examples involving identical or heterogeneous agents, with risk neutral or risk sensitive objectives, are tested to validate the accuracy of the proposed algorithm in large group games. Even for a fifty player game with the presence of common noise, the proposed algorithm still finds the approximate Nash equilibrium accurately, which, to our best knowledge, is difficult to achieve by other numerical algorithms.


List Decodable Mean Estimation in Nearly Linear Time. Learning from data in the presence of outliers is a fundamental problem in statistics. Until recently, no computationally efficient algorithms were known to compute the mean of a high dimensional distribution under natural assumptions in the presence of even a small fraction of outliers. In this paper, we consider robust statistics in the presence of overwhelming outliers where the majority of the dataset is introduced adversarially. With only an alpha 1 2 fraction of "inliers" (clean data) the mean of a distribution is unidentifiable. However, in their influential work, CSV17 introduces a polynomial time algorithm recovering the mean of distributions with bounded covariance by outputting a succinct list of O(1 alpha) candidate solutions, one of which is guaranteed to be close to the true distributional mean a direct analog of 'List Decoding' in the theory of error correcting codes. In this work, we develop an algorithm for list decodable mean estimation in the same setting achieving up to constants the information theoretically optimal recovery, optimal sample complexity, and in nearly linear time up to polylogarithmic factors in dimension. Our conceptual innovation is to design a descent style algorithm on a nonconvex landscape, iteratively removing minima to generate a succinct list of solutions. Our runtime bottleneck is a saddle point optimization for which we design custom primal dual solvers for generalized packing and covering SDP's under Ky Fan norms, which may be of independent interest.


Unique product groups and congruence subgroups. We prove that a uniform pro p group with no nonabelian free subgroups has a normal series with torsion free abelian factors. We discuss this in relation to unique product groups. We also consider generalizations of Hantzsche Wendt groups.


The Batyrev Tschinkel conjecture for a non normal cubic surface and its symmetric square. We complete the study of points of bounded height on irreducible non normal cubic surfaces by doing the point count on the cubic surface W given by t 0 2 t 2 t 1 2 t 3 over any number field. We show that the order of growth agrees with a conjecture by Batyrev and Manin and that the constant reflects the geometry of the variety as predicted by a conjecture of Batyrev and Tschinkel. We then provide the point count for its symmetric square mathrm Sym 2 W . Although we can explain the main term of the counting function, the Batyrev Manin conjecture is only satisfied after removing a thin set. Finally we interpret the main term of the count on mathrm Sym 2( mathbb P 2 times mathbb P 1) done by Le Rudulier using these conjecture.


Context Integrated and Feature Refined Network for Lightweight Object Parsing. Semantic segmentation for lightweight object parsing is a very challenging task, because both accuracy and efficiency (e.g., execution speed, memory footprint or computational complexity) should all be taken into account. However, most previous works pay too much attention to one sided perspective, either accuracy or speed, and ignore others, which poses a great limitation to actual demands of intelligent devices. To tackle this dilemma, we propose a novel lightweight architecture named Context Integrated and Feature Refined Network (CIFReNet). The core components of CIFReNet are the Long skip Refinement Module (LRM) and the Multi scale Context Integration Module (MCIM). The LRM is designed to ease the propagation of spatial information between low level and high level stages. Furthermore, channel attention mechanism is introduced into the process of long skip learning to boost the quality of low level feature refinement. Meanwhile, the MCIM consists of three cascaded Dense Semantic Pyramid (DSP) blocks with image level features, which is presented to encode multiple context information and enlarge the field of view. Specifically, the proposed DSP block exploits a dense feature sampling strategy to enhance the information representations without significantly increasing the computation cost. Comprehensive experiments are conducted on three benchmark datasets for object parsing including Cityscapes, CamVid, and Helen. As indicated, the proposed method reaches a better trade off between accuracy and efficiency compared with the other state of the art methods.


Unique continuation property and Poincar 'e inequality for higher order fractional Laplacians with applications in inverse problems. We prove a unique continuation property for the fractional Laplacian ( Delta) s when s in ( n 2, infty) setminus mathbb Z . In addition, we study Poincar 'e type inequalities for the operator ( Delta) s when s geq 0 . We apply the results to show that one can uniquely recover, up to a gauge, electric and magnetic potentials from the Dirichlet to Neumann map associated to the higher order fractional magnetic Schr "odinger equation. We also study the higher order fractional Schr "odinger equation with singular electric potential. In both cases, we obtain a Runge approximation property for the equation. Furthermore, we prove a uniqueness result for a partial data problem of the d plane Radon transform in low regularity. Our work extends some recent results in inverse problems for more general operators.