A mathematical preprint lays out an if-and-only-if framework for symmetry-respecting operators on noncompact symmetric spaces. When an operator’s equivariant kernel has what the paper calls Harish-Chandra-Schwartz behavior — a specified rapid-decay condition away from the diagonal — the operator can be represented on the Helgason-Fourier side by a Harish-Chandra symbol. The reverse construction has the matching operator and kernel properties.
No statistical comparison is involved. The paper asks whether G-equivariant Hörmander pseudodifferential operators admit a representation-theoretic complete symbol, working with a noncompact connected real semisimple Lie group G with finite center, a maximal compact subgroup K and the associated symmetric space G/K.
The symbol behind the result
The proposed symbol is a smooth W-invariant function on a*, with derivatives in the λ variable obeying symbol-type bounds set by an order r. The paper treats this function as the representation-theoretic complete symbol used to describe the operator on the transform side.
For a properly supported G-equivariant Hörmander pseudodifferential operator of order r, the Helgason-Fourier representation is a multiplier whose Harish-Chandra symbol has the same order.
The formal theorem also covers operators without the proper-support assumption when their equivariant kernels are Harish-Chandra-Schwartz away from the diagonal. Under that rapid off-diagonal decay condition, the operator remains a Helgason-Fourier multiplier with a Harish-Chandra symbol of order r.
A two-way classification
The reverse direction supplies the other half of the classification. Every operator defined by a Harish-Chandra symbol is a G-equivariant Hörmander pseudodifferential operator, and its equivariant kernel is Harish-Chandra-Schwartz away from the diagonal.
The paper’s introduction presents these links as an if-and-only-if characterization. A wording caveat remains: the introduction and the later formal theorem use different codomain formulations, so the precise statement should be taken from the formal theorem.
The associated equivariant kernel is smooth away from the identity and obeys a φ0-weighted power bound for differentiated kernels when the theorem’s condition on N is met. The estimate gives quantitative control over the kernel and its derivatives within those stated conditions.
At the order-minus-infinity end of the scale, the paper identifies the operator class with the bi-K-invariant Harish-Chandra Schwartz space as a Fréchet algebra. These operators also extend continuously to the Harish-Chandra Schwartz space on G/K.
What the result covers
The construction uses the Plancherel formula on G/K. In proving the kernel estimates, the paper breaks the Harish-Chandra symbol into pieces supported in dyadic annuli in a* and uses a family of properly supported elliptic operators of varying order, with compositions controlled up to smoothing operators.
The conditions define the result’s boundary. The non-properly-supported statement assumes rapid decay away from the diagonal; it does not establish the same multiplier conclusion for arbitrary equivariant operators lacking proper support or the required decay.
The conclusions are stated for scalar functions on G/K. The paper leaves the homogeneous vector-bundle case for further study, describing it as requiring deeper analysis of the tempered dual of G.
The front matter identifies the work as arXiv:2608.20313v1, dated 20 Aug 2026. It is a preprint presenting a formal classification and kernel estimates under stated assumptions, rather than empirical validation or a performance comparison.
Paper data and sources
Original title: Complete Symbols of Equivariant Pseudodifferential Operators on Noncompact Symmetric Spaces
Authors: Satwata Hans
Journal/Repository: arXiv
Status: Preprint, not yet peer-reviewed
First online: 2026-08-20
DOI: Not available
Original paper · Full text