Poincar\'e type inequalities for group measure spaces and related transportation cost inequalities

TL;DR

This paper establishes $L_p$ Poincaré inequalities for group measure spaces linked to group actions and Gaussian measures, leading to sharp transportation inequalities and applications in quantum metric spaces.

Contribution

It introduces novel $L_p$ Poincaré inequalities for group measure spaces associated with group actions and Gaussian measures, extending noncommutative transportation inequalities.

Findings

Proves $L_p$ Poincaré inequalities for group measure spaces.

Derives sharp transportation inequalities from Poincaré inequalities.

Provides applications in quantum metric spaces and chaos estimation.

Abstract

Let $G$ be a countable discrete group with an orthogonal representation $\alpha$ on a real Hilbert space $H$. We prove $L_p$ Poincar\'e inequalities for the group measure space $L_\infty(\Omega_H,\gamma)\rtimes G$, where both the group action and the Gaussian measure space $(\Omega_H, \gamma)$ are associated with the representation $\alpha$. The idea of proof comes from Pisier's method on the boundedness of Riesz transform and Lust-Piquard's work on spin systems. Then we deduce a transportation type inequality from the $L_p$ Poincar\'e inequalities in the general noncommutative setting. This inequality is sharp up to a constant (in the Gaussian setting). Several applications are given, including Wiener/Rademacher chaos estimation and new examples of Rieffel's compact quantum metric spaces.