OpenFrontiers
← Back to the index
OP-0085Partially solvedLearning theory

Data Selection for Regression Tasks

How much can carefully choosing a small training set improve regression? Determine sharp loss ratios under a fixed data budget.

Status reported by the supplied archiveAs of 2026-09-05Source & evidence ↓

The research question

How much can carefully choosing a small training set improve regression? Determine sharp loss ratios under a fixed data budget.

Read the original paper for precise definitions, assumptions, and numbered questions. The dated archive notes below describe reported progress and the remaining questions.

Lean 4

Not yet attached

No Lean statement or proof is attached yet. Have a formalization? Share its source to add it to this problem.

Read the original paper Full text & figures

Open Problem: Data Selection for Regression Tasks

Steve Hanneke (STEVE.HANNEKE@GMAIL.COM) Department of Computer Science, Purdue University

Shay Moran (SMORAN@TECHNION.AC.IL) Departments of Mathematics, Computer Science, and Data and Decision Sciences, Technion and Google Research

Alexander Shlimovich (ASHLIMOVICH@CAMPUS.TECHNION.AC.IL) Department of Mathematics, Technion

Amir Yehudayoff (YEHUDAYOFF@TECHNION.AC.IL) Department of Mathematics, Technion and Department of Computer Science, Copenhagen University

Editors: Nika Haghtalab and Ankur Moitra

Abstract

This note proposes a set of open problems concerning data selection in regression tasks. The central question is: given a natural learning rule A\mathcal{A} and a selection budget nn, how well can A\mathcal{A} perform when trained on nn examples selected from a larger dataset? We present concrete instances of this question in basic regression settings, including mean estimation and linear regression.

Keywords: Data Selection, Empirical Risk Minimizers, Compression Schemes, Machine Teaching, Active Learning.

1. Introduction

Machine learning advances along two main axes: data and algorithms. Much of the theoretical focus, however, has been on optimizing the algorithmic side, typically assuming that data is drawn i.i.d. from a fixed distribution. As a result, the role of data has received comparatively less theoretical attention.

Nevertheless, the selection of data is no less central. In practice, better data is often key to better performance, and the choice of data can be as consequential as the choice of learning algorithm. Moreover, resource constraints frequently limit how much data can be labeled, stored, or processed—raising the question of which examples should be prioritized for training.

Inspired by these challenges, we propose the following basic theoretical question: given a dataset DD of NN examples, a selection budget n≪Nn \ll N, and a fixed natural learning rule AA—how well can AA perform when trained only on nn examples from DD, in terms of the loss on the full dataset?

Overarching Question: Given a natural learning rule AA and a selection budget nn, how well can AA perform on the full dataset when trained on only nn selected examples?

This formulation isolates an information-theoretic aspect of data selection, connecting it to classical topics such as sample compression (Littlestone and Warmuth, 1986), subsampling and active learning (Cohn et al., 1994; Hanneke, 2014), and coreset theory (Feldman, 2020; Maalouf et al., 2024). Yet even in simple settings like mean estimation or linear regression, the achievable performance under optimal subset selection remains poorly understood.

2. Mean Estimation

We begin with a simple and basic instance of the data selection problem in mean estimation. Let D={z1,…,zN}⊆RdD = \{z_1, \ldots, z_N\} \subseteq \mathbb{R}^d be a multiset, and define the squared loss of an hypothesis h∈Rdh \in \mathbb{R}^d by: LD(h)=1N∑i=1N∥h−zi∥22L_D(h) = \frac{1}{N}\sum_{i=1}^N \|h - z_i\|_2^2. The unique minimizer of this loss is the mean h⋆=1N∑i=1Nzih^\star = \frac{1}{N}\sum_{i=1}^N z_i. Accordingly, we consider the learning rule that returns the average of its input dataset. Specialized to this setting, our main question becomes: how well can the average of nn selected points approximate the performance of the true mean? Define:

LD⋆=min⁡h∈RLD(h),LD⋆(n)=min⁡z1,…,zn∈DLD(1n∑i=1nzi).L_D^\star = \min_{h\in\mathbb{R}} L_D(h), \qquad L_D^\star(n) = \min_{z_1,\ldots,z_n \in D} L_D\left(\frac{1}{n}\sum_{i=1}^n z_i\right).

The quantity LD⋆(n)L_D^\star(n) represents the best loss one can achieve on the full dataset by averaging only nn selected examples.

