Tutorials › Statistical Learning (Graduate) › Tail Assumptions for Neural Regression Generalization

Neural Estimation and Generalization · Tutorial 937 of 989

Tail Assumptions for Neural Regression Generalization

Learn when squared-loss concentration is justified, how truncation controls rare large responses, and why finite variance alone can fail to support reliable generalization.

Advanced 11 min read

What You'll Learn

  • Identify the boundedness conditions that make squared loss suitable for Hoeffding concentration.
  • Derive a uniform squared-loss bound for a finite set of bounded neural predictors.
  • Use response truncation to separate a bounded-loss generalization term from a tail-bias term.
  • Translate conditional sub-Gaussian noise into a quantitative response-tail bound.
  • Explain why finite variance alone does not ensure useful finite-sample concentration.

Why Squared Loss Needs a Tail Assumption

A squared-loss generalization bound compares empirical risk with population risk. For a predictor \(g\), define \(R(g)=E[(Y-g(X))^2]\) and, for independent identically distributed observations \((X_i,Y_i)\), define \(\widehat R_n(g)=n^{-1}\sum_{i=1}^n(Y_i-g(X_i))^2\). The difficulty is that a single large response can contribute an enormous squared loss. Consequently, a concentration inequality that works for bounded losses cannot be applied merely because the sample size is large or the predictor is a neural network.

The relevant assumptions concern the response and the resulting loss, not the network label. Bounded responses make the loss bounded when predictions are bounded. Truncation can create a bounded-loss problem while leaving an explicit tail error. A sub-Gaussian noise assumption supplies a tail bound that quantifies that error. Without some such control, even a response with finite variance can produce a sample that systematically misses rare, consequential observations.

Definition: A random variable \(\varepsilon\) is conditionally sub-Gaussian with scale \(\sigma>0\), given \(X\), if \(E[\varepsilon\mid X]=0\) and, for every \(t\in\mathbb R\), \(E[\exp(t\varepsilon)\mid X]\le \exp(\sigma^2t^2/2)\) almost surely. This implies \(P(|\varepsilon|>u\mid X)\le 2\exp(-u^2/(2\sigma^2))\) for \(u>0\), by applying the exponential Markov inequality to \(\varepsilon\) and \(-\varepsilon\).

Bounded Responses Give a Direct Bound

Let \(\mathcal G\) be a finite set of candidate predictors. Suppose \(|Y|\le M\) almost surely and \(|g(X)|\le B\) almost surely for every \(g\in\mathcal G\), where \(M,B\ge0\). Then every squared loss lies between \(0\) and \((M+B)^2\). Hoeffding's inequality therefore applies to each fixed predictor, and a union bound makes the result simultaneous over the finite set.

Theorem: Under the preceding assumptions, for \(n\ge1\) and \(0<\delta<1\), with probability at least \(1-\delta\), $$ \sup_{g\in\mathcal G}|R(g)-\widehat R_n(g)| \le (M+B)^2\sqrt{\frac{\log(2|\mathcal G|/\delta)}{2n}}. $$ If \(M+B=0\), every response and prediction is zero almost surely, so both risks are zero and the result holds directly.

Proof. Fix \(g\) and write \(Z_i=(Y_i-g(X_i))^2\). The \(Z_i\) are independent, identically distributed, and lie in an interval of length \((M+B)^2\). If \(M+B>0\), Hoeffding's inequality gives, for \(t>0\),

$$ P\left(|R(g)-\widehat R_n(g)|>t\right) \le 2\exp\left(-\frac{2nt^2}{(M+B)^4}\right). $$

The probability that this deviation exceeds \(t\) for at least one \(g\in\mathcal G\) is at most \(2|\mathcal G|\exp(-2nt^2/(M+B)^4)\). Set \(t=(M+B)^2\sqrt{\log(2|\mathcal G|/\delta)/(2n)}\). Substitution makes that probability at most \(\delta\), proving the claim. The zero case was handled separately. \(\square\)

Worked Example: A Finite Set of Bounded Predictors

Suppose \(|Y|\le3\), each predictor in a candidate set has \(|g(X)|\le2\), and the set contains 20 predictors. Let \(n=2000\) and \(\delta=0.05\). Here \(M+B=5\), and \(\log(2|\mathcal G|/\delta)=\log(800)\approx6.6846\). The theorem gives

$$ \sup_{g\in\mathcal G}|R(g)-\widehat R_n(g)| \le 25\sqrt{\frac{6.6846}{4000}} \approx 25(0.04088) \approx 1.022 $$

