Geometric Bounds for Convergence Rates of Averaging Algorithms. We develop a generic method for bounding the convergence rate of an averaging algorithm running in a multi agent system with a time varying network, where the associated stochastic matrices have a time independent Perron vector. This method provides bounds on convergence rates that unify and refine most of the previously known bounds. They depend on geometric parameters of the dynamic communication graph such as the normalized diameter or the bottleneck measure. As corollaries of these geometric bounds, we show that the convergence rate of the Metropolis algorithm in a system of n agents is less than 1 1 4n 2 with any communication graph that may vary in time, but is permanently connected and bidirectional. We prove a similar upper bound for the EqualNeighbor algorithm under the additional assumptions that the number of neighbors of each agent is constant and that the communication graph is not too irregular. Moreover our bounds offer improved convergence rates for several averaging algorithms and specific families of communication graphs. Finally we extend our methodology to a time varying Perron vector and show how convergence times may dramatically degrade with even limited variations of Perron vectors.


Haupt Kapovich theorem revisited. A theorem of O. Haupt, rediscovered by M. Kapovich and celebrated by his proof invoking Ratner theory, describes the set of de Rham cohomology classes on a topological orientable surface, which can be realized by an abelian differential in some respective complex structure, in purely topological terms. We make an attempt to describe similarly pairs and triples of cohomology classes, which can be realized by abelian differentials in some complex structure. This leads us to some interesting problems in algebraic geometry of curves, and gives an unexpected local description of the Teichm "uller space.


Analysis of an Adaptive Biasing Force method based on self interacting dynamics. This article fills a gap in the mathematical analysis of Adaptive Biasing algorithms, which are extensively used in molecular dynamics computations. Given a reaction coordinate, ideally, the bias in the overdamped Langevin dynamics would be given by the gradient of the associated free energy function, which is unknown. We consider an adaptive biased version of the overdamped dynamics, where the bias depends on the past of the trajectory and is designed to approximate the free energy. The main result of this article is the consistency and efficiency of this approach. More precisely we prove the almost sure convergence of the bias as time goes to infinity, and that the limit is close to the ideal bias, as an auxiliary parameter of the algorithm goes to 0 . The proof is based on interpreting the process as a self interacting dynamics, and on the study of a non trivial fixed point problem for the limiting flow obtained using the ODE method.


Finding Friends and Flipping Frenemies Automatic Paraphrase Dataset Augmentation Using Graph Theory. Most NLP datasets are manually labeled, so suffer from inconsistent labeling or limited size. We propose methods for automatically improving datasets by viewing them as graphs with expected semantic properties. We construct a paraphrase graph from the provided sentence pair labels, and create an augmented dataset by directly inferring labels from the original sentence pairs using a transitivity property. We use structural balance theory to identify likely mislabelings in the graph, and flip their labels. We evaluate our methods on paraphrase models trained using these datasets starting from a pretrained BERT model, and find that the automatically enhanced training sets result in more accurate models.


Kinetic modelling of runaway electron generation in argon induced disruptions in ASDEX Upgrade. Massive material injection has been proposed as a way to mitigate the formation of a beam of relativistic runaway electrons that may result from a disruption in tokamak plasmas. In this paper we analyse runaway generation observed in eleven ASDEX Upgrade discharges where disruption was triggered using massive gas injection. We present numerical simulations in scenarios characteristic of on axis plasma conditions, constrained by experimental observations, using a description of the runaway dynamics with self consistent electric field and temperature evolution in two dimensional momentum space and zero dimensional real space. We describe the evolution of the electron distribution function during the disruption, and show that the runaway seed generation is dominated by hot tail in all of the simulated discharges. We reproduce the observed dependence of the current dissipation rate on the amount of injected argon during the runaway plateau phase. Our simulations also indicate that above a threshold amount of injected argon, the current density after the current quench depends strongly on the argon densities. This trend is not observed in the experiments, which suggests that effects not captured by 0D kinetic modeling such as runaway seed transport are also important.


Typal Heterogeneous Equality Types. The usual homogeneous form of equality type in Martin L "of Type Theory contains identifications between elements of the same type. By contrast, the heterogeneous form of equality contains identifications between elements of possibly different types. This paper introduces a simple set of axioms for such types. The axioms are equivalent to the combination of systematic elimination rules for both forms of equality, albeit with typal (also known as "propositional") computation properties, together with Streicher's Axiom K, or equivalently, the principle of uniqueness of identity proofs.


BirdNet End to End 3D Object Detection in LiDAR Bird's Eye View. On board 3D object detection in autonomous vehicles often relies on geometry information captured by LiDAR devices. Albeit image features are typically preferred for detection, numerous approaches take only spatial data as input. Exploiting this information in inference usually involves the use of compact representations such as the Bird's Eye View (BEV) projection, which entails a loss of information and thus hinders the joint inference of all the parameters of the objects' 3D boxes. In this paper, we present a fully end to end 3D object detection framework that can infer oriented 3D boxes solely from BEV images by using a two stage object detector and ad hoc regression branches, eliminating the need for a post processing stage. The method outperforms its predecessor (BirdNet) by a large margin and obtains state of the art results on the KITTI 3D Object Detection Benchmark for all the categories in evaluation.


Multiple Policy Value Monte Carlo Tree Search. Many of the strongest game playing programs use a combination of Monte Carlo tree search (MCTS) and deep neural networks (DNN), where the DNNs are used as policy or value evaluators. Given a limited budget, such as online playing or during the self play phase of AlphaZero (AZ) training, a balance needs to be reached between accurate state estimation and more MCTS simulations, both of which are critical for a strong game playing agent. Typically, larger DNNs are better at generalization and accurate evaluation, while smaller DNNs are less costly, and therefore can lead to more MCTS simulations and bigger search trees with the same budget. This paper introduces a new method called the multiple policy value MCTS (MPV MCTS), which combines multiple policy value neural networks (PV NNs) of various sizes to retain advantages of each network, where two PV NNs f S and f L are used in this paper. We show through experiments on the game NoGo that a combined f S and f L MPV MCTS outperforms single PV NN with policy value MCTS, called PV MCTS. Additionally, MPV MCTS also outperforms PV MCTS for AZ training.


On the small prime factors of a non deficient number. Let sigma(n) to be the sum of the positive divisors of n . A number is non deficient if sigma(n) geq 2n . We establish new lower bounds for the number of distinct prime factors of an odd non deficient number in terms of its second smallest, third smallest and fourth smallest prime factors. We also obtain tighter bounds for odd perfect numbers. We also discuss the behavior of sigma(n! 1) , sigma(2 n 1) , and related sequences.


Correctors and error estimates for reaction diffusion processes through thin heterogeneous layers in case of homogenized equations with interface diffusion. In this paper, we construct approximations of the microscopic solution of a nonlinear reaction diffusion equation in a domain consisting of two bulk domains, which are separated by a thin layer with a periodic heterogeneous structure. The size of the heterogeneities and thickness of the layer are of order epsilon , where the parameter epsilon is small compared to the length scale of the whole domain. In the limit epsilon to 0 , when the thin layer reduces to an interface Sigma separating two bulk domains, a macroscopic model with effective interface conditions across Sigma is obtained. Our approximations are obtained by adding corrector terms to the macroscopic solution, which take into account the oscillations in the thin layer and the coupling conditions between the layer and the bulk domains. To validate these approximations, we prove error estimates with respect to epsilon . Our approximations are constructed in two steps leading to error estimates of order epsilon frac12 and epsilon in the H 1 norm.


Combining quantum mechanics and machine learning calculations for anharmonic corrections to vibrational frequencies. Several methods are available to compute the anharmonicity in semi rigid molecules. However, such methods are not routinely employed yet because of their large computational cost, especially for large molecules. The potential energy surface is required and generally approximated by a quartic force field potential based on ab initio calculation, thus limiting this approach to medium sized molecules. We developed a new, fast and accurate hybrid Quantum Mechanic Machine learning (QM ML) approach to reduce the computational time for large systems. With this novel approach, we evaluated anharmonic frequencies of 37 molecules thus covering a broad range of vibrational modes and chemical environments. The obtained fundamental frequencies reproduce results obtained using B2PLYP def2tzvpp with a root mean square deviation (RMSD) of 21 cm 1 and experimental results with a RMSD of 23 cm 1. Along with this very good accuracy, the computational time with our hybrid QM ML approach scales linearly with N while the traditional full ab initio method scales as N2, where N is the number of atoms.


Classification of subbundles on the Fargues Fontaine curve. We completely classify all subbundles of a given vector bundle on the Fargues Fontaine curve. Our classification is given in terms of a simple and explicit condition on Harder Narasimhan polygons. Our proof is inspired by the proof of the main theorem in Hon19 , but also involves a number of nontrivial adjustments.


On the stability of time discrete dynamic multiple network poroelasticity systems arising from second order implicit time stepping schemes. The classical Biot's theory provides the foundation of a fully dynamic poroelasticity model describing the propagation of elastic waves in fluid saturated media. Multiple network poroelastic theory (MPET) takes into account that the elastic matrix (solid) can be permeated by one or several ( n ge1 ) superimposed interacting single fluid networks of possibly different characteristics hence the single network (classical Biot) model can be considered as a special case of the MPET model. We analyze the stability properties of the time discrete systems arising from second order implicit time stepping schemes applied to the variational formulation of the MPET model and prove an inf sup condition with a constant that is independent of all model parameters. Moreover, we show that the fully discrete models obtained for a family of strongly conservative space discretizations are also uniformly stable with respect to the spatial discretization parameter. The norms in which these results hold are the basis for parameter robust preconditioners.