Question 1 (Mean Estimation in Rd\mathbb{R}^d) What is the value of

F(d,n)=sup⁡D⊆RdLD⋆(n)LD⋆,\mathcal{F}(d,n) = \sup_{D\subseteq\mathbb{R}^d} \frac{L_D^\star(n)}{L_D^\star},

for fixed d>1d > 1 and n>1n > 1?

The 1D case is resolved by Hanneke, Moran, Shlimovich, and Yehudayoff (2025), but the behavior in higher dimensions remains open. A summary of known bounds for various values of dd and nn is provided in the following table. Except for the case d=n=2d = n = 2, all bounds are due to Hanneke et al. (2025). Our derivation of the d=n=2d = n = 2 bound is somewhat tedious and computational—though it relies only on basic classical geometry—and we are not aware of a simple proof. Finding one may be of interest, as it could shed light on more general cases.

d\nd \backslash n 1 2 3 nn n→∞n \to \infty
1 2 43\frac{4}{3} 65\frac{6}{5} 2n2n−1\frac{2n}{2n-1} 1
2 2 43\frac{4}{3} ? ? 1
3 2 ? ? ? 1
d→∞d \to \infty 2 32\frac{3}{2} 43\frac{4}{3} n+1n\frac{n+1}{n} undefined

3. Weighted Data Selection

We next consider a convex relaxation of the data selection problem, in which the learner may assign non-negative weights to selected examples. This weighted setting is also studied in the context of coresets (Feldman, 2020; Lucic et al., 2018), and often enables stronger approximation guarantees using fewer examples. Formally, let Z\mathcal{Z} denote the example space, W\mathcal{W} the parameter space, and let AA be a fixed learning rule that returns a parameter w∈Ww \in \mathcal{W} minimizing the loss with respect to a given (convex) combination of individual losses. Given a dataset D⊆ZD \subseteq \mathcal{Z}, define

LD⋆(n;A)=inf⁡z1,…,zn∈DF∈conv⁡(ℓz1,…,ℓzn)LD(A(F)),L_D^\star(n; A) = \inf_{\substack{z_1,\ldots,z_n\in D \\ F\in\operatorname{conv}(\ell_{z_1},\ldots,\ell_{z_n})}} L_D\left(A(F)\right),

where ℓz:W→R≥0\ell_z : \mathcal{W} \to \mathbb{R}_{\geq 0} is the loss associated with z∈Dz \in D, and the full-dataset loss is defined by LD(w)=1∣D∣∑z∈Dℓz(w)L_D(w) = \frac{1}{|D|}\sum_{z\in D} \ell_z(w). In this formulation, the learner chooses a convex combination FF of nn example losses and then applies AA to minimize this combination. The goal remains to achieve good performance (low loss) on the full dataset using only these nn weighted examples.

3.1. Linear Regression

Consider linear regression with squared loss:

ℓ(x,y)(w)=(w⊤x−y)2,for (x,y)∈Rd×R.\ell_{(x,y)}(w) = (w^\top x - y)^2, \quad \text{for } (x,y) \in \mathbb{R}^d \times \mathbb{R}.

Assume the learning rule A⋆A^\star is the min-norm ERM, which selects the empirical risk minimizer of smallest Euclidean norm. Hanneke et al. (2025) proved the following result in this context:

Theorem 1 (Linear Regression (Hanneke et al., 2025)) Let A⋆A^\star be the min-norm ERM. Then:

