Consequences of Optimality. Rationality is often related to optimal decision making. Humans are known to be bounded rational agents. However, recent advances in computing along with large amount of data have led to a feeling that this could result in extending the limits of bounded rationality in humans through augmented machine intelligence. In this paper, results from a computational model show that as more agents reach global optimality (faster), solving the same problem independently, this leads to accelerated tragedy of the commons. Thus, bounded rationality could be seen as blessing in disguise (providing diversity to the solutions of same problem) from sustainability standpoint.


Tracial smooth functions of non commuting variables and the free Wasserstein manifold. We formulate a free probabilistic analog of the Wasserstein manifold on mathbb R d (the formal Riemannian manifold of smooth probability densities on mathbb R d ), and we use it to study smooth non commutative transport of measure. The points of the free Wasserstein manifold mathscr W ( mathbb R d ) are smooth tracial non commutative functions V with quadratic growth at infty , which correspond to minus the log density in the classical setting. The space of smooth tracial non commutative functions used here is a new one whose definition and basic properties we develop in the paper they are scalar valued functions of self adjoint d tuples from arbitrary tracial von Neumann algebras that can be approximated by trace polynomials. The space of non commutative diffeomorphisms mathscr D ( mathbb R d ) acts on mathscr W ( mathbb R d ) by transport, and the basic relationship between tangent vectors for mathscr D ( mathbb R d ) and tangent vectors for mathscr W ( mathbb R d ) is described using the Laplacian L V associated to V and its pseudo inverse Psi V (when defined). Following similar arguments to arXiv 1204.2182, arXiv 1701.00132, and arXiv 1906.10051 in the new setting, we give a rigorous proof for the existence of smooth transport along any path t mapsto V t when V is sufficiently close (1 2) sum j operatorname tr (x j 2) , as well as smooth triangular transport.


Exploiting diurnal temperature variations to monitor the growth of tubers. The possibility to use diurnal temperature variations for nondestructive monitoring of growing tubers is investigated by numerically simulating the data collected with a grid of passive thermal sensors placed in the ground and sampled at regular intervals. A qualitative linear imaging algorithm that produces an approximate projected view of the tubers is proposed and an effective inversion method is applied to recover the volume fraction of tubers. In particular, it is shown that a correlation based cost functional outperforms the usual least squares metric, although, requiring additional steps to deal with the non uniqueness of the solution.


Neural Collaborative Graph Machines for Table Structure Recognition. Recently, table structure recognition has achieved impressive progress with the help of deep graph models. Most of them exploit single visual cues of tabular elements or simply combine visual cues with other modalities via early fusion to reason their graph relationships. However, neither early fusion nor individually reasoning in terms of multiple modalities can be appropriate for all varieties of table structures with great diversity. Instead, different modalities are expected to collaborate with each other in different patterns for different table cases. In the community, the importance of intra inter modality interactions for table structure reasoning is still unexplored. In this paper, we define it as heterogeneous table structure recognition (Hetero TSR) problem. With the aim of filling this gap, we present a novel Neural Collaborative Graph Machines (NCGM) equipped with stacked collaborative blocks, which alternatively extracts intra modality context and models inter modality interactions in a hierarchical way. It can represent the intra inter modality relationships of tabular elements more robustly, which significantly improves the recognition performance. We also show that the proposed NCGM can modulate collaborative pattern of different modalities conditioned on the context of intra modality cues, which is vital for diversified table cases. Experimental results on benchmarks demonstrate our proposed NCGM achieves state of the art performance and beats other contemporary methods by a large margin especially under challenging scenarios.


DANIEL A Fast and Robust Consensus Maximization Method for Point Cloud Registration with High Outlier Ratios. Correspondence based point cloud registration is a cornerstone in geometric computer vision, robotics perception, photogrammetry and remote sensing, which seeks to estimate the best rigid transformation between two point clouds from the correspondences established over 3D keypoints. However, due to limited robustness and accuracy, current 3D keypoint matching techniques are very prone to yield outliers, probably even in very large numbers, making robust estimation for point cloud registration of great importance. Unfortunately, existing robust methods may suffer from high computational cost or insufficient robustness when encountering high (or even extreme) outlier ratios, hardly ideal enough for practical use. In this paper, we present a novel time efficient RANSAC type consensus maximization solver, named DANIEL (Double layered sAmpliNg with consensus maximization based on stratIfied Element wise compatibiLity), for robust registration. DANIEL is designed with two layers of random sampling, in order to find inlier subsets with the lowest computational cost possible. Specifically, we (i) apply the rigidity constraint to prune raw outliers in the first layer of one point sampling, (ii) introduce a series of stratified element wise compatibility tests to conduct rapid compatibility checking between minimal models so as to realize more efficient consensus maximization in the second layer of two point sampling, and (iii) probabilistic termination conditions are employed to ensure the timely return of the final inlier set. Based on a variety of experiments over multiple real datasets, we show that DANIEL is robust against over 99 outliers and also significantly faster than existing state of the art robust solvers (e.g. RANSAC, FGR, GORE).


Positivity of Hadamard powers of a few band matrices. Let mathbb P G( 0, infty)) and mathbb P G ' ( 0, infty)) be the sets of positive semidefinite and positive definite matrices of order n , respectively, with nonnegative entries, where some positions of zero entries are restricted by a simple graph G with n vertices. It is proved that for a connected simple graph G of order n geq 3 , the set of powers preserving positive semidefiniteness on mathbb P G( 0, infty)) is precisely the same as the set of powers preserving positive definiteness on mathbb P G ' ( 0, infty)) . In particular, this provides an explicit combinatorial description of the critical exponent for positive definiteness, for all chordal graphs. Using chain sequences, it is proved that the Hadamard powers preserving the positive (semi) definiteness of every tridiagonal matrix with nonnegative entries are precisely r geq 1 . The infinite divisibility of tridiagonal matrices is studied. The same results are proved for a special family of pentadiagonal matrices.


Minimal Presentation of PSL(2, mathbb Z ) Using Continuant Matrices with Integer Coefficients. In this article, the goal is to find the shortest presentation of a matrix A in PSL(2, mathbb Z ) in terms of the so called continuant matrices which are most known for their role in continued fraction theory. In chapter 7 of arXiv 1811.01229, Morier G 'enoud and Ovsienko investigate this problem with the restriction that all coefficients of the continuant matrices are positive. Now, the goal is to determine the shortest presentation allowing all integer coefficients. To determine this minimal presentation, a few characteristic transformations will be introduced. It will also be investigated under which conditions such a minimal presentation becomes unique. The results are also generalized on conjugacy classes in PSL(2, mathbb Z ) . If you wish to contact the author or you have some questions related to this work, feel free to write an email to christian.streib online.de.


Literature Review on Endoscopic Robotic Systems in Ear and Sinus Surgery. In otolaryngologic surgery, endoscopy is increasingly used to provide a better view of hard to reach areas and to promote minimally invasive surgery. However, the need to manipulate the endoscope limits the surgeon's ability to operate with only one instrument at a time. Currently, several robotic systems are being developed, demonstrating the value of robotic assistance in microsurgery. The aim of this literature review is to present and classify current robotic systems that are used for otological and endonasal applications. For these solutions, an analysis of the functionalities in relation to the surgeon's needs will be carried out in order to produce a set of specifications for the creation of new robots.


Random separation property for stochastic Allen Cahn type equations. We study a large class of stochastic p Laplace Allen Cahn equations with singular potential. Under suitable assumptions on the (multiplicative type) noise we first prove existence, uniqueness, and regularity of variational solutions. Then, we show that a random separation property holds, i.e. almost every trajectory is strictly separated in space and time from the potential barriers. The threshold of separation is random, and we further provide exponential estimates on the probability of separation from the barriers. Eventually, we exhibit a convergence in probability result for the random separation threshold towards the deterministic one, as the noise vanishes, and we obtain an estimate of the convergence rate.


The Delta Invariant and Simultaneous Normalization for Families of Isolated Non Normal Singularities. We consider families of schemes over arbitrary fields resp. analytic varieties with finitely many (not necessarily reduced) isolated non normal singularities, in particular families of generically reduced curves. We define a modified delta invariant for isolated non normal singularities of any dimension that takes care of embedded points and prove that it behaves upper semicontinuous in flat families parametrized by an arbitrary principal ideal domain. Moreover, if the fibers contain no isolated points, then the familly admits a fiberwise normalization iff the delta invariant is locally constant. The results generalize results by Teissier and Chiang Hsieh Lipman for families of reduced curve singularities and provide possible improvements for algorithms to compute the genus of a curve.


MAJORCA Multi Architecture JOP and ROP Chain Assembler. Nowadays, exploits often rely on a code reuse approach. Short pieces of code called gadgets are chained together to execute some payload. Code reuse attacks can exploit vulnerabilities in the presence of operating system protection that prohibits data memory execution. The ROP chain construction task is the code generation for the virtual machine defined by an exploited executable. It is crucial to understand how powerful ROP attacks can be. Such knowledge can be used to improve software security. We implement MAJORCA that generates ROP and JOP payloads in an architecture agnostic manner and thoroughly consider restricted symbols such as null bytes that terminate data copying via strcpy. The paper covers the whole code reuse payloads construction pipeline cataloging gadgets, chaining them in DAG, scheduling, linearizing to the ready to run payload. MAJORCA automatically generates both ROP and JOP payloads for x86 and MIPS. MAJORCA constructs payloads respecting restricted symbols both in gadget addresses and data. We evaluate MAJORCA performance and accuracy with rop benchmark and compare it with open source compilers. We show that MAJORCA outperforms open source tools. We propose a ROP chaining metric and use it to estimate the probabilities of successful ROP chaining for different operating systems with MAJORCA as well as other ROP compilers to show that ROP chaining is still feasible. This metric can estimate the efficiency of OS defences.