Homogenization of Steklov eigenvalues with rapidly oscillating weights. In this article we study the homogenization rates of eigenvalues of a Steklov problem with rapidly oscillating periodic weight functions. The results are obtained via a careful study of oscillating functions on the boundary and a precise estimate of the L infty bound of eigenfunctions. As an application we provide some estimates on the first nontrivial curve of the Dancer F u v c ' i k spectrum.


Cost sensitive Hierarchical Clustering for Dynamic Classifier Selection. We consider the dynamic classifier selection (DCS) problem Given an ensemble of classifiers, we are to choose which classifier to use depending on the particular input vector that we get to classify. The problem is a special case of the general algorithm selection problem where we have multiple different algorithms we can employ to process a given input. We investigate if a method developed for general algorithm selection named cost sensitive hierarchical clustering (CSHC) is suited for DCS. We introduce some additions to the original CSHC method for the special case of choosing a classification algorithm and evaluate their impact on performance. We then compare with a number of state of the art dynamic classifier selection methods. Our experimental results show that our modified CSHC algorithm compares favorably


Adapting End to End Speech Recognition for Readable Subtitles. Automatic speech recognition (ASR) systems are primarily evaluated on transcription accuracy. However, in some use cases such as subtitling, verbatim transcription would reduce output readability given limited screen size and reading time. Therefore, this work focuses on ASR with output compression, a task challenging for supervised approaches due to the scarcity of training data. We first investigate a cascaded system, where an unsupervised compression model is used to post edit the transcribed speech. We then compare several methods of end to end speech recognition under output length constraints. The experiments show that with limited data far less than needed for training a model from scratch, we can adapt a Transformer based ASR model to incorporate both transcription and compression capabilities. Furthermore, the best performance in terms of WER and ROUGE scores is achieved by explicitly modeling the length constraints within the end to end ASR system.


Visual Testing of GUIs by Abstraction. Ensuring the correct visual appearance of graphical user interfaces (GUIs) is important because visual bugs can cause substantial losses for businesses. An application might behave functionally correct in an automated test, but visual bugs can make the GUI effectively unusable for the user. Most of today's approaches for visual testing are pixel based and tend to have flaws that are characteristic for image differencing. For instance, minor and unimportant visual changes often cause false positives, which confuse the user with unnecessary error reports. Our idea is to introduce an abstract GUI state (AGS), where we define structural relations to identify relevant GUI changes and ignore those that are unimportant from the user's point of view. In addition, we explore several strategies to address the GUI element identification problem in terms of AGS. This allows us to provide rich diagnostic information that help the user to better interpret changes. Based on the principles of golden master testing, we can support a fully automated approach to visual testing by using the AGS. We have implemented our approach to visually test web pages and our experiments show that we are able to reliably detect GUI changes.


Lacunary polynomials in L 1 geometry of the unit sphere. Let Lambda be a finite set of nonnegative integers, and let mathcal P( Lambda) be the linear hull of the monomials z k with k in Lambda , viewed as a subspace of L 1 on the unit circle. We characterize the extreme and exposed points of the unit ball in mathcal P( Lambda) .


Pairwise Rational Points on a Parabola. This paper presents a solution to the following open problem in Number Theory and Geometry How many points can you find on the (half) parabola y x 2 , x 0 , so that the distance between any pair of them is rational? This problem sounds like a geometry problem, but it is likely to require techniques in number theory. That's because, to determine if the distance between (a,b) and (s,t) is rational, you need to test whether (a s) 2 (b t) 2 is the square of a rational number...and such questions typically fall into the realm of number theory. Of course, since this is an open problem, no one can claim to know just what field the problem lies in, since no one knows the solution. I believe it is not even known if there are more than 5 points on the parabola which satisfy the condition. It is certainly not known if there is an infinite family with pairwise rational distances. We can quickly see that there are three such points in the following way Pick two rational numbers, say 1 5 and 3 5, and let those be the distances between the pairs of points AB and BC. If you fix those distances and slide the points up the parabola, the distance AC will gradually increase, bounded above by 4 5. Since the rational numbers are dense in the reals, there will be many placements of the points so that AC is a rational distance. It is not too hard to show that if you have N points on the parabola with rational distances between them, then you can find N points on the parabola with integer distances between them. This problem is publicly posted on the DIMACS mathematical research website in order to search for solutions. This paper demonstrates that an infinite number of families each containing an arbitrarily large number of such pairwise rational points on the parabola can be found. A constructive algorithm for doing so is outlined in the paper.


Space time metamorphosis. We study the problem of registering images. The framework we use is metamorphosis and we construct a variational Eulerian space time setting and pose the registration problem as an infinite dimensional optimisation problem. The geodesic equations correspond to a system of advection and continuity equations and are solved analytically. Well posedness of a primal conforming finite element method is established and its convergence is investigated numerically. This provides a discrete forward operator for the matching parameterized by a space time velocity field. We propose a gradient descent method on this control variable and show several promising numerical results for this approach.


Inverse Eigenvalue Problem For Mass Spring Inerter Systems. This paper has solved the inverse eigenvalue problem for "fixed free" mass chain systems with inerters. It is well known that for a spring mass system wherein the adjacent masses are linked through a spring, the natural frequency assignment can be achieved by choosing appropriate masses and spring stiffnesses if and only if the given positive eigenvalues are distinct. However, when we involve inerters, multiple eigenvalues in the assignment are allowed. In fact, arbitrarily given a set of positive real numbers, we derive a necessary and sufficient condition on the multiplicities of these numbers, which are assigned as the natural frequencies of the concerned mass spring inerter system.


An accelerated first order method for non convex optimization on manifolds. We describe the first gradient methods on Riemannian manifolds to achieve accelerated rates in the non convex case. Under Lipschitz assumptions on the Riemannian gradient and Hessian of the cost function, these methods find approximate first order critical points faster than regular gradient descent. A randomized version also finds approximate second order critical points. Both the algorithms and their analyses build extensively on existing work in the Euclidean case. The basic operation consists in running the Euclidean accelerated gradient descent method (appropriately safe guarded against non convexity) in the current tangent space, then moving back to the manifold and repeating. This requires lifting the cost function from the manifold to the tangent space, which can be done for example through the Riemannian exponential map. For this approach to succeed, the lifted cost function (called the pullback) must retain certain Lipschitz properties. As a contribution of independent interest, we prove precise claims to that effect, with explicit constants. Those claims are affected by the Riemannian curvature of the manifold, which in turn affects the worst case complexity bounds for our optimization algorithms.


A Theorem of Joseph Alfred Serret and its Relation to Perfect Quantum State Transfer. In this paper we recast the Serret theorem about a characterization of palindromic continued fractions in the context of polynomial continued fractions. Then, using the relation between symmetric tridiagonal matrices and polynomial continued fractions we give a quick exposition of the mathematical aspect of the perfect quantum state transfer problem.


Construction and enumeration for self dual cyclic codes of even length over mathbb F 2 m u mathbb F 2 m . Let mathbb F 2 m be a finite field of cardinality 2 m , R mathbb F 2 m u mathbb F 2 m (u 2 0) and s,n be positive integers such that n is odd. In this paper, we give an explicit representation for every self dual cyclic code over the finite chain ring R of length 2 sn and provide a calculation method to obtain all distinct codes. Moreover, we obtain a clear formula to count the number of all these self dual cyclic codes. As an application, self dual and 2 quasi cyclic codes over mathbb F 2 m of length 2 s 1 n can be obtained from self dual cyclic code over R of length 2 sn and by a Gray map preserving orthogonality and distances from R onto mathbb F 2 m 2 .


Dynamical reduced basis methods for Hamiltonian systems. We consider model order reduction of parameterized Hamiltonian systems describing nondissipative phenomena, like wave type and transport dominated problems. The development of reduced basis methods for such models is challenged by two main factors the rich geometric structure encoding the physical and stability properties of the dynamics and its local low rank nature. To address these aspects, we propose a nonlinear structure preserving model reduction where the reduced phase space evolves in time. In the spirit of dynamical low rank approximation, the reduced dynamics is obtained by a symplectic projection of the Hamiltonian vector field onto the tangent space of the approximation manifold at each reduced state. A priori error estimates are established in terms of the projection error of the full model solution onto the reduced manifold. For the temporal discretization of the reduced dynamics we employ splitting techniques. The reduced basis satisfies an evolution equation on the manifold of symplectic and orthogonal rectangular matrices having one dimension equal to the size of the full model. We recast the problem on the tangent space of the matrix manifold and develop intrinsic temporal integrators based on Lie group techniques together with explicit Runge Kutta (RK) schemes. The resulting methods are shown to converge with the order of the RK integrator and their computational complexity depends only linearly on the dimension of the full model, provided the evaluation of the reduced flow velocity has a comparable cost.


Demographic Bias in Biometrics A Survey on an Emerging Challenge. Systems incorporating biometric technologies have become ubiquitous in personal, commercial, and governmental identity management applications. Both cooperative (e.g. access control) and non cooperative (e.g. surveillance and forensics) systems have benefited from biometrics. Such systems rely on the uniqueness of certain biological or behavioural characteristics of human beings, which enable for individuals to be reliably recognised using automated algorithms. Recently, however, there has been a wave of public and academic concerns regarding the existence of systemic bias in automated decision systems (including biometrics). Most prominently, face recognition algorithms have often been labelled as "racist" or "biased" by the media, non governmental organisations, and researchers alike. The main contributions of this article are (1) an overview of the topic of algorithmic bias in the context of biometrics, (2) a comprehensive survey of the existing literature on biometric bias estimation and mitigation, (3) a discussion of the pertinent technical and social matters, and (4) an outline of the remaining challenges and future work items, both from technological and social points of view.


