Generalized Reducibility and Growth of Sobolev Norms

1. Problem Statement

The paper addresses the long-time behavior of solutions to quadratic quantum Hamiltonian Partial Differential Equations (PDEs) of the form:
$$\frac{1}{i} \partial_t \psi = H(t, Z)\psi$$
where $H(t, Z)$ is a time-dependent quadratic operator involving position ($X$) and momentum ($D$) operators. Specifically, the authors focus on the growth of Sobolev norms ($\|\psi(t)\|_s$) for solutions in $H^s(\mathbb{R}^n)$.

Key Challenges:

• Irreducibility: Traditional methods rely on "normal reducibility," where the time-dependent Hamiltonian is conjugated to a constant-coefficient Hamiltonian via a transformation that is bounded on Sobolev spaces. However, many quadratic Hamiltonians are not reducible in this strict sense.
• Growth Rates: While boundedness or sub-exponential growth (e.g., $t^\epsilon$) are well-studied, constructing specific perturbations that yield prescribed growth rates (monotone or oscillatory) for Sobolev norms, especially in the absence of normal reducibility, remains a significant open problem.

2. Methodology

The authors introduce a novel framework called Generalized Reducibility and leverage the Classical-Quantum Correspondence.

A. Generalized Reducibility

Unlike "normal reducibility," which requires the conjugating transformation $U(t)$ to be bounded on Sobolev spaces ($H^s$), Generalized Reducibility only requires $U(t)$ to be unitary on $L^2$.

• Concept: The original equation is conjugated to a constant-coefficient equation (specifically the Quantum Harmonic Oscillator, $T$) via an $L^2$-unitary transformation $U(t)$.
• Mechanism: The transformation $U(t)$ is constructed using the Metaplectic representation $M(U(t))$ and the Schrödinger representation $\rho(z^*(t))$ associated with the symplectic group $Sp(n, \mathbb{R})$.
• Crucial Insight: While the transformed solution $\phi(t)$ has uniformly bounded Sobolev norms, the original solution $\psi(t) = U(t)\phi(t)$ may exhibit growth. This growth is entirely determined by the mapping properties of the unbounded operator $U(t)$ on $H^s$.

B. Classical-Quantum Correspondence

The authors establish a rigorous link between the quantum system and a corresponding classical affine system:
$$\dot{z} = A(t)z + \ell(t)$$
where $z \in \mathbb{R}^{2n}$.

• Theorem 1.2: The growth of the quantum Sobolev norm $\|\psi(t)\|_s$ is equivalent (up to constants) to the growth of the classical solution norm $\|z(t)\|_s$ (specifically involving the fundamental solution matrix $W(t)$ and a particular solution $z^*(t)$).
• Strategy: Instead of solving the PDE directly, the authors analyze the growth of the classical linear/affine ODE system. If they can construct a classical system with a specific growth rate, the corresponding quantum system will exhibit the same rate.

C. Construction of Perturbations

To achieve prescribed growth rates, the authors explicitly construct time-decaying perturbations $\phi_f(t)$ for the 1D Quantum Harmonic Oscillator. They define a function $\phi_f(t)$ based on a target growth function $f(t)$ and verify that the resulting classical system admits solutions growing at the rate of $f(t)$.

3. Key Contributions

1. Definition of Generalized Reducibility:
   The paper formalizes a new notion of reducibility that relaxes the boundedness condition on the conjugating transformation. This allows the analysis of a much broader class of quadratic Hamiltonians that were previously considered "irreducible."

2. Theorem 1.2 (Growth Equivalence):
   A fundamental result stating that for quadratic Hamiltonians, the Sobolev norm growth is controlled by the classical affine system's solution, even without normal reducibility. This bridges the gap between classical dynamics and quantum Sobolev growth.

3. Explicit Construction of Prescribed Growth (Theorems 1.3 & 1.5):
   The authors demonstrate that for a wide class of sub-exponential growth functions $f(t)$, one can construct time-decaying perturbations such that the Sobolev norms grow exactly at rate $f(t)$.

   • Monotone Growth: They construct perturbations for functions $f(t)$ in a class $\mathcal{M}$ (including $t^\alpha$, $e^{\ln(t)^\beta}$, etc.) such that $\|\psi(t)\|_s \sim f(t)^{s/2}$.
   • Oscillatory Growth: They construct examples where the growth is not monotone but oscillatory (e.g., $t^{1/3}(1 + \ln(t)\sin^2(\sqrt{t}))$), proving that Sobolev norms can exhibit complex, non-smooth growth behaviors.
   • Improvement of Homogeneous Systems: They show that adding a specific order-1 perturbation (e.g., $a \sin(t) X u$) can upgrade the growth rate of a homogeneous system from sub-linear to linear ($t^s$).

4. Technical Framework:
   The paper provides explicit formulas for the conjugating transformation using the Metaplectic representation and derives precise estimates for the fundamental solution matrices of the associated classical systems, handling complex integral conditions (e.g., conditions (37)–(39) in the paper).

4. Main Results

• Theorem 1.1 (Generalized Reducibility): Any quadratic quantum Hamiltonian with bounded time-dependent coefficients can be conjugated to the constant-coefficient Quantum Harmonic Oscillator via an $L^2$-unitary transformation.
• Theorem 1.2: Establishes the quantitative equivalence $\|\psi(t)\|_s \asymp \|z(t)\|_s + \|W(t)\|_s$, linking quantum Sobolev growth to classical linear system growth.
• Theorem 1.3: For any $f \in \mathcal{M}$ (a class of sub-exponential functions), there exists a decaying perturbation $\phi_f(t)$ such that the solution to the perturbed 1D QHO satisfies $c^{-1} f(t)^{s/2} \leq \|\psi(t)\|_s \leq c f(t)^{s/2}$.
• Theorem 1.5: Demonstrates the existence of oscillatory growth. For a specific oscillatory function $f(t)$, the Sobolev norm oscillates between $t^{s/6}$ and $t^{s/6}\ln(t)^{s/2}$.

5. Significance

• Theoretical Advancement: The concept of Generalized Reducibility fundamentally shifts the perspective on time-dependent quantum systems. It suggests that "irreducibility" in the classical sense does not preclude the system from being analyzable; rather, the growth is encoded in the geometry of the transformation itself.
• Control of Energy Transfer: The results provide a constructive method to engineer quantum systems with specific energy cascade behaviors. This is relevant for understanding weak turbulence and energy transfer mechanisms in Hamiltonian PDEs.
• Counter-Examples and Flexibility: By constructing examples with oscillatory and arbitrary sub-exponential growth, the paper challenges the intuition that Sobolev norms must either remain bounded or grow polynomially/exponentially in a smooth manner. It reveals a rich diversity of possible dynamical behaviors.
• Methodological Impact: The technique of transferring the problem from the quantum PDE to a classical ODE via the Metaplectic representation offers a powerful tool for future studies in mathematical physics, particularly for systems where standard normal form theory fails.

In summary, Liang and Zhao provide a comprehensive framework that decouples the analysis of quantum Sobolev growth from the strict requirement of normal reducibility, enabling the precise construction of quantum systems with tailored long-time growth behaviors.