with probability at least \(0.95\). This is a guarantee, not an estimate of the actual discrepancy; it can be conservative. Its assumptions are explicit: the response and every candidate prediction are bounded. For neural regression, an output constraint or a clipped network output can enforce the prediction condition. If the candidate set is infinite, this finite-class theorem does not by itself apply; a complexity argument must control the additional search over predictors.

Truncation Separates Concentration from Tail Error

If the response is not bounded, truncate it at a level \(\tau>0\): \(Y_\tau=\max(-\tau,\min(Y,\tau))\). Assume predictions satisfy \(|g(X)|\le B\), and choose \(\tau\ge B\). The truncated squared loss is bounded by \((\tau+B)^2\), so it concentrates. The difference between the original and truncated population risks is a tail term. This distinction matters: truncation does not make the original risk equal to the truncated risk; it makes the discrepancy measurable and, under suitable tails, small.

Theorem: Let \(\mathcal G\) be finite, suppose \(|g(X)|\le B\) for every \(g\in\mathcal G\), and suppose the risks below are finite. Define \(R_\tau(g)=E[(Y_\tau-g(X))^2]\) and \(\widehat R_{\tau,n}(g)=n^{-1}\sum_i(Y_{\tau,i}-g(X_i))^2\). For any \(\tau\ge B\), with probability at least \(1-\delta- nP(|Y|>\tau)\), $$ \sup_{g\in\mathcal G}|R(g)-\widehat R_n(g)| \le (\tau+B)^2\sqrt{\frac{\log(2|\mathcal G|/\delta)}{2n}} + E\left[(|Y|+B)^2\mathbf 1\{|Y|>\tau\}\right], $$ provided \(\delta\in(0,1)\) and the stated probability lower bound is nonnegative. A negative lower bound is simply uninformative.

Proof. Let \(A\) be the event that \(|Y_i|\le\tau\) for all \(i\). The union bound gives \(P(A^c)\le nP(|Y|>\tau)\). On \(A\), every observed original response equals its truncated value, so \(\widehat R_n(g)=\widehat R_{\tau,n}(g)\) simultaneously for all \(g\). Because \(\tau\ge B\), clipping a response outside \([-\tau,\tau]\) moves it toward every prediction in \([-B,B]\). Thus \((Y-g(X))^2\ge(Y_\tau-g(X))^2\), and

$$ 0\le R(g)-R_\tau(g) \le E\left[(|Y|+B)^2\mathbf 1\{|Y|>\tau\}\right]. $$

The inequality follows because on the tail event the original squared loss is at most \((|Y|+B)^2\), while off that event the two losses agree. Apply the bounded-response theorem to the truncated losses, which lie in \([0,(\tau+B)^2]\), with failure probability \(\delta\). On its success event and on \(A\), the triangle inequality gives

$$ |R(g)-\widehat R_n(g)| \le |R_\tau(g)-\widehat R_{\tau,n}(g)|+|R(g)-R_\tau(g)|. $$

Taking the supremum and combining the two event probabilities proves the stated bound. \(\square\)

Sub-Gaussian Noise Makes the Tail Term Explicit

A common regression model is \(Y=f^\star(X)+\varepsilon\), where \(|f^\star(X)|\le B\) almost surely and \(\varepsilon\) is conditionally sub-Gaussian given \(X\), with scale \(\sigma>0\). For \(u\ge0\), the event \(|Y|>B+u\) implies \(|\varepsilon|>u\). Hence \(P(|Y|>B+u)\le2\exp(-u^2/(2\sigma^2))\). This tail bound can be inserted into the truncation theorem. For example, if \(\tau>B\), put \(s=\tau-B>0\). Tail integration yields

$$ E\left[(|Y|+B)^2\mathbf 1\{|Y|>\tau\}\right] \le 2(\tau+B)^2e^{-s^2/(2\sigma^2)} +4\sigma^2e^{-s^2/(2\sigma^2)} +\frac{8B\sigma^2}{s}e^{-s^2/(2\sigma^2)}. $$

To check the calculation, write \(W=|Y|\) and \(h(w)=(w+B)^2\). For \(\tau\ge0\), the tail-integration identity is \(E[h(W)\mathbf 1\{W>\tau\}]=h(\tau)P(W>\tau)+\int_\tau^\infty h'(w)P(W>w)\,dw\). Here \(h'(w)=2(w+B)\); substitute the response-tail bound and set \(u=w-B\). The integral is at most \(4\int_s^\infty(u+2B)e^{-u^2/(2\sigma^2)}du\). The first integral evaluates to \(\sigma^2e^{-s^2/(2\sigma^2)}\), and the second is bounded above by \((\sigma^2/s)e^{-s^2/(2\sigma^2)}\), giving the displayed expression. The other term in the truncation theorem is the bounded-loss concentration term at level \(\tau\). Increasing \(\tau\) reduces the tail term but increases that concentration term, so the threshold is a tradeoff rather than a free improvement.