Reflections on the Erd H o s Discrepancy Problem. We consider some coloring issues related to the famous Erd H o s Discrepancy Problem. A set of the form A s,k s,2s, dots,ks , with s,k in mathbb N , is called a emph homogeneous arithmetic progression . We prove that for every fixed k there exists a 2 coloring of mathbb N such that every set A s,k is emph perfectly balanced (the numbers of red and blue elements in the set A s,k differ by at most one). This prompts reflection on various restricted versions of Erd H o s' problem, obtained by imposing diverse confinements on parameters s,k . In a slightly different direction, we discuss a emph majority variant of the problem, in which each set A s,k should have an excess of elements colored differently than the first element in the set. This problem leads, unexpectedly, to some deep questions concerning completely multiplicative functions with values in 1, 1 . In particular, whether there is such a function with partial sums bounded from above.


One can't hear orientability of surfaces. The main result of this paper is that one cannot hear orientability of a surface with boundary. More precisely, we construct two isospectral flat surfaces with boundary with the same Neumann spectrum, one orientable, the other non orientable. For this purpose, we apply Sunada's and Buser's methods in the framework of orbifolds. Choosing a symmetric tile in our construction, and adapting a folklore argument of Fefferman, we also show that the surfaces have different Dirichlet spectra. These results were announced in the it C. R. Acad. Sci. Paris S 'er. I Math. , volume 320 in 1995, but the full proofs so far have only circulated in preprint form.


On the Compactness of Hamiltonian Stationary Lagrangian Surfaces in K "a hler Surfaces. We prove a bubble tree convergence theorem for a sequence of closed Hamiltonian Stationary Lagrangian surfaces with bounded areas and Willmore energies in a complete K "a hler surface. We also prove two strong compactness theorems on the space of Hamiltonian stationary Lagrangian tori in mathbb C 2 and mathbb CP 2 respectively.


Composition and Configuration Patterns in Multiple View Visualizations. Multiple view visualization (MV) is a layout design technique often employed to help users see a large number of data attributes and values in a single cohesive representation. Because of its generalizability, the MV design has been widely adopted by the visualization community to help users examine and interact with large, complex, and high dimensional data. However, although ubiquitous, there has been little work to categorize and analyze MVs in order to better understand its design space. As a result, there has been little to no guideline in how to use the MV design effectively. In this paper, we present an in depth study of how MVs are designed in practice. We focus on two fundamental measures of multiple view patterns composition, which quantifies what view types and how many are there and configuration, which characterizes spatial arrangement of view layouts in the display space. We build a new dataset containing 360 images of MVs collected from IEEE VIS, EuroVis, and PacificVis publications 2011 to 2019, and make fine grained annotations of view types and layouts for these visualization images. From this data we conduct composition and configuration analyses using quantitative metrics of term frequency and layout topology. We identify common practices around MVs, including relationship of view types, popular view layouts, and correlation between view types and layouts. We combine the findings into a MV recommendation system, providing interactive tools to explore the design space, and support example based design.


Derivations and identities for Chebyshev polynomials of the first and second kinds. In this paper we follow the general approach, proposed earlier by the first author, which is derived from the invariant theory field and provides a way of obtaining of the polynomial identities for any arbitrary polynomial family. We introduce the notion of Chebyshev derivations of the first and second kinds, which is based on the polynomial algebra, and corresponding specific differential operators. We derive the elements of their kernels and prove that any element of the kernel of the derivations defines a polynomial identity satisfied by the Chebyshev polynomials of the first and second kinds. Combining elementary methods and combinatorial techniques, we obtain several new polynomial identities involving the Chebyshev polynomials of the both kinds and a special case of the Jacobi polynomials. Using the properties of the generalised hypergeometric function, we specify the Chebyshev polynomials of the first and second kinds via the generalised hypergeometric function and, as a consequence, derive the corresponding identities involving the generalised hypergeometric function and the Chebyshev polynomials of the first and second kinds.


Local behaviour of sequences of three dimensional generalised monopoles. The purpose of this paper is to study the behaviour of sequences of generalised monopoles with a uniform bound on a certain L2 norm. We focus on the case that the target hyperKahler manifolds are Swann bundles. In 3 dimensional case, suppose that there exists an open submanifold Y' such that the hyperKahler potential along the monopoles has a uniform lower bound over Y'. Then we show that there exist convergent subsequences of generalised monopoles over any compact subset of Y'. Under similar assumptions, the same conclusion holds for the generalised harmonic spinors in dimension four.


Connected algebraic groups acting on Fano fibrations over mathbb P 1 . Let X mathbb P 1 be a Mori fibre space with general fibre of Picard rank at least two. We prove that there is a proper closed subset S subsetneq X , invariant by the connected component of the identity rm Aut circ (X) of the automorphism group of X , which is moreover the orbit of a section s and whose intersection with a fibre is an orbit of the subgroup of rm Aut circ (X) acting trivially on mathbb P 1 . Such result is a tool to describe equivariant birational maps from X mathbb P 1 to other Mori fibre spaces and therefore finds its applications in the study of connected algebraic subgroups of rm Aut circ (X) . This represents a first reduction step towards a possible classification of maximal connected algebraic subgroups of the Cremona group of rank 4 .


Attention Interpretability Across NLP Tasks. The attention layer in a neural network model provides insights into the model's reasoning behind its prediction, which are usually criticized for being opaque. Recently, seemingly contradictory viewpoints have emerged about the interpretability of attention weights (Jain Wallace, 2019 Vig Belinkov, 2019). Amid such confusion arises the need to understand attention mechanism more systematically. In this work, we attempt to fill this gap by giving a comprehensive explanation which justifies both kinds of observations (i.e., when is attention interpretable and when it is not). Through a series of experiments on diverse NLP tasks, we validate our observations and reinforce our claim of interpretability of attention through manual evaluation.


Techniques for Adversarial Examples Threatening the Safety of Artificial Intelligence Based Systems. Artificial intelligence is known as the most effective technological field for rapid developments shaping the future of the world. Even today, it is possible to see intense use of intelligence systems in all fields of the life. Although advantages of the Artificial Intelligence are widely observed, there is also a dark side employing efforts to design hacking oriented techniques against Artificial Intelligence. Thanks to such techniques, it is possible to trick intelligent systems causing directed results for unsuccessful outputs. That is critical for also cyber wars of the future as it is predicted that the wars will be done unmanned, autonomous intelligent systems. Moving from the explanations, objective of this study is to provide information regarding adversarial examples threatening the Artificial Intelligence and focus on details of some techniques, which are used for creating adversarial examples. Adversarial examples are known as training data, which can trick a Machine Learning technique to learn incorrectly about the target problem and cause an unsuccessful or maliciously directed intelligent system at the end. The study enables the readers to learn enough about details of recent techniques for creating adversarial examples.


Sub Turing Islands in the Wild. Recently, there has been growing debate as to whether or not static analysis can be truly sound. In spite of this concern, research on techniques seeking to at least partially answer undecidable questions has a long history. However, little attention has been given to the more empirical question of how often an exact solution might be given to a question despite the question being, at least in theory, undecidable. This paper investigates this issue by exploring sub Turing islands regions of code for which a question of interest is decidable. We define such islands and then consider how to identify them. We implemented Cook, a prototype for finding sub Turing islands and applied it to a corpus of 1100 Android applications, containing over 2 million methods. Results reveal that 55 of the all methods are sub Turing. Our results also provide empirical, scientific evidence for the scalability of sub Turing island identification. Sub Turing identification has many downstream applications, because islands are so amenable to static analysis. We illustrate two downstream uses of the analysis. In the first, we found that over 37 of the verification conditions associated with runtime exceptions fell within sub Turing islands and thus are statically decidable. A second use of our analysis is during code review where it provides guidance to developers. The sub Turing islands from our study turns out to contain significantly fewer bugs than theswamp' (non sub Turing methods). The greater bug density in the swamp is unsurprising the fact that bugs remain prevalent in islands is, however, surprising these are bugs whose repair can be fully automated.


Examples of weak amalgamation classes. We present several examples of hereditary classes of finite structures satisfying the joint embedding property and the weak amalgamation property, but failing the cofinal amalgamation property. These include a continuum sized family of classes of finite undirected graphs, as well as an example due to Pouzet with countably categorical generic limit.


On the general Toda system with multiple singular points. In this paper, we consider the following elliptic Toda system associated to a general simple Lie algebra with multiple singular sources begin equation begin cases Delta w i sum j 1 na i,j e 2w j 2 pi sum ell 1 m beta i, ell delta p ell quad mbox in quad mathbb R 2, w i(x) 2 log x O(1) mbox as x to infty, quad i 1, cdots,n, end cases end equation where beta i, ell in 0,1) . Under some suitable assumption on beta i, ell we establish the existence and non existence results. This paper generalizes Luo Tian's 19 and Hyder Lin Wei's 10 results to the general Toda system.


Learning from demonstration using products of experts applications to manipulation and task prioritization. Probability distributions are key components of many learning from demonstration (LfD) approaches. While the configuration of a manipulator is defined by its joint angles, poses are often best explained within several task spaces. In many approaches, distributions within relevant task spaces are learned independently and only combined at the control level. This simplification implies several problems that are addressed in this work. We show that the fusion of models in different task spaces can be expressed as a product of experts (PoE), where the probabilities of the models are multiplied and renormalized so that it becomes a proper distribution of joint angles. Multiple experiments are presented to show that learning the different models jointly in the PoE framework significantly improves the quality of the model. The proposed approach particularly stands out when the robot has to learn competitive or hierarchical objectives. Training the model jointly usually relies on contrastive divergence, which requires costly approximations that can affect performance. We propose an alternative strategy using variational inference and mixture model approximations. In particular, we show that the proposed approach can be extended to PoE with a nullspace structure (PoENS), where the model is able to recover tasks that are masked by the resolution of higher level objectives.


