Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

Generalized Poincaré inequality for quantum Markov semigroups

Marius Junge, Jia Wang

TL;DR

The paper develops a generalized noncommutative Poincaré theory for quantum Markov semigroups, proving a robust $(p,p)$-Poincaré inequality under a spectral gap for trace-symmetric and, via Haagerup reduction, GNS-detailed balanced QMS. The core methodology combines Markov dilations, amalgamated free products, and a noncommutative Klein-inequality–based chain rule to obtain sharp PI$(p,p)$ bounds with constants of order $p$, extending from the tracial to the non-tracial setting. These inequalities yield sub-exponential concentration bounds for observables and lead to Khintchine-type estimates in the noncommutative regime, with further implications for semigroup diameter in finite dimensions. The results illuminate how a sole $L^2$ spectral gap suffices to derive strong noncommutative functional inequalities and quantitative concentration phenomena, broadening the toolkit for quantum probability and operator-algebraic approaches to quantum dynamics.

Abstract

We prove a noncommutative $(p,p)$-Poincaré inequality for trace-symmetric quantum Markov semigroups on tracial von Neumann algebras, assuming only the existence of a spectral gap. Extending semi-commutative results of Huang and Tropp, our argument uses Markov dilations to obtain chain-rule estimates for Dirichlet forms and employs amalgamated free products to define an appropriate noncommutative derivation. We further generalize the argument to non-tracial $σ$-finite von Neumann algebras under the weaker assumption of GNS-detailed balance, using Haagerup's reduction and Kosaki's interpolation theorem. As applications, we recover noncommutative Khintchine and sub-exponential concentration inequalities.

Generalized Poincaré inequality for quantum Markov semigroups

TL;DR

The paper develops a generalized noncommutative Poincaré theory for quantum Markov semigroups, proving a robust -Poincaré inequality under a spectral gap for trace-symmetric and, via Haagerup reduction, GNS-detailed balanced QMS. The core methodology combines Markov dilations, amalgamated free products, and a noncommutative Klein-inequality–based chain rule to obtain sharp PI bounds with constants of order , extending from the tracial to the non-tracial setting. These inequalities yield sub-exponential concentration bounds for observables and lead to Khintchine-type estimates in the noncommutative regime, with further implications for semigroup diameter in finite dimensions. The results illuminate how a sole spectral gap suffices to derive strong noncommutative functional inequalities and quantitative concentration phenomena, broadening the toolkit for quantum probability and operator-algebraic approaches to quantum dynamics.

Abstract

We prove a noncommutative -Poincaré inequality for trace-symmetric quantum Markov semigroups on tracial von Neumann algebras, assuming only the existence of a spectral gap. Extending semi-commutative results of Huang and Tropp, our argument uses Markov dilations to obtain chain-rule estimates for Dirichlet forms and employs amalgamated free products to define an appropriate noncommutative derivation. We further generalize the argument to non-tracial -finite von Neumann algebras under the weaker assumption of GNS-detailed balance, using Haagerup's reduction and Kosaki's interpolation theorem. As applications, we recover noncommutative Khintchine and sub-exponential concentration inequalities.
Paper Structure (38 sections, 33 theorems, 189 equations, 3 figures, 1 table)

This paper contains 38 sections, 33 theorems, 189 equations, 3 figures, 1 table.

Table of Contents

  1. Introduction
  2. Generalized tracial Poincaré inequalities.
  3. Beyond the tracial setting: GNS-detailed balance via Haagerup reduction.
  4. Sub-exponential concentration inequalities.
  5. Related works.
  6. Organization of this paper.
  7. Preliminaries
  8. Von Neumann algebras and conditional expectations
  9. Functional inequalities
  10. Construction of amalgamated free product (AFP)
  11. Motivation: Fock spaces
  12. Amalgamated free products (AFP)
  13. The AFP Fock space representation
  14. Poincaré inequality for trace-symmetric QMS
  15. Swap operator construction
  16. ...and 23 more sections

Key Result

Theorem 1.3

Let $(\mathcal{M},\tau)$ be a tracial von Neumann algebra and $(T_t)_{t\ge0}=e^{-tL}$ a $\tau$–symmetric quantum Markov semigroup with fixed-point algebra $\mathcal{N}$ and conditional expectation $E:\mathcal{M}\to\mathcal{N}$. If $\{T_t\}_{t\ge0}$ has a spectral gap $\alpha>0$, then for every self-

Figures (3)

  • Figure 1: Roadmap for the AFP construction and the swap automorphism.
  • Figure 2: Kosaki's $L^p$‐interpolation spaces for $\mathcal{M}$ and their compatible QMSs, via the functoriality of complex interpolation Bergh_Löfström_1976.
  • Figure 3: Haagerup reduction commuting diagram: the quantum Markov semigroup $T_t$ on $\mathcal{M}$, its finite approximants $\mathcal{M}_k$, and the conditional expectations $E$, $E_k$ down to $\mathcal{N}$.

Theorems & Definitions (75)

  • Definition 1.1: Tracial Poincaré inequality $\mathrm{PI} (p,q)$
  • Remark 1.2
  • Theorem 1.3: $\mathrm{PI} (p,p)$
  • Theorem 1.4: cf \ref{['thm:GNS-Lp-ppp']} and \ref{['cor:non-self-adjoint']}
  • Corollary : cf \ref{['cor:concentration']}
  • Definition 2.1: Dirichlet (energy) form
  • Definition 2.2: Gradient (Carré du champ) form
  • Definition 2.3
  • Proposition 3.1
  • proof
  • ...and 65 more