---
title: 'PLS: Prediction with Limited Selectivity'
url: https://www.emergentmind.com/topics/prediction-with-limited-selectivity-pls
type: topic
---

# PLS: Prediction with Limited Selectivity

Searching arXiv for the primary paper and closely related selective-prediction context.
Prediction with Limited Selectivity (PLS) is an online prediction model in which a forecaster may choose the prediction window only at prescribed times rather than arbitrarily throughout the horizon. In the formulation introduced in "Online Prediction with Limited Selectivity" [2508.09592], the total horizon is $n$, the admissible prediction-start times form a prespecified set $T \subseteq \{0,1,\dots,n-1\}$, and Nature secretly chooses a bounded sequence $x_1,\dots,x_n \in [0,1]$. The forecaster observes the sequence online and, at exactly one time $t \in T$, must choose a window length $w \in \{1,\dots,n-t\}$ and produce a prediction $\hat\mu$ for the future average $\mu=\frac1w\sum_{i=1}^w x_{t+i}$. The model isolates the effect of limiting the forecaster’s selectivity: many selective-prediction guarantees rely on the ability to predict at any time, whereas PLS asks how prediction quality degrades when this freedom is restricted.

## 1. Formal model and prediction protocol

An instance of PLS is the pair $I=(n,T)$, where $n$ is a positive integer and $T$ is the set of allowed stopping times. The online protocol is one-shot. For $t=1,2,\dots,n$, the forecaster observes $x_t$ in order. At any time $t \in T$—including possibly $t=0$—having seen $x_1,\dots,x_t$, the forecaster must choose a window length $w \in \{1,2,\dots,n-t\}$ and make a single prediction $\hat\mu$ for the true future average
$$
\mu=\frac1w\sum_{i=1}^w x_{t+i}.
$$
After this prediction, the game ends. The forecaster must guarantee to make exactly one prediction by time $n-1$, so that $w \ge 1$ remains feasible [2508.09592].

The loss is squared error:
$$
\mathrm{error}(A,x)=\mathbb E[(\hat\mu-\mu)^2],
$$
where the expectation is over the internal randomization of the forecasting algorithm $A$. This definition places PLS in the adversarial online-prediction tradition: the sequence is bounded but otherwise unrestricted, and the performance criterion does not assume stochastic generation, expert advice, or a reference distribution.

A useful structural representation is obtained by writing $T=\{t_1<t_2<\cdots<t_m\}$, setting $t_0=0$ and $t_{m+1}=n$, and defining block lengths
$$
l_i=t_i-t_{i-1},\qquad i=1,\dots,m+1.
$$
Often one ignores the final trivial block by assuming $t_{m+1}=n$ and requiring a prediction by $t_m$, so that $m=|T|$ and the instance is encoded by the block vector $L=(l_1,\dots,l_m)$ with $\sum l_i=n$. This block representation converts the combinatorics of allowed prediction times into a sequence of contiguous intervals.

## 2. Performance objectives and instance structure

The primary worst-case objective is the optimal squared error on a fixed instance. For any possibly randomized forecaster $A$ on instance $I$,
$$
e(A;I)=\sup_{x\in[0,1]^n}\mathrm{error}(A,x),
$$
and the optimal achievable error is
$$
e^*(I)=\inf_A e(A;I).
$$
This is an instance-by-instance minimax quantity: it asks how well any online strategy can perform against the worst bounded sequence compatible with the admissible prediction times [2508.09592].

The model also supports average-case analysis when the stopping-time set itself is random. If $T$ is sampled according to some distribution—for example, by including each $t\in\{0,\dots,n-1\}$ independently with probability $p_t$—one studies high-probability bounds on $e^*(I(T))$. This separates two sources of difficulty: the adversarial uncertainty in the sequence values and the geometric constraints imposed by the random availability of prediction times.

The central structural insight is that the hardness of an instance is governed not merely by $|T|$ but by how the allowed times partition the horizon. Long irregular gaps can sharply constrain feasible window choices. Conversely, when many consecutive blocks have comparable lengths, the instance behaves more like the fully selective setting. This motivates an instance-dependent complexity measure based on the block vector rather than on the raw count of stopping times alone.

## 3. Approximate uniformity as the complexity measure

The paper introduces **approximate uniformity** for a block vector $L=(l_1,\dots,l_m)$:
$$
U(L)=\max_{1\le i\le j\le m}\frac{l_i+l_{i+1}+\cdots+l_j}{\max\{l_i,l_{i+1},\dots,l_j\}}.
$$
Its stated intuition is: “How many roughly-equal-sized blocks can one merge to form a long segment?” [2508.09592]

This quantity is instance-dependent. It is large when the instance contains a long run of consecutive blocks whose sizes are all within a constant factor of one another, and small when the horizon is dominated by highly nonuniform gaps. In the fully selective case, where $l_i\equiv 1$, one has $U(L)=m=n$, so the classical $O(1/\log n)$ guarantee is recovered. Approximate uniformity therefore interpolates between unrestricted selectivity and heavily constrained timing.

The complexity measure is operational rather than purely descriptive. It is built to enter both upper and lower bounds on $e^*(I)$. The paper’s analysis shows that approximate uniformity captures a substantial part of the hardness of the problem, although not all of it. This suggests that the geometry of allowed stopping times can be compressed into a single scalar parameter for many purposes, but not without some loss of resolution.

## 4. Optimal worst-case error bounds