Towards Better Surgical Instrument Segmentation in Endoscopic Vision Multi Angle Feature Aggregation and Contour Supervision. Accurate and real time surgical instrument segmentation is important in the endoscopic vision of robot assisted surgery, and significant challenges are posed by frequent instrument tissue contacts and continuous change of observation perspective. For these challenging tasks more and more deep neural networks (DNN) models are designed in recent years. We are motivated to propose a general embeddable approach to improve these current DNN segmentation models without increasing the model parameter number. Firstly, observing the limited rotation invariance performance of DNN, we proposed the Multi Angle Feature Aggregation (MAFA) method, leveraging active image rotation to gain richer visual cues and make the prediction more robust to instrument orientation changes. Secondly, in the end to end training stage, the auxiliary contour supervision is utilized to guide the model to learn the boundary awareness, so that the contour shape of segmentation mask is more precise. The proposed method is validated with ablation experiments on the novel Sinus Surgery datasets collected from surgeons' operations, and is compared to the existing methods on a public dataset collected with a da Vinci Xi Robot.


Gevrey expansions of hypergeometric integrals II. We study integral representations of the Gevrey series solutions of irregular hypergeometric systems under certain assumptions. We prove that, for such systems, any Gevrey series solution, along a coordinate hyperplane of its singular support, is the asymptotic expansion of a holomorphic solution given by a carefully chosen integral representation.


Revisiting Projection free Online Learning the Strongly Convex Case. Projection free optimization algorithms, which are mostly based on the classical Frank Wolfe method, have gained significant interest in the machine learning community in recent years due to their ability to handle convex constraints that are popular in many applications, but for which computing projections is often computationally impractical in high dimensional settings, and hence prohibit the use of most standard projection based methods. In particular, a significant research effort was put on projection free methods for online learning. In this paper we revisit the Online Frank Wolfe (OFW) method suggested by Hazan and Kale cite Hazan12 and fill a gap that has been left unnoticed for several years OFW achieves a faster rate of O(T 2 3 ) on strongly convex functions (as opposed to the standard O(T 3 4 ) for convex but not strongly convex functions), where T is the sequence length. This is somewhat surprising since it is known that for offline optimization, in general, strong convexity does not lead to faster rates for Frank Wolfe. We also revisit the bandit setting under strong convexity and prove a similar bound of tilde O(T 2 3 ) (instead of O(T 3 4 ) without strong convexity). Hence, in the current state of affairs, the best projection free upper bounds for the full information and bandit settings with strongly convex and nonsmooth functions match up to logarithmic factors in T .


Meshless discretization of the discrete ordinates transport equation with integration based on Voronoi cells. The time dependent radiation transport equation is discretized using the meshless local Petrov Galerkin method with reproducing kernels. The integration is performed using a Voronoi tessellation, which creates a partition of unity that only depends on the position and extent of the kernels. The resolution of the integration automatically follows the particles and requires no manual adjustment. The discretization includes streamline upwind Petrov Galerkin stabilization to prevent oscillations and improve numerical conditioning. The angular quadrature is selectively refineable to increase angular resolution in chosen directions. The time discretization is done using backward Euler. The transport solve for each direction and the solve for the scattering source are both done using Krylov iterative methods. Results indicate first order convergence in time and second order convergence in space for linear reproducing kernels.


Divisibility Properties of the Fourier Coefficients of (Mock) Modular Functions and Ramanujan. We survey divisibility properties of the Fourier coefficients of modular functions inspired by Ramanujan. Then using recent results of the generalized Hecke operator on harmonic Maass functions and known divisibility of Fourier coefficients of modular functions, we establish congruence relations of the Fourier coefficients of certain modular functions and mock modular functions of various levles.


A Note on Riordan Arrays with Catalan Halves. For a lower triangular matrix (t n,k ) we call the matrices with respective entries (t 2n k,n ) and (t 2n,n k ) the vertical and the horizontal halves. In this note, we discuss Riordan arrays whose halves are closely related to the Catalan matrices.


Homomorphisms from Functional Equations The Goldie Equation, III. In this the sequel to arXiv1910.05816, we derive a necessary and sufficient condition characterizing which real valued continuous solutions of a multivariate Goldie functional equation express homomorphy between the multivariate Popa groups defined and characterized in the earlier work. This enables us to deduce that all (real valued) continuous solutions are homomorphisms between such groups. We use this result also to characterize as Popa homomorphisms smooth solutions of a related more general equation, also of Levi Civita type. A key result here (Theorem 2) on purely radial behaviour is generalized in arXiv2105.07794 to a Banach algebra setting involving radial tilting behaviour.


Derivation modules for Sum and Gluing. In this paper we explicitly compute the derivation module of quotients of polynomial rings by ideals formed by the sum or by some other gluing technique. We discuss cases of monomial ideals and binomial ideals separately.


A three dimensional reduced MHD model consistent with full MHD. Within the context of a viscoresistive magnetohydrodynamic (MHD) model with anisotropic heat transport and cross field mass diffusion, we introduce novel three term representations for the magnetic field (background vacuum field, field line bending and field compression) and velocity ( vec E times vec B flow, field aligned flow and fluid compression), which are amenable to three dimensional treatment. Once the representations are inserted into the MHD equations, appropriate projection operators are applied to Faraday's law and the Navier Stokes equation to obtain a system of scalar equations that is closed by the continuity and energy equations. If the background vacuum field is sufficiently strong and the beta is low, MHD waves are approximately separated by the three terms in the velocity representation, with each term containing a specific wave. Thus, by setting the appropriate term to zero, we eliminate fast magnetosonic waves, obtaining a reduced MHD model. We also show that the other two velocity terms do not compress the magnetic field, which allows us to set the field compression term to zero within the same reduced model. Dropping also the field aligned flow, a further simplified model is obtained, leading to a fully consistent hierarchy of reduced and full MHD models for 3D plasma configurations. Finally, we discuss the conservation properties and derive the conditions under which the reduction approximation is valid. We also show that by using an ordering approach, reduced MHD equations similar to what we got from the ansatz approach can be obtained by means of a physics based asymptotic expansion.


Hodge Theory of p adic varieties a survey. p adic Hodge Theory is one of the most powerful tools in modern Arithmetic Geometry. In this survey, we will review p adic Hodge Theory for algebraic varieties, present current developments in p adic Hodge Theory for analytic varieties, and discuss some of its applications to problems in Number Theory. This is an extended version of a talk at the Jubilee Congress for the 100th anniversary of the Polish Mathematical Society, Krak 'ow, 2019.


Towards Improved Human Action Recognition Using Convolutional Neural Networks and Multimodal Fusion of Depth and Inertial Sensor Data. This paper attempts at improving the accuracy of Human Action Recognition (HAR) by fusion of depth and inertial sensor data. Firstly, we transform the depth data into Sequential Front view Images(SFI) and fine tune the pre trained AlexNet on these images. Then, inertial data is converted into Signal Images (SI) and another convolutional neural network (CNN) is trained on these images. Finally, learned features are extracted from both CNN, fused together to make a shared feature layer, and these features are fed to the classifier. We experiment with two classifiers, namely Support Vector Machines (SVM) and softmax classifier and compare their performances. The recognition accuracies of each modality, depth data alone and sensor data alone are also calculated and compared with fusion based accuracies to highlight the fact that fusion of modalities yields better results than individual modalities. Experimental results on UTD MHAD and Kinect 2D datasets show that proposed method achieves state of the art results when compared to other recently proposed visual inertial action recognition methods.


Some results on the Kamp 'e de Fe 'riet hypergeometric matrix function. In this paper, we obtain recursion formulas for the Kamp 'e de Fe 'riet hypergeometric matrix function. We also give finite and infinite summation formulas for the Kamp 'e de Fe 'riet hypergeometric matrix function.


Angle Aware User Cooperation for Secure Massive MIMO in Rician Fading Channel. Massive multiple input multiple output communications can achieve high level security by concentrating radio frequency signals towards the legitimate users. However, this system is vulnerable in a Rician fading environment if the eavesdropper positions itself such that its channel is highly "similar" to the channel of a legitimate user. To address this problem, this paper proposes an angle aware user cooperation (AAUC) scheme, which avoids direct transmission to the attacked user and relies on other users for cooperative relaying. The proposed scheme only requires the eavesdropper's angle information, and adopts an angular secrecy model to represent the average secrecy rate of the attacked system. With this angular model, the AAUC problem turns out to be nonconvex, and a successive convex optimization algorithm, which converges to a Karush Kuhn Tucker solution, is proposed. Furthermore, a closed form solution and a Bregman first order method are derived for the cases of large scale antennas and large scale users, respectively. Extension to the intelligent reflecting surfaces based scheme is also discussed. Simulation results demonstrate the effectiveness of the proposed successive convex optimization based AAUC scheme, and also validate the low complexity nature of the proposed large scale optimization algorithms.


A Strategy for Expert Recommendation From Open Data Available on the Lattes Platform. With the increasing volume of data and users of curriculum systems, the difficulty of finding specialists is increasing.This work proposes an open data extraction methodology of the Lattes Platform curricula, a treatment for this data and investigates a Recommendation Agent approach based on deep neural networks with autoencoder.


Generalized Donaldson's functionals and related nonlinear partial differential equations. In this paper, we introduce a family of generalized Donaldson's functional on holomorphic vector bundles, whose Euler Lagrange equations are a vector bundle version of the complex k Hessian equations. We also discuss the uniqueness of solutions to these equations.


