[Paper Review] Commutation Relations for Unitary Operators III

M.A. Astaburuaga, Olivier Bourget+1 more|arXiv (Cornell University)|Dec 18, 2013

Spectral Theory in Mathematical Physics40 references3 citations

TL;DR

This paper establishes improved local regularity properties of the spectral measure for unitary operators under stronger regularity assumptions on the conjugate self-advective operator A. By extending positive commutator methods to unitary settings, it proves that higher-order commutator conditions lead to enhanced decay estimates for correlation functions and stronger spectral control, including absence of singular continuous spectrum and finite point spectrum locally.

ABSTRACT

Let $U$ be a unitary operator defined on some infinite-dimensional complex Hilbert space ${\cal H}$. Under some suitable regularity assumptions, it is known that a local positive commutation relation between $U$ and an auxiliary self-adjoint operator $A$ defined on ${\cal H}$ allows to prove that the spectrum of $U$ has no singular continuous spectrum and a finite point spectrum, at least locally. We prove that under stronger regularity hypotheses, the local regularity properties of the spectral measure of $U$ are improved, leading to a better control of the decay of the correlation functions. As shown in the applications, these results may be applied to the study of periodic time-dependent quantum systems, classical dynamical systems and spectral problems related to the theory of orthogonal polynomials on the unit circle.

Motivation & Objective

• To extend positive commutator theory from self-adjoint to unitary operators, particularly in the context of spectral analysis.
• To investigate how stronger regularity conditions on the conjugate operator A improve the local regularity of the spectral measure of a unitary operator U.
• To derive improved decay estimates for correlation functions in quantum and dynamical systems using these spectral regularity results.
• To apply the abstract framework to three concrete models: Bernoulli shifts, perturbed Floquet operators, and GGT matrices with asymptotically constant Verblunsky coefficients.

Proposed method

• Introduces the notion of C^k(U) and C^∞(U) classes for unitary operators U with respect to a conjugate self-adjoint operator A, generalizing commutator regularity to unitary settings.
• Uses the spectral theorem to represent U as an integral over the unit circle, linking spectral measures to functional calculus.
• Applies the second resolvent identity and estimates on the resolvent of (1 - zU*) to control the convergence of auxiliary functions F^±(ε,z) as ε → 0.
• Employs a differential inequality framework involving K(ε,z) and L(ε) to bound the growth of spectral functionals, leveraging Lemma 8.1 and Lemma 8.4.
• Uses the embedding of the dense subspace S* into the Hilbert space H and the boundedness of ∥φ_ε∥_S* to control convergence in the limit ε → 0.
• Applies the limit argument to show that F_0^±(z) converges to the resolvent inner products ⟨φ, (1 - zU*)⁻¹φ⟩ and ⟨φ, (1 - z̄U*)⁻¹φ⟩, respectively.

Experimental results

Research questions

• RQ1 How do higher-order commutator conditions (C^k(A) for k ≥ 2) improve the regularity of the spectral measure of a unitary operator?
• RQ2 What is the impact of stronger regularity assumptions on the conjugate operator A on the decay rate of correlation functions in time-dependent quantum systems?
• RQ3 Can the abstract commutator framework be applied to prove spectral properties such as absence of singular continuous spectrum in unitary operators?
• RQ4 How do the results extend to classical dynamical systems and orthogonal polynomials on the unit circle?
• RQ5 What is the precise control over the spectral measure obtained via the limit process ε → 0 in the auxiliary functionals F^±(ε,z)?

Key findings

• Under stronger regularity assumptions, the spectral measure of U exhibits improved local regularity, leading to stronger control over the decay of correlation functions.
• The paper proves that the spectrum of U has no singular continuous component and a finite point spectrum locally, under suitable commutator conditions.
• The limit lim_{ε→0} F^±(ε,z) exists and equals the resolvent inner product ⟨φ, (1 - zU*)⁻¹φ⟩, which is essential for spectral measure control.
• The decay of correlation functions is quantitatively improved via the bound |F_0^±(z)| ≤ C‖f‖_K², where C is a uniform constant.
• The differential inequality approach yields L(ε) ≤ L(1) + C∫_ε¹ (q(ρ)L(ρ) + l(ρ)ρ⁻¹/²L(ρ)¹/² + l(ρ)‖φ_ρ‖_S*) dρ, enabling iterative control of spectral functionals.
• The results are applied to show improved spectral properties for GGT matrices with asymptotically constant Verblunsky coefficients, complementing existing literature.