Relative Perturbation Bounds for Empirical Covariance Operators

Definitions and mathematical statement

The supplied record does not determine a precise mathematical problem. Its retained research request is:

For random matrices, obtain precise or tight estimates for the relevant operator and covariance-operator norms, including the effects of their quadratic structure and effective rank.

For normed vector spaces $E$ and $F$, the operator norm of a bounded linear map $T:E\to F$ is \[ \|T\|_{E\to F}=\sup_{\|x\|_E\leq 1}\|Tx\|_F. \] This general definition does not identify the spaces, underlying vector norms, or random operators intended by the source. The record likewise supplies no definition of the covariance operator, quadratic structure, or effective rank relevant to the requested estimates.

In particular, the matrix dimensions, scalar field, probability law, dependence and moment assumptions, covariance construction, target quantity, meaning of tightness, and parameter or asymptotic regime are unspecified. It is also unspecified whether the estimates concern expectations, moments, tail probabilities, or another mode of control. Consequently, no particular inequality or quantified conjecture can be recovered without adding hypotheses and selecting a target absent from the record.

The supplied statement-verification field classifies the statement as unrecoverable: it describes the cited report as presenting an approach to relative perturbation bounds for empirical covariance operators, rather than a standalone unresolved problem with a specified ensemble, norm, and asymptotic regime. That supplied characterization does not itself provide the missing mathematical formulation.

Short English statement

The retained request asks for sharp norm estimates involving random matrices, covariance operators, quadratic structure, and effective rank. The supplied record lacks the definitions, hypotheses, and target estimate needed for a precise conjecture; its verification field marks the statement as unrecoverable.

Sources

• Local UnsolvedMath registry, supplied source record with permanent ID $30004160$, exact source code catalogue entry, and title Relative Perturbation Bounds for Empirical Covariance Operators. The record belongs to the Oberwolfach Reports Open Problems collection. No individual proposer is supplied; the proposed year is recorded as 2019.
• Supplied report citation: Statistical Methodology and Theory for Functional and Topological Data (2020), Oberwolfach Reports, pp. 1697--1735, DOI 10.4171/owr/2019/28. Supplied source URL and literature-source link, labeled "OWR primary report": https://doi.org/10.4171/owr/2019/28. The supplied background describes Oberwolfach Reports as documenting mathematical workshops and their open-problem discussions. No precise passage or individually attributed problem statement is identified.
• Supplied literature assessment, checked on 2026-08-22: the record labels the problem open and states that precise norm estimates exist for many ensembles and regimes, while the extracted broad request lacks a specified norm, ensemble, or asymptotic regime and is not resolved as stated. This is supplied dated curation and literature triage, not an independently verified mathematical or literature assessment. The source itself requests independent verification of time-sensitive status and cited claims.
• Supplied statement verification: the report is characterized as presenting an approach to relative perturbation bounds for empirical covariance operators. No separate clean statement is promoted; the original record is retained publicly for provenance. This characterization is supplied metadata, not a claim of independent inspection of the report.