Eigenvalues of periodic difference operators on lattice octant. Consider a difference operator H with periodic coefficients on the octant of the lattice. We show that for any integer N and any bounded interval I , there exists an operator H having N eigenvalues, counted with multiplicity on this interval, and does not exist other spectra on the interval. Also right and to the left of it are spectra and the corresponding subspaces have an infinite dimension. Moreover, we prove similar results for other domains and any dimension. The proof is based on the inverse spectral theory for periodic Jacobi operators.


On the Hilbert scheme of linearly normal curves in mathbb P r of relatively high degree. Let mathcal H d,g,r be the Hilbert scheme parametrizing smooth irreducible and non degenerate curves of degree d and genus g in PP r . We denote by mathcal H mathcal L d,g,r the union of those components of mathcal H d,g,r whose general element is linearly normal and we show that any non empty mathcal H mathcal L d,g,r ( d ge g r 3 ) is irreducible for an extensive range of triples (d,g,r) beyond the Brill Noether range. This establishes the validity of a suitably modified assertion of Severi regarding the irreducibility of the Hilbert scheme mathcal H mathcal L d,g,r of linearly normal curves for g r 3 le d le g r , r ge 3 , and g ge 2r 3 if d g r 3 .


Stationary solutions to a nonlocal fourth order elliptic obstacle problem. Existence of stationary solutions to a nonlocal fourth order elliptic obstacle problem arising from the modelling of microelectromechanical systems with heterogeneous dielectric properties is shown. The underlying variational structure of the model is exploited to construct these solutions as minimizers of a suitably regularized energy, which allows us to weaken considerably the assumptions on the model used in a previous article.


Studying physics during the COVID 19 pandemic Student assessments of learning achievement, perceived effectiveness of online recitations, and online laboratories. The COVID 19 pandemic has significantly affected the education system worldwide that was responding with a sudden shift to distance learning. Various physics courses such as lectures, tutorials, and the laboratories had to be transferred into online formats rapidly, resulting in a variety of simultaneous, asynchronous, and mixed activities. To investigate how physics students perceived the sudden shift to online learning, we developed a questionnaire and gathered data from N 578 physics students from five universities in Germany, Austria, and Croatia. In this article, we report how the problem solving sessions (recitations) and laboratories were adapted, how students' judge different formats of the courses and how useful and effective they perceive them. The results are correlated to the students' self efficacy ratings and other behavioral measures (such as self regulated learning skills) and demographics. In a related article, we focus on the online physics lectures and compare simultaneous vs. asynchronous teaching and learning methods (n.n.). We find that good communication abilities and self organization skills are positively correlated for perceived learning achievement. Furthermore, the previous duration of studies had a significant impact on the students' perceived overall learning achievement, on the students' acquisition of experimental skills during the physics laboratories, and on their assessment of the recitations' effectiveness. That is, students in their first academic year show consistently lower scores than more progressed students. For the physics laboratories, it was found that gathering real data was crucial to the acquisition of experimental skills and the reinforcement of content. For the physics recitations, handing in own solutions for feedback was correlated with perceived effectiveness. We draw conclusions and implications for future online classes.


In Order Sliding Window Aggregation in Worst Case Constant Time. Sliding window aggregation is a widely used approach for extracting insights from the most recent portion of a data stream. The aggregations of interest can usually be expressed as binary operators that are associative but not necessarily commutative nor invertible. Non invertible operators, however, are difficult to support efficiently. In a 2017 conference paper, we introduced DABA, the first algorithm for sliding window aggregation with worst case constant time. Before DABA, if a window had size n , the best published algorithms would require O( log n) aggregation steps per window operation and while for strictly in order streams, this bound could be improved to O(1) aggregation steps on average, it was not known how to achieve an O(1) bound for the worst case, which is critical for latency sensitive applications. This article is an extended version of our 2017 paper. Besides describing DABA in more detail, this article introduces a new variant, DABA Lite, which achieves the same time bounds in less memory. Whereas DABA requires space for storing 2n partial aggregates, DABA Lite only requires space for n 2 partial aggregates. Our experiments on synthetic and real data support the theoretical findings.


Prior Art Search and Reranking for Generated Patent Text. Generative models, such as GPT 2, have demonstrated impressive results recently. A fundamental question we'd like to address is where did the generated text come from? This work is our initial effort toward answering the question by using prior art search. The purpose of the prior art search is to find the most similar prior text in the training data of GPT 2. We take a reranking approach and apply it to the patent domain. Specifically, we pre train GPT 2 models from scratch by using the patent data from the USPTO. The input for the prior art search is the patent text generated by the GPT 2 model. We also pre trained BERT models from scratch for converting patent text to embeddings. The steps of reranking are (1) search the most similar text in the training data of GPT 2 by taking a bag of word ranking approach (BM25), (2) convert the search results in text format to BERT embeddings, and (3) provide the final result by ranking the BERT embeddings based on their similarities with the patent text generated by GPT 2. The experiments in this work show that such reranking is better than ranking with embeddings alone. However, our mixed results also indicate that calculating the semantic similarities among long text spans is still challenging. To our knowledge, this work is the first to implement a reranking system to identify retrospectively the most similar inputs to a GPT model based on its output.


Training Generative Adversarial Networks via stochastic Nash games. Generative adversarial networks (GANs) are a class of generative models with two antagonistic neural networks a generator and a discriminator. These two neural networks compete against each other through an adversarial process that can be modeled as a stochastic Nash equilibrium problem. Since the associated training process is challenging, it is fundamental to design reliable algorithms to compute an equilibrium. In this paper, we propose a stochastic relaxed forward backward (SRFB) algorithm for GANs and we show convergence to an exact solution when an increasing number of data is available. We also show convergence of an averaged variant of the SRFB algorithm to a neighborhood of the solution when only few samples are available. In both cases, convergence is guaranteed when the pseudogradient mapping of the game is monotone. This assumption is among the weakest known in the literature. Moreover, we apply our algorithm to the image generation problem.


Object SLAM Based Active Mapping and Robotic Grasping. This paper presents the first active object mapping framework for complex robotic manipulation and autonomous perception tasks. The framework is built on an object SLAM system integrated with a simultaneous multi object pose estimation process that is optimized for robotic grasping. Aiming to reduce the observation uncertainty on target objects and increase their pose estimation accuracy, we also design an object driven exploration strategy to guide the object mapping process, enabling autonomous mapping and high level perception. Combining the mapping module and the exploration strategy, an accurate object map that is compatible with robotic grasping can be generated. Additionally, quantitative evaluations also indicate that the proposed framework has a very high mapping accuracy. Experiments with manipulation (including object grasping and placement) and augmented reality significantly demonstrate the effectiveness and advantages of our proposed framework.


Incorporating prior financial domain knowledge into neural networks for implied volatility surface prediction. In this paper we develop a novel neural network model for predicting implied volatility surface. Prior financial domain knowledge is taken into account. A new activation function that incorporates volatility smile is proposed, which is used for the hidden nodes that process the underlying asset price. In addition, financial conditions, such as the absence of arbitrage, the boundaries and the asymptotic slope, are embedded into the loss function. This is one of the very first studies which discuss a methodological framework that incorporates prior financial domain knowledge into neural network architecture design and model training. The proposed model outperforms the benchmarked models with the option data on the S P 500 index over 20 years. More importantly, the domain knowledge is satisfied empirically, showing the model is consistent with the existing financial theories and conditions related to implied volatility surface.


A Bidirectional Current Mirror Based Potentiostat Using a Slice Based Class AB Amplifier. A pico ampere sensitive electrochemical sensor signal acquisition chain consisting of a multi channel bidirectional current mirror based potentiostat and a multiplexed current input delta sigma ( Delta Sigma ) ADC is presented. Slice based class AB amplifiers with output stage current replication using reconfigurable current mirrors enable bidirectional current sensing over a range of five decades. The replicated current is digitized by the ADC. The proposed circuit achieves a minimum detectable current of 91.7 pA, resulting in a dynamic range of 147 dB for sensor currents up to pm 1 mA. The potentiostat is operated at a 3 V supply, the ADC at 1.5 V. The static power consumption of a single interface channel depends on the number of active amplifier slices and is between 14.1 mu W and 39.3 mu W. The highest power efficiency among similar systems and the low voltage headroom consumption of less than 500 mV enables a versatile use of the interface for multiple sensing applications.


Understanding Zadimoghaddam's Edge weighted Online Matching Algorithm Weighted Case. This article presents a simplification of Zadimoghaddam's algorithm for the edge weighted online bipartite matching problem, under the online primal dual framework. In doing so, we obtain an improved competitive ratio of 0.514 . We first combine the online correlated selection (OCS), an ingredient distilled from Zadimoghaddam (2017) by Huang and Tao (2019), and an interpretation of the edge weighted online bipartite matching problem by Devanur et al. (2016) which we will refer to as the complementary cumulative distribution function (CCDF) viewpoint, to derive an online primal dual algorithm that is 0.505 competitive. Then, we design an improved OCS which gives the 0.514 ratio.


The C algebra of Boidol's group. We consider Boidol's group, whose Lie algebra is an extension of the Heisenberg Lie algebra by the reals with the roots 1 and 1 . It is the only connected solvable Lie group of dimension less than or equal to four whose group C algebra had not yet been determined. In this paper we describe its C algebra as an algebra of operator fields defined over the spectrum of the group.


Finite Element Methods For Interface Problems On Local Anisotropic Fitting Mixed Meshes. A simple and efficient interface fitted mesh generation algorithm is developed in this paper. This algorithm can produce a local anisotropic fitting mixed mesh which consists of both triangles and quadrilaterals near the interface. A new finite element method is proposed for second order elliptic interface problems based on the resulting mesh. Optimal approximation capabilities on anisotropic elements are proved in both the H 1 and L 2 norms. The discrete system is usually ill conditioned due to anisotropic and small elements near the interface. Thereupon, a multigrid method is presented to handle this issue. The convergence rate of the multigrid method is shown to be optimal with respect to both the coefficient jump ratio and mesh size. Numerical experiments are presented to demonstrate the theoretical results.