Modeling Complex Financial Products. The objective of this paper is to explore how financial big data and machine learning methods can be applied to model and understand complex financial products. We focus on residential mortgage backed securities, resMBS, that were at the heart of the 2008 US financial crisis. The securities are contained within a prospectus and have a complex payoff structure. Multiple financial institutions form a supply chain to create the prospectuses. We provide insight into the performance of the resMBS securities through a series of increasingly complex models. First, models at the security level directly identify salient features of resMBS securities that impact their performance. Second, we extend the model to include prospectus level features. We are the first to demonstrate that the composition of the prospectus is associated with the performance of securities. Finally, to develop a deeper understanding of the role of the supply chain, we use unsupervised probabilistic methods, in particular, dynamic topics models (DTM), to understand community formation and temporal evolution along the chain. A comprehensive model provides insight into the impact of DTM communities on the issuance and evolution of prospectuses, and eventually the performance of resMBS securities.


Kernelization, Proof Complexity and Social Choice. We display an application of the notions of kernelization and data reduction from parameterized complexity to proof complexity Specifically, we show that the existence of data reduction rules for a parameterized problem having (a). a small length reduction chain, and (b). small size (extended) Frege proofs certifying the soundness of reduction steps implies the existence of subexponential size (extended) Frege proofs for propositional formalizations of the given problem. We apply our result to infer the existence of subexponential Frege and extended Frege proofs for a variety of problems. Improving earlier results of Aisenberg et al. (ICALP 2015), we show that propositional formulas expressing (a stronger form of) the Kneser Lov 'asz Theorem have polynomial size Frege proofs for each constant value of the parameter k. Previously only quasipolynomial bounds were known (and only for the ordinary Kneser Lov 'asz Theorem). Another notable application of our framework is to impossibility results in computational social choice we show that, for any fixed number of agents, propositional translations of the Arrow and Gibbard Satterthwaite impossibility theorems have subexponential size Frege proofs.


Exterior Point Method for Completely Positive Factorization. Completely positive factorization (CPF) is a critical task with applications in many fields. This paper proposes a novel method for the CPF. Based on the idea of exterior point iteration, an optimization model is given, which aims to orthogonally transform a symmetric lower rank factor to be nonnegative. The optimization problem can be solved via a modified nonlinear conjugate gradient method iteratively. The iteration points locate on the exterior of the orthonormal manifold and the closed set whose transformed matrices are nonnegative before convergence generally. Convergence analysis is given for the local or global optimum of the objective function, together with the iteration algorithm. Some potential issues that may affect the CPF are explored numerically. The exterior point method performs much better than other algorithms, not only in the efficiency of computational cost or accuracy, but also in the ability to address the CPF in some hard cases.


A Driving Behavior Recognition Model with Bi LSTM and Multi Scale CNN. In autonomous driving, perceiving the driving behaviors of surrounding agents is important for the ego vehicle to make a reasonable decision. In this paper, we propose a neural network model based on trajectories information for driving behavior recognition. Unlike existing trajectory based methods that recognize the driving behavior using the hand crafted features or directly encoding the trajectory, our model involves a Multi Scale Convolutional Neural Network (MSCNN) module to automatically extract the high level features which are supposed to encode the rich spatial and temporal information. Given a trajectory sequence of an agent as the input, firstly, the Bi directional Long Short Term Memory (Bi LSTM) module and the MSCNN module respectively process the input, generating two features, and then the two features are fused to classify the behavior of the agent. We evaluate the proposed model on the public BLVD dataset, achieving a satisfying performance.


Intense harmonics with time varying orbital angular momentum from relativistic plasma mirrors. In this work using three dimensional particle in cell simulations and analytical considerations we demonstrate intense high order plasma surface harmonics carrying a time varying orbital angular momentum (OAM) the self torque. We show that by using two laser beams with different OAMs l 1 and l 2 and a certain delay between each other and shooting them obliquely on an overdense plasma target, one can generate harmonics with OAM spanning nl 1 to nl 2 , where n is the order of the harmonic. Such intense self torqued harmonics can offer new possibilities in ultrafast spectroscopy.


Power Reduction of Automatic Heterogeneous Device Offloading. In recent years, utilization of heterogeneous hardware other than small core CPU such as GPU, FPGA or many core CPU is increasing. However, when using heterogeneous hardware, barriers of technical skills such as CUDA are high. Based on that, I have proposed environment adaptive software that enables automatic conversion, configuration, and high performance and low power operation of once written code, according to the hardware to be placed. I also have verified performance improvement of automatic GPU and FPGA offloading so far. In this paper, I verify low power operation with environment adaptation by confirming power utilization after automatic offloading. I compare Watt seconds of existing applications after automatic offloading with the case of CPU only processing.


Using Graph Aware Reinforcement Learning to Identify Winning Strategies in Diplomacy Games (Student Abstract). This abstract proposes an approach towards goal oriented modeling of the detection and modeling complex social phenomena in multiparty discourse in an online political strategy game. We developed a two tier approach that first encodes sociolinguistic behavior as linguistic features then use reinforcement learning to estimate the advantage afforded to any player. In the first tier, sociolinguistic behavior, such as Friendship and Reasoning, that speakers use to influence others are encoded as linguistic features to identify the persuasive strategies applied by each player in simultaneous two party dialogues. In the second tier, a reinforcement learning approach is used to estimate a graph aware reward function to quantify the advantage afforded to each player based on their standing in this multiparty setup. We apply this technique to the game Diplomacy, using a dataset comprising of over 15,000 messages exchanged between 78 users. Our graph aware approach shows robust performance compared to a context agnostic setup.


Based modules over the imath quantum group of type AI. This paper studies classical weight modules over the imath quantum group mathbf U imath of type AI. We introduce the notion of based mathbf U imath modules by generalizing the notion of based modules over the quantum groups. We prove that each finite dimensional irreducible classical weight mathbf U imath module with integer highest weight is a based mathbf U imath module. As a byproduct, a new combinatorial formula for the branching rule from mathfrak sl n to mathfrak so n is obtained.


FlowPool Pooling Graph Representations with Wasserstein Gradient Flows. In several machine learning tasks for graph structured data, the graphs under consideration may be composed of a varying number of nodes. Therefore, it is necessary to design pooling methods that aggregate the graph representations of varying size to representations of fixed size which can be used in downstream tasks, such as graph classification. Existing graph pooling methods offer no guarantee with regards to the similarity of a graph representation and its pooled version. In this work we address this limitation by proposing FlowPool, a pooling method that optimally preserves the statistics of a graph representation to its pooled counterpart by minimizing their Wasserstein distance. This is achieved by performing a Wasserstein gradient flow with respect to the pooled graph representation. We propose a versatile implementation of our method which can take into account the geometry of the representation space through any ground cost. This implementation relies on the computation of the gradient of the Wasserstein distance with recently proposed implicit differentiation schemes. Our pooling method is amenable to automatic differentiation and can be integrated in end to end deep learning architectures. Further, FlowPool is invariant to permutations and can therefore be combined with permutation equivariant feature extraction layers in GNNs in order to obtain predictions that are independent of the ordering of the nodes. Experimental results demonstrate that our method leads to an increase in performance compared to existing pooling methods when evaluated in graph classification tasks.


Information Spread with Error Correction. We study the process of information dispersal in a network with communication errors and local error correction. Specifically we consider a simple model where a single bit of information initially known to a single source is dispersed through the network, and communication errors lead to differences in the agents' opinions on this information. Naturally, such errors can very quickly make the communication completely unreliable, and in this work we study to what extent this unreliability can be mitigated by local error correction, where nodes periodically correct their opinion based on the opinion of (some subset of) their neighbors. We analyze how the error spreads in the "early stages" of information dispersal by monitoring the average opinion, i.e., the fraction of agents that have the correct information among all nodes that hold an opinion at a given time. Our main results show that even with significant effort in error correction, tiny amounts of noise can lead the average opinion to be nearly uncorrelated with the truth in early stages. We also propose some local methods to help agents gauge when the information they have has stabilized.


Learning Granularity Aware Convolutional Neural Network for Fine Grained Visual Classification. Locating discriminative parts plays a key role in fine grained visual classification due to the high similarities between different objects. Recent works based on convolutional neural networks utilize the feature maps taken from the last convolutional layer to mine discriminative regions. However, the last convolutional layer tends to focus on the whole object due to the large receptive field, which leads to a reduced ability to spot the differences. To address this issue, we propose a novel Granularity Aware Convolutional Neural Network (GA CNN) that progressively explores discriminative features. Specifically, GA CNN utilizes the differences of the receptive fields at different layers to learn multi granularity features, and it exploits larger granularity information based on the smaller granularity information found at the previous stages. To further boost the performance, we introduce an object attentive module that can effectively localize the object given a raw image. GA CNN does not need bounding boxes part annotations and can be trained end to end. Extensive experimental results show that our approach achieves state of the art performances on three benchmark datasets.


Globally Optimal Hierarchical Reinforcement Learning for Linearly Solvable Markov Decision Processes. In this work we present a novel approach to hierarchical reinforcement learning for linearly solvable Markov decision processes. Our approach assumes that the state space is partitioned, and the subtasks consist in moving between the partitions. We represent value functions on several levels of abstraction, and use the compositionality of subtasks to estimate the optimal values of the states in each partition. The policy is implicitly defined on these optimal value estimates, rather than being decomposed among the subtasks. As a consequence, our approach can learn the globally optimal policy, and does not suffer from the non stationarity of high level decisions. If several partitions have equivalent dynamics, the subtasks of those partitions can be shared. If the set of boundary states is smaller than the entire state space, our approach can have significantly smaller sample complexity than that of a flat learner, and we validate this empirically in several experiments.


