K-NN active learning under local smoothness assumption

2020·arXiv

Abstract

1 Introduction

Active learning is a machine learning approach for reducing the data labeling effort. Given an instance space X or a pool of unlabeled data provided by a distribution , the learner focuses its labeling effort only on the most “informative” points so that a model built from them can achieve the best possible guarantees (Dasgupta, 2011). Such guarantees are particularly interesting when they are significantly better than those obtained in passive learning (Hanneke and Yang, 2015). In the context of this work, we consider binary classification (where the label Y of X takes its value in {0, 1}) in a nonparametric setting. Extensions to multiclass classification and adaptive algorithms are discussed at the end of this paper (Section 6).

The nonparametric setting has the advantage of providing guarantees with many informations such as the dependence on the dimensional and distributional parameters by using some hypotheses on the regularity of the decision boundary (Castro and Nowak, 2008), on the regression function (Minsker, 2012; Locatelli et al., 2017), and on the geometry of instance space (called strong density assumption) (Audibert and Tsybakov, 2007; Locatelli et al., 2017; Minsker, 2012). One of the initial works on nonparametric active learning (Castro and Nowak, 2008) assumed that the decision boundary is the graph of a smooth function, that a margin assumption very similar to Tsybakov’s noise assumption (Mammen and Tsybakov, 1999) holds, and that distribution is uniform. This led to a better guarantee than in passive learning. Instead of the assumption on the decision boundary, other works (Minsker, 2012; Locatelli et al., 2017) supposed rather that the regression function is smooth (in some sense). This assumption, along with Tsybakov’s noise assumption and the strong density assumption also gave a better guarantee than in passive learning. Moreover, unlike in (Castro and Nowak, 2008), they provided algorithms that are adaptive with respect to the margin’s noise and to the smoothness parameters.

However, recent work (Chaudhuri and Dasgupta, 2014) pointed out some disadvantages of the preceding smoothness assumption, and extended it in the context of passive learning with k-nearest neighbors (k-NN) by using a more general smoothness assumption that is able to sharply characterize the rate of convergence for all probability distributions that satisfy it.

In this paper, we thus extend the work of (Chaudhuri and Dasgupta, 2014) to the active learning setting, and provide a novel algorithm that outputs a clas-sifier with the same rate of convergence as other recent algorithms with more restrictive hypotheses, as for example (Minsker, 2012; Locatelli et al., 2017). Section 2 introduces general definitions, Section 3 presents previous work on convergence rates in active and passive non-parametric learning, with a special emphasis on the assumptions related to our work. Section 4 provides an outline of our algorithm while Section 5 describes its theoretical motivations and Section 6 contains the conclusion and some perspectives for future work.

2 Preliminaries

We begin with some general definitions and notations about active learning in binary classification, then recall the concept of k-NN classifiers. Finally, the main assumptions that are used in nonparametric active learning are explained.

2.1 Active learning setting

Let () be a metric space. In this paper we set and refer to it as the instance space, and take as the Euclidean metric. Let Y = {0, 1} the label space. We assume that the pairs (X, Y ) are random variables distributed according to an unknown probability P over . Let us denote the marginal distribution of P over X.

Given and an i.i.d. sample () drawn according to probability P, the learning problem consists in minimizing the risk R(f) = )) over all measurable functions, called classifiers, .

In active learning, the labels are not available from the beginning but we can request iteratively at a certain cost (to a so-called oracle) a given number n of samples, called the budget (). In passive learning, all labels are available and n = w. At any time, we choose to request the label of a point X according to the previous observations. The point X is chosen to be most “informative”, which amounts to belonging to a region where classification is difficult and requires more labeled data to be collected. Therefore, the goal of active learning is to design a sampling strategy that outputs a classifier whose excess risk (see below) is as small as possible with high probability over the requested samples, as reviewed in (Dasgupta, 2011; Hanneke and Yang, 2015; Dasgupta, 2017).

Given x in X, let us introduce the regression function ) = E(Y |X = x) = P(Y = 1| X = x). It is easy to show (Lugosi, 2002) that the function ) = achieves the minimum risk and that ) = (min())). Because P is unknown, the function is unreachable and thus the aim of a learning algorithm is to return a classifier with minimum excess risk R( ) with high probability over the sample ().

2.2 k-Nearest Neighbors (k-NN) classifier

