Quantum Coherence Spaces Revisited: A von Neumann (Co)Algebraic Approach

• URL: http://arxiv.org/abs/2601.15832v1
• Date: Thu, 22 Jan 2026 10:35:13 GMT
• Title: Quantum Coherence Spaces Revisited: A von Neumann (Co)Algebraic Approach
• Authors: Thea Li, Vladimir Zamdzhiev,
• Abstract summary: We describe a categorical model of MALL inspired by the Heisenberg-Schrdinger duality of finite-dimensional quantum theory.<n>The development is based on noncommutative geometry and finite-dimensional von Neumann (co)algebras.
• Score: 0.0
• License: http://creativecommons.org/licenses/by-nc-nd/4.0/
• Abstract: We describe a categorical model of MALL (Multiplicative Additive Linear Logic) inspired by the Heisenberg-Schrödinger duality of finite-dimensional quantum theory. Proofs of formulas with positive logical polarity correspond to CPTP (completely positive trace-preserving) maps in our model, i.e. the quantum operations in the Schrödinger picture, whereas proofs of formulas with negative logical polarity correspond to CPU (completely positive unital) maps, i.e. the quantum operations in the Heisenberg picture. The mathematical development is based on noncommutative geometry and finite-dimensional von Neumann (co)algebras, which can be defined as special kinds of (co)monoid objects internal to the category of finite-dimensional operator spaces.

Related papers

• Path integral approach to quantum thermalization [39.25860941747971]
  We introduce a quasiclassical Green function approach describing the unitary yet irreversible dynamics of quantum systems.<n>We show that it is capable of describing a wide range of system classes and disorder models.<n>We present our formalism in a self-contained and pedagogical manner, aiming to provide a transferable toolbox for the first-principles description of many-body chaotic quantum systems.
  arXiv  Detail & Related papers  (2025-09-07T12:10:48Z)
• Operator Spaces, Linear Logic and the Heisenberg-Schrödinger Duality of Quantum Theory [0.0]
  We show that the category OS of operator spaces, with complete contractions as morphisms, is locally countably presentable.<n>We then describe a model of Classical Linear Logic, based on OS, whose duality is compatible with the Heisenberg-Schr"odinger duality of quantum theory.
  arXiv  Detail & Related papers  (2025-05-09T14:12:00Z)
• Absolute dimensionality of quantum ensembles [41.94295877935867]
  The dimension of a quantum state is traditionally seen as the number of superposed distinguishable states in a given basis.<n>We propose an absolute, i.e.basis-independent, notion of dimensionality for ensembles of quantum states.
  arXiv  Detail & Related papers  (2024-09-03T09:54:15Z)
• Quantum channels, complex Stiefel manifolds, and optimization [45.9982965995401]
  We establish a continuity relation between the topological space of quantum channels and the quotient of the complex Stiefel manifold. The established relation can be applied to various quantum optimization problems.
  arXiv  Detail & Related papers  (2024-08-19T09:15:54Z)
• Quantum information recast via multiresolution in $L_2(0,1]$ [0.0]
  We present a multiresolution approach to the theory of quantum information. It arose from an effort to develop a systematic mathematical approach to the analysis of an infinite array of qubits.
  arXiv  Detail & Related papers  (2024-07-10T20:05:51Z)
• Quantum and Reality [0.0]
  We describe a natural emergence of Hermiticity which is rooted in principles of equivariant homotopy theory. This construction of Hermitian forms requires of the ambient linear type theory nothing further than a negative unit term of tensor unit type. We show how this allows for encoding (and verifying) the unitarity of quantum gates and of quantum channels in quantum languages embedded into LHoTT.
  arXiv  Detail & Related papers  (2023-11-18T11:00:12Z)
• Symplectic and Lagrangian Polar Duality; Applications to Quantum Information Geometry [0.0]
  We study two symplectically covariant versions of polar duality. The first variant makes use of the symplectic form on phase space and allows a precise study of the covariance matrix of a density operator. The second variant is a symplectically covariant version of the usual polar duality highlighting the role played by Lagrangian planes.
  arXiv  Detail & Related papers  (2023-09-14T15:07:39Z)
• Quantum simulation of Maxwell's equations via Schr\"odingersation [27.193565893837356]
  We present quantum algorithms for electromagnetic fields governed by Maxwell's equations. The algorithms are based on the Schr"odingersation approach. Instead of qubits, the quantum algorithms can also be formulated in the continuous variable quantum framework.
  arXiv  Detail & Related papers  (2023-08-16T14:52:35Z)
• Quantum Simulation for Quantum Dynamics with Artificial Boundary Conditions [28.46014452281448]
  It is necessary to use artificial boundary conditions (ABC) to confine quantum dynamics within a fixed domain. The introduction of ABCs alters the Hamiltonian structure of the dynamics, and existing quantum algorithms can not be directly applied. This paper utilizes a recently introduced Schr"odingerisation method that converts non-Hermitian dynamics to a Schr"odinger form.
  arXiv  Detail & Related papers  (2023-04-03T00:45:08Z)
• Trace class operators and states in p-adic quantum mechanics [0.0]
  We show that one can define a suitable space of trace class operators in the non-Archimedean setting. The analogies, but also the several (highly non-trivial) differences, with respect to the case of standard quantum mechanics in a complex Hilbert space are analyzed.
  arXiv  Detail & Related papers  (2022-10-04T12:44:22Z)
• Photon-mediated Stroboscopic Quantum Simulation of a $\mathbb{Z}_{2}$ Lattice Gauge Theory [58.720142291102135]
  Quantum simulation of lattice gauge theories (LGTs) aims at tackling non-perturbative particle and condensed matter physics. One of the current challenges is to go beyond 1+1 dimensions, where four-body (plaquette) interactions, not contained naturally in quantum simulating devices, appear. We show how to prepare the ground state and measure Wilson loops using state-of-the-art techniques in atomic physics.
  arXiv  Detail & Related papers  (2021-07-27T18:10:08Z)

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.