Non uniform Observability for Moving Horizon Estimation and stability with respect to additive perturbation. This paper formalises the concepts of weakly and weakly regularly persistent input trajectory as well as their link to the Observability Grammian and the existence and uniqueness of solutions of Moving Horizon Estimation (MHE) problems. Additionally, thanks to a new time uniform Implicit Function Theorem, these notions are proved to imply the stability of MHE solutions with respect to small additive perturbation in the measurements, both uniformly and non uniformly in time. Finally, examples and counter examples of weakly persistent and weakly regularly persistent input trajectories are given in the case of 2D bearing only navigation.


On the Hodge embedding for PEL type integral models of Shimura varieties. We give a simple proof that Kottwitz's PEL type integral models of Shimura varieties admit closed embeddings into Siegel integral models. We also show that Rapoport's and Kottwitz's integral models agree with Kisin's integral models for relevant Shimura data.


Attribute specific Control Units in StyleGAN for Fine grained Image Manipulation. Image manipulation with StyleGAN has been an increasing concern in recent years.Recent works have achieved tremendous success in analyzing several semantic latent spaces to edit the attributes of the generated images.However, due to the limited semantic and spatial manipulation precision in these latent spaces, the existing endeavors are defeated in fine grained StyleGAN image manipulation, i.e., local attribute translation.To address this issue, we discover attribute specific control units, which consist of multiple channels of feature maps and modulation styles. Specifically, we collaboratively manipulate the modulation style channels and feature maps in control units rather than individual ones to obtain the semantic and spatial disentangled controls. Furthermore, we propose a simple yet effective method to detect the attribute specific control units. We move the modulation style along a specific sparse direction vector and replace the filter wise styles used to compute the feature maps to manipulate these control units. We evaluate our proposed method in various face attribute manipulation tasks. Extensive qualitative and quantitative results demonstrate that our proposed method performs favorably against the state of the art methods. The manipulation results of real images further show the effectiveness of our method.


A multi type branching process method for modelling complex contagion on clustered networks. Complex contagion adoption dynamics are characterised by a node being more likely to adopt after multiple network neighbours have adopted. We show how to construct multi type branching processes to approximate complex contagion adoption dynamics on networks with clique based clustering. This involves tracking the evolution of a cascade via different classes of clique motifs that account for the different numbers of active, inactive and removed nodes. This discrete time model assumes that active nodes become immediately and certainly removed in the next time step. This description allows for extensive Monte Carlo simulations (which are faster than network based simulations), accurate analytical calculation of cascade sizes, determination of critical behaviour and other quantities of interest.


Radiation pressure acceleration of protons from structured thin foil targets. The process of radiation pressure acceleration (RPA) of ions is investigated with the aim of suppressing the Rayleigh Taylor like transverse instabilities in laser foil interaction. This is achieved by imposing surface and density modulations on the target surface. We also study the efficacy of RPA of ions from density modulated and structured targets in the radiation dominated regime where the radiation reaction effects are important. We show that the use of density modulated and structured targets and the radiation reaction effects can help in achieving the twin goals of high ion energy (in GeV range) and lower energy spread.


Direct then Diffuse Incremental Unsupervised Skill Discovery for State Covering and Goal Reaching. Learning meaningful behaviors in the absence of reward is a difficult problem in reinforcement learning. A desirable and challenging unsupervised objective is to learn a set of diverse skills that provide a thorough coverage of the state space while being directed, i.e., reliably reaching distinct regions of the environment. In this paper, we build on the mutual information framework for skill discovery and introduce UPSIDE, which addresses the coverage directedness trade off in the following ways 1) We design policies with a decoupled structure of a directed skill, trained to reach a specific region, followed by a diffusing part that induces a local coverage. 2) We optimize policies by maximizing their number under the constraint that each of them reaches distinct regions of the environment (i.e., they are sufficiently discriminable) and prove that this serves as a lower bound to the original mutual information objective. 3) Finally, we compose the learned directed skills into a growing tree that adaptively covers the environment. We illustrate in several navigation and control environments how the skills learned by UPSIDE solve sparse reward downstream tasks better than existing baselines.


math.NA cs.NA physics.comp-ph physics.flu-dyn

On a linear stability issue of split form schemes for compressible flows. Split form schemes for Euler and Navier Stokes equations are useful for computation of turbulent flows due to their better robustness. This is because they satisfy additional conservation properties of the governing equations like kinetic energy preservation leading to a reduction in aliasing errors at high orders. Recently, linear stability issues have been pointed out for these schemes for a density wave problem and we investigate this behaviour for some standard split forms. By deriving linearized equations of split form schemes, we show that most existing schemes do not satisfy a perturbation energy equation that holds at the continuous level. A simple modification to the energy flux of some existing schemes is shown to yield a scheme that is consistent with the energy perturbation equation. Numerical tests are given using a discontinuous Galerkin method to demonstrate these results.


Cup products on curves over finite fields. In this paper we compute cup products of elements of the first 'etale cohomology group of mu ell over a smooth projective geometrically irreducible curve C over a finite field k when ell is a prime and k equiv 1 mod ell . Over the algebraic closure of k , such products are values of the Weil pairing on the ell torsion of the Jacobian of C . Over k , such cup products are more subtle due to the fact that they naturally take values in mathrm Pic (C) otimes mathbb Z tilde mu ell rather than in the group tilde mu ell of ell mathrm th roots of unity in k .


ENTRUST Argument Reframing with Language Models and Entailment. Framing involves the positive or negative presentation of an argument or issue depending on the audience and goal of the speaker (Entman 1983). Differences in lexical framing, the focus of our work, can have large effects on peoples' opinions and beliefs. To make progress towards reframing arguments for positive effects, we create a dataset and method for this task. We use a lexical resource for "connotations" to create a parallel corpus and propose a method for argument reframing that combines controllable text generation (positive connotation) with a post decoding entailment component (same denotation). Our results show that our method is effective compared to strong baselines along the dimensions of fluency, meaning, and trustworthiness reduction of fear.


Robust and Privacy Preserving Collaborative Learning A Comprehensive Survey. With the rapid demand of data and computational resources in deep learning systems, a growing number of algorithms to utilize collaborative machine learning techniques, for example, federated learning, to train a shared deep model across multiple participants. It could effectively take advantage of the resources of each participant and obtain a more powerful learning system. However, integrity and privacy threats in such systems have greatly obstructed the applications of collaborative learning. And a large amount of works have been proposed to maintain the model integrity and mitigate the privacy leakage of training data during the training phase for different collaborative learning systems. Compared with existing surveys that mainly focus on one specific collaborative learning system, this survey aims to provide a systematic and comprehensive review of security and privacy researches in collaborative learning. Our survey first provides the system overview of collaborative learning, followed by a brief introduction of integrity and privacy threats. In an organized way, we then detail the existing integrity and privacy attacks as well as their defenses. We also list some open problems in this area and opensource the related papers on GitHub https github.com csl cqu awesome secure collebrative learning papers.


Characterisation of conditional weak mixing via ergodicity of the tensor product in Riesz Spaces. We link conditional weak mixing and ergodicity of the tensor product in Riesz spaces. In particular, we characterise conditional weak mixing of a conditional expectation preserving system by the ergodicity of its tensor product with itself or other ergodic systems. In order to achieve this we characterise the components of the weak order units in the tensor product of two Dedekind complete Riesz spaces with weak order units.


Discrepancy in modular arithmetic progressions. Celebrated theorems of Roth and of Matou v s ek and Spencer together show that the discrepancy of arithmetic progressions in the first n positive integers is Theta(n 1 4 ) . We study the analogous problem in the mathbb Z n setting. We asymptotically determine the logarithm of the discrepancy of arithmetic progressions in mathbb Z n for all positive integer n . We further determine up to a constant factor the discrepancy of arithmetic progressions in mathbb Z n for many n . For example, if n p k is a prime power, then the discrepancy of arithmetic progressions in mathbb Z n is Theta(n 1 3 r k (6k) ) , where r k in 0,1,2 is the remainder when k is divided by 3 . This solves a problem of Hebbinghaus and Srivastav.


Antibiotic resistance Insights from evolution experiments and mathematical modeling. Antibiotic resistance is a growing public health problem. To gain a fundamental understanding of resistance evolution, a combination of systematic experimental and theoretical approaches is required. Evolution experiments combined with next generation sequencing techniques, laboratory automation, and mathematical modeling are enabling the investigation of resistance development at an unprecedented level of detail. Recent work has directly tracked the intricate stochastic dynamics of bacterial populations in which resistant mutants emerge and compete. In addition, new approaches have enabled measuring how prone a large number of genetically perturbed strains are to evolve resistance. Based on advances in quantitative cell physiology, predictive theoretical models of resistance are increasingly being developed. Taken together, a new strategy for observing, predicting, and ultimately controlling resistance evolution is emerging.


