Statistical Learning
On Adaptive Attacks to Adversarial Example Defenses
Tramer, Florian, Carlini, Nicholas, Brendel, Wieland, Madry, Aleksander
Adaptive attacks have (rightfully) become the de facto standard for evaluating defenses to adversarial examples. We find, however, that typical adaptive evaluations are incomplete. We demonstrate that thirteen defenses recently published at ICLR, ICML and NeurIPS---and chosen for illustrative and pedagogical purposes---can be circumvented despite attempting to perform evaluations using adaptive attacks. While prior evaluation papers focused mainly on the end result---showing that a defense was ineffective---this paper focuses on laying out the methodology and the approach necessary to perform an adaptive attack. We hope that these analyses will serve as guidance on how to properly perform adaptive attacks against defenses to adversarial examples, and thus will allow the community to make further progress in building more robust models.
Schoenberg-Rao distances: Entropy-based and geometry-aware statistical Hilbert distances
Hadjeres, Gaëtan, Nielsen, Frank
Choosing a suitable statistical distance [11, 2] based on first principles is essential to ensure the relevancy and effectiveness of tasks in machine learning. Various statistical distances 1 have been proposed in the literature, starting from the early days of Mahalanobis [22] with his eponym distance. Later, these statistical distances have been studied under the umbrella of families of statistical distances called divergences: The Csiszár f-divergences [9] I f (p q) p(x)f(q(x)/p(x))dP (x) I f (q p) defined for a convex generator f(u) with f(1) 0 (including the total variation metric for f(u) u 1 and the Kullback-Leibler (KL) divergence for f(u) log u) with conjugate generator f (u) uf(1/u), the Bregman divergences [6], the Jensen divergences (also called Burbea-Rao divergences [7]), etc. From the viewpoint of statistical invariances, f-divergences are the only invariant 2 separable 3 divergences in information geometry [1]: The f-divergences are kept unchanged under a diffeomorphism of the sample space (and by reparameterization with the sufficient statistics) and under a smooth one-to-one mapping of the parameter space of parametric families of distributions [24].
Learning Bounds for Moment-Based Domain Adaptation
Zellinger, Werner, Moser, Bernhard A, Saminger-Platz, Susanne
Domain adaptation algorithms are designed to minimize the misclassification risk of a discriminative model for a target domain with little training data by adapting a model from a source domain with a large amount of training data. Standard approaches measure the adaptation discrepancy based on distance measures between the empirical probability distributions in the source and target domain. In this setting, we address the problem of deriving learning bounds under practice-oriented general conditions on the underlying probability distributions. As a result, we obtain learning bounds for domain adaptation based on finitely many moments and smoothness conditions.
Distance-Based Regularisation of Deep Networks for Fine-Tuning
Gouk, Henry, Hospedales, Timothy M., Pontil, Massimiliano
We investigate approaches to regularisation during fine-tuning of deep neural networks. First we provide a neural network generalisation bound based on Rademacher complexity that uses the distance the weights have moved from their initial values. This bound has no direct dependence on the number of weights and compares favourably to other bounds when applied to convolutional networks. Our bound is highly relevant for fine-tuning, because providing a network with a good initialisation based on transfer learning means that learning can modify the weights less, and hence achieve tighter generalisation. Inspired by this, we develop a simple yet effective fine-tuning algorithm that constrains the hypothesis class to a small sphere centred on the initial pre-trained weights, thus obtaining provably better generalisation performance than conventional transfer learning. Empirical evaluation shows that our algorithm works well, corroborating our theoretical results. It outperforms both state of the art fine-tuning competitors, and penalty-based alternatives that we show do not directly constrain the radius of the search space.
A Unified Convergence Analysis for Shuffling-Type Gradient Methods
Nguyen, Lam M., Tran-Dinh, Quoc, Phan, Dzung T., Nguyen, Phuong Ha, van Dijk, Marten
In this paper, we provide a unified convergence analysis for a class of shuffling-type gradient methods for solving a well-known finite-sum minimization problem commonly used in machine learning. This algorithm covers various variants such as randomized reshuffling, single shuffling, and cyclic/incremental gradient schemes. We consider two different settings: strongly convex and non-convex problems. Our main contribution consists of new non-asymptotic and asymptotic convergence rates for a general class of shuffling-type gradient methods to solve both non-convex and strongly convex problems. While our rate in the non-convex problem is new (i.e. not known yet under standard assumptions), the rate on the strongly convex case matches (up to a constant) the best-known results. However, unlike existing works in this direction, we only use standard assumptions such as smoothness and strong convexity. Finally, we empirically illustrate the effect of learning rates via a non-convex logistic regression and neural network examples.
The Geometry of Sign Gradient Descent
Balles, Lukas, Pedregosa, Fabian, Roux, Nicolas Le
Sign-based optimization methods have become popular in machine learning due to their favorable communication cost in distributed optimization and their surprisingly good performance in neural network training. Furthermore, they are closely connected to so-called adaptive gradient methods like Adam. Recent works on signSGD have used a non-standard "separable smoothness" assumption, whereas some older works study sign gradient descent as steepest descent with respect to the $\ell_\infty$-norm. In this work, we unify these existing results by showing a close connection between separable smoothness and $\ell_\infty$-smoothness and argue that the latter is the weaker and more natural assumption. We then proceed to study the smoothness constant with respect to the $\ell_\infty$-norm and thereby isolate geometric properties of the objective function which affect the performance of sign-based methods. In short, we find sign-based methods to be preferable over gradient descent if (i) the Hessian is to some degree concentrated on its diagonal, and (ii) its maximal eigenvalue is much larger than the average eigenvalue. Both properties are common in deep networks.
Progressive Identification of True Labels for Partial-Label Learning
Lv, Jiaqi, Xu, Miao, Feng, Lei, Niu, Gang, Geng, Xin, Sugiyama, Masashi
Partial-label learning is one of the important weakly supervised learning problems, where each training example is equipped with a set of candidate labels that contains the true label. Most existing methods elaborately designed learning objectives as constrained optimizations that must be solved in specific manners, making their computational complexity a bottleneck for scaling up to big data. The goal of this paper is to propose a novel framework of partial-label learning without implicit assumptions on the model or optimization algorithm. More specifically, we propose a general estimator of the classification risk, theoretically analyze the classifier-consistency, and establish an estimation error bound. We then explore a progressive identification method for approximately minimizing the proposed risk estimator, where the update of the model and identification of true labels are conducted in a seamless manner. The resulting algorithm is model-independent and loss-independent, and compatible with stochastic optimization. Thorough experiments demonstrate it sets the new state of the art.
A Fixed point view: A Model-Based Clustering Framework
However, not all of the data are representative and meaningful, so the analysis and disposal of large-scale data occupies an increasingly important position in scientific research and social life [1]. Cluster analysis is an important unsupervised learning method in machine learning. Its basic idea is grouping a set of objects into clusters, in a way that objects in the same cluster share more similarity than those from separated clusters, in terms of distances of a certain space. In the evolution of clustering, due to the differences of data types and clustering strategies, cluster analysis can be divided into two main branches, namely, traditional clustering algorithms and modern clustering algorithms. Traditional clustering algorithms include clustering algorithm based on partition, density, model, fuzzy theory and so on [2, 3].
Communication-Efficient Distributed SVD via Local Power Iterations
Li, Xiang, Wang, Shusen, Chen, Kun, Zhang, Zhihua
We study the distributed computing of the truncated singular value decomposition (SVD). We develop an algorithm that we call \texttt{LocalPower} for improving the communication efficiency. Specifically, we uniformly partition the dataset among $m$ nodes and alternate between multiple (precisely $p$) local power iterations and one global aggregation. We theoretically show that under certain assumptions, \texttt{LocalPower} lowers the required number of communications by a factor of $p$ to reach a certain accuracy. We also show that the strategy of periodically decaying $p$ helps improve the performance of \texttt{LocalPower}. We conduct experiments to demonstrate the effectiveness of \texttt{LocalPower}.
Learning Bijective Feature Maps for Linear ICA
Camuto, Alexander, Willetts, Matthew, Paige, Brooks, Holmes, Chris, Roberts, Stephen
Separating high-dimensional data like images into independent latent factors remains an open research problem. Here we develop a method that jointly learns a linear independent component analysis (ICA) model with non-linear bijective feature maps. By combining these two methods, ICA can learn interpretable latent structure for images. For non-square ICA, where we assume the number of sources is less than the dimensionality of data, we achieve better unsupervised latent factor discovery than flow-based models and linear ICA. This performance scales to large image datasets such as CelebA.