English
Related papers

Related papers: Quantum Supervaluationism

200 papers

A probabilistic propositional logic, endowed with an epistemic component for asserting (non-)compatibility of diagonizable and bounded observables, is presented and illustrated for reasoning about the random results of projective…

Logic · Mathematics 2018-03-20 A. Sernadas , J. Rasga , C. Sernadas , L. Alcácer , A. B. Henriques

A discussion of the quantum mechanical use of superposition or entangled states shows that descriptions containing only statements about state vectors and experiments outputs are the most suitable for Quantum Mechanics. In particular, it is…

Quantum Physics · Physics 2008-05-25 Giuseppe Giuliani

Classical evaluations of configurations of intertwined quantum contexts induce relations, such as true-implies-false, true-implies-true, but also nonseparability among the input and output terminals. When combined, these exploitable…

Quantum Physics · Physics 2020-05-14 Karl Svozil

Quantum mechanics is nonlocal. Classical mechanics is local. Consequently classical mechanics can not explain all quantum phenomena. Conversely, it is cumbersome to use quantum mechanics to describe classical phenomena. Not only are the…

Quantum Physics · Physics 2007-05-23 Nicolas Gisin , Todd A. Brun , Marco Rigo

A novel interpretation of the quantum mechanical superposition is put forward. Quantum systems scan all possible available states and switch randomly and very rapidly among them. The longer they remain in a given state, the larger the…

General Physics · Physics 2016-05-31 Beatriz Gato-Rivera

Whenever a mathematical proposition to be proved requires more information than it is contained in an axiomatic system, it can neither be proved nor disproved, i.e. it is undecidable, or logically undetermined, within this axiomatic system.…

Quantum Physics · Physics 2009-12-06 Caslav Brukner

In this paper we address the question of whether it is possible to obtain evidence that we are in a superposition of different worlds, as suggested by the relative state interpretation of quantum mechanics. We find that it is impossible to…

Quantum Physics · Physics 2015-09-16 Daniel Filan , Joseph J. Hope

Recent theoretical results confirm that quantum theory provides the possibility of new ways of performing efficient calculations. The most striking example is the factoring problem. It has recently been shown that computers that exploit…

Quantum Physics · Physics 2008-11-26 Adriano Barenco

Given a bipartite quantum state (in arbitrary dimension) and a decomposition of it as a superposition of two others, we find bounds on the entanglement of the superposition state in terms of the entanglement of the states being superposed.…

Quantum Physics · Physics 2009-11-11 Noah Linden , Sandu Popescu , John A. Smolin

We consider classical and quantum algorithms which have a duality property: roughly, either the algorithm provides some nontrivial improvement over random or there exist many solutions which are significantly worse than random. This enables…

Quantum Physics · Physics 2019-11-13 M. B. Hastings

In the paper, a value assignment for projection operators relating to a quantum system is equated with assignment of truth-values to the propositions associated with these operators. In consequence, the Kochen-Specker theorem (its localized…

Quantum Physics · Physics 2018-07-31 Arkady Bolotin

Quantum superposition is often phrased as the ability to add state vectors. In practice, however, the physical quantity is a ray (a rank-one projector), so each input specifies only a projector and leaves a gauge freedom in the phases of…

Quantum Physics · Physics 2026-01-22 Jeongho Bang , Kyoungho Cho , Ki Hyuk Yee

An analysis using classical stochastic processes is used to construct a consistent system of quantum counterfactual reasoning. When applied to a counterfactual version of Hardy's paradox, it shows that the probabilistic character of quantum…

Quantum Physics · Physics 2009-10-31 Robert B. Griffiths

A co-valuation is, essentially, a minimal finite cover. We introduce a logic based on co-valuations, which play the role of valuations of free variables in classical first-order logic, and show that the fundamental tools of model theory --…

Logic · Mathematics 2026-01-06 Maciej Malicki

Classical probability theory is based on assumptions which are often violated in practice. Therefore quantum probability is a proposed alternative not only in quantum physics, but also in other sciences. However, so far it mostly criticizes…

Quantum Physics · Physics 2024-01-23 Mirko Navara , Jan Ševic

We argue about a conceptual approach to quantum formalism. Starting from philosophical conjectures (Platonism, Idealism and Realism) as basic ontic elements (namely: math world, data world, and state of matter), we will analyze the quantum…

Quantum Physics · Physics 2007-05-23 Helen Lynn , Michele Caponigro

We propose a semantic representation of the standard quantum logic QL within a classical, normal modal logic, and this via a lattice-embedding of orthomodular lattices into Boolean algebras with one modal operator. Thus our classical logic…

Quantum Physics · Physics 2017-02-08 Simon Kramer

The superposition principle of two qubit states is formulated as nonlinear addition rule of mean spinprojection onto three perpendicular directions. The explicit expression for the mean value determining the superposition state in term of…

Quantum Physics · Physics 2019-12-19 Andrey Fedorov , Vladimir Manko

For the classical mind, quantum mechanics is boggling enough; nevertheless more bizarre behavior could be imagined, thereby concentrating on propositional structures (empirical logics) that transcend the quantum domain. One can also…

Quantum Physics · Physics 2017-01-09 Karl Svozil

It is shown that certain natural quantum logic gates, {\it i.e.} unitary time evolution matrices for spin-\frac{1}{2} quantum spins, can be represented as sums, with appropriate phases, over classical logic gates, in a direct analogy with…

Quantum Physics · Physics 2007-05-23 Bruno Nachtergaele , Vipul Periwal