The Impact of Activation Sparsity on Overfitting in Convolutional Neural Networks. Overfitting is one of the fundamental challenges when training convolutional neural networks and is usually identified by a diverging training and test loss. The underlying dynamics of how the flow of activations induce overfitting is however poorly understood. In this study we introduce a perplexity based sparsity definition to derive and visualise layer wise activation measures. These novel explainable AI strategies reveal a surprising relationship between activation sparsity and overfitting, namely an increase in sparsity in the feature extraction layers shortly before the test loss starts rising. This tendency is preserved across network architectures and reguralisation strategies so that our measures can be used as a reliable indicator for overfitting while decoupling the network's generalisation capabilities from its loss based definition. Moreover, our differentiable sparsity formulation can be used to explicitly penalise the emergence of sparsity during training so that the impact of reduced sparsity on overfitting can be studied in real time. Applying this penalty and analysing activation sparsity for well known regularisers and in common network architectures supports the hypothesis that reduced activation sparsity can effectively improve the generalisation and classification performance. In line with other recent work on this topic, our methods reveal novel insights into the contradicting concepts of activation sparsity and network capacity by demonstrating that dense activations can enable discriminative feature learning while efficiently exploiting the capacity of deep models without suffering from overfitting, even when trained excessively.


An efficient, memory saving approach for the Loewner framework. The Loewner framework is one of the most successful data driven model order reduction techniques. If N is the cardinality of a given data set, the so called Loewner and shifted Loewner matrices mathbb L in mathbb C N times N and mathbb S in mathbb C N times N can be defined by solely relying on information encoded in the considered data set and they play a crucial role in the computation of the sought rational model approximation. In particular, the singular value decomposition of a linear combination of mathbb S and mathbb L provides the tools needed to construct accurate models which fulfill important approximation properties with respect to the original data set. However, for highly sampled data sets, the dense nature of mathbb L and mathbb S leads to numerical difficulties, namely the failure to allocate these matrices in certain memory limited environments or excessive computational costs. Even though they do not possess any sparsity pattern, the Loewner and shifted Loewner matrices are extremely structured and, in this paper, we show how to fully exploit their Cauchy like structure to reduce the cost of computing accurate rational models while avoiding the explicit allocation of mathbb L and mathbb S . In particular, the use of the emph hierarchically semiseparable format allows us to remarkably lower both the computational cost and the memory requirements of the Loewner framework obtaining a novel scheme whose costs scale with N log N .


The 1 1 algorithm for Travelling Salesman Problem. The Travelling Salesman Problem (TSP), finding a minimal weighted Hamilton cycle in a graph, is a typical problem in operation research and combinatorial optimization. In this paper, based on some novel properties on Hamilton graphs, we present a precise algorithm for finding a minimal weighted Hamilton cycle in a non metric and symmetric graph with time complexity of textit O ( E(G) 3) , where E(G) is the size of graph G.


Adversarial Relighting against Face Recognition. Deep face recognition (FR) has achieved significantly high accuracy on several challenging datasets and fosters successful real world applications, even showing high robustness to the illumination variation that is usually regarded as a main threat to the FR system. However, in the real world, illumination variation caused by diverse lighting conditions cannot be fully covered by the limited face dataset. In this paper, we study the threat of lighting against FR from a new angle, i.e., adversarial attack, and identify a new task, i.e., adversarial relighting. Given a face image, adversarial relighting aims to produce a naturally relighted counterpart while fooling the state of the art deep FR methods. To this end, we first propose the physical model based adversarial relighting attack (ARA) denoted as albedo quotient based adversarial relighting attack (AQ ARA). It generates natural adversarial light under the physical lighting model and guidance of FR systems and synthesizes adversarially relighted face images. Moreover, we propose the auto predictive adversarial relighting attack (AP ARA) by training an adversarial relighting network (ARNet) to automatically predict the adversarial light in a one step manner according to different input faces, allowing efficiency sensitive applications. More importantly, we propose to transfer the above digital attacks to physical ARA (Phy ARA) through a precise relighting device, making the estimated adversarial lighting condition reproducible in the real world. We validate our methods on three state of the art deep FR methods, i.e., FaceNet, ArcFace, and CosFace, on two public datasets. The extensive and insightful results demonstrate our work can generate realistic adversarial relighted face images fooling FR easily, revealing the threat of specific light directions and strengths.


Perturbative corrections for Hartree Fock like Algebraic Bethe Ansatz analogue. Rayleigh Schr " o dinger perturbation theory corrections are developed for an algebraic Bethe ansatz of individual electrons. Numerical results are ambiguous and would need either an orbital optimization or a configuration interaction singles solution to be satisfactory. Two different expressions are computed to be certain that results are correct.


Deficiency of p Class Tower Groups and Minkowski Units. Let p be a prime. We define the deficiency of a finitely generated pro p group G to be r(G) d(G) where d(G) is the minimal number of generators of G and r(G) is its minimal number of relations. For a number field K , let K emptyset be the maximal unramified p extension of K , with Galois group G emptyset Gal(K emptyset K) . In the 1960s, Shafarevich (and independently Koch) showed that the deficiency of G emptyset satisfies 0 leq mathrm Def ( rm G emptyset) leq dim (O K times (O K times ) p), relating the deficiency of G emptyset to the p rank of the unit group O K times of the ring of integers O K of K . In this work, we further explore connections between relations of the group G emptyset and the units in the tower K emptyset K , especially their Galois module structure. In particular, under the assumption that K does not contain a primitive p th root of unity, we give an exact formula for mathrm Def ( rm G emptyset) in terms of the number of independent Minkowski units in the tower. The method also allows us to infer more information about the relations of G emptyset , such as their depth in the Zassenhaus filtration, which in certain circumstances makes it easier to show that G emptyset is infinite. We illustrate how the techniques can be used to provide evidence for the expectation that the Shafarevich Koch upper bound is "almost always" sharp.


Envy free division via configuration spaces. The classical approach to envy free division and equilibrium problems relies on Knaster Kuratowski Mazurkiewicz theorem, Sperner's lemma or some extension involving mapping degree. We propose a different and relatively novel approach where the emphasis is on configuration spaces and equivariant topology. We illustrate the method by proving several relatives (extensions) of the classical envy free division theorem of David Gale, where the emphasis is on preferences allowing the players to choose degenerate pieces of the cake.


Interpretable Feature Construction for Time Series Extrinsic Regression. Supervised learning of time series data has been extensively studied for the case of a categorical target variable. In some application domains, e.g., energy, environment and health monitoring, it occurs that the target variable is numerical and the problem is known as time series extrinsic regression (TSER). In the literature, some well known time series classifiers have been extended for TSER problems. As first benchmarking studies have focused on predictive performance, very little attention has been given to interpretability. To fill this gap, in this paper, we suggest an extension of a Bayesian method for robust and interpretable feature construction and selection in the context of TSER. Our approach exploits a relational way to tackle with TSER (i), we build various and simple representations of the time series which are stored in a relational data scheme, then, (ii), a propositionalisation technique (based on classical aggregation selection functions from the relational data field) is applied to build interpretable features from secondary tables to "flatten" the data and (iii), the constructed features are filtered out through a Bayesian Maximum A Posteriori approach. The resulting transformed data can be processed with various existing regressors. Experimental validation on various benchmark data sets demonstrates the benefits of the suggested approach.


Well posedness of stochastic continuity equations on Riemannian manifolds. We analyze continuity equations with Stratonovich stochasticity, partial rho div h left rho circ left(u(t,x) sum i 1 N a i(x) dot W i(t) right) right 0 , defined on a smooth closed Riemannian manifold M with metric h . The velocity field u is perturbed by Gaussian noise terms dot W 1(t), ldots, dot W N(t) driven by smooth spatially dependent vector fields a 1(x), ldots,a N(x) on M . The velocity u belongs to L 1 t W 1,2 x with div h u bounded in L p t,x for p d 2 , where d is the dimension of M (we do not assume div h u in L infty t,x ). We show that by carefully choosing the noise vector fields a i (and the number N of them), the initial value problem is well posed in the class of weak L 2 solutions, although the problem can be ill posed in the deterministic case because of concentration effects. The proof of this "regularization by noise" result reveals a link between the nonlinear structure of the underlying domain M and the noise, a link that is somewhat hidden in the Euclidian case ( a i constant) cite Beck 2019,Flandoli Gubinelli Priola,Neves 2015aa . The proof is based on an a priori estimate in L 2 , which is obtained by a duality method, and a weak compactness argument.


Integrated Grad CAM Sensitivity Aware Visual Explanation of Deep Convolutional Networks via Integrated Gradient Based Scoring. Visualizing the features captured by Convolutional Neural Networks (CNNs) is one of the conventional approaches to interpret the predictions made by these models in numerous image recognition applications. Grad CAM is a popular solution that provides such a visualization by combining the activation maps obtained from the model. However, the average gradient based terms deployed in this method underestimates the contribution of the representations discovered by the model to its predictions. Addressing this problem, we introduce a solution to tackle this issue by computing the path integral of the gradient based terms in Grad CAM. We conduct a thorough analysis to demonstrate the improvement achieved by our method in measuring the importance of the extracted representations for the CNN's predictions, which yields to our method's administration in object localization and model interpretation.


Transformer Meets Convolution A Bilateral Awareness Net work for Semantic Segmentation of Very Fine Resolution Ur ban Scene Images. Semantic segmentation from very fine resolution (VFR) urban scene images plays a significant role in several application scenarios including autonomous driving, land cover classification, and urban planning, etc. However, the tremendous details contained in the VFR image severely limit the potential of the existing deep learning approaches. More seriously, the considerable variations in scale and appearance of objects further deteriorate the representational capacity of those se mantic segmentation methods, leading to the confusion of adjacent objects. Addressing such is sues represents a promising research field in the remote sensing community, which paves the way for scene level landscape pattern analysis and decision making. In this manuscript, we pro pose a bilateral awareness network (BANet) which contains a dependency path and a texture path to fully capture the long range relationships and fine grained details in VFR images. Specif ically, the dependency path is conducted based on the ResT, a novel Transformer backbone with memory efficient multi head self attention, while the texture path is built on the stacked convo lution operation. Besides, using the linear attention mechanism, a feature aggregation module (FAM) is designed to effectively fuse the dependency features and texture features. Extensive experiments conducted on the three large scale urban scene image segmentation datasets, i.e., ISPRS Vaihingen dataset, ISPRS Potsdam dataset, and UAVid dataset, demonstrate the effective ness of our BANet. Specifically, a 64.6 mIoU is achieved on the UAVid dataset.