The main upper bound states that on every PLS instance with block vector $L$, there exists a randomized forecaster $A$ such that
$$
e(A;I)\le \frac{C_1}{\log U(L)},
$$
for a universal constant $C_1$; all logarithms are taken base $2$ for concreteness [2508.09592]. The proof proceeds in two stages. First, when all block lengths are within a constant factor of one another so that $U(L)=\Theta(m)$, one can generalize the Drucker–QV random-halving algorithm: a scale $k\in\{1,\dots,\lfloor\log m\rfloor\}$ is selected randomly, a fair coin determines whether to predict across the central $2^{k-1}$ blocks or recurse on one half, and the predictor uses the mean of the previous $2^{k-1}$ blocks to forecast the next $2^{k-1}$. This yields $O(1/\log m)$ error on approximately uniform instances. Second, for a general block vector, a greedy merging argument produces a merge $L'$ with $m'=\Omega(U(L))$ uniform blocks; since $e^*(I)$ can only decrease when blocks merge, the uniform-case guarantee transfers.

The complementary lower bound states that for every PLS instance $L=(l_1,\dots,l_m)$ and every forecaster $A$,
$$
e(A;I)\ge \Omega\!\Bigl(\max\{1/[U(L)]^2,\;1/\log m\}\Bigr).
$$
Two constructions underlie this result. The $\Omega(1/[U(L)]^2)$ term comes from a random sequence that is constant on each block, with independent Bernoulli$(1/2)$ block values; a block-overlap lemma shows that any chosen prediction window must overlap some single block by at least $w/(2U(L))$, forcing conditional variance at least $1/[16U(L)^2]$. The $\Omega(1/\log m)$ term comes from coupling the block means along a carefully built ternary tree whose internal edges inject independent noise; for any admissible prediction time and window length, the conditional variance of the future average remains $\Omega(1/\log m)$.

Taken together, these theorems show that, up to a possible quadratic gap in the $U(L)$ term, $\log U(L)$ captures the hardness of PLS. The statement is deliberately qualified. The paper further notes that the gap is inherent: there exist families with $U\to\infty$ but $e^*=\Theta(1/U)$. Approximate uniformity is therefore informative but not the perfect “right” measure.

## 5. Random instances and high-probability behavior

For random stopping-time sets, the paper considers inclusion probabilities $p=(p_0,\dots,p_{n-1})\in[0,1]^n$ and calls $p$ **$k$-monotone** if it can be partitioned into $k$ contiguous pieces, each of which is nondecreasing or nonincreasing. A $p$-random stopping-time set $T$ includes each $t$ independently with probability $p_t$. Writing $m_0=\sum_t p_t$, the high-probability theorem states that if $p$ is $k$-monotone, then with probability at least $1-e^{-m_0/3}-1/n$ over the draw of $T$,
$$
|T|=\Theta(m_0),\qquad U(T)=\Omega\!\bigl(m_0/(k\log^2 n)\bigr)
$$
[2508.09592].

A corollary gives a matching regime up to constants. If
$$
m_0\gg (k\log^2 n)^{1+\epsilon}
$$
for some $\epsilon>0$, then with high probability the forecaster from the upper-bound theorem achieves
$$
e=\Theta(1/\log U(T))=\Theta(1/\log m_0),
$$
and no algorithm can do better than $\Omega(1/\log m_0)$. In this regime, the random geometry of the admissible times is sufficiently regular that the effective difficulty is governed by the expected number of stopping opportunities.

These results identify a bridge between worst-case instance complexity and average-case random-instance behavior. They show that the instance-dependent parameter $U$ is not merely a proof device for adversarial constructions: for structured random models of $T$, it typically attains the scale needed to match the lower bound, thereby recovering the same logarithmic rate that appears in the fully selective setting.

## 6. Algorithmic construction, limitations, and open directions

The algorithmic core is the **RandomSelect** procedure, described as a randomized halving by weighted block lengths that returns an index $i$ and a window size $j$. The full algorithm reads up to block $i-1$, computes the mean over the last $j$ blocks seen, and predicts the mean over the next $j$ blocks. Randomly choosing the scale $k$ and recursing by halving is what ensures small worst-case squared error [2508.09592].

The assumptions of the model are explicit. The sequence values satisfy $x_t\in[0,1]$ and may be adversarial; exactly one prediction is allowed; and the algorithm’s only randomness is internal randomization. The problem is therefore sharply delimited: it is not a repeated forecasting setting, an expert-advice framework, or a stochastic-process model. This narrowness is methodologically useful because it isolates the effect of limited temporal selectivity.

The main limitation identified in the paper is the mismatch between the upper bound $O(1/\log U)$ and the lower bound $\Omega(1/U^2)$ in the approximate-uniformity term. Section 6 shows that this mismatch cannot be removed simply by refining the proof around $U$, because there are families with $U\to\infty$ but $e^*=\Theta(1/U)$. A plausible implication is that the true complexity of PLS depends on more delicate combinatorial features than the single summary statistic $U(L)$ captures.

The open directions stated for the model are correspondingly structural. They include refining the complexity measure to capture hardness more precisely, for example by allowing “skipping” of small blocks; extending the framework to more general prediction tasks such as smooth or concatenation-concave functions; studying multi-shot selective prediction; and considering the experts setting with limited times to switch. Another direction is to analyze trade-offs when a forecaster may make multiple predictions at limited cost or under an abstention penalty. These questions position PLS as a foundational variant of selective prediction rather than a closed problem.

Source: https://www.emergentmind.com/topics/prediction-with-limited-selectivity-pls