Dagger linear logic and categorical quantum mechanics

• URL: http://arxiv.org/abs/2303.14231v1
• Date: Fri, 24 Mar 2023 18:52:50 GMT
• Title: Dagger linear logic and categorical quantum mechanics
• Authors: Priyaa Varshinee Srinivasan
• Abstract summary: This thesis develops the categorical proof theory for the non-compact multiplicative dagger linear logic. It investigates its applications to Categorical Quantum Mechanics (CQM)
• Score: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: This thesis develops the categorical proof theory for the non-compact multiplicative dagger linear logic, and investigates its applications to Categorical Quantum Mechanics (CQM). The existing frameworks of CQM are categorical proof theories of compact dagger linear logic, and are motivated by the interpretation of quantum systems in the category of finite dimensional Hilbert spaces. This thesis describes a new non-compact framework called Mixed Unitary Categories which can accommodate infinite dimensional systems, and develops models for the framework. To this end, it builds on linearly distributive categories, and $*$-autonomous categories which are categorical proof theories of (non-compact) multiplicative linear logic. The proof theory of non-compact dagger-linear logic is obtained from the basic setting of an LDC by adding a dagger functor satisfying appropriate coherences to give a dagger-LDC. From every (isomix) dagger-LDC one can extract a canonical "unitary core" which up to equivalence is the traditional CQM framework of dagger-monoidal categories. This leads to the framework of Mixed Unitary Categories (MUCs): every MUC contains a (compact) unitary core which is extended by a (non-compact) isomix dagger-LDC. Various models of MUCs based on Finiteness Spaces, Chu spaces, Hopf modules, etc., are developed in this thesis. This thesis also generalizes the key algebraic structures of CQM, such as observables, measurement, and complementarity, to MUC framework. Furthermore, using the MUC framework, this thesis establishes a connection between the complementary observables of quantum mechanics and the exponential modalities of linear logic.

Related papers

• Categorifying Clifford QCA [8.115018475321948]
  We provide a complete classification of Clifford quantum cellular automata (QCAs) on arbitrary metric spaces. We reinterpret QCAs as symmetric formations in a filtered additive category constructed from the geometry of the underlying space.
  arXiv  Detail & Related papers  (2025-04-21T02:27:52Z)
• Tensor product random matrix theory [39.58317527488534]
  We introduce a real-time field theory approach to the evolution of correlated quantum systems. We describe the full range of such crossover dynamics, from initial product states to a maximum entropy ergodic state.
  arXiv  Detail & Related papers  (2024-04-16T21:40:57Z)
• A Profunctorial Semantics for Quantum Supermaps [0.0]
  Black-box generalisations of diagrams-with-holes are placed within the broader field of profunctor optics, as morphisms in the category of copresheaves on concrete networks. We show that at the heart of these factorisation theorems lies the Yoneda lemma and the notion of representability.
  arXiv  Detail & Related papers  (2024-02-05T13:35:03Z)
• Applications of flow models to the generation of correlated lattice QCD ensembles [69.18453821764075]
  Machine-learned normalizing flows can be used in the context of lattice quantum field theory to generate statistically correlated ensembles of lattice gauge fields at different action parameters. This work demonstrates how these correlations can be exploited for variance reduction in the computation of observables.
  arXiv  Detail & Related papers  (2024-01-19T18:33:52Z)
• Involutive Markov categories and the quantum de Finetti theorem [1.6114012813668932]
  Involutive Markov categories are equivalent to Parzygnat's quantum Markov categories. We prove a quantum de Finetti theorem for both the minimal and the maximal C*-tensor norms.
  arXiv  Detail & Related papers  (2023-12-15T10:26:19Z)
• Machine learning detects terminal singularities [49.1574468325115]
  Q-Fano varieties are positively curved shapes which have Q-factorial terminal singularities. Despite their importance, the classification of Q-Fano varieties remains unknown. In this paper we demonstrate that machine learning can be used to understand this classification.
  arXiv  Detail & Related papers  (2023-10-31T13:51:24Z)
• Entanglement of Sections: The pushout of entangled and parameterized quantum information [0.0]
  Recently Freedman & Hastings asked for a mathematical theory that would unify quantum entanglement/tensor-structure with parameterized/-structure. We make precise a form of the relevant pushout diagram in monoidal category theory. We show how this model category serves as categorical semantics for the linear-multiplicative fragment of Linear Homotopy Type Theory.
  arXiv  Detail & Related papers  (2023-09-13T18:28:43Z)
• The Lindstrom's Characterizability of Abstract Logic Systems for Analytic Structures Based on Measures [0.0]
  We extend Lindstrom's characterizability program to classes of infinitary logic systems. In particular, Hajek's Logic of Integral is redefined as an abstract logic with a new type of Hajek's satisfiability.
  arXiv  Detail & Related papers  (2023-02-26T21:48:25Z)
• Sequential measurements, TQFTs, and TQNNs [0.0]
  We introduce novel methods for implementing generic quantum information within a scale-free architecture. We show how observational outcomes are taken to be finite bit strings induced by measurement operators derived from a holographic screen bounding the system. We extend the analysis so develop topological quantum neural networks (TQNNs), which enable machine learning with functorial evolution of quantum neural 2-complex quiveres.
  arXiv  Detail & Related papers  (2022-05-26T06:37:57Z)
• A Unifying and Canonical Description of Measure-Preserving Diffusions [60.59592461429012]
  A complete recipe of measure-preserving diffusions in Euclidean space was recently derived unifying several MCMC algorithms into a single framework. We develop a geometric theory that improves and generalises this construction to any manifold.
  arXiv  Detail & Related papers  (2021-05-06T17:36:55Z)
• A Mathematical Framework for Causally Structured Dilations and its Relation to Quantum Self-Testing [0.0]
  This thesis recast quantum self-testing [MY98,MY04] in operational terms. An input-output process is modelled by a causally structured channel in some fixed theory. implementations are modelled by causally structured dilations formalising hidden side-computations.
  arXiv  Detail & Related papers  (2021-03-03T10:32:34Z)
• Quantum Relativity of Subsystems [58.720142291102135]
  We show that different reference frame perspectives induce different sets of subsystem observable algebras, which leads to a gauge-invariant, frame-dependent notion of subsystems and entanglement. Such a QRF perspective does not inherit the distinction between subsystems in terms of the corresponding tensor factorizability of the kinematical Hilbert space and observable algebra. Since the condition for this to occur is contingent on the choice of QRF, the notion of subsystem locality is frame-dependent.
  arXiv  Detail & Related papers  (2021-03-01T19:00:01Z)
• Tensor network models of AdS/qCFT [69.6561021616688]
  We introduce the notion of a quasiperiodic conformal field theory (qCFT) We show that qCFT can be best understood as belonging to a paradigm of discrete holography.
  arXiv  Detail & Related papers  (2020-04-08T18:00:05Z)

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.