Can I Be of Further Assistance? Using Unstructured Knowledge Access to Improve Task oriented Conversational Modeling. Most prior work on task oriented dialogue systems are restricted to limited coverage of domain APIs. However, users oftentimes have requests that are out of the scope of these APIs. This work focuses on responding to these beyond API coverage user turns by incorporating external, unstructured knowledge sources. Our approach works in a pipelined manner with knowledge seeking turn detection, knowledge selection, and response generation in sequence. We introduce novel data augmentation methods for the first two steps and demonstrate that the use of information extracted from dialogue context improves the knowledge selection and end to end performances. Through experiments, we achieve state of the art performance for both automatic and human evaluation metrics on the DSTC9 Track 1 benchmark dataset, validating the effectiveness of our contributions.


Analytic Expressions for Orbital Angular Momentum Modal Crosstalk in a Slightly Elliptical Fiber. Assuming weakly guiding approximation, we examine orbital angular momentum (OAM) mode mixing on account of ellipticity in a fiber and derive a complete set of analytic expressions for spatial crosstalk, using scalar perturbation theory that incorporates fully the existing degeneracy between a spatial OAM mode and its degenerate partner characterized by a topological charge of opposite sign. These expressions, consequently, include an explicit formula for calculating the 2 pi walk off length over which an input OAM mode converts into its degenerate partner, and back into itself. We further explore the applicability of the derived expressions in the presence of spin orbit interaction. The expressions constitute a useful mathematical tool in the analysis and design of fibers for spatially multiplexed mode transmissions. Their utility is demonstrated with application to a few mode and a multimode step index fiber.


Offline to Online Reinforcement Learning via Balanced Replay and Pessimistic Q Ensemble. Recent advance in deep offline reinforcement learning (RL) has made it possible to train strong robotic agents from offline datasets. However, depending on the quality of the trained agents and the application being considered, it is often desirable to fine tune such agents via further online interactions. In this paper, we observe that state action distribution shift may lead to severe bootstrap error during fine tuning, which destroys the good initial policy obtained via offline RL. To address this issue, we first propose a balanced replay scheme that prioritizes samples encountered online while also encouraging the use of near on policy samples from the offline dataset. Furthermore, we leverage multiple Q functions trained pessimistically offline, thereby preventing overoptimism concerning unfamiliar actions at novel states during the initial training phase. We show that the proposed method improves sample efficiency and final performance of the fine tuned robotic agents on various locomotion and manipulation tasks. Our code is available at https github.com shlee94 Off2OnRL.


URIR Recommendation algorithm of user RNN encoder and item encoder based on knowledge graph. Due to a large amount of information, it is difficult for users to find what they are interested in among the many choices. In order to improve users' experience, recommendation systems have been widely used in music recommendations, movie recommendations, online shopping, and other scenarios. Recently, Knowledge Graph (KG) has been proven to be an effective tool to improve the performance of recommendation systems. However, a huge challenge in applying knowledge graphs for recommendation is how to use knowledge graphs to obtain better user codes and item codes. In response to this problem, this research proposes a user Recurrent Neural Network (RNN) encoder and item encoder recommendation algorithm based on Knowledge Graph (URIR). This study encodes items by capturing high level neighbor information to generate items' representation vectors and applies an RNN and items' representation vectors to encode users to generate users' representation vectors, and then perform inner product operation on users' representation vectors and items' representation vectors to get probabilities of users interaction with items. Numerical experiments on three real world datasets demonstrate that URIR is superior performance to state of the art algorithms in indicators such as AUC, Precision, Recall, and MRR. This implies that URIR can effectively use knowledge graph to obtain better user codes and item codes, thereby obtaining better recommendation results.


The strong component structure of the barely subcritical directed configuration model. We study the behaviour of the largest components of the directed configuration model in the barely subcritical regime. We show that with high probability all strongly connected components in this regime are either cycles or isolated vertices and give an asymptotic distribution of the size of the k th largest cycle. This gives a configuration model analogue of a result of L uczak and Seierstad for the binomial random digraph.


An activation clearance model for Plasmodium vivax malaria. Malaria is an infectious disease with an immense global health burden. Plasmodium vivax is the most geographically widespread species of malaria. Relapsing infections, caused by the activation of liver stage parasites known as hypnozoites, are a critical feature of the epidemiology of Plasmodium vivax. Hypnozoites remain dormant in the liver for weeks or months after inoculation, but cause relapsing infections upon activation. Here, we introduce a dynamic probability model of the activation clearance process governing both potential relapses and the size of the hypnozoite reservoir. We begin by modelling activation clearance dynamics for a single hypnozoite using a continuous time Markov chain. We then extend our analysis to consider activation clearance dynamics for a single mosquito bite, which can simultaneously establish multiple hypnozoites, under the assumption of independent hypnozoite behaviour. We derive analytic expressions for the time to first relapse and the time to hypnozoite clearance for mosquito bites establishing variable numbers of hypnozoites, both of which are quantities of epidemiological significance. Our results extend those in the literature, which were limited due to an assumption of non independence. Our within host model can be embedded readily in multi scale models and epidemiological frameworks, with analytic solutions increasing the tractability of statistical inference and analysis. Our work therefore provides a foundation for further work on immune development and epidemiological scale analysis, both of which are important for achieving the goal of malaria elimination.


Beyond the Hausdorff Metric in Digital Topology. Two objects may be close in the Hausdorff metric, yet have very different geometric and topological properties. We examine other methods of comparing digital images such that objects close in each of these measures have some similar geometric or topological property. Such measures may be combined with the Hausdorff metric to yield a metric in which close images are similar with respect to multiple properties.


An Empirical Study on Deployment Faults of Deep Learning Based Mobile Applications. Deep Learning (DL) is finding its way into a growing number of mobile software applications. These software applications, named as DL based mobile applications (abbreviated as mobile DL apps) integrate DL models trained using large scale data with DL programs. A DL program encodes the structure of a desirable DL model and the process by which the model is trained using training data. Due to the increasing dependency of current mobile apps on DL, software engineering (SE) for mobile DL apps has become important. However, existing efforts in SE research community mainly focus on the development of DL models and extensively analyze faults in DL programs. In contrast, faults related to the deployment of DL models on mobile devices (named as deployment faults of mobile DL apps) have not been well studied. Since mobile DL apps have been used by billions of end users daily for various purposes including for safety critical scenarios, characterizing their deployment faults is of enormous importance. To fill the knowledge gap, this paper presents the first comprehensive study on the deployment faults of mobile DL apps. We identify 304 real deployment faults from Stack Overflow and GitHub, two commonly used data sources for studying software faults. Based on the identified faults, we construct a fine granularity taxonomy consisting of 23 categories regarding to fault symptoms and distill common fix strategies for different fault types. Furthermore, we suggest actionable implications and research avenues that could further facilitate the deployment of DL models on mobile devices.


Tracking Air Pollution in China Near Real Time PM2.5 Retrievals from Multiple Data Sources. Air pollution has altered the Earth radiation balance, disturbed the ecosystem and increased human morbidity and mortality. Accordingly, a full coverage high resolution air pollutant dataset with timely updates and historical long term records is essential to support both research and environmental management. Here, for the first time, we develop a near real time air pollutant database known as Tracking Air Pollution in China (TAP, tapdata.org) that combines information from multiple data sources, including ground measurements, satellite retrievals, dynamically updated emission inventories, operational chemical transport model simulations and other ancillary data. Daily full coverage PM2.5 data at a spatial resolution of 10 km is our first near real time product. The TAP PM2.5 is estimated based on a two stage machine learning model coupled with the synthetic minority oversampling technique and a tree based gap filling method. Our model has an averaged out of bag cross validation R2 of 0.83 for different years, which is comparable to those of other studies, but improves its performance at high pollution levels and fills the gaps in missing AOD on daily scale. The full coverage and near real time updates of the daily PM2.5 data allow us to track the day to day variations in PM2.5 concentrations over China in a timely manner. The long term records of PM2.5 data since 2000 will also support policy assessments and health impact studies. The TAP PM2.5 data are publicly available through our website for sharing with the research and policy communities.


Systematic Analysis and Removal of Circular Artifacts for StyleGAN. StyleGAN is one of the state of the art image generators which is well known for synthesizing high resolution and hyper realistic face images. Though images generated by vanilla StyleGAN model are visually appealing, they sometimes contain prominent circular artifacts which severely degrade the quality of generated images. In this work, we provide a systematic investigation on how those circular artifacts are formed by studying the functionalities of different stages of vanilla StyleGAN architecture, with both mechanism analysis and extensive experiments. The key modules of vanilla StyleGAN that promote such undesired artifacts are highlighted. Our investigation also explains why the artifacts are usually circular, relatively small and rarely split into 2 or more parts. Besides, we propose a simple yet effective solution to remove the prominent circular artifacts for vanilla StyleGAN, by applying a novel pixel instance normalization (PIN) layer.


On critical graphs for the chromatic edge stability number. The em chromatic edge stability number es chi (G) of a graph G is the minimum number of edges whose removal results in a spanning subgraph with the chromatic number smaller than that of G . A graph G is called em (3,2) critical if chi(G) 3 , es chi (G) 2 and for any edge e in E(G) , es chi (G e) es chi (G) . In this paper, we characterize (3,2) critical graphs which contain at least five odd cycles. This answers a question proposed by Bre v s ar, Klav v z ar and Movarraei in Critical graphs for the chromatic edge stability number, it Discrete Math. bf 343 (2020) 111845 .


