Teaching Responsible Data Science Charting New Pedagogical Territory. Although numerous ethics courses are available, with many focusing specifically on technology and computer ethics, pedagogical approaches employed in these courses rely exclusively on texts rather than on software development or data analysis. Technical students often consider these courses unimportant and a distraction from the "real" material. To develop instructional materials and methodologies that are thoughtful and engaging, we must strive for balance between texts and coding, between critique and solution, and between cutting edge research and practical applicability. Finding such balance is particularly difficult in the nascent field of responsible data science (RDS), where we are only starting to understand how to interface between the intrinsically different methodologies of engineering and social sciences. In this paper we recount a recent experience in developing and teaching an RDS course to graduate and advanced undergraduate students in data science. We then dive into an area that is critically important to RDS transparency and interpretability of machine assisted decision making, and tie this area to the needs of emerging RDS curricula. Recounting our own experience, and leveraging literature on pedagogical methods in data science and beyond, we propose the notion of an "object to interpret with". We link this notion to "nutritional labels" a family of interpretability tools that are gaining popularity in RDS research and practice. With this work we aim to contribute to the nascent area of RDS education, and to inspire others in the community to come together to develop a deeper theoretical understanding of the pedagogical needs of RDS, and contribute concrete educational materials and methodologies that others can use. All course materials are publicly available at https dataresponsibly.github.io courses.


Kinetic theory of the electron strahl in the solar wind. We develop a kinetic theory for the electron strahl, a beam of energetic electrons which propagate from the sun along the Parker spiral shaped magnetic field lines. By assuming a Maxwellian electron distribution function in the near sun region where the plasma is collisional, we derive the strahl distribution function at larger heliospheric distances. We consider the two most important mechanisms that broaden the strahl Coulomb collisions and interactions with oblique ambient whistler turbulence (anomalous diffusion). We propose that the energy regimes where these mechanisms are important are separated by an approximate threshold, cal E c for the electron kinetic energies cal E cal E c the strahl width is mostly governed by Coulomb collisions, while for cal E cal E c by interactions with the whistlers. The Coulomb broadening decreases as the electron energy increases the whistler dominated broadening, on the contrary, increases with energy and it can lead to efficient isotropization of energetic electrons and to formation of the electron halo. The threshold energy cal E c is relatively high in the regions closer to the sun, and it gradually decreases with the distance, implying that the anomalous diffusion becomes progressively more important at large heliospheric distances. At 1 AU, we estimate the energy threshold to be about cal E c sim 200 , rm eV .


Average Sensitivity of Graph Algorithms. In modern applications of graphs algorithms, where the graphs of interest are large and dynamic, it is unrealistic to assume that an input representation contains the full information of a graph being studied. Hence, it is desirable to use algorithms that, even when only a (large) subgraph is available, output solutions that are close to the solutions output when the whole graph is available. We formalize this idea by introducing the notion of average sensitivity of graph algorithms, which is the average earth mover's distance between the output distributions of an algorithm on a graph and its subgraph obtained by removing an edge, where the average is over the edges removed and the distance between two outputs is the Hamming distance. In this work, we initiate a systematic study of average sensitivity. After deriving basic properties of average sensitivity such as composition, we provide efficient approximation algorithms with low average sensitivities for concrete graph problems, including the minimum spanning forest problem, the global minimum cut problem, the minimum s t cut problem, and the maximum matching problem. In addition, we prove that the average sensitivity of our global minimum cut algorithm is almost optimal, by showing a nearly matching lower bound. We also show that every algorithm for the 2 coloring problem has average sensitivity linear in the number of vertices. One of the main ideas involved in designing our algorithms with low average sensitivity is the following fact if the presence of a vertex or an edge in the solution output by an algorithm can be decided locally, then the algorithm has a low average sensitivity, allowing us to reuse the analyses of known sublinear time algorithms and local computation algorithms (LCAs). Using this connection, we show that every LCA for 2 coloring has linear query complexity, thereby answering an open question.


Applying Social Event Data for the Management of Cellular Networks. Internet provides a growing variety of social data sources calendars, event aggregators, social networks, browsers, etc. Also, the mechanisms to gather information from these sources, such as web services, semantic web and big data techniques have become more accessible and efficient. This allows a detailed prediction of the main expected events and their associated crowds. Due to the increasing requirements for service provision, particularly in urban areas, having information on those events would be extremely useful for Operations, Administration and Maintenance (OAM) tasks, since the social events largely affect the cellular network performance. Therefore, this paper presents a framework for the automatic acquisition and processing of social data, as well as their association with network elements (NEs) and their performance. The main functionalities of this system, which have been devised to directly work in real networks, are defined and developed. Different OAM applications of the proposed approach are analyzed and the system is evaluated in a real deployment.


Automatically Extract the Semi transparent Motion blurred Hand from a Single Image. When we use video chat, video game, or other video applications, motion blurred hands often appear. Accurately extracting these hands is very useful for video editing and behavior analysis. However, existing motion blurred object extraction methods either need user interactions, such as user supplied trimaps and scribbles, or need additional information, such as background images. In this paper, a novel method which can automatically extract the semi transparent motion blurred hand just according to the original RGB image is proposed. The proposed method separates the extraction task into two subtasks alpha matte prediction and foreground prediction. These two subtasks are implemented by Xception based encoder decoder networks. The extracted motion blurred hand images can be calculated by multiplying the predicted alpha mattes and foreground images. Experiments on synthetic and real datasets show that the proposed method has promising performance.


Distributed Deep Reinforcement Learning for Functional Split Control in Energy Harvesting Virtualized Small Cells. To meet the growing quest for enhanced network capacity, mobile network operators (MNOs) are deploying dense infrastructures of small cells. This, in turn, increases the power consumption of mobile networks, thus impacting the environment. As a result, we have seen a recent trend of powering mobile networks with harvested ambient energy to achieve both environmental and cost benefits. In this paper, we consider a network of virtualized small cells (vSCs) powered by energy harvesters and equipped with rechargeable batteries, which can opportunistically offload baseband (BB) functions to a grid connected edge server depending on their energy availability. We formulate the corresponding grid energy and traffic drop rate minimization problem, and propose a distributed deep reinforcement learning (DDRL) solution. Coordination among vSCs is enabled via the exchange of battery state information. The evaluation of the network performance in terms of grid energy consumption and traffic drop rate confirms that enabling coordination among the vSCs via knowledge exchange achieves a performance close to the optimal. Numerical results also confirm that the proposed DDRL solution provides higher network performance, better adaptation to the changing environment, and higher cost savings with respect to a tabular multi agent reinforcement learning (MRL) solution used as a benchmark.


Uniform H "older norm bounds for finite element approximations of second order elliptic equations. We develop a discrete counterpart of the De Giorgi Nash Moser theory, which provides uniform H "older norm bounds on continuous piecewise affine finite element approximations of second order linear elliptic problems of the form nabla cdot(A nabla u) f nabla cdot F with A in L infty( Omega mathbb R n times n ) a uniformly elliptic matrix valued function, f in L q ( Omega) , F in L p( Omega mathbb R n) , with p n and q n 2 , on A nonobtuse shape regular triangulations, which are not required to be quasi uniform, of a bounded polyhedral Lipschitz domain Omega subset mathbb R n .


Non Commutative Algebraic Geometry I Monomial Equations with a Single Variable. This paper is the first in a sequence on the structure of sets of solutions to systems of equations over a free associative algebra. We start by constructing a Makanin Razborov diagram that encodes all the homogeneous solutions to a homogeneous system of equations. Then we analyze the set of solutions to monomial systems of equations with a single variable.


Effective Unsupervised Domain Adaptation with Adversarially Trained Language Models. Recent work has shown the importance of adaptation of broad coverage contextualised embedding models on the domain of the target task of interest. Current self supervised adaptation methods are simplistic, as the training signal comes from a small percentage of emph randomly masked out tokens. In this paper, we show that careful masking strategies can bridge the knowledge gap of masked language models (MLMs) about the domains more effectively by allocating self supervision where it is needed. Furthermore, we propose an effective training strategy by adversarially masking out those tokens which are harder to reconstruct by the underlying MLM. The adversarial objective leads to a challenging combinatorial optimisation problem over emph subsets of tokens, which we tackle efficiently through relaxation to a variational lowerbound and dynamic programming. On six unsupervised domain adaptation tasks involving named entity recognition, our method strongly outperforms the random masking strategy and achieves up to 1.64 F1 score improvements.


SynthText3D Synthesizing Scene Text Images from 3D Virtual Worlds. With the development of deep neural networks, the demand for a significant amount of annotated training data becomes the performance bottlenecks in many fields of research and applications. Image synthesis can generate annotated images automatically and freely, which gains increasing attention recently. In this paper, we propose to synthesize scene text images from the 3D virtual worlds, where the precise descriptions of scenes, editable illumination visibility, and realistic physics are provided. Different from the previous methods which paste the rendered text on static 2D images, our method can render the 3D virtual scene and text instances as an entirety. In this way, real world variations, including complex perspective transformations, various illuminations, and occlusions, can be realized in our synthesized scene text images. Moreover, the same text instances with various viewpoints can be produced by randomly moving and rotating the virtual camera, which acts as human eyes. The experiments on the standard scene text detection benchmarks using the generated synthetic data demonstrate the effectiveness and superiority of the proposed method. The code and synthetic data is available at https github.com MhLiao SynthText3D


