Coarse comparison of Bessel families
Abstract
We classify Bessel families in separable Hilbert spaces under coarse equivalence relations: f and f̃ are equivalent if the seminorms |Tf ·| and |Tf̃ ·| of their analysis operators are mutually dominated, up to constants, after pullback along operators w,w̃ of a prescribed class 𝒪. In contrast with orbit relations such as unitary or similarity equivalence, these relations ignore redundancy and the geometry of the index set, and compare frames, nonframes and compact families on the same footing. They are level −1 of the comparison categories of the companion article, and we compute the levels $0$ and k≥1: they are trivial for bounded, injective, bounded below, isometric and upper semi-Fredholm comparison operators, and for invertible or unitary ones level $1$ is a stabilizer-type group of the family. For bounded 𝒪 the classes are given by the singular numbers up to constants; injective operators add the kernel dimension, bounded below operators or isometries add upper semi-Fredholmness, and invertible, unitary or surjective operators give the kernel dimension and the dyadic multiplicity sequence of the spectrum up to bounded displacement on the logarithmic scale, which splits each remaining class into continuum many. Upper semi-Fredholm operators give only three noncompact classes, whereas Fredholm operators give continuum many, so that the Fredholm relation is strictly finer. For each relation we determine exactly which families are equivalent to an orthonormal basis, and we compute an operator Banach--Mazur distance, log(supnsn/s̃n·supns̃n/sn). As applications, we obtain a relative Paley--Wiener stability theorem for Bessel families and the invariance of Schatten membership and of ∫|f|2 under coarse equivalence.
Related
- Skewness and Kurtosis for Heavy-Tailed Distributions: A Comparison of Mean Absolute Deviation and L-Moment Approaches for Pareto and Extreme-Value Families
- Big Bounce, Big Crunch Cycle: Full Vector--Gravity Coupling, Fixed-Point Instability, and Stable Limit Cycle in a Five-Dimensional Bessel--Klein--Gordon Framework Paper I of a two-part series
- Bessel Distributions and Kloosterman Sums
- Some freezing limits for Bessel functions and Bessel processes with drift of type BN
- On one-sided series of Bessel functions of the first kind: ∑m=0∞ (± 1)m JNm+p(x)
BibTeX
@misc{idrissi2026coarse,
title = {{Coarse comparison of Bessel families}},
author = {Nizar El Idrissi},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.39002},
eprint = {2610.39002},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.39002},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - Coarse comparison of Bessel families
AU - Nizar El Idrissi
PY - 2026
DA - 2026/10/28
PB - arXiv
DO - 10.48550/arxiv.2610.39002
UR - https://arxiv.org/abs/2610.39002
AB - We classify Bessel families in separable Hilbert spaces under coarse equivalence relations: f and f̃ are equivalent if the seminorms |T_f ·| and |T_f̃ ·| of their analysis operators are mutually dominated, up to constants, after pullback along operators w,w̃ of a prescribed class 𝒪. In contrast with orbit relations such as unitary or similarity equivalence, these relations ignore redundancy and the geometry of the index set, and compare frames, nonframes and compact families on the same footing. They are level −1 of the comparison categories of the companion article, and we compute the levels $0$ and k≥1: they are trivial for bounded, injective, bounded below, isometric and upper semi-Fredholm comparison operators, and for invertible or unitary ones level $1$ is a stabilizer-type group of the family. For bounded 𝒪 the classes are given by the singular numbers up to constants; injective operators add the kernel dimension, bounded below operators or isometries add upper semi-Fredholmness, and invertible, unitary or surjective operators give the kernel dimension and the dyadic multiplicity sequence of the spectrum up to bounded displacement on the logarithmic scale, which splits each remaining class into continuum many. Upper semi-Fredholm operators give only three noncompact classes, whereas Fredholm operators give continuum many, so that the Fredholm relation is strictly finer. For each relation we determine exactly which families are equivalent to an orthonormal basis, and we compute an operator Banach--Mazur distance, log(sup_ns_n/s̃_n·sup_ns̃_n/s_n). As applications, we obtain a relative Paley--Wiener stability theorem for Bessel families and the invariance of Schatten membership and of ∫|f|^2 under coarse equivalence.
ER -