A Simple Approximation Algorithm for Vector Scheduling and Applications to Stochastic Min Norm Load Balancing. We consider the Vector Scheduling problem on identical machines we have m machines, and a set J of n jobs, where each job j has a processing time vector p j in mathbb R d geq 0 . The goal is to find an assignment sigma J to m of jobs to machines so as to minimize the makespan max i in m max r in d ( sum j sigma(j) i p j,r ) . A natural lower bound on the optimal makespan is lb max max j in J,r in d p j,r , max r in d ( sum j in J p j,r m) . Our main result is a very simple O(log d) approximation algorithm for vector scheduling with respect to the lower bound lb we devise an algorithm that returns an assignment whose makespan is at most O(log d) lb. As an application, we show that the above guarantee leads to an O(log log m) approximation for Stochastic Minimum Norm Load Balancing (StochNormLB). In StochNormLB, we have m identical machines, a set J of n independent stochastic jobs whose processing times are nonnegative random variables, and a monotone, symmetric norm f mathbb R m to mathbb R geq 0 . The goal is to find an assignment sigma J to m that minimizes the expected f norm of the induced machine load vector, where the load on machine i is the (random) total processing time assigned to it. Our O(log log m) approximation guarantee is in fact much stronger we obtain an assignment that is simultaneously an O(log log m) approximation for StochNormLB with all monotone, symmetric norms. Next, this approximation factor significantly improves upon the O(log m log log m) approximation in (Ibrahimpur and Swamy, FOCS 2020) for StochNormLB, and is a consequence of a more general black box reduction that we present, showing that a gamma(d) approximation for d dimensional vector scheduling with respect to the lower bound lb yields a simultaneous gamma( log m) approximation for StochNormLB with all monotone, symmetric norms.


Persistence of the steady planar normal shock structure in 3 D unsteady potential flows. This paper concerns the dynamic stability of the steady 3 D wave structure of a planar normal shock front intersecting perpendicularly to a planar solid wall for unsteady potential flows. The stability problem can be formulated as a free boundary problem of a quasi linear hyperbolic equation of second order in a dihedral space domain between the shock front and the solid wall. The key difficulty is brought by the edge singularity of the space domain, the intersection curve between the shock front and the solid wall. Different from the 2 D case, for which the singular part of the boundary is only a point, it is a curve for the 3 D case in this paper. This difference brings new difficulties to the mathematical analysis of the stability problem. A modified partial hodograph transformation is introduced such that the extension technique developed for the 2 D case can be employed to establish the well posed theory for the initial boundary value problem of the linearized hyperbolic equation of second order in a dihedral space domain. Moreover, the extension technique is improved in this paper such that loss of regularity in the a priori estimates on the shock front does not occur. Thus the classical nonlinear iteration scheme can be constructed to prove the existence of the solution to the stability problem, which shows the dynamic stability of the steady planar normal shock without applying the Nash Moser iteration method.


Enrichment of gut microbiome strains for cultivation free genome sequencing using droplet microfluidics. We report a droplet microfluidic method to target and sort individual cells directly from complex microbiome samples, and to prepare these cells for bulk whole genome sequencing without cultivation. We characterize this approach by recovering bacteria spiked into human stool samples at a ratio as low as 1 250 and by successfully enriching endogenous Bacteroides vulgatus to the level required for de novo assembly of high quality genomes. While microbiome strains are increasingly demanded for biomedical applications, the vast majority of species and strains are uncultivated and without reference genomes. We address this shortcoming by encapsulating complex microbiome samples directly into microfluidic droplets and amplify a target specific genomic fragment using a custom molecular TaqMan probe. We separate those positive droplets by droplet sorting, selectively enriching single target strain cells. Finally, we present a protocol to purify the genomic DNA while specifically removing amplicons and cell debris for high quality genome sequencing.


Another look at the continuity of moduli of noncompact convexity. In this article we introduce the new modulus triangle' X, phi ( varepsilon) , for which we prove that in the general case is different from the classical modulus of noncompact convexity. The main result of the paper is showing the continuity of the modulus of noncompact convexity for arbitrary minimalizable (strictly minimalizable) measure of noncompactness on arbitrary metric space.


Winograd Algorithm for AdderNet. Adder neural network (AdderNet) is a new kind of deep model that replaces the original massive multiplications in convolutions by additions while preserving the high performance. Since the hardware complexity of additions is much lower than that of multiplications, the overall energy consumption is thus reduced significantly. To further optimize the hardware overhead of using AdderNet, this paper studies the winograd algorithm, which is a widely used fast algorithm for accelerating convolution and saving the computational costs. Unfortunately, the conventional Winograd algorithm cannot be directly applied to AdderNets since the distributive law in multiplication is not valid for the l1 norm. Therefore, we replace the element wise multiplication in the Winograd equation by additions and then develop a new set of transform matrixes that can enhance the representation ability of output features to maintain the performance. Moreover, we propose the l2 to l1 training strategy to mitigate the negative impacts caused by formal inconsistency. Experimental results on both FPGA and benchmarks show that the new method can further reduce the energy consumption without affecting the accuracy of the original AdderNet.


Tail estimations for functions belonging to Grand Lebesgue Spaces builded on the set with infinite measure. We establish the bilateral exact reciprocal interrelations between a tail behavior of a measurable functions and its norm in the suitable Grand Lebesgue Space (GLS) as well as Orlicz one, builded over the set with infinite measure. We bring also some examples in order to illustrate the exactness of offered estimates.


Predictive Analysis of Chikungunya. Chikungunya is an emerging threat for health security all over the world which is spreading very fast. Researches for proper forecasting of the incidence rate of chikungunya has been going on in many places in which DARPA has done a very extensive summarized result from 2014 to 2017 with the data of suspected cases, confirmed cases, deaths, population and incidence rate in different countries. In this project, we have analysed the dataset from DARPA and extended it to predict the incidence rate using different features of weather like temperature, humidity, dewiness, wind and pressure along with the latitude and longitude of every country. We had to use different APIs to find out these extra features from 2014 2016. After creating a pure dataset, we have used Linear Regression to predict the incidence rate and calculated the accuracy and error rate.


PETALO read out A novel approach for data acquisition systems in PET applications. PETALO (a Positron Emission Tof Apparatus based on Liquid xenOn) is a new approach for Positron Emission Tomography scanners, based on liquid xenon. The PETALO detector aims at capturing the light produced by the scintillation in LXe taking advantage of its uniform response and continuity. This strategy will lead to a geometrical distortion free behavior compared to other PET detectors. To this end, the sensors chosen for the light readout are SiPMs, which provide large area, high gain and very low noise. In order to take advantage of the unique PETALO detector characteristics a read out architecture must be designed to meet the following specifications Electronics associated to detector (front end and read out itself) must be fully expandable in terms of detector size. Read out scheme must be compatible with the non segmented structure of the detector. Time of Flight (TOF) capabilities must be assured at the scanner level, that is to say front end and read out electronics should not degrade LXe time performance. In these proceedings, a new readout concept is introduced which is compatible with a fully continuous medium detector such as PETALO. Results show that the system is feasible, with the introduction of a fast compression technique to further reduce the data bandwidth requirements.


Decompose the Sounds and Pixels, Recompose the Events. In this paper, we propose a framework centering around a novel architecture called the Event Decomposition Recomposition Network (EDRNet) to tackle the Audio Visual Event (AVE) localization problem in the supervised and weakly supervised settings. AVEs in the real world exhibit common unravelling patterns (termed as Event Progress Checkpoints (EPC)), which humans can perceive through the cooperation of their auditory and visual senses. Unlike earlier methods which attempt to recognize entire event sequences, the EDRNet models EPCs and inter EPC relationships using stacked temporal convolutions. Based on the postulation that EPC representations are theoretically consistent for an event category, we introduce the State Machine Based Video Fusion, a novel augmentation technique that blends source videos using different EPC template sequences. Additionally, we design a new loss function called the Land Shore Sea loss to compactify continuous foreground and background representations. Lastly, to alleviate the issue of confusing events during weak supervision, we propose a prediction stabilization method called Bag to Instance Label Correction. Experiments on the AVE dataset show that our collective framework outperforms the state of the art by a sizable margin.


Speechformer Reducing Information Loss in Direct Speech Translation. Transformer based models have gained increasing popularity achieving state of the art performance in many research fields including speech translation. However, Transformer's quadratic complexity with respect to the input sequence length prevents its adoption as is with audio signals, which are typically represented by long sequences. Current solutions resort to an initial sub optimal compression based on a fixed sampling of raw audio features. Therefore, potentially useful linguistic information is not accessible to higher level layers in the architecture. To solve this issue, we propose Speechformer, an architecture that, thanks to reduced memory usage in the attention layers, avoids the initial lossy compression and aggregates information only at a higher level according to more informed linguistic criteria. Experiments on three language pairs (en de es nl) show the efficacy of our solution, with gains of up to 0.8 BLEU on the standard MuST C corpus and of up to 4.0 BLEU in a low resource scenario.


