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
• 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

• $K$-Theoretic Obstructions to Linearizing QCA Representations [8.162672407534899]
  We develop an obstruction theory for the linearization of QCA representations.<n>We also fully compute the homotopy types of the QCA spaces over a point, a line, and a plane.
  arXiv  Detail & Related papers  (2026-06-17T23:42:14Z)
• A homotopy-type-theoretic generalization of neurosymbolic inference [46.36639624013224]
  neurosymbolic (NeSy) systems compute one functional: a belief-weighted sum of a logical quantity over a space of $$-structures.<n>We develop the framework from scratch for NeSy systems, prove a conservativity theorem that recovers the classical functional when symmetries are trivial, and show that the symmetry our framework exposes is exactly the one behind reasoning shortcuts.
  arXiv  Detail & Related papers  (2026-06-16T12:22:12Z)
• All Circuits Lead to Rome: Rethinking Functional Anisotropy in Circuit and Sheaf Discovery for LLMs [61.02007370456733]
  We show that a single task can be supported by multiple, structurally distinct circuits or sheaves that are simultaneously faithful, sparse, and complete.<n>We propose a Distributive Circuit Hypothesis and provide a theoretical analysis demonstrating that non-unique, low-overlap circuit explanations arise naturally from high-dimensional superposition.
  arXiv  Detail & Related papers  (2026-05-12T19:21:23Z)
• The Neurosymbolic Frontier of Nonuniform Ellipticity: Formalizing Sharp Schauder Theory via Topos-Theoretic Reasoning Models [0.0]
  We present the recent breakthrough in nonuniformly elliptic regularity theory and the neurosymbolic large reasoning models (LRMs)<n>By modeling the reasoning process as a categorical colimit in a slice topos, we demonstrate how LRMs can autonomously navigate the Dark Side'' of the calculus of variations.
  arXiv  Detail & Related papers  (2026-02-11T08:24:57Z)
• DAG-Math: Graph-Guided Mathematical Reasoning in LLMs [54.231935013127206]
  Large Language Models (LLMs) demonstrate strong performance on mathematical problems when prompted with Chain-of-Thought (CoT)<n>We propose modeling CoT as a certain rule-based process over directed acyclic graphs (DAGs)<n>We introduce logical closeness, a metric that quantifies how well a model's CoT trajectory adheres to the DAG structure.
  arXiv  Detail & Related papers  (2025-10-19T21:05:17Z)
• Contextuality, Holonomy and Discrete Fiber Bundles in Group-Valued Boltzmann Machines [0.0]
  We propose a geometric extension of restricted Boltzmann machines (RBMs) by allowing weights to take values in abstract groups.<n>This generalization enables the modeling of complex relational structures, including projective transformations, spinor dynamics, and functional symmetries.<n>A central contribution of this work is the introduction of a emphcontextuality index based on group-valued holonomies computed along cycles in the RBM graph.<n>This index quantifies the global inconsistency or "curvature" induced by local weights, generalizing classical notions of coherence, consistency, and geometric flatness
  arXiv  Detail & Related papers  (2025-09-05T15:07:54Z)
• 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)
• Quantum Chaos on Edge [36.136619420474766]
  We identify two different classes: the near edge physics of sparse'' and the near edge of dense'' chaotic systems. The distinction lies in the ratio between the number of a system's random parameters and its Hilbert space dimension. While the two families share identical spectral correlations at energy scales comparable to the level spacing, the density of states and its fluctuations near the edge are different.
  arXiv  Detail & Related papers  (2024-03-20T11:31:51Z)
• 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)
• Non-semisimple Levin-Wen Models and Hermitian TQFTs from quantum (super)groups [23.31108679980856]
  We prove that relative Hermitian modular categories give rise to modified Hermitian WRT-TQFTs. The Hermitian theory is applied to define new pseudo-Hermitian topological phases that can be considered as non-semisimple analogs of Levin-Wen models.
  arXiv  Detail & Related papers  (2022-08-30T23:26:31Z)
• 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.