Portfolio Liquidation Games with Self Exciting Order Flow. We analyze novel portfolio liquidation games with self exciting order flow. Both the N player game and the mean field game are considered. We assume that players' trading activities have an impact on the dynamics of future market order arrivals thereby generating an additional transient price impact. Given the strategies of her competitors each player solves a mean field control problem. We characterize open loop Nash equilibria in both games in terms of a novel mean field FBSDE system with unknown terminal condition. Under a weak interaction condition we prove that the FBSDE systems have unique solutions. Using a novel sufficient maximum principle that does not require convexity of the cost function we finally prove that the solution of the FBSDE systems do indeed provide existence and uniqueness of open loop Nash equilibria.


Auditing ImageNet Towards a Model driven Framework for Annotating Demographic Attributes of Large Scale Image Datasets. The ImageNet dataset ushered in a flood of academic and industry interest in deep learning for computer vision applications. Despite its significant impact, there has not been a comprehensive investigation into the demographic attributes of images contained within the dataset. Such a study could lead to new insights on inherent biases within ImageNet, particularly important given it is frequently used to pretrain models for a wide variety of computer vision tasks. In this work, we introduce a model driven framework for the automatic annotation of apparent age and gender attributes in large scale image datasets. Using this framework, we conduct the first demographic audit of the 2012 ImageNet Large Scale Visual Recognition Challenge (ILSVRC) subset of ImageNet and the "person" hierarchical category of ImageNet. We find that 41.62 of faces in ILSVRC appear as female, 1.71 appear as individuals above the age of 60, and males aged 15 to 29 account for the largest subgroup with 27.11 . We note that the presented model driven framework is not fair for all intersectional groups, so annotation are subject to bias. We present this work as the starting point for future development of unbiased annotation models and for the study of downstream effects of imbalances in the demographics of ImageNet. Code and annotations are available at http bit.ly ImageNetDemoAudit


Transformer Query Target Knowledge Discovery (TEND) Drug Discovery from CORD 19. Previous work established skip gram word2vec models could be used to mine knowledge in the materials science literature for the discovery of thermoelectrics. Recent transformer architectures have shown great progress in language modeling and associated fine tuned tasks, but they have yet to be adapted for drug discovery. We present a RoBERTa transformer based method that extends the masked language token prediction using query target conditioning to treat the specificity challenge. The transformer discovery method entails several benefits over the word2vec method including domain specific (antiviral) analogy performance, negation handling, and flexible query analysis (specific) and is demonstrated on influenza drug discovery. To stimulate COVID 19 research, we release an influenza clinical trials and antiviral analogies dataset used in conjunction with the COVID 19 Open Research Dataset Challenge (CORD 19) literature dataset in the study. We examine k shot fine tuning to improve the downstream analogies performance as well as to mine analogies for model explainability. Further, the query target analysis is verified in a forward chaining analysis against the influenza drug clinical trials dataset, before adapted for COVID 19 drugs (combinations and side effects) and on going clinical trials. In consideration of the present topic, we release the model, dataset, and code.


Partitioning digraphs with outdegree at least 4. Scott asked the question of determining c d such that if D is a digraph with m arcs and minimum outdegree d ge 2 then V(D) has a partition V 1, V 2 such that min left e(V 1,V 2),e(V 2, V 1) right geq c dm , where e(V 1,V 2) (respectively, e(V 2,V 1) ) is the number of arcs from V 1 to V 2 (respectively, from V 2 to V 1 ). Lee, Loh, and Sudakov showed that c 2 1 6 o(1) and c 3 1 5 o(1) , and conjectured that c d frac d 1 2(2d 1) o(1) for d ge 4 . In this paper, we show c 4 3 14 o(1) and prove some partial results for d ge 5 .


Weak comp algebras and cup products in secondary Hochschild cohomology of entwining structures. We define the secondary Hochschild complex for an entwining structure over a commutative k algebra B . We show that this complex carries the structure of a weak comp algebra. We obtain two distinct cup product structures for the secondary cohomology groups. We also consider a subcomplex on which the two cup products coincide and which satisfies the axioms for being a comp algebra. The cohomology of this subcomplex then forms a Gerstenhaber algebra. We also construct a bicomplex that controls the deformations of the entwining structure over B .


Local time stepping for adaptive multiresolution using natural extension of Runge Kutta methods. A space time fully adaptive multiresolution method for evolutionary non linear partial differential equations is presented introducing an improved local time stepping method. The space discretisation is based on classical finite volumes, endowed with cell average multiresolution analysis for triggering the dynamical grid adaptation. The explicit time scheme features a natural extension of Runge Kutta methods which allow local time stepping while guaranteeing accuracy. The use of a compact Runge Kutta formulation permits further memory reduction. The precision and computational efficiency of the scheme regarding CPU time and memory compression are assessed for problems in one, two and three space dimensions. As application Burgers equation, reaction diffusion equations and the compressible Euler equations are considered. The numerical results illustrate the efficiency and superiority of the proposed local time stepping method with respect to the reference computations.


Proof of principle direct measurement of Landau damping strength at the Large Hadron Collider with an anti damper. Landau damping is an essential mechanism for ensuring collective beam stability in particle accelerators. Precise knowledge of how strong Landau damping is, is key to making accurate predictions on beam stability for state of the art high energy colliders. In this paper we demonstrate an experimental procedure that would allow quantifying the strength of Landau damping and the limits of beam stability using an active transverse feedback as a controllable source of beam coupling impedance. In a proof of principle test performed at the Large Hadron Collider stability diagrams for a range of Landau Octupole strengths have been measured. In the future, the procedure could become an accurate way of measuring stability diagrams throughout the machine cycle.


Network with Sub Networks. We introduce network with sub networks, a neural network which its weight layers could be detached into sub neural networks during inference. To develop weights and biases which could be inserted in both base and sub neural networks, firstly, the parameters are copied from sub model to base model. Each model is forward propagated separately. Gradients from a pair of networks are averaged and, used to update both networks. Our base model achieves the test accuracy which is comparable to the regularly trained models, while the model maintains the ability to detach weight layers.


Constructions of Pairs of Orthogonal Latin Cubes. A pair of orthogonal latin cubes of order q is equivalent to an MDS code with distance 3 or to an rm OA 1(3,5,q) orthogonal array. We construct pairs of orthogonal latin cubes for a sequence of previously unknown orders q i 16(18i 1) 4 and q' i 16(18i 5) 4 . The minimal new obtained parameters of orthogonal arrays are rm OA 1(3,5,84) . Keywords latin square, latin cube, MOLS, MDS code, block design, Steiner system, orthogonal array


Evaluating Contextualized Embeddings on 54 Languages in POS Tagging, Lemmatization and Dependency Parsing. We present an extensive evaluation of three recently proposed methods for contextualized embeddings on 89 corpora in 54 languages of the Universal Dependencies 2.3 in three tasks POS tagging, lemmatization, and dependency parsing. Employing the BERT, Flair and ELMo as pretrained embedding inputs in a strong baseline of UDPipe 2.0, one of the best performing systems of the CoNLL 2018 Shared Task and an overall winner of the EPE 2018, we present a one to one comparison of the three contextualized word embedding methods, as well as a comparison with word2vec like pretrained embeddings and with end to end character level word embeddings. We report state of the art results in all three tasks as compared to results on UD 2.2 in the CoNLL 2018 Shared Task.


Domes over curves. A closed piecewise linear curve is called integral if it is comprised of unit intervals. Kenyon's problem asks whether for every integral curve gamma in mathbb R 3 , there is a dome over gamma , i.e. whether gamma is a boundary of a polyhedral surface whose faces are equilateral triangles with unit edge lengths. First, we give an algebraic necessary condition when gamma is a quadrilateral, thus giving a negative solution to Kenyon's problem in full generality. We then prove that domes exist over a dense set of integral curves. Finally, we give an explicit construction of domes over all regular n gons.


eThor Practical and Provably Sound Static Analysis of Ethereum Smart Contracts. Ethereum has emerged as the most popular smart contract development platform, with hundreds of thousands of contracts stored on the blockchain and covering a variety of application scenarios, such as auctions, trading platforms, and so on. Given their financial nature, security vulnerabilities may lead to catastrophic consequences and, even worse, they can be hardly fixed as data stored on the blockchain, including the smart contract code itself, are immutable. An automated security analysis of these contracts is thus of utmost interest, but at the same time technically challenging for a variety of reasons, such as the specific transaction oriented programming mechanisms, which feature a subtle semantics, and the fact that the blockchain data which the contract under analysis interacts with, including the code of callers and callees, are not statically known. In this work, we present eThor, the first sound and automated static analyzer for EVM bytecode, which is based on an abstraction of the EVM bytecode semantics based on Horn clauses. In particular, our static analysis supports reachability properties, which we show to be sufficient for capturing interesting security properties for smart contracts (e.g., single entrancy) as well as contract specific functional properties. Our analysis is proven sound against a complete semantics of EVM bytecode and an experimental large scale evaluation on real world contracts demonstrates that eThor is practical and outperforms the state of the art static analyzers specifically, eThor is the only one to provide soundness guarantees, terminates on 95 of a representative set of real world contracts, and achieves an F measure (which combines sensitivity and specificity) of 89 .