On the dimension of divergence sets of Schr "odinger equation with complex time. This article studies the pointwise convergence for the fractional Schr "odinger operator P t a, gamma with complex time in one spatial dimension. Through establishing L 2 maximal estimates for initial datum in H s ( mathbb R ) , we see that the solution converges to the initial data almost everywhere with s frac14 a(1 frac1 gamma) when 0 a 1 and s frac 1 2 (1 frac 1 gamma ) when a 1 . By constructing counterexamples, we show that this result is almost sharp up to the endpoint. These results extends the results of P. Sj "olin, F. Soria and A. Baily. Second, we study the Hausdorff dimension of the set of the divergent points, by showing some L 1 maximal estimates with respect to general Borel measure. Our results reflect the interaction between dispersion effect and dissipation effect, arising from the fractional Schr " o dinger type operator P t a, gamma with the complex time.


Microtomography on the ANATOMIX beamline at Synchrotron SOLEIL. The ANATOMIX beamline at Synchrotron SOLEIL, operational since 2018, is dedicated to hard X ray full field tomography techniques. Operating in a range of photon energies from approximately 5 to 50 keV, it offers both parallel beam projection microtomography, in absorption and phase contrast, and nanotomography using a zone plate transmission X ray microscope. With these methods, the beamline covers a range of spatial resolution from 20 nm to 20 mu m, expressed in terms of useful pixel size. The variable beam size of up to 40 mm allows users to image large objects. Here we describe the microtomography instrumentation of the beamline.


A Closer Look at Mobile App Usage as a Persistent Biometric A Small Case Study. In this paper, we explore mobile app use as a behavioral biometric identifier. While several efforts have also taken on this challenge, many have alluded to the inconsistency in human behavior, resulting in updating the biometric template frequently and periodically. Here, we represent app usage as simple images wherein each pixel value provides some information about the user's app usage. Then, we feed use these images to train a deep learning network (convolutional neural net) to classify the user's identity. Our contribution lies in the random order in which the images are fed to the classifier, thereby presenting novel evidence that there are some aspects of app usage that are indeed persistent. Our results yield a 96.8 F score without any updates to the template data.


Unsupervised Domain Adaptation from Synthetic to Real Images for Anchorless Object Detection. Synthetic images are one of the most promising solutions to avoid high costs associated with generating annotated datasets to train supervised convolutional neural networks (CNN). However, to allow networks to generalize knowledge from synthetic to real images, domain adaptation methods are necessary. This paper implements unsupervised domain adaptation (UDA) methods on an anchorless object detector. Given their good performance, anchorless detectors are increasingly attracting attention in the field of object detection. While their results are comparable to the well established anchor based methods, anchorless detectors are considerably faster. In our work, we use CenterNet, one of the most recent anchorless architectures, for a domain adaptation problem involving synthetic images. Taking advantage of the architecture of anchorless detectors, we propose to adjust two UDA methods, viz., entropy minimization and maximum squares loss, originally developed for segmentation, to object detection. Our results show that the proposed UDA methods can increase the mAPfrom61 to69 with respect to direct transfer on the considered anchorless detector. The code is available https github.com scheckmedia centernet uda.


L RED Efficient Post Training Detection of Imperceptible Backdoor Attacks without Access to the Training Set. Backdoor attacks (BAs) are an emerging form of adversarial attack typically against deep neural network image classifiers. The attacker aims to have the classifier learn to classify to a target class when test images from one or more source classes contain a backdoor pattern, while maintaining high accuracy on all clean test images. Reverse Engineering based Defenses (REDs) against BAs do not require access to the training set but only to an independent clean dataset. Unfortunately, most existing REDs rely on an unrealistic assumption that all classes except the target class are source classes of the attack. REDs that do not rely on this assumption often require a large set of clean images and heavy computation. In this paper, we propose a Lagrangian based RED (L RED) that does not require knowledge of the number of source classes (or whether an attack is present). Our defense requires very few clean images to effectively detect BAs and is computationally efficient. Notably, we detect 56 out of 60 BAs using only two clean images per class in our experiments on CIFAR 10.


Underwater image filtering methods, datasets and evaluation. Underwater images are degraded by the selective attenuation of light that distorts colours and reduces contrast. The degradation extent depends on the water type, the distance between an object and the camera, and the depth under the water surface the object is at. Underwater image filtering aims to restore or to enhance the appearance of objects captured in an underwater image. Restoration methods compensate for the actual degradation, whereas enhancement methods improve either the perceived image quality or the performance of computer vision algorithms. The growing interest in underwater image filtering methods including learning based approaches used for both restoration and enhancement and the associated challenges call for a comprehensive review of the state of the art. In this paper, we review the design principles of filtering methods and revisit the oceanology background that is fundamental to identify the degradation causes. We discuss image formation models and the results of restoration methods in various water types. Furthermore, we present task dependent enhancement methods and categorise datasets for training neural networks and for method evaluation. Finally, we discuss evaluation strategies, including subjective tests and quality assessment measures. We complement this survey with a platform ( https puiqe.eecs.qmul.ac.uk ), which hosts state of the art underwater filtering methods and facilitates comparisons.


Cyclic flats of a polymatroid. Polymatroids can be considered as "fractional matroid" where the rank function is not required to be integer valued. Many, but not every notion in matroid terminology translates naturally to polymatroids. Defining cyclic flats of a polymatroid carefully, the characterization by Bonin and de Mier of the ranked lattice of cyclic flats carries over to polymatroids. The main tool, which might be of independent interest, is a convolution like method which creates a polymatroid from a ranked lattice and a discrete measure. Examples show the ease of using the convolution technique.


On quasi infinitely divisible random measures. Quasi infinitely divisible (QID) distributions have been recently introduced by Lindner, Pan and Sato ( textit Trans. Amer. Math. Soc. textbf 370 , 8483 8520 (2018)). A random variable X is QID if and only if there exist two infinitely divisible (ID) random variables Y and Z s.t. X Y stackrel d Z and Y is independent of X . In this work, we show that a family of QID completely random measures (CRMs) is dense in the space of all CRMs with respect to convergence in distribution. We further demonstrate that the elements of this family posses a L ' e vy Khintchine formulation and that there exists a one to one correspondence between their law and certain characteristic pairs. We prove the same results also for the class of point processes with independent increments. In the second part of the paper, we show the relevance of these results in the general Bayesian nonparametric framework based on CRMs developed by Broderick, Wilson and Jordan ( textit Bernoulli , textbf 24 , 3181 3221 (2018)).


Scalable Spike Source Localization in Extracellular Recordings using Amortized Variational Inference. Determining the positions of neurons in an extracellular recording is useful for investigating functional properties of the underlying neural circuitry. In this work, we present a Bayesian modelling approach for localizing the source of individual spikes on high density, microelectrode arrays. To allow for scalable inference, we implement our model as a variational autoencoder and perform amortized variational inference. We evaluate our method on both biophysically realistic simulated and real extracellular datasets, demonstrating that it is more accurate than and can improve spike sorting performance over heuristic localization methods such as center of mass.


Fully discrete finite element approximation for a family of degenerate parabolic mixed equations. The aim of this work is to show an abstract framework to analyze the numerical approximation for a family of linear degenerate parabolic mixed equations by using a finite element method in space and a Backward Euler scheme in time. We consider sufficient conditions to prove that the fully discrete problem has a unique solution and prove quasi optimal error estimates for the approximation. Furthermore, we show that mixed finite element formulations arising from dynamics fluids (time dependent Stokes problem) and from electromagnetic applications (eddy current models), can be analyzed as applications of the developed theory. Finally, we include numerical tests to illustrate the performance of the method and confirm the theoretical results.


Hafnian point processes and quasi free states on the CCR algebra. Let X be a locally compact Polish space and sigma a nonatomic reference measure on X (typically X mathbb R d and sigma is the Lebesgue measure). Let X 2 ni(x,y) mapsto mathbb K(x,y) in mathbb C 2 times 2 be a 2 times 2 matrix valued kernel that satisfies mathbb K T(x,y) mathbb K(y,x) . We say that a point process mu in X is hafnian with correlation kernel mathbb K(x,y) if, for each n in mathbb N , the n th correlation function of mu (with respect to sigma otimes n ) exists and is given by k (n) (x 1, dots,x n) operatorname haf big mathbb K(x i,x j) big i,j 1, dots,n , . Here operatorname haf (C) denotes the hafnian of a symmetric matrix C . Hafnian point processes include permanental and 2 permanental point processes as special cases. A Cox process Pi R is a Poisson point process in X with random intensity R(x) . Let G(x) be a complex Gaussian field on X satisfying int Delta mathbb E( G(x) 2) sigma(dx) infty for each compact Delta subset X . Then the Cox process Pi R with R(x) G(x) 2 is a hafnian point process. The main result of the paper is that each such process Pi R is the joint spectral measure of a rigorously defined particle density of a representation of the canonical commutation relations (CCR), in a symmetric Fock space, for which the corresponding vacuum state on the CCR algebra is quasi free.


Improving Usability, Efficiency, and Safety of UAV Path Planning through a Virtual Reality Interface. As the capability and complexity of UAVs continue to increase, the human robot interface community has a responsibility to design better ways of specifying the complex 3D flight paths necessary for instructing them. Immersive interfaces, such as those afforded by virtual reality (VR), have several unique traits which may improve the user's ability to perceive and specify 3D information. These traits include stereoscopic depth cues which induce a sense of physical space as well as six degrees of freedom (DoF) natural head pose and gesture interactions. This work introduces an open source platform for 3D aerial path planning in VR and compares it to existing UAV piloting interfaces. Our study has found statistically significant improvements in safety and subjective usability over a manual control interface, while achieving a statistically significant efficiency improvement over a 2D touchscreen interface. The results illustrate that immersive interfaces provide a viable alternative to touchscreen interfaces for UAV path planning.


