OWR-720-010 · Complete proof

Sharp Kernel Penalties for Canonical Parseval Approximation

Manuscript 24 October 2026 · Online 24 October 2026

math.FAmath.CAUnrefereed preprint

Abstract

For a closed-range synthesis operator F, let P_F be the projection onto the orthogonal complement of its kernel. We study the metrics d_(p,kappa)(F,G) = (||F-G||^p + kappa^p ||P_F-P_G||^p)^(1/p), for finite p >= 1. The polar factor is universally a nearest Parseval synthesis operator among partial isometries with arbitrary ranges exactly at the penalty threshold kappa >= 1. Every minimizer then has the original kernel. We parametrize all minimizers and their ranges by a contraction, an orthogonal defect isometry and an operator inequality. Over complex Hilbert spaces we obtain an exact spectral uniqueness criterion and describe when distinct minimizing subspaces occur. A rank-collapse example excludes the same universal property for metrics inducing the operator-norm topology. The case p=2, kappa=1 is the existing kernel metric of Corach, Maestripieri and Mbekhta; the norm lower bound is a special case of Chiumiento's polar-factor theorem. This unrefereed preprint makes no absolute priority claim. Source dataset record: OWR-720-010 (ulamai/UnsolvedMath v1.6.0). The manuscript discloses OpenAI Codex assistance.

Record

Affiliation
Mercury Software GmbH
Result
Complete proof
Categories
math.FA · math.CA
Manuscript
24 October 2026
Online release
24 October 2026
Version
1.0
License
Creative Commons Attribution 4.0 International

Files and verification

The PDF is the canonical reading copy. The source archive contains the LaTeX manuscript, bibliography, reproducibility material, and audit documents without build artefacts.

Citation

Alper Ferudun, “Sharp Kernel Penalties for Canonical Parseval Approximation,” EulerSolve Research Papers, OWR-720-010, 2026. https://doi.org/10.5281/zenodo.23621570.

BibTeX
@misc{ferudun2026kernelpenalties,
  author = {Ferudun, Alper},
  title = {Sharp Kernel Penalties for Canonical Parseval Approximation},
  year = {2026},
  howpublished = {EulerSolve Research Papers},
  url = {https://eulersolve.org/papers/owr-720-010/},
  doi = {10.5281/zenodo.23621570},
  note = {OWR-720-010; unrefereed preprint}
}

More research papers

Show all 414 other papers

All 415 research papers →