Oracle computability of conditional expectations onto subfactors

MaRDI QIDQ6334289arXivFDO

Authors Isaac Goldbring

Publication date 6 February 2020

Published in arXiv

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Continuous model theory, model theory of metric structures (03C66) Complexity of computation (including implicit computational complexity) (03D15) Kazhdan's property (T), the Haagerup property, and generalizations (22D55) Subfactors and their classification (46L37)

arXiv classification

math.LOmath.OA

Abstract: We initiate the effective study of conditional expectations onto subfactors. Our main result is that if $M$ is an existentially closed II${}_1$ factor with a w-spectral gap subfactor $N$, then the conditional expectation function onto $N$ can be computed from a (Turing) oracle that computes a presentation of $M$, the inclusion of $N$ into $M$, and a spectral gap function for the pair $(M,N)$.

This page was built for publication: Oracle computability of conditional expectations onto subfactors

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6334289)