Given two integers k, n such that k < n, and a test point , the k-NN classifier predicts the label of X by giving the majority vote of its k nearest neighbors amongst the sample . For k = 1, the k-NN classifier returns the label of the nearest neighbor of X amongst the sample . If k is allowed to grow with n, the method is called -NN. For a complete discussion of nearest neighbors classification, see for example (Biau and Devroye, 2015; Shalev-Shwartz and Ben-David, 2014; Chaudhuri and Dasgupta, 2014).

2.3 Regularity, noise and strong density assumptions

Let B(x, r) = and ¯B(x, r) = the open and closed balls (with respect to the Euclidean metric ), respectively, centered at with radius r > 0. Let supp() = 0the support of the marginal distribution .

Let [0, 1] be the regression function defined as ) = P(Y = 1|X = x). We say that is ()-(0 and 1) if ,

The notion of H¨older continuity ensures that the proximity between two closest (according to the metric ) points is reflected in a similar value of the conditional probability .

This definition remains true for a general metric space, but when is the Euclidean metric, we should always have 0 1, otherwise becomes constant(Pugh, 2002).

In most of the previous works (for example (Audibert and Tsybakov, 2007; Minsker, 2012; Ga¨ıffas, 2007)), the definition H1a is used along with the following notion (H1b) for technical reasons.

Let P be the probability distribution defined over and the marginal distribution of P over X. We say that P satisfies the strong density assumption if there exists some constants 0, 0, 0 such that for all supp():

where is the density function of the marginal distribution and is the Lebesgue measure.

The strong density assumption ensures that, given a realisation X = x according to , there exists an infinite number of realisations = in a neighborhood of x.

Sometimes, the notion of strong density is used to geometrically characterize the set where the classification is difficult (Locatelli et al., 2017), and then combined with the following definition of Margin noise, allows to nicely control the error of classification beyond a given number of label requests.

The probability distribution P satisfies the margin noise assumption (sometimes called assumption (Audibert and Tsybakov, 2007)) with parameter 0 if for all 0 1, there is [1[ such that

The margin noise assumption gives a bound on the probability that the label of the points in the neigborhood of a point x differs from the label of x given by the conditional probability ). It also describes the behavior of the regression function in the vicinity of the decision boundary ) = . When goes to infinity, we observe a “jump” of around the decision boundary, and then we obtain Massart’s noise condition (Massart and N´ed´elec, 2006). Small values of allow for to “cuddle” when we approach the decision boundary.

Let 0 1 and L > 1. The regression function is (if for all supp() we have:

where d is the dimension of the instance space.

Equivalently, (H3) can be rewritten as:

It is important to note that the ()-smooth assumption (H3) is more general than the H¨older continuity assumption (H1a), as stated in Theorem 1 below.

Suppose that , that the regression function is ()-H¨older continuous, and that satisfies H1b. Then there is a constant L > 1 such that for any supp(), we have:

The marginal distribution is a doubling-probability if there exists a constant 0 such that for any , and r > 0, we have:

This notion was initially introduced for geometric purposes in the setting of measure theory (Heinonen, 2012; Federer, 2014). It helps for constructing a subcover of a metric space by also minimizing the overlap between the elements of the subcover. Doubling-probability has been used in a machine learning context, particularly k-NN classification (or regression), where the constant is interpreted as the intrinsic dimension of the region where the data belong (Kpotufe, 2011). This allows to reduce considerably the complexity of the clas-sification problem and to bypass the so-called curse of dimension. Also, it is also proved (Kpotufe, 2011) that the notion of doubling-probability generalizes the strong density assumption H1b. It is thus more universal, and does not require a probability density.

In this paper, doubling-probability is used only for geometrical purposes. It is later relaxed, so that it becomes sufficient to consider only balls B(x, r) with )) sufficiently large to satisfy the doubling-probability condition (H4).

3 Convergence rates in nonparametric active learning

3.1 Previous work

Active learning theory has been mostly studied during the last decades in a parametric setting, see for example (Balcan et al., 2010; Hanneke, 2011; Dasgupta, 2017) and references therein. One of the pioneering works studying the achievable limits in active learning in a nonparametric setting (Castro and Nowak, 2008) required that the decision boundary is the graph of a H¨older continuous function with parameter (H1a). Using a notion of margin noise (with parameter ) very similar to (H2), the following minimax rate was obtained:

where = and d is the dimension of instance space ().

