This paper provides a rigorous functional-analytic foundation for the Shadow Theorem within the Effective Field Theory of Information Reconstruction (EFIR). The author establishes a formal mathematical structure for the theory by equipping the EFIR phase space with a Banach manifold structure based on Sobolev spaces. The work delivers several key proofs, including the Fréchet differentiability and strict log-concavity of the shadow operator in the Gaussian regime. Furthermore, it provides an explicit computation of the proportionality constant for the decoherence rate and a rigorous Cramér-Rao derivation for the reconstruction tensor. This research upgrades the Shadow Theorem from a conceptually coherent framework to a mathematically complete theory.
Marco Galli (Sun,) studied this question.