*The following is a suggestion how to prove a weak variant of the OP's original question affirmative.* > **Theorem:** Let $G$ be a unimodular, seperable, type-I group. For every element $\phi$ in $C_c^\infty(G)$ (in the sense of Bruhat), the operator $\pi(\phi)$ is trace class for almost every unitary representation $\pi$ (with respect to the Plancherel measure). *Proof:* The Plancherel theorem states for $\phi \in C_c^\infty(G)$, that $\pi( \phi \ast \phi^{\ast})$ is a trace class operator for a.e. $\pi$. The Dixmier-Malliavin theorem allows us to write general $f$ as a sum of convolution product $S \ast T^*$. A convolution product is the linear combination of four positive functions (polarisation identity), i.e., $$4 \cdot S \ast T^\ast = (S+T) \ast (S+T)^\ast - (S-T) \ast (S-T)^\ast$$ $$ - i(S-iT) \ast (S-iT)^* + i(S+iT) \ast (S+iT)^*.$$ Applying that $ \pi ( (S+T) \ast (S+T)^\ast ), \dots$ are trace class by Plancherel for a.e. $\pi$ yields the theorem. Q.e.d. The following lemama should follow rather easily from the equivalent result of Lie groups: >**Lemma:** $C_c^\infty(G) \subset L^1(G)$ is a dense embedding. **Discussion of Dixmier-Malliavin:** Every smooth, compactly supported functions is a finite sum of convolution products. This is due to Dixmier and Malliavin, originally proven for a Lie groups only. Writing general $G$ as an projective limit of Lie groups, we obtain a notion of smooth, compactly supported functions on $G$. So the proof theorem Dixmier-Malliavin extends to locally compact groups. See also my Phd thesis http://webdoc.sub.gwdg.de/diss/2012/palm/palm.pdf, where I discuss this in chapter 5, in particular Theorem 5.2.1. Approximation via Lie groups is explained in chapter 4. **Discussion of the Plancherel theorem:** A necessity of the Plancherel theorem (check e.g. http://www.encyclopediaofmath.org/index.php/Unitary_representation) is that the $tr\; \pi (f\ast f^*)$ is well-defined for every $f \in L^1(G) \cap L^2(G)$ and a.e. $\pi$ with respect to the Plancherel measure $\mu$. The Plancherel theorem states then for $G$ be a unimodular separable locally compact group of type I $$ \int\limits_G |f(g)|^2 d g = \int\limits_{unitary \; dual} tr\; \pi( f \ast f^*) d \mu(\pi).$$ There exist extensions, which drop unimodular, type I or seperable as stated in the above link, but don't know how the extensions look like, so that's why I worked with rather special $G$ here. You can furthermore put a (Fell-)topology on the unitary dual and so on, but I don't know wheter $\pi \mapsto \pi(\phi)$ will then be a continuous function!? Even a smooth structure via the approximation-by-lie-groups-business. Using Dixmier-Malliavin plus the polarization identity you obtain for $f \in C_c^\infty(G)$ (Theorem 6.2.6, pg.83 in my thesis) the following variant of the Plancherel theorem $$ f(1) = \int\limits_{unitary \; dual} tr\; \pi( f) d \mu(\pi).$$ For non-type-I groups, the Plancherel measure will not be unique (?), so I am sceptical about a direct generalization omitting that notion. I think that neither being unimodular nor seperable is a crucial hypothesis. **Discussion of reductive groups:** For reductive groups over local fields, you can replace a.e. w.r.t. to Plancherel measure by every smooth, admissible representation, but I guess you are well aware of that. Some reps are not tempered and do not contribute to the Plancherel formula, so this far more. The notion of smooth in the sense I indicate above coincides with the usual one in the non-archimedean world/totally disconnected groups. Be careful, general Lie groups are not type I. For the adelic points of a reductive group over a global field, you need an argument along the lines of https://mathoverflow.net/questions/116243/is-a-reductive-adelic-group-a-type-i-group, but the situation is similar to that of reductive local groups.