Investigating Constraint Relationship in Evolutionary Many Constraint Optimization. This paper contributes to the treatment of extensive constraints in evolutionary many constraint optimization through consideration of the relationships between pair wise constraints. In a conflicting relationship, the functional value of one constraint increases as the value in another constraint decreases. In a harmonious relationship, the improvement in one constraint is rewarded with simultaneous improvement in the other constraint. In an independent relationship, the adjustment to one constraint never affects the adjustment to the other. Based on the different features, methods for identifying constraint relationships are discussed, helping to simplify many constraint optimization problems (MCOPs). Additionally, the transitivity of the relationships is further discussed at the aim of determining the relationship in a new pair of constraints.


Random points are optimal for the approximation of Sobolev functions. We show that independent and uniformly distributed sampling points are as good as optimal sampling points for the approximation of functions from the Sobolev space W p s( Omega) on bounded convex domains Omega subset mathbb R d in the L q norm if q p . More generally, we characterize the quality of arbitrary sampling points P subset Omega via the L gamma( Omega) norm of the distance function rm dist ( cdot,P) , where gamma s(1 q 1 p) 1 if q p and gamma infty if q ge p . This improves upon previous characterizations based on the covering radius of P .


Grandpa, grandpa, tell me the one about Bitcoin being a safe haven Evidence from the COVID 19 pandemics. Bitcoin being a safe haven asset is one of the traditional stories in the cryptocurrency community. However, during its existence and relevant presence, i.e. approximately since 2013, there has been no severe situation on the financial markets globally to prove or disprove this story until the COVID 19 pandemics. We study the quantile correlations of Bitcoin and two benchmarks S P500 and VIX and we make comparison with gold as the traditional safe haven asset. The Bitcoin safe haven story is shown and discussed to be unsubstantiated and far fetched, while gold comes out as a clear winner in this contest.


What Can We Learn from the Time Evolution of COVID 19 Epidemic in Slovenia?. A recent work (DOI 10.1101 2020.05.06.20093310) indicated that temporarily splitting larger populations into smaller groups can efficiently mitigate the spread of SARS CoV 2 virus. The fact that, soon afterwards, on May 15, 2020, the two million people Slovenia was the first European country proclaiming the end of COVID 19 epidemic within national borders may be relevant from this perspective. Motivated by this evolution, in this paper we investigate the time dynamics of coronavirus cases in Slovenia with emphasis on how efficient various containment measures act to diminish the number of COVID 19 infections. Noteworthily, the present analysis does not rely on any speculative theoretical assumption it is solely based on raw epidemiological data. Out of the results presented here, the most important one is perhaps the finding that, while imposing drastic curfews and travel restrictions reduce the infection rate kappa by a factor of four with respect to the unrestricted state, they only improve the k appa value by 15 as compared to the much bearable state of social and economical life wherein (justifiable) wearing face masks and social distancing rules are enforced followed. Significantly for behavioral and social science, our analysis of the time dependence k appa k appa (t) may reveal an interesting self protection instinct of the population, which became manifest even before the official lockdown enforcement.


Two dimensional Ultrasound Imaging Technique based on Neural Network using Acoustic Simulation. The two dimensional (2D) ultrasound imaging is widely used in several fields. In this study, the potential of two dimensional ultrasound imaging technique based on machine learning is shown. A line transmitter was placed at one side and a receiver array was placed at the opposite side of the medium, respectively. The received signals at the receiver array was considered as a 2D image and it was converted to a 2D geometry of the target medium using convolutional neural network (CNN). The results of the numerical simulation studies which use up to 40000 simulation data showed the good agreement between the estimated and true geometry.


Digital Contact Tracing Service An improved decentralized design for privacy and effectiveness. We propose a decentralized digital contact tracing service that preserves the users' privacy by design while complying to the highest security standards. Our approach is based on Bluetooth and measures actual encounters of people, the contact time period, and estimates the proximity of the contact. We trace the users' contacts and the possible spread of infectious diseases while preventing location tracking of users, protecting their data and identity. We verify and improve the impact of tracking based on epidemiological models. We compare a centralized and decentralized approach on a legal perspective and find a decentralized approach preferable considering proportionality and data minimization.


Visual Relationship Detection with Visual Linguistic Knowledge from Multimodal Representations. Visual relationship detection aims to reason over relationships among salient objects in images, which has drawn increasing attention over the past few years. Inspired by human reasoning mechanisms, it is believed that external visual commonsense knowledge is beneficial for reasoning visual relationships of objects in images, which is however rarely considered in existing methods. In this paper, we propose a novel approach named Relational Visual Linguistic Bidirectional Encoder Representations from Transformers (RVL BERT), which performs relational reasoning with both visual and language commonsense knowledge learned via self supervised pre training with multimodal representations. RVL BERT also uses an effective spatial module and a novel mask attention module to explicitly capture spatial information among the objects. Moreover, our model decouples object detection from visual relationship recognition by taking in object names directly, enabling it to be used on top of any object detection system. We show through quantitative and qualitative experiments that, with the transferred knowledge and novel modules, RVL BERT achieves competitive results on two challenging visual relationship detection datasets. The source code is available at https github.com coldmanck RVL BERT.


Task Bench A Parameterized Benchmark for Evaluating Parallel Runtime Performance. We present Task Bench, a parameterized benchmark designed to explore the performance of parallel and distributed programming systems under a variety of application scenarios. Task Bench lowers the barrier to benchmarking multiple programming systems by making the implementation for a given system orthogonal to the benchmarks themselves every benchmark constructed with Task Bench runs on every Task Bench implementation. Furthermore, Task Bench's parameterization enables a wide variety of benchmark scenarios that distill the key characteristics of larger applications. We conduct a comprehensive study with implementations of Task Bench in 15 programming systems on up to 256 Haswell nodes of the Cori supercomputer. We introduce a novel metric, minimum effective task granularity to study the baseline runtime overhead of each system. We show that when running at scale, 100 mu s is the smallest granularity that even the most efficient systems can reliably support with current technologies. We also study each system's scalability, ability to hide communication and mitigate load imbalance.