sup⁡DLD⋆(n;A⋆)LD⋆={1if n≥2d,d+1if n=d,∞if n<d.\sup_D \frac{L_D^\star(n; A^\star)}{L_D^\star} = \begin{cases} 1 & \text{if } n \geq 2d, \\ d+1 & \text{if } n = d, \\ \infty & \text{if } n < d. \end{cases}

Question 2 (Weighted Data Selection Gap) What is the value of

sup⁡DLD⋆(n;A⋆)LD⋆\sup_D \frac{L_D^\star(n; A^\star)}{L_D^\star}

for d<n<2dd < n < 2d?

Theorem 1 implies that this quantity lies in the interval (1,d+1](1, d+1]. In the case n=2d−1n = 2d - 1, we believe we have an argument showing that the value is exactly 1+1d1 + \frac{1}{d}, though the argument is somewhat ad hoc and does not clearly extend to other values of nn.

The case of n>2dn > 2d in Theorem 1 relies on a generalization of Carathéodory's Theorem due to Steinitz Steinitz (1916), while the bound for n=dn = d relies on determinantal point processes Derezinski and Warmuth (2017). The difference between these techniques suggests that resolving the intermediate regime may require new ideas that bridge these two approaches; see Hanneke et al. (2025) for further details.

4. Vector-Valued Linear Regression

We conclude by formulating a unified setting that generalizes both mean estimation and linear regression. Let Z=Rd×Rm\mathcal{Z} = \mathbb{R}^d \times \mathbb{R}^m, and consider linear predictors W:Rd→RmW : \mathbb{R}^d \to \mathbb{R}^m with squared loss:

ℓz(W)=∥Wx−y∥2,\ell_z(W) = \|Wx - y\|^2,

where z=(x,y)∈Zz = (x,y) \in \mathcal{Z}. Given a dataset D={zi}i=1N⊆ZD = \{z_i\}_{i=1}^N \subseteq \mathcal{Z}, define the average loss over DD as

LD(W)=1N∑i=1Nℓzi(W),and let LD⋆=min⁡WLD(W).L_D(W) = \frac{1}{N}\sum_{i=1}^N \ell_{z_i}(W), \quad \text{and let } L_D^\star = \min_W L_D(W).

This setting recovers: (i) mean estimation when1 d=0d = 0, and standard linear regression when m=1m = 1.

Throughout this section, we consider the empirical risk minimizer (ERM) AA that selects the minimizer with the smallest Frobenius norm (i.e., the minimum-norm solution). However, the questions posed below are of broader interest, including for other forms of ERM selection.

As before, we consider two variants of data selection:

Unweighted selection. Select nn examples from DD, apply the algorithm AA, and evaluate its performance on the full dataset:

LD⋆(n)=min⁡z1,…,zn∈DLD(A(1n∑i=1nℓzi)).L_D^\star(n) = \min_{z_1,\ldots,z_n\in D} L_D\left(A\left(\frac{1}{n}\sum_{i=1}^n \ell_{z_i}\right)\right).

Weighted selection. Select nn examples from DD, form a convex combination of the corresponding losses, apply AA, and evaluate on the full dataset:

LD⋆(n;weighted)=min⁡z1,…,zn∈DF∈conv⁡(ℓz1,…,ℓzn)LD(A(F)).L_D^\star(n; \text{weighted}) = \min_{\substack{z_1,\ldots,z_n\in D \\ F\in\operatorname{conv}(\ell_{z_1},\ldots,\ell_{z_n})}} L_D\left(A(F)\right).

Question 3 (Unweighted General Linear Prediction) Given d,m,nd, m, n, what is the value of

F(d,m,n)=sup⁡D⊆Rd×RmLD⋆(n)LD⋆?\mathcal{F}(d,m,n) = \sup_{D\subseteq\mathbb{R}^d\times\mathbb{R}^m} \frac{L_D^\star(n)}{L_D^\star}?

Question 4 (Weighted General Linear Prediction) Given d,m,nd, m, n, what is the value of

Fweighted(d,m,n)=sup⁡D⊆Rd×RmLD⋆(n;weighted)LD⋆?\mathcal{F}_{\textit{weighted}}(d,m,n) = \sup_{D\subseteq\mathbb{R}^d\times\mathbb{R}^m} \frac{L_D^\star(n; \textit{weighted})}{L_D^\star}?

In particular, what is the minimal n=n(d,m)n = n(d,m) such that this ratio equals 11?

References

D. Cohn, L. Atlas, and R. Ladner. Improving generalization with active learning. Machine Learning, 15(2):201–221, 1994.

Michal Derezinski and Manfred K. K Warmuth. Unbiased estimates for linear regression via volume sampling. In I. Guyon, U. Von Luxburg, S. Bengio, H. Wallach, R. Fergus, S. Vishwanathan, and R. Garnett, editors, Advances in Neural Information Processing Systems, volume 30. Curran Associates, Inc., 2017. URL https://proceedings.neurips.cc/paper_files/paper/2017/file/54e36c5ff5f6a1802925ca009f3ebb68-Paper.pdf.

Dan Feldman. Introduction to core-sets: an updated survey, 2020. URL https://arxiv.org/abs/2011.09384.

S. Hanneke. Theory of disagreement-based active learning. Foundations and Trends in Machine Learning, 7(2–3):131–309, 2014.

Steve Hanneke, Shay Moran, Alexander Shlimovich, and Amir Yehudayoff. Data selection for erms, 2025. URL https://arxiv.org/abs/2504.14572.

Nick Littlestone and Manfred K. Warmuth. Relating data compression and learnability. Unpublished manuscript, 1986.

Mario Lucic, Matthew Faulkner, Andreas Krause, and Dan Feldman. Training gaussian mixture models at scale via coresets. Journal of Machine Learning Research, 18(160):1–25, 2018. URL http://jmlr.org/papers/v18/15-506.html.

Alaa Maalouf, Gilad Eini, Ben Mussay, Dan Feldman, and Margarita Osadchy. A unified approach to coreset learning. IEEE Transactions on Neural Networks and Learning Systems, 35(5):6893–6905, May 2024. ISSN 2162-237X. doi: 10.1109/TNNLS.2022.3213169. Publisher Copyright: © 2012 IEEE.

E. Steinitz. Bedingt konvergente reihen und konvexe systeme. (schluß.). Journal für die reine und angewandte Mathematik, 146:1–52, 1916. URL http://eudml.org/doc/149441.

Footnotes

  1. By interpreting R0\mathbb{R}^0 as a singleton {1}\{1\}, we get that d=0d = 0 corresponds to constant predictors W:R0→RmW : \mathbb{R}^0 \to \mathbb{R}^m, recovering mean estimation. ↩

Questions & status notes Supplied archive · 2026-09-05

These notes reproduce the supplied archive’s summaries, some of which are abbreviated or truncated. Use the original paper for a complete mathematical statement. Reported resolutions may rely on unrefereed work.

Q1 [partially_resolved] Question 1 (Mean Estimation in R^d): What is F(d,n) = sup_D L*_D(n)/L*_D for fixed d > 1 and n > 1, where L*_D(n) is the best full-dataset squared loss of the average of n selected points (repetition allowed)? Known: F(1,n) = 2n/(2n-1), F(d,1) = 2, F(2,2) = 4/3 (tedious proof; a simple one is requested), 2n/(2n-1) <= F(d,n) <= (n+1)/n with the upper bound approached as d -> infinity; F(2,3), F(3,2 | remains open: Determine F(d,n) exactly for any finite d >= 2 and n >= 3 (e.g., F(2,3), F(3,3), F(4,3)); current knowledge is only the bracket max{2n/(2n-1), known deformed-simplex bounds} <= F(d,n) <= 1 + 1/n - 2/(dn^2) (d >= 4) or 1 + 1/n - 2/(3n^2) (d <= 3), plus the asymptotic n(F(d,n)-1) -> 1 when min(d,n) -> Q2 [partially_resolved] Question 2 (Weighted Data Selection Gap): For scalar linear regression with squared loss and the min-norm ERM A*, what is sup_D L*_D(n; A*)/L*_D for d < n < 2d? (Theorem 1: 1 for n >= 2d, d+1 for n = d, infinity for n < d; the authors believe an ad hoc argument gives exactly 1 + 1/d at n = 2d-1.) | remains open: Prove or refute F_w(d,d+k) = 1 + Gamma_{d,k} for 2 <= k <= d-2 (all d >= 4); the smallest open cell is (d,n) = (4,6), conjectured value 3/2, for which only the lower bound 3/2 <= F_w(4,6) <= F_w(4,5) = 2 is known. Q3 [resolved] Question 3 (Unweighted General Linear Prediction): Given d, m, n, what is F(d,m,n) = sup_{D subset R^d x R^m} L*_D(n)/L*_D, where L*_D(n) is the full-dataset loss of the minimum-Frobenius-norm ERM trained on the uniform average of n selected example losses ||Wx - y||^2? (d = 0 recovers mean estimation, m = 1 recovers scalar linear regression.) | remains open: Nothing for d >= 1 beyond independent refereed confirmation of the unrefereed, machine-generated lower-bound note (which I checked and found correct); the d = 0 slice of Q3 is by the note's own footnote identical to Question 1 and inherits its open cells. Q4 [partially_resolved] Question 4 (Weighted General Linear Prediction): Given d, m, n, what is F_weighted(d,m,n) = sup_{D subset R^d x R^m} L*_D(n; weighted)/L*_D for the minimum-Frobenius-norm ERM applied to a convex combination of n selected losses ||Wx - y||^2? In particular, what is the minimal n = n(d,m) such that this ratio equals 1? | remains open: Determine F_weighted(d,m,n) in the intermediate range d < n < (m+1)d - 1 for m >= 2 (smallest open cells: F_weighted(2,2,3) in [13/8, 15/8] and F_weighted(2,2,4) in [5/4, 3/2], conjectured 13/8 and 5/4, reduced by Zhang to a seven-atom moment problem on the circle), together with the scalar m = 1 ra

Progress & source assessment

Read the archive’s progress assessment
Status notes from the supplied COLT archive (2026-09-05; later corrections retained where present). Preprint claims are not independent proof verification. As of Sept 2026 (all post-COLT results are unrefereed preprints, several explicitly AI-generated; see notes for what I verified independently). Q1 (mean estimation in R^d, unweighted, F(d,n)): - n=2: RESOLVED for every d: F(d,2) = 1 + max{1/3, (d-1)/(2d)} = 4/3 for d<=3, (3d-1)/(2d) for d>=4 (11/8, 7/5, ... -> 3/2). Extremizers: {0,0,0,1} on a line (d<=3) and the uniform regular d-simplex (d>=4). Includes a short proof of F(2,2)=4/3. - n>=3, 2<=d<infinity: OPEN. Upper: F(d,n) <= 1 + 1/n - 2/(3n^2) (d<=3), <= 1 + 1/n - 2/(dn^2) (d>=4). Lower: max{2n/(2n-1), simplex-type bounds}; F(4,3) >= 1.2054, F(5,3) >= 1.2150. E.g. F(2,3), F(3,3) in [1.2, 1.2593]; F(4,3) in [1.2054, 1.2778]. - Asymptotics: n(F(d,n)-1) -> 1 whenever min(d,n) -> infinity (dimension barrier), finite-rate version 1 - O(min(d,n)^{-1/3}). Q2 (weighted linear regression, min-norm ERM, d<n<2d): - n=2d-1: RESOLVED, value 1+1/d (two independent proofs: Dewasurendra Aug 11, Zhang Aug 28). - F_w(3,4)=5/3, F_w(4,5)=2 (Zhang). Hence d<=3 fully known; d=4 lacks only n=6. - General: lower bound 1+Gamma_{d,k} at n=d+k (harmonic quantity over balanced partitions), conjectured tight; proven tight over 'orthogonal circuit-block'/'rank-additive circuit decomposable' datasets. Conjecture predicts e.g. F_w(4,6)=3/2. Q3 (unweighted vector-valued regression, F(d,m,n)): - Claimed RESOLVED for d>=1 (Peng et al.): F(d,m,n) = d+1 for all n>=d and all m>=1; infinity for n<d. Budget never helps because one point's loss can be split i
References
  1. [1]Open Problem: Data Selection for Regression Tasks. COLT 2025. link
  2. [2]Original published PDF link
  3. [3]Sharp Pair Selection for Mean Regression (2026) linkEvidence cited by the supplied archive; not independently re-reviewed in this import.
  4. [4]The Dimension Barrier in Mean Data Selection (2026) linkEvidence cited by the supplied archive; not independently re-reviewed in this import.
  5. [5]Unweighted data selection for linear regression (Problem 3 of Hanneke, Moran, Shlimovich, Yehudayoff, COLT 2025) (2026) linkEvidence cited by the supplied archive; not independently re-reviewed in this import.
  6. [6]One Short of Steinitz: Weighted Regression Selection (2026) linkEvidence cited by the supplied archive; not independently re-reviewed in this import.
  7. [7]Exact Risk Ratios for Weighted Data Selection in Linear Regression (2026) linkEvidence cited by the supplied archive; not independently re-reviewed in this import.
  8. [8]Exact Recovery Thresholds for Weighted Data Selection in Vector-Valued Linear Regression (2026) linkEvidence cited by the supplied archive; not independently re-reviewed in this import.

Recorded progress

Add yours →

Nothing recorded yet. A pointer to a paper the entry is missing counts.

Machine attempts

0 recorded

Attempts run against the statement below and are recorded in full, including the failures. The point is to stop the next model — and the next person — from re-walking a road that is already known to end. Each attempt costs 25 credits.

No machine attempts recorded.

Sign in to run an attempt. New accounts start with enough credits for ten.

Discussion

0 notes

Notes are for clarifying the statement, flagging a missing reference, or recording why an approach fails. Claimed solutions belong in a submission, where they can be reviewed.

No notes yet.

Sign in to add a note.