English
Related papers

Related papers: The Relational Quotient Completion

200 papers

In Quantum Physics, a measurement is represented by a projection on some closed subspace of a Hilbert space. We study algebras of operators that abstract from the algebra of projections on closed subspaces of a Hilbert space. The properties…

Quantum Physics · Physics 2007-05-23 Daniel Lehmann , Kurt Engesser , Dov M. Gabbay

We present the model theoretic concepts that allow mathematics to be developed with the notion of the potential infinite instead of the actual infinite. The potential infinite is understood as a dynamic notion, being an indefinitely…

Logic · Mathematics 2022-12-16 Matthias Eberl

In this article, we present what we believe to be a simple way to motivate the use of Hilbert spaces in quantum mechanics. To achieve this, we study the way the notion of dimension can, at a very primitive level, be defined as the…

Quantum Physics · Physics 2014-03-27 Olivier Brunet

In the literature, there have been several methods and definitions for working out if two theories are "equivalent" (essentially the same) or not. In this article, we do something subtler. We provide means to measure distances (and explore…

Logic · Mathematics 2020-08-12 Michèle Friend , Mohamed Khaled , Koen Lefever , Gergely Székely

The analysis and control of stochastic dynamical systems rely on probabilistic models such as (continuous-space) Markov decision processes, but large or continuous state spaces make exact analysis intractable and call for principled…

Logic in Computer Science · Computer Science 2026-03-13 Nivar Anwer , Ezequiel López-Rubio , David Elizondo , Rafael M. Luque-Baena

Multivector fields and differential forms at the continuum level have respectively two commutative associative products, a third composition product between them and various operators like $\partial$, $d$ and $*$ which are used to describe…

Numerical Analysis · Mathematics 2020-11-17 R. Lawrence , N. Ranade , D. Sullivan

Quantum uncertainty relations are formulated in terms of relative entropy between distributions of measurement outcomes and suitable reference distributions with maximum entropy. This type of entropic uncertainty relation can be applied…

Quantum Physics · Physics 2021-06-07 Stefan Floerchinger , Tobias Haas , Ben Hoeber

Complementarity is a phenomenon explaining several core features of quantum theory, such as the well-known uncertainty principle. Roughly speaking, two objects are said to be complementary if being certain about one of them necessarily…

Quantum Physics · Physics 2023-09-22 Chung-Yun Hsieh , Roope Uola , Paul Skrzypczyk

In this note we contribute to the recently developing study of "almost Boolean" quantum logics (i.e. to the study of orthomodular partially ordered sets that are naturally endowed with a symmetric difference). We call them enriched quantum…

Mathematical Physics · Physics 2024-01-25 Dominika Burešová , Pavel Pták

Quantum complementarity is a fundamental feature of quantum systems and has captivated the physics research community for nearly a century, with significant advancements emerging in recent decades. This review traces the historical…

Quantum Physics · Physics 2026-05-27 Diego S. Starke , Jonas Maziero , Marcos L. W. Basso , Tabish Qureshi

These notes offer a basic introduction to the primary mathematical concepts of quantum physics, and their physical significance, from the operator and Hilbert space point of view, highlighting more what are essentially the abstract…

High Energy Physics - Theory · Physics 2008-12-04 Jan Govaerts

This paper aims to apply the tool of generalized existential completions of conjunctive doctrines, concerning a class $\Lambda$ of morphisms of their base category, to deepen the study of regular and exact completions of existential…

Category Theory · Mathematics 2021-11-09 Maria Emilia Maietti , Davide Trotta

We attach a ring of sequences to each number from a certain class of extremal real numbers, and we study the properties of this ring both from an analytic point of view by exhibiting elements with specific behaviors, and also from an…

Number Theory · Mathematics 2013-01-07 Damien Roy , Eric Villani

As already mentioned by Lawvere in his 1973 paper, the characterisation of Cauchy completeness of metric spaces in terms of representability of adjoint distributors amounts to the idempotent-split property of an ordinary category when the…

Category Theory · Mathematics 2025-10-02 Dirk Hofmann , Walter Tholen

These are the notes for a minicourse held in Odessa (2016) and Belo Horizonte (2017). My aim was to provide a short introduction to basic notions of category theory and representation theory of finite-dimensional algebras. We learnt the…

Representation Theory · Mathematics 2017-04-26 Kostiantyn Iusenko

Canonical quantization may be approached from several different starting points. The usual approaches involve promotion of c-numbers to q-numbers, or path integral constructs, each of which generally succeeds only in Cartesian coordinates.…

Quantum Physics · Physics 2009-10-31 John R. Klauder

Quantum Theory is one of the pillars of modern science developed over the last hundred years. In this review paper we introduce, step by step, the quantum theory understood as a mathematical model describing quantum experiments. We start…

Quantum Physics · Physics 2015-05-13 Teiko Heinosaari , Mario Ziman

We introduce a new form of logical relation which, in the spirit of metric relations, allows us to assign each pair of programs a quantity measuring their distance, rather than a boolean value standing for their being equivalent. The…

Logic in Computer Science · Computer Science 2019-04-30 Ugo Dal Lago , Francesco Gavazzo , Akira Yoshimizu

Detecting and exploiting similarities between seemingly distant objects is without doubt an important human ability. This paper develops \textit{from the ground up} an abstract algebraic and qualitative notion of similarity based on the…

Artificial Intelligence · Computer Science 2025-05-20 Christian Antić

The application of quantum theory to cosmology raises a number of conceptual questions, such as the role of the quantum-mechanical notion of "observer" or the absence of a time variable in the Wheeler-DeWitt equation. I point out that a…

History and Philosophy of Physics · Physics 2018-04-20 Francesca Vidotto