arXiv:2607.11148v1

Spectra of averages of unitary representations of LCA groups

Guy Cohen, Michael Lin

math.SP22D1047A1037A3037A1522B9922F10

Abstract

Let GG be a locally compact Abelian (LCA) group with dual group ΓΓ, and let μμ be a probability measure on (the Borel sets of) GG. Given a unitary representation {U(t):tG}\{U(t): t \in G\} in a complex Hilbert space HH, we study the spectrum of the μμ-average V:=GU(t)dμ(t)V:=\int_G U(t)dμ(t) (defined in the strong topology of HH). We prove that σ(V)μ^(Γ)σ(V) \subset \overline{\hatμ(Γ)} and give a sufficient condition for equality. Using the spectral measure E()E(\cdot) given by the general Stone theorem, we prove a (weak) spectral mapping theorem for the operators U(ν):=GU(t)dν(t)U(ν):=\int_GU(t)dν(t), where νν is any bounded complex measure on GG. For a unitary representation of Z\mathbb Z, defined by the powers of a unitary operator UU, we prove that σ(V)=μ^(σ(U))σ(V)={\widehatμ}(σ(U)). For a unitary representation of R\mathbb R, given as U(t)=eitBU(t)={\rm e}^{itB} (tRt\in\mathbb R), we show that σ(V)=μ^(σ(B))σ(V)=\overline{{\widehatμ}(σ(B))}.

AI-generated audit

Audit summary

Audited against arXiv v1

Not a correctness certificate. A “Correct” result may include yellow typos or minor formal corrections that do not affect substantive soundness. It means this audit found no unresolved substantive error under the stated criteria; it does not replace expert scrutiny or formal verification.

Current report

Detailed mathematical audit

Generated August 18, 2026
01Statements3 reported findingsCorrect

The spectral description of averages of unitary representations of locally compact abelian groups, its functional-calculus form, and the explicit Z\mathbb Z and R\mathbb R specializations are correct.

Theorems 3.8–3.10 and Sections 4–5Correct

Spectra are the closed images of spectral support

Pages 8–18 · Theorems 3.8–3.10 and applications · arXiv:2607.11148v1

The SNAG projection-valued measure identifies an averaged representation with multiplication by the Fourier transform of the averaging measure. The spectrum of that normal multiplication operator is its essential range, which equals the closure of the transform on the support of the maximal spectral type. The displayed closures are present in the paper, and the cyclic-group and one-parameter formulas follow by substituting the corresponding characters.

Full paper, version 1
Corollary 3.9 and Theorems 3.14–3.16Correct

The spectral support agrees with the Arveson spectrum

Pages 9–12 · Corollary 3.9 and Theorems 3.14–3.16 · arXiv:2607.11148v1

The annihilator definition of the Arveson spectrum is matched in both directions with the support of the projection-valued measure. Substituting this equality into the functional calculus gives σ(U(ν))=ν^(Sp(U))\sigma(U(\nu))=\overline{\widehat\nu(\operatorname{Sp}(U))} for every bounded measure ν\nu, with the closure required by the spectrum of a normal multiplication operator.

Proposition 4.1 and Section 5Correct

The Z\mathbb Z and R\mathbb R formulas are exact specializations

Pages 13–18 · Proposition 4.1 and one-parameter applications · arXiv:2607.11148v1

For Z\mathbb Z, characters are powers λk\lambda^k on the unit circle, giving the stated spectrum of kpkUk\sum_k p_kU^k. For one-parameter groups, the characters are eitξe^{it\xi} and the SNAG support is the generator's spectral support. The paper retains the closure and support restrictions in both cases.

02Proofs3 reported findingsCorrect

The projection-valued-measure and multiplication-operator arguments are correct and complete.

Section 3Correct and complete

Functional calculus and support are handled correctly

Pages 6–11 · Lemmas 3.3–3.7 and Theorem 3.8 · arXiv:2607.11148v1

The scalar spectral measures are dominated by a maximal spectral type, null sets are therefore common to the direct-integral model, and continuity of the Fourier transform turns essential range into the closure of its image on the support. This also justifies the spectral mapping statements without an unjustified replacement of essential range by pointwise range.

Theorem 3.8 and Corollary 3.9Correct and complete

Both inclusions in the spectral mapping theorem are proved

Pages 8–10 · functional-calculus spectral mapping · arXiv:2607.11148v1

The easy inclusion comes from the essential-range description. For the reverse inclusion, every neighborhood of a value attained on the support has a preimage with nonzero spectral projection. This establishes membership in the essential range and avoids any separability or metrizability assumption not present in the theorem.

Theorem 3.14Correct and complete

The Arveson-spectrum identification uses the correct annihilator class

Pages 10–12 · proof of Theorem 3.14 · arXiv:2607.11148v1

One inclusion follows because a measure average that vanishes has Fourier transform zero on the spectral support. The converse is obtained with a Fourier function separating a point from the closed support. The regularity and Fourier-separation inputs apply to the locally compact abelian group exactly as stated.

03Novelty0 reported findingsNo non-novelty findings

No non-novelty findings.

Detailed audit reportFull reasoning, manuscript locations, and references.
Open report PDF ↗

Author response

Challenge an audit finding

Local workflow preview

A listed author may submit formal evidence that an audit is inaccurate. The response would be considered in a fresh AI re-evaluation; it would not edit the audit automatically.

Paper
arXiv:2607.11148v1
Authors listed
Guy Cohen, Michael Lin
Audit date
August 18, 2026
  1. 01Establish identityMatch an authenticated scholarly identity to this paper.
  2. 02Submit evidenceIdentify the finding and give a formal mathematical response.
  3. 03Re-evaluateA separate agent checks the response and records a disposition.
Recommended production method

Authenticate with ORCID, then require an exact arXiv match

MathAudit should accept the identity only when ORCID OAuth authenticates the claimant's iD and this exact arXiv paper appears in arXiv's public authority feed for that iD. A matching name alone is not sufficient.

ORCID OAuth and arXiv authority-record lookup are not connected in this local prototype.

Email fallback for papers without a linked ORCID

A production fallback could send a one-time link only when the submitted address matches an independently maintained author-contact allowlist for this paper. MathAudit must return the same message for every address so the form cannot reveal which contacts are on that list.

This demonstration does not send, store, or compare the address.

Structured response preview

This form remains unavailable until production identity verification succeeds. Nothing entered here is submitted.

This panel never establishes authorship in the local prototype. A production result should be described narrowly as an authenticated ORCID match or control of a separately allowlisted author-contact mailbox.