Nested Integral Generator Theorem: From Operator Tautologies to Families of Exact Integral Identities

Inserting resolutions of the identity is a standard technique for representing states and operators throughout quantum theory, quantum field theory, and related areas of mathematical physics. This paper elevates this procedure to a rigorous, representation-independent framework through the Nested Integral Generator Theorem. Starting from operator tautologies, the theorem systematically generates exact multi-fold integral identities by successive insertions of continuous resolutions of the identity followed by projection onto arbitrary orthonormal basis vectors. The resulting construction applies to arbitrary finite compositions of closed operators acting on arbitrary target states and establishes a general mapping from operator equalities to families of exact integral identities. Using the theory of vector-valued integration, explicit and verifiable sufficient conditions are derived under which inner products may be interchanged rigorously with Bochner integrals, thereby placing a step that is often left implicit in the physics literature on a firm mathematical foundation. As an immediate consequence, the theorem yields exact integral representations for individual operator functions. Its scope is illustrated through elementary, polynomial, and analytic single-mode operators, as well as single- and two-mode Gaussian unitaries, including squeezing and beam splitting. The framework is further applied to two nontrivial examples beyond standard Gaussian calculations: an exact integral representation of a Kerr-squeezed coherent-state overlap and exact Fock-basis matrix elements for a composite two-mode Gaussian network expressed in terms of bivariate Hermite polynomials.