On the Failure of Step-Response Tests to Certify Admissibility of Spectral Averaging Operators
Fuente:
arXiv
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2026
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866918351348957184 |
|---|---|
| author | Grieshop, Justin |
| author_facet | Grieshop, Justin |
| contents | We study translation-invariant smoothing operators on finite cyclic groups Z/NZ, expressed as periodic convolutions and analyzed via the discrete Fourier transform on Z/NZ. Step responses are widely used as a practical diagnostic for whether a smoothing operator preserves bounded ranges, for example whether it maps signals in [0,1]^N back into [0,1]^N. We show step-based diagnostics can be fundamentally misleading for periodic convolution operators. First, we give a sharp characterization: a constant-preserving periodic convolution maps [0,1]^N into [0,1]^N if and only if its convolution kernel is componentwise nonnegative, equivalently each row of the associated matrix is a probability vector. The proof is constructive and yields worst-case witnesses in {0,1}^N together with certified lower bounds on the magnitude of boundedness violation. We then analyze three standard Fourier-domain averaging constructions, Fejer (Cesàro) averaging, sharp spectral truncation, and a signed spectral control, and demonstrate a Nyquist-adjacent blind spot: at cutoff K = Nyquist - 1, the canonical step can exhibit essentially zero overshoot while the operator remains strongly non-admissible, with explicit binary inputs yielding outputs below 0 and above 1. Reproducible artifacts and a self-contained demo are provided. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2602_20185 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | On the Failure of Step-Response Tests to Certify Admissibility of Spectral Averaging Operators Grieshop, Justin General Mathematics 42A10, 15B05, 65T50 We study translation-invariant smoothing operators on finite cyclic groups Z/NZ, expressed as periodic convolutions and analyzed via the discrete Fourier transform on Z/NZ. Step responses are widely used as a practical diagnostic for whether a smoothing operator preserves bounded ranges, for example whether it maps signals in [0,1]^N back into [0,1]^N. We show step-based diagnostics can be fundamentally misleading for periodic convolution operators. First, we give a sharp characterization: a constant-preserving periodic convolution maps [0,1]^N into [0,1]^N if and only if its convolution kernel is componentwise nonnegative, equivalently each row of the associated matrix is a probability vector. The proof is constructive and yields worst-case witnesses in {0,1}^N together with certified lower bounds on the magnitude of boundedness violation. We then analyze three standard Fourier-domain averaging constructions, Fejer (Cesàro) averaging, sharp spectral truncation, and a signed spectral control, and demonstrate a Nyquist-adjacent blind spot: at cutoff K = Nyquist - 1, the canonical step can exhibit essentially zero overshoot while the operator remains strongly non-admissible, with explicit binary inputs yielding outputs below 0 and above 1. Reproducible artifacts and a self-contained demo are provided. |
| title | On the Failure of Step-Response Tests to Certify Admissibility of Spectral Averaging Operators |
| topic | General Mathematics 42A10, 15B05, 65T50 |
| url | https://arxiv.org/abs/2602.20185 |