SearcharxivSearch

arXiv subjects

David F. Hornshaw

Publications and source records attributed to David F. Hornshaw.

2 recordsLinked to original sources

Quantum optimal transport for approximately finite-dimensional $C^{*}$-algebras

We introduce quantum optimal transport of states on tracial AF-$C^{*}$-algebras to study non-spatial transport of quantum information, and view it as the pointwise case of a general parametrised one. We define quantum optimal transport distances as dynamic transport distances in a tracial but non-ergodic and infinite-dimensional quantum setting, called AF-$C^{*}$-setting. We further extend foundational results of Carlen and Maas to the AF-$C^{*}$-setting and develop a theory of quantum optimal transport yielding non-spatial lower Ricci bounds suitable for meaningful geometric analysis. Essential for our discussion is a coarse graining process arising from the underlying metric geometry as encoding scheme of the given tracial AF-$C^{*}$-algebra. In the logarithmic mean setting, we apply the coarse graining process to show equivalence of the EVI$_λ$-gradient flow property for quantum relative entropy, its strong geodesic $λ$-convexity, a, possibly infinite-dimensional, Bakry-Émery condition, and a Hessian lower bound condition. We then define lower Ricci bounds of our quantum gradients using any one of said equivalent conditions, give sufficient conditions for lower Ricci bounds of direct sum quantum gradients and, assuming lower Ricci bounds, derive functional inequalities HWI$_λ$, MLSI$_λ$ and TW$_λ$ in the AF-$C^{*}$-setting alongside their chain of implications. Fundamental example classes give quantum optimal transport of normal states on hyperfinite factors of type I and II with both non-negative and strictly positive lower Ricci bounds. An application is given by first and second quantisation of spectral triples.

math.OA

$L^{2}$-Wasserstein distances of tracial $W^{*}$-algebras and their disintegration problem

We introduce $L^{2}$-Wasserstein distances on densities of tracial $W^{*}$-algebras based on a Benamou-Brenier formulation, replacing multiplication by densities with multiplication operators arising as the logarithmic mean under a functional calculus. Furthermore, we concern ourselves with $L^{2}$-Wasserstein distances induced by decomposed derivations on $C^{*}$-algebras of continuous sections of a $\mathcal{K}(H)$-bundle vanishing at infinity. We prove a distintegration theorem for such distances, introduce mean entropic curvature bounds in case $H$ is finite-dimensional and show control of these by the essential infimum of the entropic curvature bounds on the fibres. To conclude, we give sufficient conditions for disintegrating arbitrary $L^{2}$-Wasserstein distances for unital $C^{*}$-algebras that are Morita equivalent to a commutative unital $C^{*}$-algebra.

math.OA