Mesh-Degree Rigidity for Positive Chebyshev-Fourier Approximants

Abstract

AI Research Artifact. This work presents measure rigidity and a forced mesh-degree window for positive Chebyshev-Fourier approximants. The theorem statements and candidate proofs were materially model-generated. Version 0.1.4 adds a proof guide, clarifies human responsibility, records a background attribution, and adds an independently model-rechecked non-vacuity construction. The theorem statements and formal proofs are unchanged from version 0.1.3.