A Sharp Joint Bias-Energy Envelope for Radial Clipping

Abstract

Radial clipping does two things at once: it removes the part of a vector outside a ball and retains a bounded vector inside the ball. The removed part produces bias, while the squared norm of the retained part produces energy. We determine the exact joint price of these effects when only a $p$-moment, $1<p\le2$, is available. The problem turns out to be one-dimensional: everything is decided by the position of one point along a ray. At $α=pβ$, the extremal configuration changes. On one side a worst point can be chosen on the clipping sphere; on the other the unique positive extremal radius moves outside. When $p=2$, all inner radii tie in the first regime. The resulting constant is optimal both in the deterministic inequality and in the corresponding Hilbert-space stochastic problem. In the first regime, a symmetric law attains the bound. In the second, the supremum is not attained, but a two-point family with an increasingly rare outlier approaches it. We also show how the same transition determines the sharp bias-energy frontier. We conclude with statistical consequences and an application to online learning.

Disclosure

“int axioms reports only propext, Classical.choice, and Quot.sound; no sorryAx is present. The formalization is a repro- ducibility and consistency check, not independent peer review. Author responsibility. In preparing this article, I used generative AI tools as auxiliary technical aids: for discussion and error detection, assistance with encoding the arguments in Lean 4, language editing and synchronization of the Russian and English versions, LATEX source prepa- ration, computational ch”

PDF page 11

Classification

Computational experiments or data processing

Multiplier

3

Verified

2026-08-22T18:22:21.123063Z

Structural counts