Note that this result assumes the knowledge of the smoothness and margin noise parameters, whereas an algorithm that achieves the same rate, but that adapts to these parameters was proposed recently in (Locatelli et al., 2018).

In passive learning, by assuming that the regression function is H¨older continuous (H1a), along with (H1b) and (H2), the following minimax rate was established (Audibert and Tsybakov, 2007):

In active learning, using the same assumptions (H1a), (H1b) and (H2), with the additional condition , the following minimax rate was obtained (Locatelli et al., 2017)

where ˜O indicates that there may be additional logarithmic factors. This active learning rate given by (3) thus represents an improvement over the passive learning rate (2) that uses the same hypotheses.

With another assumption on the regression function relating the and approximation losses of certain piecewise constant or polynomial approximations of in the vicinity of the decision boundary, the same rate (3) was also obtained (Minsker, 2012).

3.2 Link with k-NN classifiers

For practicals applications, an interesting question is whether k-NN classifiers attain the rate given by (2) in passive learning and by (3) in active learning. In passive learning, under assumptions (H1a), (H1b) and (H2), and for suitable , it was shown in (Chaudhuri and Dasgupta, 2014) that -NN indeed achieves the rate (2).

In active learning a pool-based algorithm that outputs a k-NN classifier has been proposed in (Kontorovich et al., 2016), but its assumptions differ from ours in terms of smoothness and noise. Similarly, the algorithm proposed in (Hanneke) outputs a 1-NN classifier based on a subsample of a given pool of data, such that the label of each instance of this subsample is determined with high probability by the labels of its neighbors within the pool. The number of neighbors is adaptively chosen for each instance in the subsample, leading to the minimax rate (3) under the same assumptions as in (Locatelli et al., 2017).

To obtain more general results on the rate of convergence for k-NN classifiers in metric spaces under minimal assumptions, the more general smoothness assumption given by (H3) was used in (Chaudhuri and Dasgupta, 2014). By using a k-NN algorithm, and under assumptions (H2) and (H3), the rate of convergence obtained in (Chaudhuri and Dasgupta, 2014) is also of the order of (2). Additionally, using assumption (H3) instead of (H1a) removes the need for the strong density assumption (H1b), which therefore allows for more probability classes.

3.3 Contributions of the current work

In this work, we will use the assumptions that were used in the context of passive learning in (Chaudhuri and Dasgupta, 2014), and show that is is possible to use them in active learning as well.

For the sake of clarity, let us restate here these assumptions that will be used throughout this paper. We assume that the assumptions (H3), (H2), (H4) simultaneously hold respectively with parameters (), (.

In this paper, we provide an active learning algorithm under assumptions (H3), (H2) that were used in passive learning in (Chaudhuri and Dasgupta, 2014). We additionally assume that the underlying marginal probability satisfies (H4) mostly for geometrical convenience. Our algorithm has several advantages:

• According to the assumption (H2), as we will see, our algorithm also (as in (Minsker, 2012)) covers the most interesting case where the regression function is allowed to cross the boundary decision ) =

As explained in Section 2.1, we consider an active learning setting with a pool of i.i.d. unlabeled examples . Let the budget, that is the maximum number of points whose label we are allowed to query to the oracle. The objective of the algorithm is to build a 1-NN classifier, based on a labelled set of carefully chosen points. This set contains a subset of most informative points in K and is called the active set. More precisely, a point is considered informative if its label cannot be inferred (see below) from the previous observations (with ). The set starts with chosen arbitrarily in K and stops when the budget n is reached or when is attained.

When a point is informative, instead of requesting directly its label to the (noisy) oracle, we infer it by requesting the labels of its nearest neighbors in K, as was done in (Hanneke). This is reasonable for practical situations where the uncertainty about the label of has to be overcome, and it is related to the assumption (H3). Note that it differs from the setting of (Locatelli et al., 2018), where the label of is requested several times. The number of neighbors used for inferring that label of is determined such that, while respecting the budget, we can predict with high confidence the true label as ) of by the empirical mean of the labels of its nearest neighbors.

The labelled active set output by the algorithm will comprise only the informative points on which we have sufficient guarantees when considering the inferred label as the right label. Finally, we show that the labelled active set is sufficient to predict the label of any new point with a 1-NN classification rule .

4.2 Algorithm

The KALLS algorithm (Algorithm 1) aims at determining the active set defined in Section 4.1 and the related 1-NN classifier under the assumption (H3) and (H2).

