{"id":"arxiv/2610.22109","url":"https://arxiv.org/abs/2610.22109","tags":["math.OA","math.PR","math.SP"],"score":0,"title":"Convexity, the spectrum of free Laplacians and geometric consequences: a free KLS bound","domain":"math.OA","source":"arxiv","authors":["Charles-Philippe Diez"],"reviews":0,"subject":"math.OA","summary":"We establish a compactness theorem for the resolvent of free Laplacians. More precisely, let $X=(X_1,\\ldots,X_n)$ be a self-adjoint tuple admitting Lipschitz conjugate variables in the sense of Dabrowski (2014). Under the non-commutative curvature--dimension condition $CD(c,\\infty)$ with $c>0$, introduced in our previous work (2026), we prove that the free Laplacian $Δ:=\\partial^*\\bar\\partial$ is proper, that is, has compact resolvent. Our argument is non-perturbative and uses a spectral variant of the free Bochner method based on Dabrowski's almost-commutation formulas. A further stochastic…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-15","reactions":{}}