{"id":"arxiv:2511.11988","kind":"preprint","title":"Graded Projection Recursion (GPR): Corrections, Obstructions, and Conservative Approximate Matrix Multiplication","authors":["Jeffrey Uhlmann"],"author_count":1,"year":2025,"published":"2025-11-15","venue":null,"cited_by":null,"doi":null,"arxiv_id":"2511.11988","nct_id":null,"source_url":"https://arxiv.org/abs/2511.11988","archive_url":"https://space-kitty.com/papers/arxiv:2511.11988","updated":"2026-05-11","pmid":null,"pmcid":null,"openalex_id":null,"pdf_url":"https://arxiv.org/pdf/2511.11988","abstract":"Earlier versions proposed Graded Projection Recursion (GPR) as a deterministic packed-recursion framework for model-honest near-quadratic dense matrix multiplication. This revised version withdraws the exact dense matrix multiplication theorem and the downstream consequences that depended on it with a conservative AMM framework. The local ingredients remain useful as local tools: the three-band packing identity, scaled middle-band extraction under certified gaps, centering and reconstruction identities, and row/column normalization bounds. The gap in the earlier argument is global: the proof relied on a bounded active-state realization that would remove first-mismatch terms through the recursion. For arbitrary dense inputs this would require an exact equality filter over the inner index. We formulate this obstruction as a target-slice/equality-filter problem and give a rank/capacity argument against the natural separable active-state realization. The positive replacement is a conservative approximate matrix multiplication framework. For chosen protected left and right query subspaces, the low/marginal part of AB is computed exactly and an unbiased AMM primitive is applied only to the high/high residual. The resulting estimator is unbiased, preserves protected queries exactly in every realization, localizes stochastic error to the residual subspace, and inherits residual output-norm or query-risk guarantees from the underlying estimator.","abstract_license":"CC0-1.0 (arXiv descriptive metadata)","license":null,"is_open_access":false,"retracted":false,"peer_reviewed":false,"categories":["cs.CC","cs.DS"],"details":null,"provenance":"arxiv","attribution":"Abstract: arXiv descriptive metadata (CC0). Thank you to arXiv for use of its open access interoperability. This service was not reviewed or approved by, nor does it necessarily express or reflect the policies or opinions of, arXiv.","topics":[],"cited_in_dossiers":[]}