Virtual screening of Microalgal compounds as potential inhibitors of Type 2 Human Transmembrane serine protease (TMPRSS2). More than 198 million cases of severe acute respiratory syndrome coronavirus 2 (SARS CoV 2) has been reported that result in no fewer than 4.2 million deaths globally. The rapid spread of the disease coupled with the lack of specific registered drugs for its treatment pose a great challenge that necessitate the development of therapeutic agents from a variety of sources. In this study, we employed an in silico method to screen natural compounds with a view to identify inhibitors of the human transmembrane protease serine type 2 (TMPRSS2). The activity of this enzyme is essential for viral access into the host cells via angiotensin converting enzyme 2 (ACE 2). Inhibiting the activity of this enzyme is therefore highly crucial for preventing viral fusion with ACE 2 thus shielding SARS CoV 2 infectivity. 3D model of TMPRSS2 was constructed using I TASSER, refined by GalaxyRefine, validated by Ramachandran plot server and overall model quality was checked by ProSA. 95 natural compounds from microalgae were virtually screened against the modeled protein that led to the identification 17 best leads capable of binding to TMPRSS2 with a good binding score comparable, greater or a bit lower than that of the standard inhibitor (camostat). Physicochemical properties, ADME (absorption, distribution, metabolism, excretion) and toxicity analysis revealed top 4 compounds including the reference drug with good pharmacokinetic and pharmacodynamic profiles. These compounds bind to the same pocket of the protein with a binding energy of 7.8 kcal mol, 7.6 kcal mol, 7.4 kcal mol and 7.4 kcal mol each for camostat, apigenin, catechin and epicatechin respectively. This study shed light on the potential of microalgal compounds against SARS CoV 2. In vivo and invitro studies are required to developed SARS CoV 2 drugs based on the structures of the compounds identified in this study.


A beta Sturm Liouville problem associated with the general quantum operator. Let ,I subseteq mathbb R , be an interval and , beta ,I rightarrow ,I , a strictly increasing and continuous function with a unique fixed point ,s 0 in I , which satisfies ,(s 0 t)( beta(t) t) geq 0 , for all ,t in I , where the equality holds only when ,t s 0 . The general quantum operator defined in 2015 by Hamza et al., ,D beta f (t) displaystyle frac f big( beta(t) big) f(t) beta(t) t , if ,t neq s 0 , and ,D beta f (s 0) f prime (s 0) , if ,t s 0, generalizes the Jackson ,q operator ,D q , and also the Hahn ,(q, omega) operator, ,D q, omega . Regarding a beta Sturm Liouville eigenvalue problem associated with the above operator ,D beta , , we construct the beta Lagrange's identity, show that it is self adjoint in , mathscr L beta 2( a,b ), and exhibit some properties for the corresponding eigenvalues and eigenfunctions.


Exact solutions to the Erd H o s Rothschild problem. Let textbf k (k 1, ldots,k s) be a sequence of natural numbers. For a graph G , let F(G textbf k ) denote the number of colourings of the edges of G with colours 1, dots,s such that, for every c in 1, dots,s , the edges of colour c contain no clique of order k c . Write F(n textbf k ) to denote the maximum of F(G textbf k ) over all graphs G on n vertices. There are currently very few known exact (or asymptotic) results known for this problem, posed by Erd H o s and Rothschild in 1974. We prove some new exact results for n to infty (i) A sufficient condition on textbf k which guarantees that every extremal graph is a complete multipartite graph, which systematically recovers all existing exact results. (ii) Addressing the original question of Erd H o s and Rothschild, in the case textbf k (3, ldots,3) of length 7 , the unique extremal graph is the complete balanced 8 partite graph, with colourings coming from Hadamard matrices of order 8 . (iii) In the case textbf k (k 1,k) , for which the sufficient condition in (i) does not hold, for 3 leq k leq 10 , the unique extremal graph is complete k partite with one part of size less than k and the other parts as equal in size as possible.


Edge Rewiring Goes Neural Boosting Network Resilience via Policy Gradient. Improving the resilience of a network protects the system from natural disasters and malicious attacks. This is typically achieved by introducing new edges, which however may reach beyond the maximum number of connections a node could sustain. Many studies then resort to the degree preserving operation of rewiring, which swaps existing edges AC, BD to new edges AB, CD . A significant line of studies focuses on this technique for theoretical and practical results while leaving three limitations network utility loss, local optimality, and transductivity. In this paper, we propose ResiNet, a reinforcement learning (RL) based framework to discover resilient network topologies against various disasters and attacks. ResiNet is objective agnostic which allows the utility to be balanced by incorporating it into the objective function. The local optimality, typically seen in greedy algorithms, is addressed by casting the cumulative resilience gain into a sequential decision process of step wise rewiring. The transductivity, which refers to the necessity to run a computationally intensive optimization for each input graph, is lifted by our variant of RL with auto regressive permutation invariant variable action space. ResiNet is armed by our technical innovation, Filtration enhanced GNN (FireGNN), which distinguishes graphs with minor differences. It is thus possible for ResiNet to capture local structure changes and adapt its decision among consecutive graphs, which is known to be infeasible for GNN. Extensive experiments demonstrate that with a small number of rewiring operations, ResiNet achieves a near optimal resilience gain on multiple graphs while balancing the utility, with a large margin compared to existing approaches.


A Logic for Aristotle's Modal Syllogistic. We propose a new system of modal logic to interpret Aristotle's theory of the modal syllogism which while being inspired by standard propositional modal logic is also a logic of terms and which admits a (sound) extensional semantics involving possible worlds. Although this logic does not allow a fully faithful formalisation of the entirety of Aristotle's syllogistic as found in the Prior Analytics it sheds light on various fine grained distinctions which when made allow us to recover a fair portion of Aristotle's results. This logic allows us also to make a connection with the various axioms of modern propositional logic and to perceive to what extent these are implicit in Aristotle's reasoning. Further work wil involve addressing the question of the completeness of this logic (or variants thereof) together with the extension of the logic to include a calculus of relations, some instances of which are found, as Slomkowsky has shown, in the Topics..


Model Predictive Control Tailored to Epidemic Models. We propose a model predictive control (MPC) approach for minimising the social distancing and quarantine measures during a pandemic while maintaining a hard infection cap. To this end, we study the admissible and the maximal robust positively invariant set (MRPI) of the standard SEIR compartmental model with control inputs. Exploiting the fact that in the MRPI all restrictions can be lifted without violating the infection cap, we choose a suitable subset of the MRPI to define terminal constraints in our MPC routine and show that the number of infected people decays exponentially within this set. Furthermore, under mild assumptions we prove existence of a uniform bound on the time required to reach this terminal region (without violating the infection cap) starting in the admissible set. The findings are substantiated based on a numerical case study.


Towards Fully Intelligent Transportation through Infrastructure Vehicle Cooperative Autonomous Driving Challenges and Opportunities. The infrastructure vehicle cooperative autonomous driving approach depends on the cooperation between intelligent roads and intelligent vehicles. This approach is not only safer but also more economical compared to the traditional on vehicle only autonomous driving approach. In this paper, we introduce our real world deployment experiences of cooperative autonomous driving, and delve into the details of new challenges and opportunities. Specifically, based on our progress towards commercial deployment, we follow a three stage development roadmap of the cooperative autonomous driving approach infrastructure augmented autonomous driving (IAAD), infrastructure guided autonomous driving (IGAD), and infrastructure planned autonomous driving (IPAD).


Investigation of a water turbine built according to Euler's proposals (1754). This is an annotated translation from German of Untersuchung einer nach den Euler'schen Vorschlagen (1754) gebauten Wasserturbine Investigation of a water turbine built according to Euler's proposals (1754) that reports the tests results of a modern (1944) prototype of the so called Segner Euler turbine, which was strictly constructed according to Euler's prescription as laid down in E222 Theorie plus complete des machines qui sont mises en mouvement par la reaction de l'eau. (Memoires de l'academie des sciences de Berlin 1756, Vol. 10, pp. 227 295.), showing the feasibility of Euler's original proposal. A reproduction of the original paper is attached at the end of the translation.


Comparative Theoretical Analysis of Medial Centrality Measures. We study medial centrality measures that assess the role of a node in connecting others in the network. We focus on a setting with one target node t and several source nodes. We consider four classic measures adapted to this setting Betweenness Centrality, Stress Centrality, Random Walk Betweenness Centrality and PageRank. While Betweenness and Stress Centralities assume that the information in the network follows the shortest path, Random Walk Betweenness Centrality and PageRank assume it moves randomly along the edges. We develop the axiomatic characterizations of all four measures. Our analysis shows that, while conceptually different, all four measures share several common properties.


Tensor Normalization and Full Distribution Training. In this work, we introduce pixel wise tensor normalization, which is inserted after rectifier linear units and, together with batch normalization, provides a significant improvement in the accuracy of modern deep neural networks. In addition, this work deals with the robustness of networks. We show that the factorized superposition of images from the training set and the reformulation of the multi class problem into a multi label problem yields significantly more robust networks. The reformulation and the adjustment of the multi class log loss also improves the results compared to the overlay with only one class as label. https atreus.informatik.uni tuebingen.de seafile d 8e2ab8c3fdd444e1a135 ?p 2FTNandFDT mode list


Testing Dynamic Environments Back to Basics. We continue the line of work initiated by Goldreich and Ron (Journal of the ACM, 2017) on testing dynamic environments and propose to pursue a systematic study of the complexity of testing basic dynamic environments and local rules. As a first step, in this work we focus on dynamic environments that correspond to elementary cellular automata that evolve according to threshold rules. Our main result is the identification of a set of conditions on local rules, and a meta algorithm that tests evolution according to local rules that satisfy the conditions. The meta algorithm has query complexity poly (1 epsilon) , is non adaptive and has one sided error. We show that all the threshold rules satisfy the set of conditions, and therefore are poly (1 epsilon) testable. We believe that this is a rich area of research and suggest a variety of open problems and natural research directions that may extend and expand our results.


