Bandit Multiclass PAC Learning: Structural Baselines and a Confidence Direct Sum
Abstract
How much does high confidence cost when a multiclass learner sees only whether its prediction is correct? We separate two behaviors in realizable bandit PAC learning. An anchored dimension gives a general lower bound that is attained, up to universal constants, by a family of product-block classes. In contrast, for divisible by four, an affine multiplexer with bandit DS dimension has sample complexity in the standard accuracy and confidence regime. Its lower bound applies to adaptive randomized learners with improper outputs. The obstruction is that evidence collected against one candidate group cannot be reused against the others. The better of two algorithms matches this cost. One finds the correct group through a positive response. The other exhausts the rank of successive groups. The resulting confidence profile rules out a universal additive-confidence bound linear in the bandit DS dimension. Moreover, classes with identical anchored dimension, bandit DS dimension, and pointwise label width can have polynomially different sample complexities. We also sharpen the confidence accounting in ListCascade and show how one positive response replaces the bandit DS dimension by the anchored dimension in a general upper bound.
Figures & tables
Appendix figures & tables3 assets
Supplementary material from the paper’s appendix.
Appendix
| Main-text result | Property certified | Proof |
|---|---|---|
| Theorem 2 | Structural baseline for all learners | C.4 |
| Theorem 3 | Exact randomized elimination rate | C.2 |
| Theorem 4 | PAB dimensions and algorithm | D.1 |
| Theorem 5 | Separate confidence cost across groups | E.3 |
| Proposition 6 | Two multiplexer learning procedures | E.4 |
| Theorem 7 | Matching confidence profile | E.5 |
PAC Learning
Probably approximately correct (PAC) learning studies when finite samples can yield predictors that generalize with bounded error and confidence.
See all 40 papers