Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

$B$-valued semi-circular system and the free Poincaré inequality

Hyuga Ito

TL;DR

The paper extends Biane's $\,\mathbb{C}$-valued free Poincaré characterization to $B$-valued semicircular systems by proving an equivalence between $B$-valued semicircularity and a $B$-valued Poincaré-type inequality on the class $\mathcal{T}_{\eta}B_{\langle d\rangle}$, with the $L^2$-norm governed by the $\eta$-based structure. Core tools include a $B$-valued Chebyshev family $\{U_n^{\eta}\}$ and a divergence/conjugate-variable framework that yield a Stein-type identity and a number-operator relation $\partial_j^*\circ\partial_j$. A corollary shows the kernel of the free difference quotient associated with variance is exactly $L^2(B,\tau)$, providing a $B$-valued analogue of Voiculescu's kernel result. The paper also constructs a counterexample to Voiculescu's $B$-valued free Poincaré conjecture, illustrating limitations of naive universal bounds and motivating refined norm-based formulations in the $B$-valued setting.

Abstract

We characterize $B$-valued semi-circular system in terms of $B$-valued free probabilistic analogue of Poincaré inequality. This is a $B$-valued generalization of Biane's theorem \cite[Theorem 5.1]{b03}. Moreover, we prove that Voiculescu's conjecture on $B$-valued free Poincaré inequality in \cite{aim06} is not in the affirmative as it is.

$B$-valued semi-circular system and the free Poincaré inequality

TL;DR

The paper extends Biane's -valued free Poincaré characterization to -valued semicircular systems by proving an equivalence between -valued semicircularity and a -valued Poincaré-type inequality on the class , with the -norm governed by the -based structure. Core tools include a -valued Chebyshev family and a divergence/conjugate-variable framework that yield a Stein-type identity and a number-operator relation . A corollary shows the kernel of the free difference quotient associated with variance is exactly , providing a -valued analogue of Voiculescu's kernel result. The paper also constructs a counterexample to Voiculescu's -valued free Poincaré conjecture, illustrating limitations of naive universal bounds and motivating refined norm-based formulations in the -valued setting.

Abstract

We characterize -valued semi-circular system in terms of -valued free probabilistic analogue of Poincaré inequality. This is a -valued generalization of Biane's theorem \cite[Theorem 5.1]{b03}. Moreover, we prove that Voiculescu's conjecture on -valued free Poincaré inequality in \cite{aim06} is not in the affirmative as it is.
Paper Structure (12 sections, 24 theorems, 145 equations)

This paper contains 12 sections, 24 theorems, 145 equations.

Table of Contents

  1. Introduction
  2. Notations and preliminaries
  3. $B$-valued Chebyshev family associated with $\eta$
  4. The conjugate variable associated with $\eta$ of $B$-valued semi-circular element
  5. The divergence operator with respect to $B$-valued semi-circular element
  6. A characterization of $B$-valued semi-circular element by Poincaré type inequality
  7. Matrix amplification for $B$-valued Chebyshev family
  8. A characterization of $B$-valued semi-circular element by Poincaré type inequality
  9. The kernel of the free difference quotient associated with variance with respect to $B$-valued semi-circular system
  10. A counterexample to Voiculescu's conjecture on $B$-valued free Poincaré inequality
  11. Counterexample
  12. Some remarks

Key Result

Theorem 1

Let $(S_{1},\dots,S_{d})$ be a $B$-free family of self-adjoint non-commutative random variables in a tracial $B$-valued non-commutative probability space $(A,B,\tau,E)$ (see Definition Def_nonprobspace below) with mean $0$ and variance $\eta=(\eta_{1},\dots,\eta_{d})$, respectively. Then, the follow

Theorems & Definitions (51)

  • Theorem
  • Definition 2.1
  • Definition 2.2
  • Definition 2.3
  • Proposition 2.4
  • Definition 3.1
  • Remark 3.2
  • Proposition 3.3
  • proof
  • Proposition 3.4
  • ...and 41 more