The Universal Theory of Locally Universal Tracial von Neumann Algebras is not Computable

• URL: http://arxiv.org/abs/2508.21709v1
• Date: Fri, 29 Aug 2025 15:28:13 GMT
• Title: The Universal Theory of Locally Universal Tracial von Neumann Algebras is not Computable
• Authors: Jananan Arulseelan, Aareyan Manzoor,
• Abstract summary: We show that locally universal tracial von Neumann algebras have undecidable universal theories.<n>This implies that no such algebra admits a computable presentation.<n>We discuss how these are obstructions to approximation properties in the class of tracial and semifinite von Neumann algebras.
• Score: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Building on Lin's breakthrough MIP$^{co}$ = coRE and an encoding of non-local games as universal sentences in the language of tracial von Neumann algebras, we show that locally universal tracial von Neumann algebras have undecidable universal theories. This implies that no such algebra admits a computable presentation. Our results also provide, for the first time, explicit examples of separable II$_1$ factors without computable presentations, and in fact yield a broad family of them, including McDuff factors, factors without property Gamma, and property (T) factors. We also obtain analogous results for locally universal semifinite von Neumann algebras and tracial C*-algebras. The latter provides strong evidence for a negative solution to the Kirchberg Embedding Problem. We discuss how these are obstructions to approximation properties in the class of tracial and semifinite von Neumann algebras.

Related papers

• Generalized Poincaré inequality for quantum Markov semigroups [5.0858152916077595]
  We prove a noncommutative $(p,p)$-Poincaré inequality for trace-symmetric quantum Markov semigroups on tracial von Neumann algebras.
  arXiv  Detail & Related papers  (2026-01-09T18:41:12Z)
• Pure state entanglement and von Neumann algebras [41.94295877935867]
  We develop the theory of local operations and classical communication (LOCC) for bipartite quantum systems represented by commuting von Neumann algebras.<n>Our central result is the extension of Nielsen's Theorem, stating that the LOCC ordering of bipartite pure states is equivalent to the majorization of their restrictions.<n>In the appendix, we provide a self-contained treatment of majorization on semifinite von Neumann algebras and $sigma$-finite measure spaces.
  arXiv  Detail & Related papers  (2024-09-26T11:13:47Z)
• Embezzlement of entanglement, quantum fields, and the classification of von Neumann algebras [41.94295877935867]
  We study the quantum information theoretic task of embezzlement of entanglement in the setting of von Neumann algebras.<n>We quantify the performance of a given resource state by the worst-case error.<n>Our findings have implications for relativistic quantum field theory, where type III algebras naturally appear.
  arXiv  Detail & Related papers  (2024-01-14T14:22:54Z)
• CP$^{\infty}$ and beyond: 2-categorical dilation theory [0.0]
  We show that by a horizontal categorification' of the $mathrmCPinfty$-construction, one can recover the category of all von Neumann algebras and channels.<n>As an application, we extend Choi's characterisation of extremal channels between finite-dimensional matrix algebras to a characterisation of extremal channels between arbitrary von Neumann algebras.
  arXiv  Detail & Related papers  (2023-10-24T12:21:02Z)
• Nonlocality under Computational Assumptions [51.020610614131186]
  A set of correlations is said to be nonlocal if it cannot be reproduced by spacelike-separated parties sharing randomness and performing local operations. We show that there exist (efficient) local producing measurements that cannot be reproduced through randomness and quantum-time computation.
  arXiv  Detail & Related papers  (2023-03-03T16:53:30Z)
• Quantum teleportation in the commuting operator framework [63.69764116066747]
  We present unbiased teleportation schemes for relative commutants $N'cap M$ of a large class of finite-index inclusions $Nsubseteq M$ of tracial von Neumann algebras. We show that any tight teleportation scheme for $N$ necessarily arises from an orthonormal unitary Pimsner-Popa basis of $M_n(mathbbC)$ over $N'$.
  arXiv  Detail & Related papers  (2022-08-02T00:20:46Z)
• Qudit lattice surgery [91.3755431537592]
  We observe that lattice surgery, a model of fault-tolerant qubit computation, generalises straightforwardly to arbitrary finite-dimensional qudits. We relate the model to the ZX-calculus, a diagrammatic language based on Hopf-Frobenius algebras.
  arXiv  Detail & Related papers  (2022-04-27T23:41:04Z)
• The Connes Embedding Problem: A guided tour [0.0]
  The Connes Embedding Problem (CEP) is a problem in the theory of tracial von Neumann algebras. We outline two such proofs, one following the "traditional" route that goes via Kirchberg's QWEP problem in C*-algebra theory and Tsirelson's problem in quantum information theory.
  arXiv  Detail & Related papers  (2021-09-26T19:45:36Z)
• Learning Algebraic Recombination for Compositional Generalization [71.78771157219428]
  We propose LeAR, an end-to-end neural model to learn algebraic recombination for compositional generalization. Key insight is to model the semantic parsing task as a homomorphism between a latent syntactic algebra and a semantic algebra. Experiments on two realistic and comprehensive compositional generalization demonstrate the effectiveness of our model.
  arXiv  Detail & Related papers  (2021-07-14T07:23:46Z)
• Quantum double aspects of surface code models [77.34726150561087]
  We revisit the Kitaev model for fault tolerant quantum computing on a square lattice with underlying quantum double $D(G)$ symmetry. We show how our constructions generalise to $D(H)$ models based on a finite-dimensional Hopf algebra $H$.
  arXiv  Detail & Related papers  (2021-06-25T17:03:38Z)
• Multivariate Trace Inequalities, p-Fidelity, and Universal Recovery Beyond Tracial Settings [4.56877715768796]
  We show that the physics of quantum field theory and holography motivate entropy inequalities in type III von Neumann algebras that lack a semifinite trace. The Haagerup and Kosaki $L_p$ spaces enable re-expressing trace inequalities in non-tracial von Neumann algebras.
  arXiv  Detail & Related papers  (2020-09-24T21:05:13Z)
• Joint measurability meets Birkhoff-von Neumann's theorem [77.34726150561087]
  We prove that joint measurability arises as a mathematical feature of DNTs in this context, needed to establish a characterisation similar to Birkhoff-von Neumann's. We also show that DNTs emerge naturally from a particular instance of a joint measurability problem, remarking its relevance in general operator theory.
  arXiv  Detail & Related papers  (2018-09-19T18:57:45Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.