The Impact of Negative Sampling on Contrastive Structured World Models. World models trained by contrastive learning are a compelling alternative to autoencoder based world models, which learn by reconstructing pixel states. In this paper, we describe three cases where small changes in how we sample negative states in the contrastive loss lead to drastic changes in model performance. In previously studied Atari datasets, we show that leveraging time step correlations can double the performance of the Contrastive Structured World Model. We also collect a full version of the datasets to study contrastive learning under a more diverse set of experiences.


DoD Stabilization for non linear hyperbolic conservation laws on cut cell meshes in one dimension. In this work, we present the Domain of Dependence (DoD) stabilization for systems of hyperbolic conservation laws in one space dimension. The base scheme uses a method of lines approach consisting of a discontinuous Galerkin scheme in space and an explicit strong stability preserving Runge Kutta scheme in time. When applied on a cut cell mesh with a time step length that is appropriate for the size of the larger background cells, one encounters stability issues. The DoD stabilization consists of penalty terms that are designed to address these problems by redistributing mass between the inflow and outflow neighbors of small cut cells in a physical way. For piecewise constant polynomials in space and explicit Euler in time, the stabilized scheme is monotone for scalar problems. For higher polynomial degrees p , our numerical experiments show convergence orders of p 1 for smooth flow and robust behavior in the presence of shocks.


Unsupervised Shape Completion via Deep Prior in the Neural Tangent Kernel Perspective. We present a novel approach for completing and reconstructing 3D shapes from incomplete scanned data by using deep neural networks. Rather than being trained on supervised completion tasks and applied on a testing shape, the network is optimized from scratch on the single testing shape, to fully adapt to the shape and complete the missing data using contextual guidance from the known regions. The ability to complete missing data by an untrained neural network is usually referred to as the deep prior. In this paper, we interpret the deep prior from a neural tangent kernel (NTK) perspective and show that the completed shape patches by the trained CNN are naturally similar to existing patches, as they are proximate in the kernel feature space induced by NTK. The interpretation allows us to design more efficient network structures and learning mechanisms for the shape completion and reconstruction task. Being more aware of structural regularities than both traditional and other unsupervised learning based reconstruction methods, our approach completes large missing regions with plausible shapes and complements supervised learning based methods that use database priors by requiring no extra training data set and showing flexible adaptation to a particular shape instance.


Non existence of measurable solutions of certain functional equations via probabilistic approaches. This paper deals with functional equations in the form of f(x) g(y) h(x,y) where h is given and f and g are unknown. We will show that if h is a Borel measurable function associated with characterizations of the uniform or Cauchy distributions, then there is no measurable solutions of the equation. Our proof uses a characterization of the Dirac measure and it is also applicable to the arctan equation.


Inverting Adversarially Robust Networks for Image Synthesis. Despite unconditional feature inversion being the foundation of many image synthesis applications, training an inverter demands a high computational budget, large decoding capacity and imposing conditions such as autoregressive priors. To address these limitations, we propose the use of adversarially robust representations as a perceptual primitive for feature inversion. We train an adversarially robust encoder to extract disentangled and perceptually aligned image representations, making them easily invertible. By training a simple generator with the mirror architecture of the encoder, we achieve superior reconstruction quality and generalization over standard models. Based on this, we propose an adversarially robust autoencoder and demonstrate its improved performance on anomaly detection, style transfer and image denoising tasks. Comparisons against recent learn based methods show that our model attains improved performance with significantly less complexity.


Bijective enumerations for symmetrized poly Bernoulli polynomials. Recently, B ' e nyi and the second author introduced two combinatorial interpretations for symmetrized poly Bernoulli polynomials. In the present study, we construct bijections between these combinatorial objects. We also define various combinatorial polynomials and prove that all of these polynomials coincide with symmetrized poly Bernoulli polynomials.


A degenerate operator in non divergence form. In this paper we consider a fourth order operator in nondivergence form Au au"" , where a 0,1 rightarrow mathcal R is a function that degenerates somewhere in the interval. We prove that the operator generates an analytic semigroup, under suitable assumptions on the function a . We extend these results to a general operator A nu au (2n) .


Stability of eigenvalues and observable diameter in RCD (1, infty) spaces. We study stability of the spectral gap and observable diameter for metricmeasure spaces satisfying the RCD(1, infty ) condition. We show that if such a space has an almost maximal spectral gap, then it almost contains a Gaussian component, and the Laplacian has eigenvalues that are close to any integers, with dimension free quantitative bounds. Under the additional assumption that the space admits a needle disintegration, we show that the spectral gap is almost maximal iff the observable diameter is almost maximal, again with quantitative dimension free bounds.


Online Stochastic Matching, Poisson Arrivals, and the Natural Linear Program. We study the online stochastic matching problem. Consider a bipartite graph with offline vertices on one side, and with i.i.d.online vertices on the other side. The offline vertices and the distribution of online vertices are known to the algorithm beforehand. The realization of the online vertices, however, is revealed one at a time, upon which the algorithm immediately decides how to match it. For maximizing the cardinality of the matching, we give a 0.711 competitive online algorithm, which improves the best previous ratio of 0.706 . When the offline vertices are weighted, we introduce a 0.7009 competitive online algorithm for maximizing the total weight of the matched offline vertices, which improves the best previous ratio of 0.662 . Conceptually, we find that the analysis of online algorithms simplifies if the online vertices follow a Poisson process, and establish an approximate equivalence between this Poisson arrival model and online stochstic matching. Technically, we propose a natural linear program for the Poisson arrival model, and demonstrate how to exploit its structure by introducing a converse of Jensen's inequality. Moreover, we design an algorithmic amortization to replace the analytic one in previous work, and as a result get the first vertex weighted online stochastic matching algorithm that improves the results in the weaker random arrival model.


RGB D Image Inpainting Using Generative Adversarial Network with a Late Fusion Approach. Diminished reality is a technology that aims to remove objects from video images and fills in the missing region with plausible pixels. Most conventional methods utilize the different cameras that capture the same scene from different viewpoints to allow regions to be removed and restored. In this paper, we propose an RGB D image inpainting method using generative adversarial network, which does not require multiple cameras. Recently, an RGB image inpainting method has achieved outstanding results by employing a generative adversarial network. However, RGB inpainting methods aim to restore only the texture of the missing region and, therefore, does not recover geometric information (i.e, 3D structure of the scene). We expand conventional image inpainting method to RGB D image inpainting to jointly restore the texture and geometry of missing regions from a pair of RGB and depth images. Inspired by other tasks that use RGB and depth images (e.g., semantic segmentation and object detection), we propose late fusion approach that exploits the advantage of RGB and depth information each other. The experimental results verify the effectiveness of our proposed method.


Experimental study of submerged liquid metal jet in transverse magnetic field. A liquid metal flow in the form of a submerged round jet entering a square duct in the presence of a transverse magnetic field is studied experimentally. A range of high Reynolds and Hartmann numbers is considered. Flow velocity is measured using electric potential difference probes. A detailed study of the flow in the duct's cross section about seven jet's diameters downstream of the inlet reveals the dynamics, which is unsteady and dominated by high amplitude fluctuations resulting from instability of the jet. The flow structure and fluctuation properties are largely determined by the value of the Stuart number N. At moderate N, the mean velocity profile retains a central jet with three dimensional perturbations increasingly suppressed by the magnetic field as N grows. At higher values of N, the flow becomes quasi two dimensional and acquires the form of an asymmetric macrovortex, with high amplitude velocity fluctuations reemerging.


Symmetry of periodic traveling waves for nonlocal dispersive equations. Of concern is the a priori symmetry of traveling wave solutions for a general class of nonlocal dispersive equations u t (u 2 Lu) x 0, where L is a Fourier multiplier operator with symbol m . Our analysis includes both homogeneous and inhomogeneous symbols. We characterize a class of symbols m guaranteeing that periodic traveling wave solutions are symmetric under a mild assumption on the wave profile. Particularly, instead of considering waves with a unique crest and trough per period or a monotone structure near troughs as classically imposed in the water wave problem, we formulate a reflection criterion, which allows to affirm the symmetry of periodic traveling waves. The reflection criterion weakens the assumption of monotonicity between trough and crest and enables to treat a priori solutions with multiple crests of different sizes per period. Moreover, our result not only applies to smooth solutions, but also to traveling waves with a non smooth structure such as peaks or cusps at a crest. The proof relies on a so called touching lemma, which is related to a strong maximum principle for elliptic operators, and a weak form of the celebrated method of moving planes.


AGRNet Adaptive Graph Representation Learning and Reasoning for Face Parsing. Face parsing infers a pixel wise label to each facial component, which has drawn much attention recently. Previous methods have shown their success in face parsing, which however overlook the correlation among facial components. As a matter of fact, the component wise relationship is a critical clue in discriminating ambiguous pixels in facial area. To address this issue, we propose adaptive graph representation learning and reasoning over facial components, aiming to learn representative vertices that describe each component, exploit the component wise relationship and thereby produce accurate parsing results against ambiguity. In particular, we devise an adaptive and differentiable graph abstraction method to represent the components on a graph via pixel to vertex projection under the initial condition of a predicted parsing map, where pixel features within a certain facial region are aggregated onto a vertex. Further, we explicitly incorporate the image edge as a prior in the model, which helps to discriminate edge and non edge pixels during the projection, thus leading to refined parsing results along the edges. Then, our model learns and reasons over the relations among components by propagating information across vertices on the graph. Finally, the refined vertex features are projected back to pixel grids for the prediction of the final parsing map. To train our model, we propose a discriminative loss to penalize small distances between vertices in the feature space, which leads to distinct vertices with strong semantics. Experimental results show the superior performance of the proposed model on multiple face parsing datasets, along with the validation on the human parsing task to demonstrate the generalizability of our model.