Rank Preservation Under Singular Covariance Updates

Definitions and mathematical statement

Let $\Sigma$ denote a singular covariance matrix in the neighborhood coordinate descent setting mentioned in the supplied record. Write $I$ for its finite index set, let $u\in I$, and write $\Sigma_{\setminus u,\setminus u}$ for the principal submatrix indexed by $I\setminus\{u\}$. Singularity means that $\det\Sigma=0$ before the update. Let $\widetilde\Sigma$ denote the matrix after the neighborhood coordinate descent update referred to in the source.

The supplied question asks whether, for every admissible singular covariance matrix, index, and update in the intended setting, \[ \det\Sigma_{\setminus u,\setminus u}=0 \quad\Longrightarrow\quad \det\widetilde\Sigma=0. \] This is only a schematic formulation: the record supplies neither the update rule nor the definition of admissibility. It also does not specify the scalar field, matrix dimension restrictions, boundary conventions, or any additional constraints imposed by the algorithm. Consequently, the intended quantification over updates cannot be made precise from this record alone.

The original extract refers to "Conjecture 4" without reproducing it and ends with an incomplete rank expression involving the blocks $\Sigma_{uu}$, $\Sigma_{u,\setminus u}$, $\Sigma_{\setminus u,u}$, and the notation $(\Sigma_{\setminus u,\setminus u})^{-}$. The meaning of this inverse notation, the scope of the rank operator, and the hypotheses of the intended identity are not supplied. No rank identity or full rank preservation claim is asserted here.

Short English statement

The question is whether the intended neighborhood coordinate descent update preserves singularity when the principal submatrix obtained by deleting index $u$ is singular. The update and the referenced Conjecture 4 are missing, so this remains an incomplete statement requiring source clarification and human mathematical review.

Sources

• Supplied local UnsolvedMath registry record, permanent ID $30005305$, titled "Rank Preservation Under Singular Covariance Updates"; exact source problem code catalogue entry, in the Oberwolfach Reports Open Problems collection. No individual proposer is identified; the supplied proposed year is 2022.
• Supplied report citation: Algebraic Structures in Statistical Methodology (2023), Oberwolfach Reports, DOI 10.4171/owr/2022/55, pp. 3121--3170. Source URL and supplied literature source labelled "original OWR report": https://doi.org/10.4171/owr/2022/55. The extracted text contains a page marker 3127. The record describes Oberwolfach Reports as documenting mathematical workshops and their open-problem discussions.
• Literature assessment dated exactly 2026-08-22: the supplied curation labels the problem open because the reference to Conjecture 4 does not reproduce the conjecture and the source context is insufficient to identify a solved claim. This is supplied dated curation, not an independently verified literature assessment. The background lists the original OWR report as checked and explicitly calls for independent verification of time-sensitive status and cited claims.
• The registry gives the statement status as corrected_verified, with the qualification that only formula delimiters, notation, grammar, and typography were repaired while mathematical content and scope were preserved. This supplied editorial label does not resolve the missing update rule or establish mathematical correctness. The cited report has not been independently consulted for this draft.