Diffusive resettlement irreversible urban transitions in closed systems. We propose a phenomenological non equilibrium framework for modelling the evolution of cities which describes the intra urban resettlement as an irreversible diffusive process. We validate this framework using the actual migration data for the Australian capital cities. With respect to the residential relocation, the population is shown to be composed of two distinct groups, exhibiting different relocation frequencies. In the context of the developed framework, these groups can be interpreted as two components of a binary mixture, each with its own diffusive relaxation time. Using this approach, we obtain long term predictions of the cities' spatial structure, which defines their equilibrium population distribution.


Performance Overhead of Atomic Crosschain Transactions. Atomic Crosschain Transaction technology allows composable programming across permissioned Ethereum blockchains. It allows for inter contract and inter blockchain function calls that are both synchronous and atomic if one part fails, the whole call graph of function calls is rolled back. This paper analyses the processing overhead of using this technique compared to using multiple standard non atomic single blockchain transactions. The additional processing is analysed for three scenarios involving multiple blockchains the Hotel Train problem, Supply Chain with Provenance, and an Oracle. The technology is shown to reduce the performance of Hyperledger Besu from 375 tps to 39.5 tps if all transactions are instigated on one node, or approaching 65.2 tps if the transactions are instigated on a variety of nodes, for the Hotel Train scenario.


Tethered capsule en face optical coherence tomography for imaging Barrett's esophagus in unsedated patients. Detection of Barrett's esophagus (BE) at points of care outside the endoscopy suite may improve screening access and reduce esophageal adenocarcinoma mortality. Tethered capsule optical coherence tomography (OCT) can volumetrically image esophageal mucosa and detect BE in unsedated patients. We investigated ultrahigh speed tethered capsule, swept source OCT (SS OCT) in unsedated patients, improved device design, developed procedural techniques, measured how capsule contact and longitudinal pullback non uniformity affect coverage, and assessed patient toleration. OCT was performed in 16 patients prior to endoscopic surveillance treatment. Unsedated patients swallowed the capsule with small sips of water and the esophagus imaged by retracting the tether. Ultrahigh speed SS OCT at 1,000,000 A scans second imaged 40cm 2 esophageal areas in 10 seconds with 30um transverse and 8um axial resolution. Nine patients had non dysplastic BE, 3 had ablative treatment naive neoplasia, and 4 had prior ablation for history of dysplasia. The capsule procedure was well tolerated. Ultrahigh speed SS OCT enabled the generation of cross sectional and sub surface en face images. BE could be rapidly identified in cross sectional and en face images, while assessment of the gastro esophageal junction (GEJ) required subsurface en face views. Capsule esophageal contact was worse in long segment BE and sliding hiatal hernia, and longitudinal image coverage was worse in short segment BE. OCT candidate features of dysplasia are reported. Ultrahigh speed tethered capsule SS OCT enabled en face and cross sectional imaging of mucosal features over wide areas. Device and procedure optimization led to improved imaging performance. Areas of BE could be readily identified, but limited capsule contact and longitudinal image coverage can yield sampling errors.


Essential dimension of the moduli stack of polarized K3 surfaces. We will calculate the essential dimension of the moduli stack of polarized K3 surfaces, including the positive char case.


Almost monochromatic sets and the chromatic number of the plane. In a colouring of mathbb R d a pair (S,s 0) with S subseteq mathbb R d and with s 0 in S is emph almost monochromatic if S setminus s 0 is monochromatic but S is not. We consider questions about finding almost monochromatic similar copies of pairs (S,s 0) in colourings of mathbb R d , mathbb Z d , and in mathbb Q under some restrictions on the colouring. Among other results, we characterise those (S,s 0) with S subseteq mathbb Z for which every finite colouring of mathbb R without an infinite monochromatic arithmetic progression contains an almost monochromatic similar copy of (S,s 0) . We also show that if S subseteq mathbb Z d and s 0 is outside of the convex hull of S setminus s 0 , then every finite colouring of mathbb R d without a similar monochromatic copy of mathbb Z d contains an almost monochromatic similar copy of (S,s 0) . Further, we propose an approach of finding almost monochromatic sets that might lead to a non computer assisted proof of chi( R 2) geq 5 .


Design of a Gas Monitoring Chamber for High Pressure Applications. Gaseous detectors have long been used by particle physics experiments at beamlines or standalone experiments. Recently, their low momentum threshold has made them interesting as active targets for long baseline neutrino experiments. To increase statistics, but retain a low momentum threshold, pressurized Time Projection Chambers have been proposed. The Deep Underground Neutrino Experiment considers building one as part of their near detector complex. Gas Monitoring Chambers are mini TPCs that are designed to measure gas properties. Such a system with the capability of testing common and new drift gas mixtures can provide input to the design process of new high pressure TPCs. This work presents the construction of such a High Pressure Gas Monitoring Chamber capable of operation up to unit 10 bar pressure and a maximum drift field close to unit 1000 V cm .


Distributed Additive Encryption and Quantization for Privacy Preserving Federated Deep Learning. Homomorphic encryption is a very useful gradient protection technique used in privacy preserving federated learning. However, existing encrypted federated learning systems need a trusted third party to generate and distribute key pairs to connected participants, making them unsuited for federated learning and vulnerable to security risks. Moreover, encrypting all model parameters is computationally intensive, especially for large machine learning models such as deep neural networks. In order to mitigate these issues, we develop a practical, computationally efficient encryption based protocol for federated deep learning, where the key pairs are collaboratively generated without the help of a third party. By quantization of the model parameters on the clients and an approximated aggregation on the server, the proposed method avoids encryption and decryption of the entire model. In addition, a threshold based secret sharing technique is designed so that no one can hold the global private key for decryption, while aggregated ciphertexts can be successfully decrypted by a threshold number of clients even if some clients are offline. Our experimental results confirm that the proposed method significantly reduces the communication costs and computational complexity compared to existing encrypted federated learning without compromising the performance and security.


Phenomenology of disruptive breakup mechanism of a levitated evaporating emulsion droplet. Atomization of emulsion droplets is ubiquitous across a variety of application domains ranging from NextGen combustors to fabrication of biomedical implants. An understanding of the atomization mechanism in emulsions can result in a paradigm shift in customized designs of efficient systems, be it in energy or biotechnology sectors. In this paper, we specifically study the breakup mechanism of an evaporating contact free (acoustic levitation) emulsion droplet (water oil) under external heating. Three distinct regimes are observed during the lifespan of the evaporating droplet. Initially, the droplet diameter regresses linearly with time, followed by vapor bubble nucleation due to a significant difference in the boiling temperature among the components of the emulsion. The collapse of this bubble results in a high intensity breakup of the droplet leading to the propulsion of residual liquid in the form of a crown like sheet. The area of the expanding crown varies linearly with the square of the time. It is hypothesized that the expansion of the liquid sheet centrifuges the larger water sub droplets towards the edge, resulting in unique spatial segregation. Subsequently, we report the first observation of complex patches (representing water sub droplets) and the rupture of the thin sheet adjacent to patches into holes (with hole growth rate ranging from 1.2 to 1.4 m s) in the context of an evaporating isolated emulsion droplet. The hole formation results in the creation of ligaments which undergo breakup into secondary droplets with Sauter mean diameter (SMD) 50 mu m.


Freezing of two length scale systems complexity, universality and prediction. Two length scale pair potentials arise ubiquitously in condensed matter theory as effective interparticle interactions in molecular, metallic and soft matter systems. The existence of two different bond lengths generated by the shape of potential causes complex behavior in even one component systems polymorphism in solid and liquid states, water like anomalies, the formation of quasicrystals and high stability against crystallization. Here we address general properties of freezing in one component two length scale systems and argue that the formation of solid phases during cooling a liquid is essentially determined by the radial distribution function (RDF) of the liquid. We show that different two length scale systems having similar RDF freeze into the same solid phases. In most cases, the similarity between RDFs can be expressed by the proximity of two dimensionless effective parameters the ratio between effective bond lengths, lambda , and the fraction of short bonded particles phi . We validate this idea by studying the formation of different solid phases in different two length scale systems. The method proposed allows predicting effectively the formation of solid phases in both numerical simulations and self assembling experiments in soft matter systems with tunable interactions.


Infinite stable Boltzmann planar maps are subdiffusive. The infinite discrete stable Boltzmann maps are generalisations of the well known Uniform Infinite Planar Quadrangulation in the case where large degree faces are allowed. We show that the simple random walk on these random lattices is always subdiffusive with exponent less than 1 3. Our method is based on stationarity and geometric estimates obtained via the peeling process which are of own interest.


Capacity per Unit Energy of Gaussian Random Many Access Channels. We consider a Gaussian multiple access channel with random user activity where the total number of users ell n and the average number of active users k n may be unbounded. For this channel, we characterize the maximum number of bits that can be transmitted reliably per unit energy in terms of ell n and k n . We show that if k n log ell n is sublinear in n , then each user can achieve the single user capacity per unit energy. Conversely, if k n log ell n is superlinear in n , then the capacity per unit energy is zero. We further demonstrate that orthogonal access schemes, which are optimal when all users are active with probability one, can be strictly suboptimal.


CUT Controllable Unsupervised Text Simplification. In this paper, we focus on the challenge of learning controllable text simplifications in unsupervised settings. While this problem has been previously discussed for supervised learning algorithms, the literature on the analogies in unsupervised methods is scarse. We propose two unsupervised mechanisms for controlling the output complexity of the generated texts, namely, back translation with control tokens (a learning based approach) and simplicity aware beam search (decoding based approach). We show that by nudging a back translation algorithm to understand the relative simplicity of a text in comparison to its noisy translation, the algorithm self supervises itself to produce the output of the desired complexity. This approach achieves competitive performance on well established benchmarks SARI score of 46.88 and FKGL of 3.65 on the Newsela dataset.


