Table of Contents
Fetching ...

Observability inequality for the von Neumann equation in crystals

Thomas Borsoni, Virginie Ehrlacher

TL;DR

This work addresses observability for the von Neumann equation in a periodic crystal, aiming for a quantitative inequality that remains valid in the semiclassical limit $\hbar\to 0$. It extends the Golse–Paul stability framework to the crystal setting by employing a Bloch-decomposed phase-space metric based on a periodic optimal-transport-like cost $E_{\hbar,\lambda}$ to couple classical densities $f$ and quantum density matrices $R$. Key contributions include constructing $\mathscr{L}$-periodic traces, Schrödinger coherent states, Töplitz and Husimi transforms, and a stability estimate with explicit $\hbar$-dependent quantum corrections, enabling observability bounds under a geometric control condition (GC). The results provide a rigorous bridge between classical controllability and quantum observability in periodic media, with potential implications for controllability and sensing in crystalline quantum systems.

Abstract

We provide a quantitative observability inequality for the von Neumann equation on $\mathbb{R}^d$ in the crystal setting, uniform in small $\hbar$. Following the method of Golse and Paul (2022) proving this result in the non-crystal setting, the method relies on a stability argument between the quantum (von Neumann) and classical (Liouville) dynamics and uses an optimal transport-like pseudo-distance between quantum and classical densities. Our contribution yields in the adaptation of all the required tools to the periodic setting, relying on the Bloch decomposition, notions of periodic Schrödinger coherent state, periodic Töplitz operator and periodic Husimi densities.

Observability inequality for the von Neumann equation in crystals

TL;DR

This work addresses observability for the von Neumann equation in a periodic crystal, aiming for a quantitative inequality that remains valid in the semiclassical limit . It extends the Golse–Paul stability framework to the crystal setting by employing a Bloch-decomposed phase-space metric based on a periodic optimal-transport-like cost to couple classical densities and quantum density matrices . Key contributions include constructing -periodic traces, Schrödinger coherent states, Töplitz and Husimi transforms, and a stability estimate with explicit -dependent quantum corrections, enabling observability bounds under a geometric control condition (GC). The results provide a rigorous bridge between classical controllability and quantum observability in periodic media, with potential implications for controllability and sensing in crystalline quantum systems.

Abstract

We provide a quantitative observability inequality for the von Neumann equation on in the crystal setting, uniform in small . Following the method of Golse and Paul (2022) proving this result in the non-crystal setting, the method relies on a stability argument between the quantum (von Neumann) and classical (Liouville) dynamics and uses an optimal transport-like pseudo-distance between quantum and classical densities. Our contribution yields in the adaptation of all the required tools to the periodic setting, relying on the Bloch decomposition, notions of periodic Schrödinger coherent state, periodic Töplitz operator and periodic Husimi densities.

Paper Structure

This paper contains 16 sections, 12 theorems, 207 equations.

Key Result

Lemma 1

Consider a triplet $(T,K,\Omega)$ satisfying the geometric condition eq:GC for the potential $V$. There exists a constant $C_{\emph{GC}}[T,K,\Omega] > 0$ such that

Theorems & Definitions (33)

  • Remark 1
  • Definition 1: Periodic trace
  • Definition 2: Schrödinger coherent state and $\mathscr{L}$-periodic Schrödinger coherent state
  • Definition 3: $\mathscr{L}$-periodic Töplitz operator
  • Definition 4: $\mathscr{L}$-periodic Husimi density
  • Lemma 1: Observability for Liouville
  • Theorem 1: Observability for von Neumann
  • Remark 2
  • Definition 5: Classical-Quantum coupling
  • Definition 6: Transportation cost
  • ...and 23 more