Spectral-Operator Calculus I: Trace-Form Evaluators and Spectral Growth in the Self-Adjoint Setting

TL;DR

This paper introduces Spectral-Operator Calculus (SOC) for self-adjoint operators, establishing a trace-form evaluation framework, a spectral growth taxonomy, and demonstrating stability of polynomial growth regimes, laying groundwork for future spectral analysis.

Contribution

It develops a rigorous axiomatic framework for spectral observables, proves a trace-class evaluation theorem, and introduces a spectral growth classification, advancing spectral operator theory.

Findings

Rigidity theorem for trace-class spectral evaluators

Introduction of spectral growth taxonomy based on eigenvalue asymptotics

Polynomial growth regime stability under calculus operations

Abstract

We develop Spectral-Operator Calculus (SOC), an axiomatic calculus for scalar evaluation of operator-generated spectral observables. This paper (SOC-I) treats the self-adjoint setting, where observables are bounded Borel transforms and locality is enforced via additivity across spectral partitions. Under unitary invariance, extensivity on orthogonal sums, projector-locality, and a dominated-convergence continuity condition, we prove a rigidity theorem on a natural trace-class envelope: every admissible evaluator agrees with a weighted trace of a single Borel nondecreasing profile applied through the functional calculus. We then introduce a spectral growth taxonomy based on eigenvalue counting asymptotics and show that the polynomial growth regime is stable under the basic constructions of the calculus. These results supply an arithmetic-neutral analytic backbone for subsequent SOC parts and for applications to concrete spectral models. A companion part treats the sectorial/holomorphic setting, where locality is formulated on log-scale via scale-band decompositions and positive kernels rather than spectral projections.