Before beginning the description of KALLS, let us introduce some variables and notations, whose precise form will be justified in Section 5. The latter contains the proof sketch of the convergence of KALLS, while the complete proofs are in Appendix A.

For (0, 1), 1, set:

where

Let

For , we denote henceforth by its k-th nearest neighbor in K, and the corresponding label. For an integer 1, let

The inputs of KALLS are a pool K of unlabelled data of size w, the budget n, the smoothness parameters () from (H3), the margin noise parameters (, C) from (H2), a confidence parameter (0, 1) and an accuracy parameter (0, 1). For the moment, these parameters are fixed from the beginning but adaptive algorithms such as (Locatelli et al., 2017) could be exploited, in particular for the and parameters.

At any given stage, the current version of the labelled active set is denoted by . Based on , with high confidence, the 1-NN classifier agrees with the Bayes classifier at points that lie beyond some margin 0 of the decision boundary. Formally, given such that , we have ) = with high confidence. We will show in Section 5 that, with a suitable choice of , the assumption (H2) leads to the desired rate of convergence (3).

KALLS uses two main subroutines : Reliable and ConfidentLabel, which are detailed below in Sections 4.3 and 4.4, respectively.

4.3 Reliable subroutine

The Reliable subroutine is a binary test that checks if the label of a current point X can be inferred with high confidence from some previously informative points before reaching X. These points are obtained via a set called current active set. Each element of can be seen as a triplet () where is an informative point, its inferred label, and c > 0 can be thought as

a guarantee for predicting the right label Y of as . Formally, we have when (and is relatively far from the decision boundary. If ) outputs True, the point X is not considered to be informative, and will not be updated. By convention, ) always returns False.

The inputs are the current point X, a confidence parameter , the smoothness parameters () from (H3), and the set before examining the point X.

If entails the same confidence lower bound O(c) as that of some previous informative point (with (), there is a low degree of uncertainty on the label of X, and X is considered to be uninformative.

Using the assumption (H3), it suffices to have

Because the appearing in (9) are unknown, it has to be replaced by an estimate. We will show that it can be estimated with arbitrary precision and confidence using only unlabelled data from K. The Reliable subroutine uses 50) (inspired from (Kontorovich et al., 2016)) as follows:

1. Call the subroutine 50). 2. To draw a single in 50), sample randomly an example from K, and set .

The subroutine BerEst consists in estimating adaptively with high probability the expectation of a Bernoulli variable . In our setting, we estimate a probability-ball, so that a realisation of Z can be set as = 1. The variables are sampled at the beginning for theoretical analysis where we want a concentration inequality to hold for a number of samples greater than 4 (see (Kontorovich et al., 2016; Maurer and Pontil, 2009) for more details).

However, it is not dramatic if is supposed to be known by the learner. This is not a limitation, since it can be assumed that the pool K of data is large enough such that can be estimated to any desired accuracy.

If a point X is considered informative, it is introduced in the ConfidentLabel (Algorithm(5)), along with an integer , a budget parameter t and a confi-dence parameter . This subroutine infers with high confidence (at least 1) the label of X, by using the labels of its nearest neighbors, knowing that we can request at most t labels. The parameter is chosen such that, with high probability, the empirical majority of the -NN labels differs from the majority in expectation by less than some margin, and all the -NN are at most at some distance from X. The ConfidentLabel subroutine outputs , Q where Q represents the set of labeled nearest neighbors in the subroutine, and represents the majority label in Q.

5 Theoretical motivations

This Section provides the main results and theoretical motivations behind the KALLS algorithm. Let us recall is the pool of unlabeled data and n is the budget.

Let us denote by the set of active learning algorithms on K, and ) the set of probabilities that satisfy assumption (H3) and (H2).

Additionally, let us introduce the set of probabilities ) on . A probability ) if ) and its marginal probability is a doubling-probability. For , we denote by := the classifier that is provided by A.

Theorem 2 and its equivalent form in Theorem 3 are the main results of this paper. They provide bounds on the excess risk for the KALLS algorithm in terms of the set ). The main idea of the proof is sketched in Section 5.2, while a detailed proof can be found in Appendix A.

5.1 Main results

Let the set ) such that where d is the dimension of the input space . For ), if is the 1 classifier provided by KALLS, then we have:

The result (10) is also stated below (Theorem 3) in a more practical form using label complexity. This latter form will be used in the proof.

Before proving this theorem, a couple of important remarks should be made:

