English
Related papers

Related papers: Categorical Foundations of Quantum Logics and Thei…

200 papers

This thesis reports progress in two domains, causal structures and microscopic thermodynamics, both of which are pertinent in the development of quantum technologies. The first part is dedicated to the analysis of causal structure, which…

Quantum Physics · Physics 2018-07-18 Mirjam Weilenmann

Scholars have wondered for a long time whether quantum mechanics (QM) subtends a quantum concept of truth which originates quantum logic (QL) and is radically different from the classical (Tarskian) concept of truth. We show in this paper…

Quantum Physics · Physics 2007-05-23 Claudio Garola

Quotients and comprehension are fundamental mathematical constructions that can be described via adjunctions in categorical logic. This paper reveals that quotients and comprehension are related to measurement, not only in quantum logic,…

Logic in Computer Science · Computer Science 2015-11-06 Kenta Cho , Bart Jacobs , Bas Westerbaan , Bram Westerbaan

Quantum theory is a mathematical formalism to compute probabilities for outcomes happenning in physical experiments. These outcomes constitute events happening in space-time. One of these events represents the fact that a system located in…

Quantum Physics · Physics 2012-06-07 Marco Zaopo

As a natural generalization of ordinary Lie algebras we introduce the concept of quantum Lie algebras ${\cal L}_q(g)$. We define these in terms of certain adjoint submodules of quantized enveloping algebras $U_q(g)$ endowed with a quantum…

q-alg · Mathematics 2016-09-08 Gustav W. Delius , Andreas Hueffmann

Canonical quantization of abelian BF-type topological field theory coupled to extended sources on generic d-dimensional manifolds and with curved line bundles is studied. Sheaf cohomology is used to construct the appropriate topological…

High Energy Physics - Theory · Physics 2011-07-19 Richard J. Szabo

In the theory of so called "Covariant Quantum Mechanics" a basic role is played by Hermitian vector fields on a complex line bundle in the frameworks of Galilei and Einstein spacetimes. In fact, it has been proved that the Lie algebra of…

Mathematical Physics · Physics 2007-05-23 Josef Janyška , Marco Modugno

We use the mathematical language of sheaf theory to give a unified treatment of non-locality and contextuality, in a setting which generalizes the familiar probability tables used in non-locality theory to arbitrary measurement covers; this…

Quantum Physics · Physics 2011-11-30 Samson Abramsky , Adam Brandenburger

This paper investigates quantum logic from the perspective of categorical logic, and starts from minimal assumptions, namely the existence of involutions/daggers and kernels. The resulting structures turn out to (1) encompass many examples…

Logic · Mathematics 2010-08-05 Chris Heunen , Bart Jacobs

Current continuous generative models (e.g., Diffusion Models, Flow Matching) implicitly assume that locally consistent causal mechanisms naturally yield globally coherent counterfactuals. In this paper, we prove that this assumption fails…

Machine Learning · Computer Science 2026-03-19 Rui Wu , Hong Xie , Yongjun Li

We argue that Anton Zeilinger's "foundational conceptual principle" for quantum mechanics according to which an elementary system carries one bit of information is an idealistic principle, which should be replaced by a realistic principle…

Quantum Physics · Physics 2022-03-29 Frederique Laurent , Francois-Igor Pris

In the topos approach to quantum theory of Doering and Isham the Kochen-Specker Theorem, which asserts the contextual nature of quantum theory, can be reformulated in terms of the global sections of a presheaf characterised by the Gelfand…

Logic in Computer Science · Computer Science 2018-03-05 Kevin Dunne

We recast quantum entanglement as a cohomological obstruction to reconstructing a global quantum state from locally compatible information. We address this by considering presheaf cohomologies of states and entanglement witnesses.…

Mathematical Physics · Physics 2026-01-27 Kazuki Ikeda

We explain the quantum structure as due to the presence of two effects, (a) a real change of state of the entity under influence of the measurement and, (b) a lack of knowledge about a deeper deterministic reality of the measurement…

Quantum Physics · Physics 2015-06-26 Diederik Aerts

This paper reports three almost trivial theorems that nevertheless appear to have significant import for quantum foundations studies. 1) A Gleason-like derivation of the quantum probability law, but based on the positive operator-valued…

Quantum Physics · Physics 2007-05-23 Christopher A. Fuchs

We introduce the notion of a "graded topological space": a topological space endowed with a sheaf of abelian groups which we think of as a sheaf of gradings. Any object living on a graded topological space will be graded by this sheaf of…

Algebraic Geometry · Mathematics 2020-07-20 Clemens Koppensteiner

This paper presents a framework for Quantum causal modeling based on the interpretation of causality as a relation between an observer's probability assignments to hypothetical or counterfactual experiments. The framework is based on the…

Quantum Physics · Physics 2020-01-15 Jacques Pienaar

The idea that events obey a definite causal order is deeply rooted in our understanding of the world and at the basis of the very notion of time. But where does causal order come from, and is it a necessary property of nature? We address…

Quantum Physics · Physics 2013-02-15 Ognyan Oreshkov , Fabio Costa , Caslav Brukner

This dissertation has two main parts. The first part deals with questions relating to Haghverdi and Scott's notion of partially traced categories. The main result is a representation theorem for such categories: we prove that every…

Category Theory · Mathematics 2013-01-23 Octavio Malherbe

This paper is a programmatic article presenting an outline of a new view of the foundations of quantum mechanics and quantum field theory. In short, the proposed foundations are given by the following statements: * Coherent quantum physics…

Quantum Physics · Physics 2019-05-21 Arnold Neumaier