Let the Mathematics of Quantum Speak: Allowed and Unallowed Logic
- URL: http://arxiv.org/abs/2112.15222v1
- Date: Thu, 30 Dec 2021 22:03:33 GMT
- Title: Let the Mathematics of Quantum Speak: Allowed and Unallowed Logic
- Authors: Eliahu Levy
- Abstract summary: The mathematics/formalism of quantum, compared with classical, physics, may be fairly basically characterized by non-commutative algebras replacing commutative.
One may have the latter only in a haven' of approximately commutative algebras of quasi-classical macroscopic observables', and moreover that yes-no actual world' would plainly be an extra ingredient' to the base quantum theory itself.
- Score: 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Some notes about quantum physics, an interpretation if one wishes, are put
forward, insisting on `closely following the mathematics/formalism, the `nuts
and bolts of what quantum physics says'. These, basically well-known, issues
seem to highlight some rather bold points about the `logic' aspect in quantum
physics, necessarily restricting when and which logic may be admissible. And
one may understand why that path is hardly followed in the literature. The
mathematics/formalism of quantum, compared with classical, physics, may be
fairly basically characterized by non-commutative algebras replacing
commutative. These classically appearing, in fact, in dealing with systems of
possibilities (say, all possible planetary motions under gravity of which one
is the actual one). In particular, contrary to too common usage, the quantum
non-commutativity should make it impossible to simply `transcend' the `system
of possibilities' aspect into a `yes-no' logic essential for an `actual world'.
One may have the latter only in a `haven' of approximately commutative algebras
of `quasi-classical macroscopic observables', and moreover that `yes-no actual
world' would plainly be an `extra ingredient' to the base quantum theory
itself.
Related papers
- Quantum Programming Without the Quantum Physics [0.08158530638728499]
We propose a quantum programming paradigm where all data are familiar classical data.
The only non-classical element is a random number generator that can return results with negative probability.
arXiv Detail & Related papers (2024-08-29T03:21:08Z) - Classical Many-Worlds Interpretation [0.0]
I present a simple baby-steps reconstruction of quantum mechanics as a fully classical theory.
Despite its simplicity and minimalism of radical concepts, this is not a toy model, being equivalent with quantum field theory.
arXiv Detail & Related papers (2024-07-23T18:13:41Z) - Minimal Equational Theories for Quantum Circuits [44.99833362998488]
We show that any true equation on quantum circuits can be derived from simple rules.
One of our main contributions is to prove the minimality of the equational theory.
arXiv Detail & Related papers (2023-11-13T17:11:25Z) - Postulating the Unicity of the Macroscopic Physical World [0.0]
We argue that the unicity of the macroscopic world is a fundamental postulate of physics, rather than an issue that must be mathematically justified or demonstrated.
This is made possible by using general operator algebras to extend the mathematical description of the physical world towards macroscopic systems.
arXiv Detail & Related papers (2023-10-09T19:21:36Z) - Quantum theory is logically inevitable [0.0]
We show that quantum theory requires the abandonment of classical logic.
We find an inevitable generalization of classical logic.
We illustrate this by applying the logic to explain puzzling results in quantum cognition.
arXiv Detail & Related papers (2021-11-10T10:24:47Z) - Quantum realism: axiomatization and quantification [77.34726150561087]
We build an axiomatization for quantum realism -- a notion of realism compatible with quantum theory.
We explicitly construct some classes of entropic quantifiers that are shown to satisfy almost all of the proposed axioms.
arXiv Detail & Related papers (2021-10-10T18:08:42Z) - Quantum indistinguishability through exchangeable desirable gambles [69.62715388742298]
Two particles are identical if all their intrinsic properties, such as spin and charge, are the same.
Quantum mechanics is seen as a normative and algorithmic theory guiding an agent to assess her subjective beliefs represented as (coherent) sets of gambles.
We show how sets of exchangeable observables (gambles) may be updated after a measurement and discuss the issue of defining entanglement for indistinguishable particle systems.
arXiv Detail & Related papers (2021-05-10T13:11:59Z) - Operational Resource Theory of Imaginarity [48.7576911714538]
We show that quantum states are easier to create and manipulate if they only have real elements.
As an application, we show that imaginarity plays a crucial role for state discrimination.
arXiv Detail & Related papers (2020-07-29T14:03:38Z) - There is only one time [110.83289076967895]
We draw a picture of physical systems that allows us to recognize what is this thing called "time"
We derive the Schr"odinger equation in the first case, and the Hamilton equations of motion in the second one.
arXiv Detail & Related papers (2020-06-22T09:54:46Z) - Characterization of the probabilistic models that can be embedded in
quantum theory [0.0]
We show that only classical and standard quantum theory with superselection rules can arise from a physical decoherence map.
Our results have significant consequences for some experimental tests of quantum theory, by clarifying how they could (or could not) falsify it.
arXiv Detail & Related papers (2020-04-13T18:09:39Z) - From a quantum theory to a classical one [117.44028458220427]
We present and discuss a formal approach for describing the quantum to classical crossover.
The method was originally introduced by L. Yaffe in 1982 for tackling large-$N$ quantum field theories.
arXiv Detail & Related papers (2020-04-01T09:16:38Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.