1. The rate of convergence (10) obtained in Theorem 2 is an improvement over

2. The rate (10) is also minimax. Indeed, let us introduce the set of probabilities ¯) that satisfy the H¨older continuous assumption (H1a) (with parameter ), strong density assumption (H1b), and margin noise assumption (H2).

Let us assume that . It was proven in (Minsker, 2012) that if [0, 1], there exists a constant 0 such that for all n large enough and for any active classifier , we have:

Moreover, the strong density assumption implies the doubling-probability assumption (Kpotufe, 2011), and according to Theorem 1, the lower bound obtained in (17) is also valid for the family of probabilities ).

For a classifier , it is well known(Lugosi, 2002) that the excess of risk is:

We thus aim to prove that (11) is a sufficient condition to guarantee (with probability ), that agrees with on the set , for a suitable choice of 0.

Introducing in (18) leads to:

Therefore, if then we have immediately, . On the other hand, if , by hypothesis (H2), we have 2In the latter case, setting guarantees . Altogether, using for the value = max( ) guarantees R( . This explains the expression (6).

We present the proof sketch of Theorem 3 in three main steps, and refer to the corresponding Lemmas and Theorems in the Appendix A for more details.

will be violated after at most ˜) requests, with ˜). Also, the label inferred after ˜) label requests corresponds to the true label ). The intuition behind is to adapt the number of labels requested with respect to the noise; i.e., fewer label requests on a less noisy point (i.e., ), and more label requests on a noisy point. This provides significant savings in the number of requests needed to predict with high probability the correct label.

• In the event , any informative point falls in a high density region such that all the ) nearest neighbors of are within at most some distance to , and the condition (12) is sufficient to have .

(21) In this case, let be such a point that satisfies (20) and (21), we can easily prove that when is relatively far from the boundary, i.e.,

and easily deduce by using the smoothness assumption, (21) and (22), that the points and have the same label, then we do not need to use in the subroutine ConfidentLabel (Algorithm 5) and is an uninformative point. In addition, (13) is a sufficient condition such that the number of

The set I is introduced in KALLS (Algorithm(1)) as the set of informative points indexes. Let = max I, the index of the last informative point.