Worked Example: Choosing a Truncation Level

Suppose \(|f^\star(X)|\le1\), the noise is conditionally sub-Gaussian with \(\sigma=1\), and predictors satisfy \(|g(X)|\le1\). Choose \(\tau=4\), so \(s=3\). The response-tail bound is \(P(|Y|>4)\le2e^{-9/2}\approx0.02222\). For a sample of size \(n=100\), the probability that at least one response exceeds the truncation threshold is at most \(100(0.02222)>1\), which is a valid but useless union bound. Thus this choice of threshold does not yet certify that the sample remains untruncated with high probability. A larger threshold is needed for that purpose.

The population tail-bias bound at this threshold is still calculable. Since \(e^{-9/2}\approx0.011109\), it is at most

$$ 2(5)^2(0.011109)+4(0.011109)+\frac{8(1)}{3}(0.011109) \approx0.55545+0.04444+0.02962 \approx0.62951. $$

This is not especially small. The example illustrates why reporting only a sub-Gaussian label is not enough: the sample-tail probability and the risk-tail contribution both matter, and the selected threshold should make both terms useful for the intended sample size and confidence level.

Uncontrolled Tails Can Defeat Empirical Risk

Finite variance by itself does not guarantee a useful distribution-free concentration bound for squared loss. Consider a fixed predictor \(g=0\) and a response independent of \(X\), with \(Y=M\) with probability \(1/M^2\), and \(Y=0\) otherwise, for any \(M\ge1\). Then \(E[Y^2]=M^2/M^2=1\). Yet the empirical squared risk is zero whenever the sample contains no nonzero response, an event with probability \((1-1/M^2)^n\).

Worked Example: A Finite-Variance Tail Failure

Take \(M=100\) and \(n=100\). The population risk of \(g=0\) is \(R(g)=1\), but

$$ P(\widehat R_n(g)=0) =\left(1-\frac{1}{10000}\right)^{100} =(0.9999)^{100} \approx0.99005. $$

Thus, with probability about \(0.99005\), the empirical risk is zero while the population risk is one. The second moment is finite and fixed, but rare responses carry all of the risk. For a fixed sample size, taking \(M\) larger makes the probability of seeing no nonzero response still closer to one. This rules out a distribution-free high-probability guarantee of small absolute risk discrepancy based only on a finite variance assumption.

What the Assumptions Do—and Do Not—Buy

These results concern the tail behavior of squared loss and the search over predictors. Bounded responses and bounded predictions yield a direct finite-class bound. Truncation replaces an unbounded loss by a bounded one, but adds a population tail term and a probability that the observed sample contains a clipped response. Conditional sub-Gaussian noise makes those quantities controllable when the regression signal is bounded. None of these steps says that a particular neural network class has small complexity; controlling the class remains a separate part of a generalization argument.

  • Common mistake: “The response has finite variance, so Hoeffding’s inequality applies to squared loss.” Hoeffding requires bounded observations; finite variance does not bound \((Y-g(X))^2\).
  • Correction: Verify a bounded-loss condition, use a concentration result with appropriate tail assumptions, or truncate and retain the tail error explicitly.
  • Common mistake: “Clipping the responses proves a bound for the original risk with no extra term.” Clipping changes the population risk even when it happens rarely.
  • Correction: Account separately for the empirical event of observing a tail value and the expected population loss contributed by the tail.

For neural regression, the practical implication is to state the response or noise assumption and the prediction constraint alongside any squared-loss generalization claim. A bound whose tail premise is not justified can fail precisely on the observations that dominate prediction risk.

Check Your Understanding

Answer each question by identifying the assumption or term that controls the argument.

  1. If \(|Y|\le M\) but predictions are not bounded, which step in the bounded-loss proof is not justified?
  2. Why does the finite-class theorem use \(\log(2|\mathcal G|/\delta)\) rather than only \(\log(1/\delta)\)?
  3. In the truncation result, what are the two distinct events or errors that must be controlled to compare original empirical and population risks?
  4. Under bounded regression signal and conditional sub-Gaussian noise, derive a bound on \(P(|Y|>B+u)\) from the noise tail.
  5. In the rare-response example, verify that \(E[Y^2]=1\) for \(M\ge1\), and explain why the empirical risk can still be zero with high probability.
Clinical Biostats