English
Related papers

Related papers: Convex and Sequential Effect Algebras

200 papers

We study the role of context, complex of physical conditions, in quantum as well as classical experiments. It is shown that by taking into account contextual dependence of experimental probabilities we can derive the quantum rule for the…

High Energy Physics - Theory · Physics 2009-11-07 Andrei Khrennikov

The quantal algebra combines classical and quantum mechanics into an abstract structurally unified structure. The structure uses two products: one symmetric and one anti-symmetric. The local structure of spacetime is contained in the…

General Physics · Physics 2013-04-03 Samir Lipovaca

We introduce a new diagrammatic notation for representing the result of (algebraic) effectful computations. Our notation explicitly separates the effects produced during a computation from the possible values returned, this way simplifying…

Programming Languages · Computer Science 2020-01-13 Ugo Dal Lago , Francesco Gavazzo

The interplay between the algebraic structure (operator algebras) for the quantum observables and the convex structure of the state space has been explored for a long time and most advanced results are due to Alfsen and Shultz. Here we…

Quantum Physics · Physics 2024-11-28 Gerd Niestegge

We argue that the complex numbers are an irreducible object of quantum probability. This can be seen in the measurements of geometric phases that have no classical probabilistic analogue. Having complex phases as primitive ingredient…

General Relativity and Quantum Cosmology · Physics 2014-11-17 Charis Anastopoulos

When considering a sequent-style proof system for quantum programs, there are certain elements of quantum mechanics that we may wish to capture, such as phase, dynamics of unitary transformations, and measurement probabilities. Traditional…

Logic in Computer Science · Computer Science 2016-06-23 Cameron Beebe

Effect systems are lightweight extensions to type systems that can verify a wide range of important properties with modest developer burden. But our general understanding of effect systems is limited primarily to systems where the order of…

Programming Languages · Computer Science 2017-05-08 Colin S. Gordon

In this sequence of papers, noncommutative analysis is used to give a consistent axiomatic approach to a unified conceptual foundation of classical and quantum physics. The present Part I defines the concepts of observables, states and…

Quantum Physics · Physics 2007-05-23 Arnold Neumaier

Observables and instruments have played significant roles in recent studies on the foundations of quantum mechanics. Sequential products of effects and conditioned observables have also been introduced. After an introduction in Section~1,…

Quantum Physics · Physics 2020-05-19 Stan Gudder

An intricate quantum statistical effect guides us to a deterministic, non-causal quantum universe with given fixed initial and final state density matrix. A concept is developed on how and where something like macroscopic physics can…

Quantum Physics · Physics 2021-02-23 Fritz W. Bopp

In Quantum Mechanics operators must be hermitian and, in a direct product space, symmetric. These properties are saved by Lie algebra operators but not by those of quantum algebras. A possible correspondence between observables and quantum…

High Energy Physics - Theory · Physics 2009-11-07 E. Celeghini , M. A. del Olmo

A quantitative model of concurrent interaction is introduced. The basic objects are linear combinations of partial order relations, acted upon by a group of permutations that represents potential non-determinism in synchronisation. This…

Logic in Computer Science · Computer Science 2011-07-08 Emmanuel Beffara

Based on the assumption that time evolves only in one direction and mechanical systems can be described by Lagrangeans, a dynamical C*-algebra is presented for non-relativistic particles at atomic scales. Without presupposing any…

Quantum Physics · Physics 2019-05-08 Detlev Buchholz , Klaus Fredenhagen

We study Heisenberg's matrix mechanics within an algebraic pre-Hilbert framework of arbitrary finite dimension. The commutator of the position and momentum matrices naturally generates a third Hermitian operator whose unbounded character…

Quantum Algebra · Mathematics 2026-02-17 Ortwin Fromm , Felicitas Ehlen

Convex support, the mean values of a set of random variables, is central in information theory and statistics. Equally central in quantum information theory are mean values of a set of observables in a finite-dimensional C*-algebra A, which…

Mathematical Physics · Physics 2016-05-17 Stephan Weis

The Hilbert space formalism of quantum mechanics is reviewed with emphasis on applications to quantum computing. Standard interferomeric techniques are used to construct a physical device capable of universal quantum computation. Some…

High Energy Physics - Theory · Physics 2007-05-23 K. Svozil

Algebraic hyperstructures represent a natural extension of classical algebraic structures. In a classical algebraic structure, the composition of two elements is an element, while in an algebraic hyperstructure, the composition of two…

Mathematical Physics · Physics 2012-09-12 Akbar Dehghan Nezhad , Mehdi Nadjafikhah , Seyed Mohammad Moosavi Nejad

This is a non-standard exposition of the main notions of quantum mechanics and quantum field theory including some recent results. It is based on the algebraic approach where the starting point is a star-algebra and on the geometric…

Quantum Physics · Physics 2023-06-21 Igor Frolov , Albert Schwarz

We consider symmetry as a foundational concept in quantum mechanics and rewrite quantum mechanics and measurement axioms in this description. We argue that issues related to measurements and physical reality of states can be better…

Quantum Physics · Physics 2018-04-11 Houri Ziaeepour

We consider relationships between cubic algebras and implication algebras. We first exhibit a functorial construction of a cubic algebra from an implication algebra. Then we consider an collapse of a cubic algebra to an implication algebra…

Combinatorics · Mathematics 2009-02-05 Colin Bailey , Joseph Oliveira