For (0defined in (6), and () the smoothness parameters, let us introduce

where is the nearest neighbor of x in , and the 1-NN classifier on . Additionally, on we prove that (11) is sufficient to obtain (23).

6 Conclusion and future work

In this paper we first reviewed the main results for convergence rates in a non-parametric setting for active learning, with a special emphasis on the relative merits of the assumptions about the smoothness and the margin noise. Then, by putting active learning in perspective with recent work on passive learning, we provided a novel active learning algorithm with a particular smoothness assumption customized for k-NN.

We showed that our algorithm has a convergence rate comparable to state-of-the art active learning algorithms, but using less restrictive assumptions.

This removes unnecessary restrictions on the distribution that would exclude important densities (e.g., Gaussian). Additionally, our algorithm can readily be extended to multi-class classifi-cation, and then compared to recent results obtained in passive learning by (Reeve and Brown, 2017) which extended the work of (Chaudhuri and Dasgupta, 2014) to multi-class classification. Finally, an important direction for further work is to extend our results to the case where the key parameters of the problem (defining smoothness and noise) are unknown. Ongoing work in this direction builds upon previous results in an adaptive setting (Locatelli et al., 2017), (Minsker, 2012), (Balcan and Hanneke, 2012), (Hanneke, 2011).

References

Jean-Yves Audibert and Alexandre B Tsybakov. Fast learning rates for plug-in classifiers. The Annals of statistics, 35(2):608–633, 2007.

Maria Florina Balcan and Steve Hanneke. Robust interactive learning. In Conference on Learning Theory, pages 20–1, 2012.

Maria-Florina Balcan, Steve Hanneke, and Jennifer Wortman Vaughan. The true sample complexity of active learning. Machine learning, 80(2-3):111– 139, 2010.

G´erard Biau and Luc Devroye. Lectures on the nearest neighbor method. Springer, 2015.

Rui M Castro and Robert D Nowak. Minimax bounds for active learning. IEEE Transactions on Information Theory, 54(5):2339–2353, 2008.

Kamalika Chaudhuri and Sanjoy Dasgupta. Rates of convergence for near- est neighbor classification. In Advances in Neural Information Processing Systems, pages 3437–3445, 2014.

Sanjoy Dasgupta. Two faces of active learning. Theoretical computer science, 412(19):1767–1781, 2011.

Sanjoy Dasgupta. Active learning theory. Encyclopedia of Machine Learning and Data Mining, pages 14–19, 2017.

Maik D¨oring, L´aszl´o Gy¨orfi, and Harro Walk. Rate of convergence of k-nearest- neighbor classification rule. The Journal of Machine Learning Research, 18 (1):8485–8500, 2017.

Gerald A Edgar. Packing measure in general metric space. Real Analysis Exchange, 26(2):831–852, 2000.

Herbert Federer. Geometric measure theory. Springer, 2014.

St´ephane Ga¨ıffas. Sharp estimation in sup norm with random design. Statistics & probability letters, 77(8):782–794, 2007.

Steve Hanneke. Nonparametric active learning, part 1: Smooth regression functions.

Steve Hanneke. Rates of convergence in active learning. The Annals of Statistics, 39(1):333–361, 2011.

Steve Hanneke and Liu Yang. Minimax analysis of active learning. The Journal of Machine Learning Research, 16(1):3487–3602, 2015.

Juha Heinonen. Lectures on analysis on metric spaces. Springer Science & Business Media, 2012.

Wassily Hoeffding. Probability inequalities for sums of bounded random vari- ables. Journal of the American Statistical Association, 58(301):13–30, 1963.

Emilie Kaufmann, Olivier Capp´e, and Aur´elien Garivier. On the complexity of best-arm identification in multi-armed bandit models. The Journal of Machine Learning Research, 17(1):1–42, 2016.

Aryeh Kontorovich, Sivan Sabato, and Ruth Urner. Active nearest-neighbor learning in metric spaces. In Advances in Neural Information Processing Systems, pages 856–864, 2016.

Samory Kpotufe. k-nn regression adapts to local intrinsic dimension. In Advances in Neural Information Processing Systems, pages 729–737, 2011.

Andrea Locatelli, Alexandra Carpentier, and Samory Kpotufe. Adaptivity to noise parameters in nonparametric active learning. Proceedings of Machine Learning Research vol, 65:1–34, 2017.

Andrea Locatelli, Alexandra Carpentier, and Samory Kpotufe. An adaptive strategy for active learning with smooth decision boundary. In Algorithmic Learning Theory, pages 547–571, 2018.

G´abor Lugosi. Pattern classification and learning theory. In Principles of nonparametric learning, pages 1–56. Springer, 2002.

Enno Mammen and Alexandre B Tsybakov. Smooth discrimination analysis. The Annals of Statistics, 27(6):1808–1829, 1999.

Pascal Massart and ´Elodie N´ed´elec. Risk bounds for statistical learning. The Annals of Statistics, 34(5):2326–2366, 2006.

Andreas Maurer and Massimiliano Pontil. Empirical bernstein bounds and sample variance penalization. arXiv preprint arXiv:0907.3740, 2009.

Stanislav Minsker. Plug-in approach to active learning. Journal of Machine Learning Research, 13(Jan):67–90, 2012.

Wolfgang Mulzer. Five proofs of Chernoff’s bound with applications. arXiv preprint arXiv:1801.03365, 2018.

Charles Chapman Pugh. Real mathematical analysis. Springer, 2002.

Henry WJ Reeve and Gavin Brown. Minimax rates for cost-sensitive learn- ing on manifolds with approximate nearest neighbours. In International Conference on Algorithmic Learning Theory, pages 11–56, 2017.

Shai Shalev-Shwartz and Shai Ben-David. Understanding machine learning: From theory to algorithms. Cambridge university press, 2014.

Mathukumalli Vidyasagar. Learning and generalisation: with applications to neural networks. Springer Science & Business Media, 2013.

A Detailed proof of Theorem 3

This Appendix is organized as follows: in Section A.1, we introduce some additional no-

tations. In Section A.2 we adaptively determine the number of label requests needed to

accurately predict the label of an informative point that is relatively far from the bound-

ary decision. In Section A.4, we provide some lemmas that give a sufficient condition for

a point to be informative. In Section A.5, we give theorems that allow us to classify each

instance relatively far from the decision boundary. Finally in Section A.6, we provide the

label complexity and establish Theorem 3.

A.1 Notations

Some notations that will be used throughout the proofs are listed here for convenience.

As defined in Section 2.3, let

the open and closed balls with respect to the Euclidean metric

tively, centered at with radius r > 0. Let supp(

0} the support of the marginal distribution

For ), let us define