Optimal bounds for the colorful fractional Helly theorem. The well known fractional Helly theorem and colorful Helly theorem can be merged into the so called colorful fractional Helly theorem. It states For every alpha in (0, 1 and every non negative integer d , there is beta col beta col ( alpha, d) in (0, 1 with the following property. Let mathcal F 1, dots, mathcal F d 1 be finite nonempty families of convex sets in mathbb R d of sizes n 1, dots, n d 1 respectively. If at least alpha n 1 n 2 cdots n d 1 of the colorful (d 1) tuples have a nonempty intersection, then there is i in d 1 such that mathcal F i contains a subfamily of size at least beta col n i with a nonempty intersection. (A colorful (d 1) tuple is a (d 1) tuple (F 1, dots , F d 1 ) such that F i belongs to mathcal F i for every i .) The colorful fractional Helly theorem was first stated and proved by B 'ar 'any, Fodor, Montejano, Oliveros, and P 'or in 2014 with beta col alpha (d 1) . In 2017 Kim proved the theorem with better function beta col , which in particular tends to 1 when alpha tends to 1 . Kim also conjectured what is the optimal bound for beta col ( alpha, d) and provided the upper bound example for the optimal bound. The conjectured bound coincides with the optimal bounds for the (non colorful) fractional Helly theorem proved independently by Eckhoff and Kalai around 1984. We verify Kim's conjecture by extending Kalai's approach to the colorful scenario. Moreover, we obtain optimal bounds also in more general setting when we allow several sets of the same color.


Some Results on Subspace Hypercyclic Operators. A bounded linear operator T on a Banach space X is called subspace hypercyclic if there is a subspace M subsetneq X and a vector x in X such that orb (x,T) cap M is dense in M . We show that every Banach space supports subspace hypercyclic operators and provide a new criteira for subspace hypercyclic operators, generalizing a previous result from Le.


Long term Hybrid Stabilization of the Carrier Envelope Phase. Controlling the carrier envelope phase (CEP) in mode locked lasers over practically long timescales is crucial for real world applications in ultrafast optics and precision metrology. We present a hybrid solution that combines a feed forward technique to stabilize the phase offset in fast timescales and a feedback technique that addresses slowly varying sources of interference and locking bandwidth limitations associated with gain media with long upper state lifetimes. We experimentally realize the hybrid stabilization system in an Er Yb glass mode locked laser and demonstrate 75 hours of stabilization with integrated phase noise of 14 mrad (1 Hz to 3 MHz), corresponding to around 11 as of carrier to envelope jitter. Additionally, we examine the impact of environmental factors, such as humidity and pressure, on the long term stability and performance of the system.


Times two, three, five orbits on mathbb T 2 . In this paper, we study orbit closures under diagonal torus actions. We show that if (x,y) in mathbb T 2 is not contained in any rational lines, then its orbit under the times 2, times 3, times 5 actions is dense in mathbb T 2.


A Tutorial and Open Source Software for the Efficient Evaluation of Gravity and Magnetic Kernels. Fast computation of three dimensional gravity and magnetic forward models is considered. Measurement data is assumed to be obtained on a uniform grid which is staggered with respect to the discretization of the parameter volume. Then, the resulting kernel sensitivity matrices exhibit block Toeplitz Toeplitz block (BTTB) structure. These matrices are symmetric for the gravity problem but non symmetric for the magnetic problem. In each case, the structure facilitates fast forward computation using two dimensional fast Fourier transforms. The construction of the kernel matrices and the application of the transform for fast forward multiplication, for each problem, is carefully described. But, for purposes of comparison with the transform approach, the generation of the unique entries that define a given kernel matrix is also explained. It is also demonstrated how the matrices, and hence transforms, are adjusted when padding around the volume domain is introduced. The transform algorithms for fast forward matrix multiplication with the sensitivity matrix and its transpose, without the direct construction of the relevant matrices, are presented. Numerical experiments demonstrate the significant reduction in computation time that is achieved using the transform implementation. Moreover, it becomes feasible, both in terms of reduced memory requirements and computational time, to implement the transform algorithms for large three dimensional volumes. All presented algorithms, including with variable padding, are coded for optimal memory, storage and computation as an open source MATLAB code which can be adapted for any convolution kernel which generates a BTTB matrix. This work, therefore, provides a general tool for the efficient simulation of gravity and magnetic field data, as well as any formulation which admits a sensitivity matrix with the required structure.


Towards Pose invariant Lip Reading. Lip reading models have been significantly improved recently thanks to powerful deep learning architectures. However, most works focused on frontal or near frontal views of the mouth. As a consequence, lip reading performance seriously deteriorates in non frontal mouth views. In this work, we present a framework for training pose invariant lip reading models on synthetic data instead of collecting and annotating non frontal data which is costly and tedious. The proposed model significantly outperforms previous approaches on non frontal views while retaining the superior performance on frontal and near frontal mouth views. Specifically, we propose to use a 3D Morphable Model (3DMM) to augment LRW, an existing large scale but mostly frontal dataset, by generating synthetic facial data in arbitrary poses. The newly derived dataset, is used to train a state of the art neural network for lip reading. We conducted a cross database experiment for isolated word recognition on the LRS2 dataset, and reported an absolute improvement of 2.55 . The benefit of the proposed approach becomes clearer in extreme poses where an absolute improvement of up to 20.64 over the baseline is achieved.


A question for iterated Galois groups in arithmetic dynamics. We formulate a general question regarding the size of the iterated Galois groups associated to an algebraic dynamical system and then we discuss some special cases of our question.


A infinity category of Lagrangian cobordisms in the symplectization of PxR. We define a unital A infty category whose objects are exact Lagrangian cobordisms in the symplectization of Y P times mathbb R , with negative cylindrical ends over Legendrians equipped with augmentations. The morphism spaces are given in terms of Floer complexes Cth ( Sigma 0, Sigma 1) which are versions of the Rabinowitz Floer complex defined by Symplectic Field Theory (SFT) techniques.


Universal filtered quantizations of nilpotent Slodowy slices. Every conic symplectic singularity admits a universal Poisson deformation and a universal filtered quantization, thanks to the work of Losev and Namikawa. We begin this paper by showing that every such variety admits a universal equivariant Poisson deformation and a universal equivariant quantization with respect to a reductive group acting on it by C times equivariant Poisson automorphisms. We go on to study these definitions in the context of nilpotent Slodowy slices. First we give a complete description of the cases in which the finite W algebra is a universal filtered quantization of the slice, building on the work of Lehn Namikawa Sorger. This leads to a near complete classification of the filtered quantizations of nilpotent Slodowy slices. The subregular slices in non simply laced Lie algebras are especially interesting with some minor restrictions on Dynkin type we prove that the finite W algebra is a universal equivariant quantization with respect to the Dynkin automorphisms coming from the unfolding of the Dynkin diagram. This can be seen as a non commutative analogue of Slodowy's theorem. Finally we apply this result to give a presentation of the subregular finite W algebra in type B as a quotient of a shifted Yangian.


Ordinal sums of triangular norms on a bounded lattice. The ordinal sum construction provides a very effective way to generate a new triangular norm on the real unit interval from existing ones. One of the most prominent theorems concerning the ordinal sum of triangular norms on the real unit interval states that a triangular norm is continuous if and only if it is uniquely representable as an ordinal sum of continuous Archimedean triangular norms. However, the ordinal sum of triangular norms on subintervals of a bounded lattice is not always a triangular norm (even if only one summand is involved), if one just extends the ordinal sum construction to a bounded lattice in a na " i ve way. In the present paper, appropriately dealing with those elements that are incomparable with the endpoints of the given subintervals, we propose an alternative definition of ordinal sum of countably many (finite or countably infinite) triangular norms on subintervals of a complete lattice, where the endpoints of the subintervals constitute a chain. The completeness requirement for the lattice is not needed when considering finitely many triangular norms. The newly proposed ordinal sum is shown to be always a triangular norm. Several illustrative examples are given.


The entropy of entire transcendental functions. We use Bowen's definition of topological entropy and Ahlfors five islands theorem, as well as the theory of polynomial like mappings, to show that the topological entropy of any entire transcendental function is infinity. In addition the entropy is concentrated on the Julia set for each meromorphic function which has no wandering domains.


Reservoir computing model of two dimensional turbulent convection. Reservoir computing is applied to model the large scale evolution and the resulting low order turbulence statistics of a two dimensional turbulent Rayleigh B ' e nard convection flow at a Rayleigh number rm Ra 10 7 and a Prandtl number rm Pr 7 in an extended domain with an aspect ratio of 6. Our data driven approach which is based on a long term direct numerical simulation of the convection flow comprises a two step procedure. (1) Reduction of the original simulation data by a Proper Orthogonal Decomposition (POD) snapshot analysis and subsequent truncation to the first 150 POD modes which are associated with the largest total energy amplitudes. (2) Setup and optimization of a reservoir computing model to describe the dynamical evolution of these 150 degrees of freedom and thus the large scale evolution of the convection flow. The quality of the prediction of the reservoir computing model is comprehensively tested. At the core of the model is the reservoir, a very large sparse random network charcterized by the spectral radius of the corresponding adjacency matrix and a few further hyperparameters which are varied to investigate the quality of the prediction. Our work demonstrates that the reservoir computing model is capable to model the large scale structure and low order statistics of turbulent convection which can open new avenues for modeling mesoscale convection processes in larger circulation models.


Learning to Represent Programs with Heterogeneous Graphs. Program source code contains complex structure information, which can be represented in structured data forms like trees or graphs. To acquire the structural information in source code, most existing researches use abstract syntax trees (AST). A group of works add additional edges to ASTs to convert source code into graphs and use graph neural networks to learn representations for program graphs. Although these works provide additional control or data flow information to ASTs for downstream tasks, they neglect an important aspect of structure information in AST itself the different types of nodes and edges. In ASTs, different nodes contain different kinds of information like variables or control flow, and the relation between a node and all its children can also be different. To address the information of node and edge types, we bring the idea of heterogeneous graphs to learning on source code and present a new formula of building heterogeneous program graphs from ASTs with additional type information for nodes and edges. We use the ASDL grammar of programming language to define the node and edge types of program graphs. Then we use heterogeneous graph neural networks to learn on these graphs. We evaluate our approach on two tasks code comment generation and method naming. Both tasks require reasoning on the semantics of complete code snippets. Experiment results show that our approach outperforms baseline models, including homogeneous graph based models, showing that leveraging the type information of nodes and edges in program graphs can help in learning program semantics.


About a structure of easily updatable full text indexes. We consider strategies to organize easily updatable associative arrays in external memory. These arrays are used for full text search. We study indexes with different keys single word form, two word forms, and sequences of word forms. The storage structure depends on the size of the key's data. The results of the experiments are given in the context of the proximity full text search, which is performed by means of additional indexes.


Degeneracy theorems for meromorphic mappings of a complete K " a hler manifold sharing hyperplanes in a projective space. Let M be a complete K " a hler manifold, whose universal covering is biholomorphic to a ball mathbb B m(R 0) in mathbb C m ( 0 R 0 le infty ). In this article, we will show that if three meromorphic mappings f 1,f 2,f 3 of M into mathbb P n( mathbb C) (n ge 2) satisfying the condition (C rho) and sharing q (q C rho K) hyperplanes in general position regardless of multiplicity with certain positive constants K and C 2n (explicitly estimated), then there are some algebraic relation between them. A degeneracy theorem for k (2 le k le n 1) meromorphic mappings sharing hyperplanes is also given. Our result generalize the previous result in the case where the mappings from mathbb C m into mathbb P n( mathbb C) .


Logical Judges Challenge Human Judges on the Strange Case of B.C. Valjean. On May 12th, 2020, during the course entitled Artificial Intelligence and Jurisdiction Practice organized by the Italian School of Magistracy, more than 70 magistrates followed our demonstration of a Prolog logical judge reasoning on an armed robbery case. Although the implemented logical judge is just an exercise of knowledge representation and simple deductive reasoning, a practical demonstration of an automated reasoning tool to such a large audience of potential end users represents a first and unique attempt in Italy and, to the best of our knowledge, in the international panorama. In this paper we present the case addressed by the logical judge a real case already addressed by a human judge in 2015 and the feedback on the demonstration collected from the attendees.


Continuous surrogate based optimization algorithms are well suited for expensive discrete problems. One method to solve expensive black box optimization problems is to use a surrogate model that approximates the objective based on previous observed evaluations. The surrogate, which is cheaper to evaluate, is optimized instead to find an approximate solution to the original problem. In the case of discrete problems, recent research has revolved around surrogate models that are specifically constructed to deal with discrete structures. A main motivation is that literature considers continuous methods, such as Bayesian optimization with Gaussian processes as the surrogate, to be sub optimal (especially in higher dimensions) because they ignore the discrete structure by, e.g., rounding off real valued solutions to integers. However, we claim that this is not true. In fact, we present empirical evidence showing that the use of continuous surrogate models displays competitive performance on a set of high dimensional discrete benchmark problems, including a real life application, against state of the art discrete surrogate based methods. Our experiments on different discrete structures and time constraints also give more insight into which algorithms work well on which type of problem.


Enumerating Answers to First Order Queries over Databases of Low Degree. A class of relational databases has low degree if for all delta 0 , all but finitely many databases in the class have degree at most n delta , where n is the size of the database. Typical examples are databases of bounded degree or of degree bounded by log n . It is known that over a class of databases having low degree, first order boolean queries can be checked in pseudo linear time, i.e. for all epsilon 0 in time bounded by n 1 epsilon . We generalize this result by considering query evaluation. We show that counting the number of answers to a query can be done in pseudo linear time and that after a pseudo linear time preprocessing we can test in constant time whether a given tuple is a solution to a query or enumerate the answers to a query ith constant delay.


LinCE A Centralized Benchmark for Linguistic Code switching Evaluation. Recent trends in NLP research have raised an interest in linguistic code switching (CS) modern approaches have been proposed to solve a wide range of NLP tasks on multiple language pairs. Unfortunately, these proposed methods are hardly generalizable to different code switched languages. In addition, it is unclear whether a model architecture is applicable for a different task while still being compatible with the code switching setting. This is mainly because of the lack of a centralized benchmark and the sparse corpora that researchers employ based on their specific needs and interests. To facilitate research in this direction, we propose a centralized benchmark for Linguistic Code switching Evaluation (LinCE) that combines ten corpora covering four different code switched language pairs (i.e., Spanish English, Nepali English, Hindi English, and Modern Standard Arabic Egyptian Arabic) and four tasks (i.e., language identification, named entity recognition, part of speech tagging, and sentiment analysis). As part of the benchmark centralization effort, we provide an online platform at ritual.uh.edu lince, where researchers can submit their results while comparing with others in real time. In addition, we provide the scores of different popular models, including LSTM, ELMo, and multilingual BERT so that the NLP community can compare against state of the art systems. LinCE is a continuous effort, and we will expand it with more low resource languages and tasks.


On the Sprague Grundy function of compound games. The classical game of sc Nim can be naturally extended and played on an arbitrary hypergraph cH subseteq 2 V setminus emptyset whose vertices V 1, ldots, n correspond to piles of stones. By one move a player chooses an edge H of cH and reduces arbitrarily all piles i in H . In 1901 Bouton solved the classical sc Nim for which cH 1 , ldots, n . In 1910 Moore introduced and solved a more general game k sc Nim , for which cH H subseteq V mid H leq k , where 1 leq k n . In 1980 Jenkyns and Mayberry obtained an explicit formula for the Sprague Grundy function of Moore's sc Nim for the case k 1 n . Recently it was shown that the same formula works for a large class of hypergraphs. In this paper we study combinatorial properties of these hypergraphs and obtain explicit formulas for the Sprague Grundy functions of the conjunctive and selective compounds of the corresponding hypergraph sc Nim games.


Mental Stress Source of Neurological Degeneration Case of MS. Mental stress is a vague though familiar concept that accounts for an agency of the good, the bad and the ugly, that operates in the brains of animated beings, in response to environmental stressors. In this work, we provide evidence for correlation of stressors with afflictions of MS throughout the world, and put forward arguments in support of the fact that stressors can render disruptions in the normal computational processes of the brain, defining the innards of the mental stress, which in turn may lead to the onset of physiologic adversities in the biologic systems, possibly rendering various diseases, even one as MS. While the real cause of the disease is still not known, major focus is put on the treatment of MS symptoms, aiming to slow down its progress and to reduce the frequency of attacks. In this effort we establish the link between MS and mental stress, through analyses of various aspects of statistics of prevalence and incidence, available in the literature 3 5 , which lends itself to opening up of additional treatment possibilities that could be used separate of, or conjunctively with, the medical approaches. On a grander scale, publicizing the adverse workings of the mental stress and its evils can attain statistical gains, in the incidence reduction.


Unsupervised Inflection Generation Using Neural Language Modeling. The use of Deep Neural Network architectures for Language Modeling has recently seen a tremendous increase in interest in the field of NLP with the advent of transfer learning and the shift in focus from rule based and predictive models (supervised learning) to generative or unsupervised models to solve the long standing problems in NLP like Information Extraction or Question Answering. While this shift has worked greatly for languages lacking in inflectional morphology, such as English, challenges still arise when trying to build similar systems for morphologically rich languages, since their individual words shift forms in context more often. In this paper we investigate the extent to which these new unsupervised or generative techniques can serve to alleviate the type token ratio disparity in morphologically rich languages. We apply an off the shelf neural language modeling library to the newly introduced task of unsupervised inflection generation in the nominal domain of three morphologically rich languages Romanian, German, and Finnish. We show that this neural language model architecture can successfully generate the full inflection table of nouns without needing any pre training on large, wikipedia sized corpora, as long as the model is shown enough inflection examples. In fact, our experiments show that pre training hinders the generation performance.


DCR Net A Deep Co Interactive Relation Network for Joint Dialog Act Recognition and Sentiment Classification. In dialog system, dialog act recognition and sentiment classification are two correlative tasks to capture speakers intentions, where dialog act and sentiment can indicate the explicit and the implicit intentions separately. Most of the existing systems either treat them as separate tasks or just jointly model the two tasks by sharing parameters in an implicit way without explicitly modeling mutual interaction and relation. To address this problem, we propose a Deep Co Interactive Relation Network (DCR Net) to explicitly consider the cross impact and model the interaction between the two tasks by introducing a co interactive relation layer. In addition, the proposed relation layer can be stacked to gradually capture mutual knowledge with multiple steps of interaction. Especially, we thoroughly study different relation layers and their effects. Experimental results on two public datasets (Mastodon and Dailydialog) show that our model outperforms the state of the art joint model by 4.3 and 3.4 in terms of F1 score on dialog act recognition task, 5.7 and 12.4 on sentiment classification respectively. Comprehensive analysis empirically verifies the effectiveness of explicitly modeling the relation between the two tasks and the multi steps interaction mechanism. Finally, we employ the Bidirectional Encoder Representation from Transformer (BERT) in our framework, which can further boost our performance in both tasks.


Coherent control of 40 THz optical phonons in diamond using femtosecond optical pulses. Coherent control is an optical technique to manipulate quantum states of matter. The coherent control of 40 THz optical phonons in diamond was demonstrated by using a pair of sub 10 fs optical pulses. The optical phonons were detected via transient transmittance using a pump and probe protocol. The optical and phonon interferences were observed in the transient transmittance change and its behavior was well reproduced by quantum mechanical calculations with a simple model which consists of two electronic levels and shifted harmonic oscillators.


Real time Smart Contracts for IoT using Blockchain and Collaborative Intelligence based Dynamic Pricing for the next generation Smart Toll Application. The confluence of Internet of Things(IoT) , Blockchain(BC) and Artificial Intelligence(AI) acts as a key accelerator for enabling Machine Economy. To be ready for future businesses these technologies needs to be adapted by extending the IoT capabilities to Economy of Things (EoT) capabilities. In this paper we focus on one such implementation experience for Smart Toll Transaction application in the domain of mobility. Our paper showcases a possible solution by leveraging negotiations, decision making, distributed learning capabilities at the devices level using AI enabled Multi Agent Systems and the real time smart contracts between the Cars and Tolls using Blockchain. This solution also showcases the monetization of real time data coming from various IoT devices which are part of vehicles and infrastructure. While blockchain secures the privacy of the participants it also acts as an economic transactional layer and governance layer between the devices in the networ


Generalized B Opers. Opers were introduced by Beilinson Drinfeld arXiv math.AG 0501398 . In J. Math. Pures Appl. 82 (2003), 1 42 a higher rank analog was considered, where the successive quotients of the oper filtration are allowed to have higher rank. We dedicate this paper to introducing and studying generalized B opers (where " B " stands for "bilinear"), obtained by endowing the underlying vector bundle with a bilinear form which is compatible with both the filtration and the connection. In particular, we study the structure of these B opers, by considering the relationship of these structures with jet bundles and with geometric structures on a Riemann surface.


Radon transforms on homogeneous trees. We study the different horospherical Radon transforms that arise by regarding a homogeneous tree T as a simplicial complex whose simplices are vertices V, edges E or flags F (flags are oriented edges). The ends (infinite geodesic rays starting at a reference vertex) provide a boundary Omega for the tree. Then the horospheres form a trivial principal fiber bundle with base Omega and fiber mathZ . There are three such fiber bundles, consisting of horospheres of vertices, edges or flags, but they are isomorphic however, no isomorphism between these fiber bundles maps special sections to special sections (a special section consists of the set of horospheres through a given vertex, edge or flag). The groups of automorphisms of the fiber bundles contain a subgroup A of parallel shifts, analogous to the Cartan subgroup of a semisimple group. The normalized eigenfunctions of the Laplace operator on T are boundary integrals of complex powers of the Poisson kernel, that is characters of A , and are matrix coefficients of representations induced from A in the sense of Mackey, the so called spherical representations. The vertex horospherical Radon transform consists of summation over V in each vertex horosphere, and similarly for edges or flags. We prove inversion formulas for all these Radon transforms, and give applications to harmonic analysis and the Plancherel measure on T. We show via integral geometry that the spherical representations for vertices and edges are equivalent. Also, we define the Radon back projections and find the inversion operator of each Radon transform by composing it with its back projection. This gives rise to a convolution operator on T, whose symbol is obtained via the spherical Fourier transform, and its reciprocal is the symbol of the Radon inversion formula.


The 46,9,20 2 code is unique. The minimum distance of all binary linear codes with dimension at most eight is known. The smallest open case for dimension nine is length n 46 with known bounds 19 le d le 20 . Here we present a 46,9,20 2 code and show its uniqueness. Interestingly enough, this unique optimal code is asymmetric, i.e., it has a trivial automorphism group. Additionally, we show the non existence of 47,10,20 2 and 85,9,40 2 codes.


Demon in the Variant Statistical Analysis of DNNs for Robust Backdoor Contamination Detection. A security threat to deep neural networks (DNN) is backdoor contamination, in which an adversary poisons the training data of a target model to inject a Trojan so that images carrying a specific trigger will always be classified into a specific label. Prior research on this problem assumes the dominance of the trigger in an image's representation, which causes any image with the trigger to be recognized as a member in the target class. Such a trigger also exhibits unique features in the representation space and can therefore be easily separated from legitimate images. Our research, however, shows that simple target contamination can cause the representation of an attack image to be less distinguishable from that of legitimate ones, thereby evading existing defenses against the backdoor infection. In our research, we show that such a contamination attack actually subtly changes the representation distribution for the target class, which can be captured by a statistic analysis. More specifically, we leverage an EM algorithm to decompose an image into its identity part (e.g., person, traffic sign) and variation part within a class (e.g., lighting, poses). Then we analyze the distribution in each class, identifying those more likely to be characterized by a mixture model resulted from adding attack samples to the legitimate image pool. Our research shows that this new technique effectively detects data contamination attacks, including the new one we propose, and is also robust against the evasion attempts made by a knowledgeable adversary.


Kerker Conditions Upon Lossless, Absorption, and Optical Gain Regimes. The directionality and polarization of light show peculiar properties when the scattering by a dielectric sphere can be described exclusively by electric and magnetic dipolar modes. Particularly, when these modes oscillate in phase with equal amplitude, at the so called first Kerker condition, the zero optical backscattering condition emerges for non dissipating spheres. However, the role of absorption and optical gain in the first Kerker condition remains unexplored. In this work, we demonstrate that either absorption or optical gain precludes the first Kerker condition and, hence, the absence of backscattered radiation light, regardless of the size of the particle, incident wavelength, and incoming polarization. Finally, we derive the necessary prerequisites of the second Kerker condition of the zero forward light scattering, finding that optical gain is a compulsory requirement.


Infinite frac 3 2 generated groups. Every finite simple group can be generated by two elements, and Guralnick and Kantor proved that, moreover, every nontrivial element is contained in a generating pair. Groups with this property are said to be frac 3 2 generated. Thompson's group V was the first finitely presented infinite simple group to be discovered. The Higman Thompson groups V n and the Brin Thompson groups mV are two families of finitely presented groups that generalise V . In this paper, we prove that all of the groups V n , V n' and mV are frac 3 2 generated. As far as the authors are aware, the only previously known examples of infinite noncyclic frac 3 2 generated groups are the pathological Tarski monsters. We conclude with several open questions motivated by our results.


Parity in Knotoids. This paper investigates the parity concept in knotoids in S 2 and in mathbb R 2 in relation with virtual knots. We show that the virtual closure map is not surjective and give specific examples of virtual knots that are not in the image. We introduce a planar version of the parity bracket polynomial for knotoids in mathbb R 2 . By using the Nikonov Manturov theorem on minimal diagrams of virtual knots we prove a conjecture of Turaev showing that minimal diagrams of knot type knotoids have zero height.


Message Passing Query Embedding. Recent works on representation learning for Knowledge Graphs have moved beyond the problem of link prediction, to answering queries of an arbitrary structure. Existing methods are based on ad hoc mechanisms that require training with a diverse set of query structures. We propose a more general architecture that employs a graph neural network to encode a graph representation of the query, where nodes correspond to entities and variables. The generality of our method allows it to encode a more diverse set of query types in comparison to previous work. Our method shows competitive performance against previous models for complex queries, and in contrast with these models, it can answer complex queries when trained for link prediction only. We show that the model learns entity embeddings that capture the notion of entity type without explicit supervision.


Text to Image Generation with Attention Based Recurrent Neural Networks. Conditional image modeling based on textual descriptions is a relatively new domain in unsupervised learning. Previous approaches use a latent variable model and generative adversarial networks. While the formers are approximated by using variational auto encoders and rely on the intractable inference that can hamper their performance, the latter is unstable to train due to Nash equilibrium based objective function. We develop a tractable and stable caption based image generation model. The model uses an attention based encoder to learn word to pixel dependencies. A conditional autoregressive based decoder is used for learning pixel to pixel dependencies and generating images. Experimentations are performed on Microsoft COCO, and MNIST with captions datasets and performance is evaluated by using the Structural Similarity Index. Results show that the proposed model performs better than contemporary approaches and generate better quality images. Keywords Generative image modeling, autoregressive image modeling, caption based image generation, neural attention, recurrent neural networks.


Numbers which are orders only of cyclic groups. We call n a cyclic number if every group of order n is cyclic. It is implicit in work of Dickson, and explicit in work of Szele, that n is cyclic precisely when gcd(n, phi(n)) 1 . With C(x) denoting the count of cyclic n le x , Erd H o s proved that C(x) sim e gamma x log log log x , quad text as x to infty . We show that C(x) has an asymptotic series expansion, in the sense of Poincar 'e, in descending powers of log log log x , namely frac e gamma x log log log x left(1 frac gamma log log log x frac gamma 2 frac 1 12 pi 2 ( log log log x ) 2 frac gamma 3 frac 1 4 gamma pi 2 frac 2 3 zeta(3) ( log log log x ) 3 dots right).


On chip optical parametric oscillation into the visible generating red, orange, yellow, and green from a near infrared pump. Optical parametric oscillation (OPO) in a microresonator is promising as an efficient and scalable approach to on chip coherent visible light generation. However, so far only red light at 420 THz (near the edge of the visible band) has been reported. In this work, we demonstrate on chip OPO covering 130 THz of the visible spectrum, including red, orange, yellow, and green wavelengths. In particular, using a pump laser that is scanned 5 THz in the near infrared from 386 THz to 391 THz, the signal is tuned from the near infrared at 395 THz to the visible at 528 THz, while the idler is tuned from the near infrared at 378 THz to the infrared at 254 THz. The widest signal idler separation we demonstrate of 274 THz corresponds to more than an octave span and is the widest demonstrated for a nanophotonic OPO to date. Our work is a clear demonstration of how nonlinear nanophotonics can transform light from readily accessible compact near infrared lasers to targeted visible wavelengths of interest, which is crucial for field level deployment of spectroscopy and metrology systems.


Spherical Discrepancy Minimization and Algorithmic Lower Bounds for Covering the Sphere. Inspired by the boolean discrepancy problem, we study the following optimization problem which we term textsc Spherical Discrepancy given m unit vectors v 1, dots, v m , find another unit vector x that minimizes max i langle x, v i rangle . We show that textsc Spherical Discrepancy is APX hard and develop a multiplicative weights based algorithm that achieves optimal worst case error bounds up to lower order terms. We use our algorithm to give the first non trivial lower bounds for the problem of covering a hypersphere by hyperspherical caps of uniform volume at least 2 o( sqrt n ) . We accomplish this by proving a related covering bound in Gaussian space and showing that in this textit large cap regime the bound transfers to spherical space. Up to a log factor, our lower bounds match known upper bounds in the large cap regime.


A Dynamical Perspective on Point Cloud Registration. We provide a dynamical perspective on the classical problem of 3D point cloud registration with correspondences. A point cloud is considered as a rigid body consisting of particles. The problem of registering two point clouds is formulated as a dynamical system, where the dynamic model point cloud translates and rotates in a viscous environment towards the static scene point cloud, under forces and torques induced by virtual springs placed between each pair of corresponding points. We first show that the potential energy of the system recovers the objective function of the maximum likelihood estimation. We then adopt Lyapunov analysis, particularly the invariant set theorem, to analyze the rigid body dynamics and show that the system globally asymptotically tends towards the set of equilibrium points, where the globally optimal registration solution lies in. We conjecture that, besides the globally optimal equilibrium point, the system has either three or infinite "spurious" equilibrium points, and these spurious equilibria are all locally unstable. The case of three spurious equilibria corresponds to generic shape of the point cloud, while the case of infinite spurious equilibria happens when the point cloud exhibits symmetry. Therefore, simulating the dynamics with random perturbations guarantees to obtain the globally optimal registration solution. Numerical experiments support our analysis and conjecture.


Efficient Bird Eye View Proposals for 3D Siamese Tracking. Tracking vehicles in LIDAR point clouds is a challenging task due to the sparsity of the data and the dense search space. The lack of structure in point clouds impedes the use of convolution filters usually employed in 2D object tracking. In addition, structuring point clouds is cumbersome and implies losing fine grained information. As a result, generating proposals in 3D space is expensive and inefficient. In this paper, we leverage the dense and structured Bird Eye View (BEV) representation of LIDAR point clouds to efficiently search for objects of interest. We use an efficient Region Proposal Network and generate a small number of object proposals in 3D. Successively, we refine our selection of 3D object candidates by exploiting the similarity capability of a 3D Siamese network. We regularize the latter 3D Siamese network for shape completion to enhance its discrimination capability. Our method attempts to solve both for an efficient search space in the BEV space and a meaningful selection using 3D LIDAR point cloud. We show that the Region Proposal in the BEV outperforms Bayesian methods such as Kalman and Particle Filters in providing proposal by a significant margin and that such candidates are suitable for the 3D Siamese network. By training our method end to end, we outperform the previous baseline in vehicle tracking by 12 18 in Success and Precision when using only 16 candidates.


LogicENN A Neural Based Knowledge Graphs Embedding Model with Logical Rules. Knowledge graph embedding models have gained significant attention in AI research. Recent works have shown that the inclusion of background knowledge, such as logical rules, can improve the performance of embeddings in downstream machine learning tasks. However, so far, most existing models do not allow the inclusion of rules. We address the challenge of including rules and present a new neural based embedding model (LogicENN). We prove that LogicENN can learn every ground truth of encoded rules in a knowledge graph. To the best of our knowledge, this has not been proved so far for the neural based family of embedding models. Moreover, we derive formulae for the inclusion of various rules, including (anti )symmetric, inverse, irreflexive and transitive, implication, composition, equivalence and negation. Our formulation allows to avoid grounding for implication and equivalence relations. Our experiments show that LogicENN outperforms the state of the art models in link prediction.


math.NA cs.DC cs.NA physics.comp-ph physics.geo-ph

A stable discontinuous Galerkin method for the perfectly matched layer for elastodynamics in first order form. We present a stable discontinuous Galerkin (DG) method with a perfectly matched layer (PML) for three and two space dimensional linear elastodynamics, in velocity stress formulation, subject to well posed linear boundary conditions. First, we consider the elastodynamics equation, in a cuboidal domain, and derive an unsplit PML truncating the domain using complex coordinate stretching. Leveraging the hyperbolic structure of the underlying system, we construct continuous energy estimates, in the time domain for the elastic wave equation, and in the Laplace space for a sequence of PML model problems, with variations in one, two and three space dimensions, respectively. They correspond to PMLs normal to boundary faces, along edges and in corners. Second, we develop a DG numerical method for the linear elastodynamics equation using physically motivated numerical flux and penalty parameters, which are compatible with all well posed, internal and external, boundary conditions. When the PML damping vanishes, by construction, our choice of penalty parameters yield an upwind scheme and a discrete energy estimate analogous to the continuous energy estimate. Third, to ensure numerical stability of the discretization when PML damping is present, it is necessary to extend the numerical DG fluxes, and the numerical inter element and boundary procedures, to the PML auxiliary differential equations. This is crucial for deriving discrete energy estimates analogous to the continuous energy estimates. By combining the DG spatial approximation with the high order ADER time stepping scheme and the accuracy of the PML we obtain an arbitrarily accurate wave propagation solver in the time domain. Numerical experiments are presented in two and three space dimensions corroborating the theoretical results.


ConAML Constrained Adversarial Machine Learning for Cyber Physical Systems. Recent research demonstrated that the superficially well trained machine learning (ML) models are highly vulnerable to adversarial examples. As ML techniques are becoming a popular solution for cyber physical systems (CPSs) applications in research literatures, the security of these applications is of concern. However, current studies on adversarial machine learning (AML) mainly focus on pure cyberspace domains. The risks the adversarial examples can bring to the CPS applications have not been well investigated. In particular, due to the distributed property of data sources and the inherent physical constraints imposed by CPSs, the widely used threat models and the state of the art AML algorithms in previous cyberspace research become infeasible. We study the potential vulnerabilities of ML applied in CPSs by proposing Constrained Adversarial Machine Learning (ConAML), which generates adversarial examples that satisfy the intrinsic constraints of the physical systems. We first summarize the difference between AML in CPSs and AML in existing cyberspace systems and propose a general threat model for ConAML. We then design a best effort search algorithm to iteratively generate adversarial examples with linear physical constraints. We evaluate our algorithms with simulations of two typical CPSs, the power grids and the water treatment system. The results show that our ConAML algorithms can effectively generate adversarial examples which significantly decrease the performance of the ML models even under practical constraints.


OpenFraming We brought the ML you bring the data. Interact with your data and discover its frames. When journalists cover a news story, they can cover the story from multiple angles or perspectives. A news article written about COVID 19 for example, might focus on personal preventative actions such as mask wearing, while another might focus on COVID 19's impact on the economy. These perspectives are called "frames," which when used may influence public perception and opinion of the issue. We introduce a Web based system for analyzing and classifying frames in text documents. Our goal is to make effective tools for automatic frame discovery and labeling based on topic modeling and deep learning widely accessible to researchers from a diverse array of disciplines. To this end, we provide both state of the art pre trained frame classification models on various issues as well as a user friendly pipeline for training novel classification models on user provided corpora. Researchers can submit their documents and obtain frames of the documents. The degree of user involvement is flexible they can run models that have been pre trained on select issues submit labeled documents and train a new model for frame classification or submit unlabeled documents and obtain potential frames of the documents. The code making up our system is also open sourced and well documented, making the system transparent and expandable. The system is available on line at http www.openframing.org and via our GitHub page https github.com davidatbu openFraming .


Pushing a soft body droplet through porous medium. We investigate the problem of transport of a single fluid droplet through a non wettable superhydrophobic porous medium. A mechanical soft body model is developed and used to simulate the process of pushing fluid droplets through pore space of a random porous medium. Path lines of the center of mass of each droplet are used to calculate tortuosity of the media. Our results show that droplet based tortuosity increases with decreasing porosity of the porous samples. Although qualitatively this agrees with the behaviour observed for tortuosity derived from the fluid flow, the form of this relation is different.


Some relatives of the Catalan sequence. We study a family of sequences c n(a 2, ldots,a r) , where r ge2 and a 2, ldots,a r are real parameters. We find a sufficient condition for positive definiteness of the sequence c n(a 2, ldots,a r) and check several examples from OEIS. We also study relations of these sequences with the free and monotonic convolution.


Boosting Scene Character Recognition by Learning Canonical Forms of Glyphs. As one of the fundamental problems in document analysis, scene character recognition has attracted considerable interests in recent years. But the problem is still considered to be extremely challenging due to many uncontrollable factors including glyph transformation, blur, noisy background, uneven illumination, etc. In this paper, we propose a novel methodology for boosting scene character recognition by learning canonical forms of glyphs, based on the fact that characters appearing in scene images are all derived from their corresponding canonical forms. Our key observation is that more discriminative features can be learned by solving specially designed generative tasks compared to traditional classification based feature learning frameworks. Specifically, we design a GAN based model to make the learned deep feature of a given scene character be capable of reconstructing corresponding glyphs in a number of standard font styles. In this manner, we obtain deep features for scene characters that are more discriminative in recognition and less sensitive against the above mentioned factors. Our experiments conducted on several publicly available databases demonstrate the superiority of our method compared to the state of the art.


Prisoners, Rooms, and Lightswitches. We examine a new variant of the classic prisoners and lightswitches puzzle A warden leads his n prisoners in and out of r rooms, one at a time, in some order, with each prisoner eventually visiting every room an arbitrarily large number of times. The rooms are indistinguishable, except that each one has s lightswitches the prisoners win their freedom if at some point a prisoner can correctly declare that each prisoner has been in every room at least once. What is the minimum number of switches per room, s , such that the prisoners can manage this? We show that if the prisoners do not know the switches' starting configuration, then they have no chance of escape but if the prisoners do know the starting configuration, then the minimum sufficient s is surprisingly small. The analysis gives rise to a number of puzzling open questions, as well.


Holomorphic Function Spaces on Homogeneous Siegel Domains. We study several connected problems of holomorphic function spaces on homogeneous Siegel domains. The main object of our study concerns weighted mixed norm Bergman spaces on homogeneous Siegel domains of type II. These problems include sampling, atomic decomposition, duality, boundary values, boundedness of the Bergman projectors. Our analysis include the Hardy spaces, and suitable generalizations of the classical Bloch and Dirichlet spaces. One of the main novelties in this work is the generality of the domains under consideration, that is, homogeneous Siegel domains, extending many results from the more particular cases of the upper half plane, Siegel domains of tube type over irreducible cones, or symmetric, irreducible Siegel domains of type II.


Simulating Self Organization during Strategic Change Implications for Organizational Design. Self organization a characteristic of complex adaptive systems (CAS) has been explored in organizational research, in management theory Mihm et al. 2003 von Foerster 1984 , firm internationalization Chandra and Wilkinson 2017 , organizational design Clement and Puranam 2017 , and strategic change Foster 2015 . Newer organizational forms such as networks and zero hierarchy companies that hold the promise of self organization are gaining prominence Puranam et al. 2014 , and theoretical organizational modeling is a useful technique to study them proactively via simulation Puranam et al.2015 Simon 1976 . In this paper, we introduce a nature inspired model to understand self organization of collaborative groups in three archetypal organizational designs i. fully networked, ii. siloed, and iii.dynamic, where each design controls intra managerial communication in specific ways, and each member has reactive or perceptive behavioral tendencies.


Rigidification of dendroidal infinity operads. We give an explicit description of the rigidification of an infty operad as a simplicial operad. This description is based on the notion of dendroidal necklace, extending work of Dugger and Spivak from the categorical context to the operadic context, although with a different framework, which relates constructions involving necklaces to a standard factorization of maps in the category of trees.


3D GMNet Single View 3D Shape Recovery as A Gaussian Mixture. In this paper, we introduce 3D GMNet, a deep neural network for 3D object shape reconstruction from a single image. As the name suggests, 3D GMNet recovers 3D shape as a Gaussian mixture. In contrast to voxels, point clouds, or meshes, a Gaussian mixture representation provides an analytical expression with a small memory footprint while accurately representing the target 3D shape. At the same time, it offers a number of additional advantages including instant pose estimation and controllable level of detail reconstruction, while also enabling interpretation as a point cloud, volume, and a mesh model. We train 3D GMNet end to end with single input images and corresponding 3D models by introducing two novel loss functions, a 3D Gaussian mixture loss and a 2D multi view loss, which collectively enable accurate shape reconstruction as kernel density estimation. We thoroughly evaluate the effectiveness of 3D GMNet with synthetic and real images of objects. The results show accurate reconstruction with a compact representation that also realizes novel applications of single image 3D reconstruction.


A sample efficient sparse FFT for arbitrary frequency candidate sets in high dimensions. In this paper a sublinear time algorithm is presented for the reconstruction of functions that can be represented by just few out of a potentially large candidate set of Fourier basis functions in high spatial dimensions, a so called high dimensional sparse fast Fourier transform. In contrast to many other such algorithms, our method works for arbitrary candidate sets and does not make additional structural assumptions on the candidate set. Our transform significantly improves upon the other approaches available for such a general framework in terms of the scaling of the sample complexity. Our algorithm is based on sampling the function along multiple rank 1 lattices with random generators. Combined with a dimension incremental approach, our method yields a sparse Fourier transform whose computational complexity only grows mildly in the dimension and can hence be efficiently computed even in high dimensions. Our theoretical analysis establishes that any Fourier s sparse function can be accurately reconstructed with high probability. This guarantee is complemented by several numerical tests demonstrating the high efficiency and versatile applicability for the exactly sparse case and also for the compressible case.


Burst behavior due to quasimode excited by stimulated Brillouin scattering in high intensity laser plasma interaction. The strong coupling mode, called quasimode, will be excited by stimulated Brillouin scattering (SBS) in high intensity laser plasma interaction. And SBS of quasimode will compete with SBS of fast mode (or slow mode) in multi ion species plasmas, thus leading to a low frequency burst behavior of SBS reflectivity. The competition of quasimode and ion acoustic wave (IAW) is an important saturation mechanism of SBS in high intensity laser plasma interaction. These results give a clear explanation to the low frequency periodic burst behavior of SBS and should be considered as a saturation mechanism of SBS in high intensity laser plasma interaction.


Properties of minimal charts and their applications VII charts of type (2,3,2) . Let Gamma be a chart, and we denote by Gamma m the union of all the edges of label m . A chart Gamma is of type (2,3,2) if there exists a label m such that w( Gamma) 7 , w( Gamma m cap Gamma m 1 ) 2 , w( Gamma m 1 cap Gamma m 2 ) 3 , and w( Gamma m 2 cap Gamma m 3 ) 2 where w(G) is the number of white vertices in G . In this paper, we prove that there is no minimal chart of type (2,3,2) .


Switching properties of time optimal controls for systems of heat equations coupled by constant matrices. This paper studies the time optimal control problem for systems of heat equations coupled by a pair of constant matrices. The control constraint is of the ball type, while the target is the origin of the state space. We obtain an upper bound for the number of switching points of the optimal control over each interval with a fixed length. Also, we prove that at each switching point, the optimal control jump from one direction to the reverse direction.


Fast, Compact and Highly Scalable Visual Place Recognition through Sequence based Matching of Overloaded Representations. Visual place recognition algorithms trade off three key characteristics their storage footprint, their computational requirements, and their resultant performance, often expressed in terms of recall rate. Significant prior work has investigated highly compact place representations, sub linear computational scaling and sub linear storage scaling techniques, but have always involved a significant compromise in one or more of these regards, and have only been demonstrated on relatively small datasets. In this paper we present a novel place recognition system which enables for the first time the combination of ultra compact place representations, near sub linear storage scaling and extremely lightweight compute requirements. Our approach exploits the inherently sequential nature of much spatial data in the robotics domain and inverts the typical target criteria, through intentionally coarse scalar quantization based hashing that leads to more collisions but is resolved by sequence based matching. For the first time, we show how effective place recognition rates can be achieved on a new very large 10 million place dataset, requiring only 8 bytes of storage per place and 37K unitary operations to achieve over 50 recall for matching a sequence of 100 frames, where a conventional state of the art approach both consumes 1300 times more compute and fails catastrophically. We present analysis investigating the effectiveness of our hashing overload approach under varying sizes of quantized vector length, comparison of near miss matches with the actual match selections and characterise the effect of variance re scaling of data on quantization.


Lie wedges of endomorphism semigroups of standard subspaces in admissible Lie algebras. Let mathfrak g be a real finite dimensional Lie algebra containing pointed generating invariant closed convex cones. We determine those derivations D of mathfrak g which induce a 3 grading of the form mathfrak g mathfrak g 1 oplus mathfrak g 0 oplus mathfrak g 1 on mathfrak g such that the ( pm 1) eigenspaces mathfrak g pm 1 of D are generated by the intersections with generating cones of the form W mathcal O f , where mathcal O f is the coadjoint orbit of a linear functional f in mathfrak z ( mathfrak g ) and mathcal O f is the dual cone of mathcal O f . In particular, we show that, if mathfrak g is solvable, no such derivation except the trivial one exists. This continues our classification of Lie algebras generated by Lie wedges of endomorphism semigroups of standard subspaces. The classification is motivated by the relation of nets of standard subspaces to Haag Kastler nets of von Neumann algebras in Algebraic Quantum Field Theory.


Morton Filters for Superior Template Protection for Iris Recognition. We address the fundamental performance issues of template protection (TP) for iris verification. We base our work on the popular Bloom Filter templates protection address the key challenges like sub optimal performance and low unlinkability. Specifically, we focus on cases where Bloom filter templates results in non ideal performance due to presence of large degradations within iris images. Iris recognition is challenged with number of occluding factors such as presence of eye lashes within captured image, occlusion due to eyelids, low quality iris images due to motion blur. All of such degrading factors result in obtaining non reliable iris codes thereby provide non ideal biometric performance. These factors directly impact the protected templates derived from iris images when classical Bloom filters are employed. To this end, we propose and extend our earlier ideas of Morton filters for obtaining better and reliable templates for iris. Morton filter based TP for iris codes is based on leveraging the intra and inter class distribution by exploiting low rank iris codes to derive the stable bits across iris images for a particular subject and also analyzing the discriminable bits across various subjects. Such low rank non noisy iris codes enables realizing the template protection in a superior way which not only can be used in constrained setting, but also in relaxed iris imaging. We further extend the work to analyze the applicability to VIS iris images by employing a large scale public iris image database UBIRIS(v1 v2), captured in a unconstrained setting. Through a set of experiments, we demonstrate the applicability of proposed approach and vet the strengths and weakness. Yet another contribution of this work stems in assessing the security of the proposed approach where factors of Unlinkability is studied to indicate the antagonistic nature to relaxed iris imaging scenarios.


SCAUL Power Side Channel Analysis with Unsupervised Learning. Existing power analysis techniques rely on strong adversary models with prior knowledge of the leakage or training data. We introduce side channel analysis with unsupervised learning (SCAUL) that can recover the secret key without requiring prior knowledge or profiling (training). We employ an LSTM auto encoder to extract features from power traces with high mutual information with the data dependent samples of the measurements. We demonstrate that by replacing the raw measurements with the auto encoder features in a classical DPA attack, the efficiency, in terms of required number of measurements for key recovery, improves by 10X. Further, we employ these features to identify a leakage model with sensitivity analysis and multi layer perceptron (MLP) networks. SCAUL uses the auto encoder features and the leakage model, obtained in an unsupervised approach, to find the correct key. On a lightweight implementation of AES on Artix 7 FPGA, we show that SCAUL is able to recover the correct key with 3700 power measurements with random plaintexts, while a DPA attack requires at least 17400 measurements. Using misaligned traces, with an uncertainty equal to 20 of the hardware clock cycle, SCAUL is able to recover the secret key with 12300 measurements while the DPA attack fails to detect the key.


ALReLU A different approach on Leaky ReLU activation function to improve Neural Networks Performance. Despite the unresolved 'dying ReLU problem', the classical ReLU activation function (AF) has been extensively applied in Deep Neural Networks (DNN), in particular Convolutional Neural Networks (CNN), for image classification. The common gradient issues of ReLU pose challenges in applications on academy and industry sectors. Recent approaches for improvements are in a similar direction by just proposing variations of the AF, such as Leaky ReLU (LReLU), while maintaining the solution within the same unresolved gradient problems. In this paper, the Absolute Leaky ReLU (ALReLU) AF, a variation of LReLU, is proposed, as an alternative method to resolve the common 'dying ReLU problem' on NN based algorithms for supervised learning. The experimental results demonstrate that by using the absolute values of LReLU's small negative gradient, has a significant improvement in comparison with LReLU and ReLU, on image classification of diseases such as COVID 19, text and tabular data classification tasks on five different datasets.


Adjacency Labelling for Planar Graphs (and Beyond). We show that there exists an adjacency labelling scheme for planar graphs where each vertex of an n vertex planar graph G is assigned a (1 o(1)) log 2 n bit label and the labels of two vertices u and v are sufficient to determine if uv is an edge of G . This is optimal up to the lower order term and is the first such asymptotically optimal result. An alternative, but equivalent, interpretation of this result is that, for every n , there exists a graph U n with n 1 o(1) vertices such that every n vertex planar graph is an induced subgraph of U n . These results generalize to bounded genus graphs, apex minor free graphs, bounded degree graphs from minor closed families, and k planar graphs.


Synergy between Machine Deep Learning and Software Engineering How Far Are We?. Since 2009, the deep learning revolution, which was triggered by the introduction of ImageNet, has stimulated the synergy between Machine Learning (ML) Deep Learning (DL) and Software Engineering (SE). Meanwhile, critical reviews have emerged that suggest that ML DL should be used cautiously. To improve the quality (especially the applicability and generalizability) of ML DL related SE studies, and to stimulate and enhance future collaborations between SE AI researchers and industry practitioners, we conducted a 10 year Systematic Literature Review (SLR) on 906 ML DL related SE papers published between 2009 and 2018. Our trend analysis demonstrated the mutual impacts that ML DL and SE have had on each other. At the same time, however, we also observed a paucity of replicable and reproducible ML DL related SE studies and identified five factors that influence their replicability and reproducibility. To improve the applicability and generalizability of research results, we analyzed what ingredients in a study would facilitate an understanding of why a ML DL technique was selected for a specific SE problem. In addition, we identified the unique trends of impacts of DL models on SE tasks, as well as five unique challenges that needed to be met in order to better leverage DL to improve the productivity of SE tasks. Finally, we outlined a road map that we believe can facilitate the transfer of ML DL based SE research results into real world industry practices.