Related papers: Non-deterministic, probabilistic, and quantum effe…
Probabilistic argumentation allows reasoning about argumentation problems in a way that is well-founded by probability theory. However, in practice, this approach can be severely limited by the fact that probabilities are defined by adding…
We propose a definite meaning to the concepts of "experiment", "measurement" and "event" in the event-enhanced formalism of quantum theory. A minimal piecewise deterministic process is given that can be used for a computer simulation of…
An experiment or theory is classically explainable if it can be reproduced by some noncontextual ontological model. In this work, we adapt the notion of ontological models and generalized noncontextuality so it applies to the framework of…
We present a categorical construction for modelling causal structures within a general class of process theories that include the theory of classical probabilistic processes as well as quantum theory. Unlike prior constructions within…
We present the syntax and rules of deduction of QPEL (Quantum Program and Effect Language), a language for describing both quantum programs, and properties of quantum programs - effects on the appropriate Hilbert space. We show how…
We present a framework which constructs an event-style dis- course semantics. The discourse dynamics are encoded in continuation semantics and various rhetorical relations are embedded in the resulting interpretation of the framework. We…
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…
We present a general formalism with the aim of describing the situation of an entity, how it is, how it reacts to experiments, how we can make statistics with it, and how it changes under the influence of the rest of the universe. Therefore…
Verifying entanglement between parties is essential for creating secure quantum communication. However, finite statistics can lead to false positive outcomes in any tests for entanglement. Here, we introduce a one-sided device-independent…
We consider a programming language that can manipulate both classical and quantum information. Our language is type-safe and designed for variational quantum programming, which is a hybrid classical-quantum computational paradigm. The…
We give extensional and intensional characterizations of functional programs with nondeterminism: as structure preserving functions between biorders, and as nondeterministic sequential algorithms on ordered concrete data structures which…
It is well known that in quantum mechanics we cannot always define consistently properties that are context independent. Many approaches exist to describe contextual properties, such as Contextuality by Default (CbD), sheaf theory, topos…
Spekkens has introduced an epistemically restricted classical theory of discrete systems, based on discrete phase space. The theory manifests a number of quantum-like properties but cannot fully imitate quantum theory because it is…
Quantum superposition, a cornerstone of quantum mechanics, enables systems to exist in multiple states simultaneously, giving rise to probabilistic outcomes. In quantum information science, conditional entropy has become a key metric for…
A rigorous general definition of quantum probability is given, which is valid for elementary events and for composite events, for operationally testable measurements as well as for inconclusive measurements, and also for non-commuting…
In this article, it is shown specifically that natural system chance events as represented by theory predicted (a priori) probabilistic statements used in such realms as modern particle physics, among others, are only random relative to the…
An approach is presented treating decision theory as a probabilistic theory based on quantum techniques. Accurate definitions are given and thorough analysis is accomplished for the quantum probabilities describing the choice between…
Empirical evidence has confirmed that quantum effects occur frequently also outside the microscopic domain, while quantum structures satisfactorily model various situations in several areas of science, including biological, cognitive and…
In the framework of Event Enhanced Quantum Theory (EEQT) a probabilistic construction of the piecewise deterministic process associated with a dynamical semigroup is presented. The process generates sample histories of individual systems…
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…