Let us recall for , we denote by -th nearest neighbor in

the corresponding label.

For an integer

A.2 Adaptive label requests on informative points

Lemma 1 (Chernoff bounds, (Mulzer, 2018))

Suppose are independent random variables taking value in {0, 1}. Let X denote

their sum and its expected value. Then,

Lemma 2 (Logarithmic relationship, (Vidyasagar, 2013))

Lemma 3 (Chaudhuri and Dasgupta, 2014)

For , let us define

all

Theorem 4

Let

parameters used in (H2) and (H3).

For , let us introduce

, such that on

then the nearest neighbors of (in the pool K) belong to the ball

Additionally, the condition

is sufficient to have (29).

Proof

Fix , let us denote nearest neighbor of x in the pool.

we have,

Then, by using Lemma 1 and Lemma 3, and if satisfies (29), we have:

Fix , there exists an event , such that

on

we have . By setting

1 , for all 1

Now, let us proof that the condition (30) is sufficient to guarantee (29).

The relation (29) implies

We can see by a bit of calculus, that

where

Now, we are going to apply the Lemma 2. If we set in Lemma 2

we can easily see that 4 and then

Then, the relation

is sufficient to guarantee (32).

Let us note that the guarantee obtained in the preceding theorem corresponds to that

obtained in passive setting (w = n).

A.3 Motivation for choosing for

Lemma 4 (Hoeffding’s inequality,(Hoeffding, 1963))

– Second version: Let be independent random variables such that We define the empirical mean of these variables by

Lemma 5 (Kaufmann et al., 2016)

Let

tributed, such that, for all . For every positive integer t, let

. Then, for all

Lemma 6

Let . Then we have:

Proof

Define )), and let )). We have:

It can be shown numerically that

Also, we have: (notice that

Then it is easy to see that . This establishes the lemma.

Theorem 5

Let . Let us assume that

where

Then, there exists an event , such that

1. For

Where is the number of requests made in

Proof

1. Let us begin with the proof of the first part of Theorem 5. Here, we follow the proof of Theorem 8 in (Kaufmann et al., 2016), with few additional modifications.

)) = 0, and the random variablesare independent. Then by Lemma 4, given ) takes values in [have 0. Furthermore, set , and by Lemma 5, with 2, we have: P

Then, we have, given , there exists an event 1 , and simultaneously for all 1, we have:

(39) On the other hand, the right-hand side is smaller than:

We can apply the Lemma 6 in (42) by taking: 20 and then, a sufficient condition to have (42) is:

As , we can easily see that ˜). By taking the minimum value ¯) that satisfies (44), we can see that when the budget allows us, the subroutine labels, and we have:

By setting 16, and we can deduce (34). We have on

Thus we can easily deduce (35). By setting , the item 1 and item 2 hold simultaneously.

A.4 Sufficient condition to be an informative point

As noticed in Section 4.3, a sufficient condition for a point ) to be considered

as not informative is:

for some previous informative point

before attaining (Algorithm(1))). Because is unknown, we provide a com-

putational scheme sufficient to obtain (49).

Firstly we follow the general procedure used in (Kontorovich et al., 2016) to estimate adap-

tively the expectation of a Bernoulli random variable. And secondly, we apply it to the

Bernoulli variable

Lemma 7 (Kontorovich et al., 2016)

Bernoulli random variables with expectation be the output of

exists an event , such that

1. If , otherwise, we have

2. The number of random draws in the BerEst subroutine (Algorithm 4) is at most

where

Lemma 8

Let . Let us assume that w satisfies (13).

There exists an event , such that , we have, on

If there exists , such that is an informative point, and

(the current active set just before attaining

satisfies:

where

and

then

Otherwise, if (50) does not holds, i.e:

then min(

Proof

By following the scheme of subroutine Estprob, this Lemma is a direct application of Lemma

7 by taking for all

And then, if we set 16, and on the event

can easily deduce (51) and (52) in each cases.

On the other hand, for all , the number of draws in

(respectively )) is always lower than w. In-

deed, by Lemma 7, the number of draws is at most:

Then we have:

In equation (53), is defined by (4), and represents the number of label requests

used in the subroutine ConfidentLabel(Algorithm (5)) at the stage

A.5 Label the instance space

Let I the set of indexes of informative points used in KALLS (Algorithm 1). Let us consider

its last update in KALLS (Algorithm 1) and also denoted it by I.

Then, set the index of the last informative point. Let be the active set

obtained in KALLS (Algorithm 1) and denote by the output . There exists an

event

2. If w satisfies (12) and (13) and the following condition holds

then, for all , there exists that:

Proof This proof is based on results from (Hanneke) with few additional modifications. 1. Let us begin by proving the first part of Theorem 6. For ), let us introduce