Measuring the Electron Temperature and Identifying Plasma Detachment using Machine Learning and Spectroscopy. A machine learning approach has been implemented to measure the electron temperature directly from the emission spectra of a tokamak plasma. This approach utilized a neural network (NN) trained on a dataset of 1865 time slices from operation of the DIII D tokamak using extreme ultraviolet vacuum ultraviolet (EUV VUV) emission spectroscopy matched with high accuracy divertor Thomson scattering measurements of the electron temperature, T e . This NN is shown to be particularly good at predicting T e at low temperatures ( T e 10 eV) where the NN demonstrated a mean average error of less than 1 eV. Trained to detect plasma detachment in the tokamak divertor, a NN classifier was able to correctly identify detached states ( T e 5 eV) with a 99 accuracy (F 1 score of 0.96) at an acquisition rate 10 times faster than the Thomson scattering measurement. The performance of the model is understood by examining a set of 4800 theoretical spectra generated using collisional radiative modeling that was also used to predict the performance of a low cost spectrometer viewing nitrogen emission in the visible wavelengths. These results provide a proof of principle that low cost spectrometers leveraged with machine learning can be used both to boost the performance of more expensive diagnostics on fusion devices, and be used independently as a fast and accurate T e measurement and detachment classifier.


Fair Division The Computer Scientist's Perspective. I survey recent progress on a classic and challenging problem in social choice the fair division of indivisible items. I discuss how a computational perspective has provided interesting insights into and understanding of how to divide items fairly and efficiently. This has involved bringing to bear tools such as those used in knowledge representation, computational complexity, approximation methods, game theory, online analysis and communication complexity


Extending Monocular Visual Odometry to Stereo Camera Systems by Scale Optimization. This paper proposes a novel approach for extending monocular visual odometry to a stereo camera system. The proposed method uses an additional camera to accurately estimate and optimize the scale of the monocular visual odometry, rather than triangulating 3D points from stereo matching. Specifically, the 3D points generated by the monocular visual odometry are projected onto the other camera of the stereo pair, and the scale is recovered and optimized by directly minimizing the photometric error. It is computationally efficient, adding minimal overhead to the stereo vision system compared to straightforward stereo matching, and is robust to repetitive texture. Additionally, direct scale optimization enables stereo visual odometry to be purely based on the direct method. Extensive evaluation on public datasets (e.g., KITTI), and outdoor environments (both terrestrial and underwater) demonstrates the accuracy and efficiency of a stereo visual odometry approach extended by scale optimization, and its robustness in environments with challenging textures.


The q voter model on the torus. In the q voter model, the voter at x changes its opinion at rate f x q , where f x is the fraction of neighbors with the opposite opinion. Mean field calculations suggest that there should be coexistence between opinions if q 1 and clustering if q 1 . This model has been extensively studied by physicists, but we do not know of any rigorous results. In this paper, we use the machinery of voter model perturbations to show that the conjectured behavior holds for q close to 1. More precisely, we show that if q 1 , then for any m infty the process on the three dimensional torus with n points survives for time n m , and after an initial transient phase has a density that it is always close to 1 2. If q 1 , then the process rapidly reaches fixation on one opinion. It is interesting to note that in the second case the limiting ODE (on its sped up time scale) reaches 0 at time log n but the stochastic process on the same time scale dies out at time (1 3) log n .


Numerical analysis of a semilinear fractional diffusion equation. This paper considers the numerical analysis of a semilinear fractional diffusion equation with nonsmooth initial data. A new Gr "onwall's inequality and its discrete version are proposed. By the two inequalities, error estimates in three Sobolev norms are derived for a spatial semi discretization and a full discretization, which are optimal with respect to the regularity of the solution. A sharp temporal error estimate on graded temporal grids is also rigorously established. In addition, the spatial accuracy scriptstyle O(h 2(t alpha ln(1 h) !) !) in the pointwise scriptstyle L 2( Omega) norm is obtained for a spatial semi discretization. Finally, several numerical results are provided to verify the theoretical results.


Some new methods to build group equivariant non expansive operators in TDA. Group equivariant operators are playing a more and more relevant role in machine learning and topological data analysis. In this paper we present some new results concerning the construction of G equivariant non expansive operators (GENEOs) from a space varPhi of real valued bounded continuous functions on a topological space X to varPhi itself. The space varPhi represents our set of data, while G is a subgroup of the group of all self homeomorphisms of X , representing the invariance we are interested in.


Hermitian theta series and Maa ss spaces under the action of the maximal discrete extension of the Hermitian modular group. Let Gamma n( mathcal scriptstyle O mathbb K ) denote the Hermitian modular group of degree n over an imaginary quadratic number field mathbb K and Delta n, mathbb K its maximal discrete extension in the special unitary group SU(n,n mathbb C ) . In this paper we study the action of Delta n, mathbb K on Hermitian theta series and Maass spaces. For n 2 we will find theta lattices such that the corresponding theta series are modular forms with respect to Delta 2, mathbb K as well as examples where this is not the case. Our second focus lies on studying two different Maass spaces. We will see that the new found group Delta 2, mathbb K consolidates the different definitions of the spaces.


Inducing schemes for multi dimensional piecewise expanding maps. We construct inducing schemes for general multi dimensional piecewise expanding maps where the base transformation is Gibbs Markov and the return times have exponential tails. Such structures are a crucial tool in proving statistical properties of dynamical systems with some hyperbolicity.


Revisiting Wedge Sampling for Budgeted Maximum Inner Product Search. Top k maximum inner product search (MIPS) is a central task in many machine learning applications. This paper extends top k MIPS with a budgeted setting, that asks for the best approximate top k MIPS given a limit of B computational operations. We investigate recent advanced sampling algorithms, including wedge and diamond sampling to solve it. Though the design of these sampling schemes naturally supports budgeted top k MIPS, they suffer from the linear cost from scanning all data points to retrieve top k results and the performance degradation for handling negative inputs. This paper makes two main contributions. First, we show that diamond sampling is essentially a combination between wedge sampling and basic sampling for top k MIPS. Our theoretical analysis and empirical evaluation show that wedge is competitive (often superior) to diamond on approximating top k MIPS regarding both efficiency and accuracy. Second, we propose a series of algorithmic engineering techniques to deploy wedge sampling on budgeted top k MIPS. Our novel deterministic wedge based algorithm runs significantly faster than the state of the art methods for budgeted and exact top k MIPS while maintaining the top 5 precision at least 80 on standard recommender system data sets.


Study of reflectors for illumination via conformal maps. We present an approach for the study and design of reflectors with rotational or translational symmetry that redirect light from a point source into any desired radiant intensity distribution. This method is based on a simple conformal map that transforms the reflectors' shape into a curve that describes light's direction after reflection. Both segmented and continuous reflectors are discussed, illustrating how certain reflector characteristics become apparent under this transformation. This method can also be used to study extended sources via translations.


Minimum entropy stochastic block models neglect edge distribution heterogeneity. The statistical inference of stochastic block models as emerged as a mathematicaly principled method for identifying communities inside networks. Its objective is to find the node partition and the block to block adjacency matrix of maximum likelihood i.e. the one which has most probably generated the observed network. In practice, in the so called microcanonical ensemble, it is frequently assumed that when comparing two models which have the same number and sizes of communities, the best one is the one of minimum entropy i.e. the one which can generate the less different networks. In this paper, we show that there are situations in which the minimum entropy model does not identify the most significant communities in terms of edge distribution, even though it generates the observed graph with a higher probability.


CrossTransformers spatially aware few shot transfer. Given new tasks with very little data such as new classes in a classification problem or a domain shift in the input performance of modern vision systems degrades remarkably quickly. In this work, we illustrate how the neural network representations which underpin modern vision systems are subject to supervision collapse, whereby they lose any information that is not necessary for performing the training task, including information that may be necessary for transfer to new tasks or domains. We then propose two methods to mitigate this problem. First, we employ self supervised learning to encourage general purpose features that transfer better. Second, we propose a novel Transformer based neural network architecture called CrossTransformers, which can take a small number of labeled images and an unlabeled query, find coarse spatial correspondence between the query and the labeled images, and then infer class membership by computing distances between spatially corresponding features. The result is a classifier that is more robust to task and domain shift, which we demonstrate via state of the art performance on Meta Dataset, a recent dataset for evaluating transfer from ImageNet to many other vision datasets.


Fair Ride Allocation on a Line. The airport game is a classical and well known model of fair cost sharing for a single facility among multiple agents. This paper extends it to the so called assignment setting, that is, for multiple facilities and agents, each agent chooses a facility to use and shares the cost with the other agents. Such a situation can be often seen in sharing economy, such as sharing fees for office desks among workers, taxis among customers of possibly different destinations on a line, and so on. Our model is regarded as a coalition formation game based on the fair cost sharing of the airport game we call our model emph a fair ride allocation on a line . As criteria of solution concepts, we incorporate Nash stability and envy freeness into our setting. We show that a Nash stable feasible allocation that minimizes the social cost of agents can be computed efficiently if a feasible allocation exists. For envy freeness, we provide several structural properties of envy free allocations. Based on these, we design efficient algorithms for finding an envy free allocation when at least one of (1) the number of facilities, (2) the capacity of facilities, and (3) the number of agent types, is small. Moreover, we show that a consecutive envy free allocation can be computed in polynomial time. On the negative front, we show the NP hardness of determining the existence of an allocation under two relaxed envy free concepts.


Similarity Problems in High Dimensions. The main contribution of this dissertation is the introduction of new or improved approximation algorithms and data structures for several similarity search problems. We examine the furthest neighbor query, the annulus query, distance sensitive membership, nearest neighbor preserving embeddings and set similarity queries in the large scale, high dimensional setting.