By Lemma 3, we have . Then each ¯to )) with probability at least ˜. If we denote the probability over the data, we have:

Then, there exists an event , such that 8 and (55) holds on then, we can easily conclude the first part.

2. For the second part of Theorem 6, let ). By (55), on there exists such that:

As , then there exists passes through the subroutine Reliable. We have two cases: a) . Then there exists , such that is an informative point, and

that contradicts (62), then we have . Therefore, by (63), (64), we have:

b) . In this case, and then we always obtains the equation (69), which becomes

On , by Theorem 5, the subroutine ) uses at most ˜request labels, and returns the correct label (with respect to the Bayes classifier) of Let us proof that ). Let us assume without loss of generality that 0. We will show that 0. We have:

Then As , by using Theorem 5 (the second part), we can easily see that (is the inferred label of provided by the subroutine ConfidentLabel in KALLS(Algorithm (1))). Let the nearest neighbor of

Then, and by Theorem 5, the subroutine ConfidentLabel

A.6 Label complexity

Lemma 9

Let us assume that . Then, there exists an event such that . The condition (11) is sufficient to guarantee (56).

Before beginning the proof, let us define a notion that will be used through the proof.

Definition 5

Let a set 1]. We say that the set

F is a p-probability-packing set of F if:

where is defined by (25), and

This notion of p-probability-packing comes from the Definition 1.4 in (Edgar, 2000). It will

be used on a particular set of the form

0 ). This allows us to upper bound the number of informative points where we have

a very high confidence for inferring their labels.

Proof

Let us consider the last update of I, the set of indexes of informative points used in

KALLS(Algorithm 1).

Set , the index of the last informative point. We consider two cases:

1. : we can easily see that (56) is satisfied, and we have trivially that the condition (11) is sufficient to guarantee (56). 2. : then the total number of label requests up to

) implicitly assumes that the process of label request do not takes into account the constraint related to the budget n (very large budget with respect to )) such that ) . Then we have:

On the other hand, we want to guarantee the condition (56). For this, necessary for all s , such that , at the end of the subroutine the budget n is not yet reached and then we can replace the relation (77) by

Then, necessarily, (56) holds when (78) holds. Also, for , by theorem5, if we assume that , we have that ˜), and the subroutine terminates when the cut-off condition (34) is satisfied. The right hand side of (78) is equal to:

Let any two informative points that belong to . Let us assume that As and by Theorem 5, the number of label requests ¯) satisfies:

where are respectively defined by (26) and (4). Then

Additionally, as are both informative points, by Lemma 8, we necessary have on event (see Lemma 8), that

(89) Let us introduction the quantity ¯) defined by (26). We have, by Theorem 5, on the event (see Theorem 5),

(93) As the same way, we also obtain (93) if Then, if we set

Therefore, the set of informative points that belong to -probability-packing set.

(b) As second step, let us determine an upper bound of the cardinal of any -probability-packing set of -probability-packing set of For all , we obviously have:

On the other hand, if 2) for some , by the assumption (H3), equation (25), and the fact that

Now, it remains to upper bound the second term in (79). Denote it by 1, (equation(28)), there exists an event have:

Because ) (according to the subroutine and where ˜) is defined in (5). Consequently, we have:

As 1, the term (128)in (103) is greater than 1. Thus, (103) becomes:

Thus, if the label budget n satisfies n

We have that n satisfies (78), and (56) is necessary satisfied.

Proof of Theorem 3

Finally, we are able to prove Theorem 3.

Previously, we have designed five events , such that if the event A :=

, and if the label budget (105) (where ˜O

assumes the existence of polylogarithmic factor in ), then (56) is necessary satisfied,

therefore , by Theorem 6, if w satisfies (12) and (13), and the event A holds, the classifier

provided by the algorithm KALLS agrees with the Bayes classifier on

Consequently, we have:

Thus with probability at least 1 , (14) holds.

Designed for Accessibility and to further Open Science