Discussion of Foundation of Mathematics and Quantum Theory
- URL: http://arxiv.org/abs/2203.09482v1
- Date: Wed, 9 Mar 2022 18:46:57 GMT
- Title: Discussion of Foundation of Mathematics and Quantum Theory
- Authors: Felix M Lev
- Abstract summary: We discuss different aspects of classical and finite mathematics.
quantum theory based on a finite ring of characteristic $p$ is more general than standard quantum theory.
- Score: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Following the results of our recently published book (F. Lev, {\it Finite
mathematics as the foundation of classical mathematics and quantum theory. With
application to gravity and particle theory}. Springer (2020)), we discuss
different aspects of classical and finite mathematics and explain why finite
mathematics based on a finite ring of characteristic $p$ is more general
(fundamental) than classical mathematics: the former does not have foundational
problems, and the latter is a special degenerate case of the former in the
formal limit $p\to\infty$. In particular, quantum theory based on a finite ring
of characteristic $p$ is more general than standard quantum theory because the
latter is a special degenerate case of the former in the formal limit
$p\to\infty$.
Related papers
- Generalised Kochen-Specker Theorem for Finite Non-Deterministic Outcome
Assignments [0.0]
We show that the Kochen-Specker (KS) theorem rules out hidden variable theories with outcome assignments in the set $0, p, 1-p, 1$ for $p in [0,1/d) cup (1/d, 1/2]$.
arXiv Detail & Related papers (2024-02-14T14:02:37Z) - Quantum Polynomial Hierarchies: Karp-Lipton, error reduction, and lower
bounds [1.3927943269211591]
This work studies three quantum-verifier based generalizations of $mathsfPH$.
We first resolve several open problems from [GSSSY22], including a collapse theorem and a Karp-Lipton theorem for $mathsfQCPH$.
We show one-sided error reduction for $mathsfpureQPH$, as well as the first bounds relating these quantum variants of $mathsfPH$.
arXiv Detail & Related papers (2024-01-03T09:12:25Z) - Completeness of qufinite ZXW calculus, a graphical language for
finite-dimensional quantum theory [0.11049608786515838]
We introduce the qufinite ZXW calculus - a graphical language for reasoning about finite-dimensional quantum theory.
We prove the completeness of this calculus by demonstrating that any qufinite ZXW diagram can be rewritten into its normal form.
Our work paves the way for a comprehensive diagrammatic description of quantum physics, opening the doors of this area to the wider public.
arXiv Detail & Related papers (2023-09-22T17:23:58Z) - Connecting classical finite exchangeability to quantum theory [69.62715388742298]
Exchangeability is a fundamental concept in probability theory and statistics.
We show how a de Finetti-like representation theorem for finitely exchangeable sequences requires a mathematical representation which is formally equivalent to quantum theory.
arXiv Detail & Related papers (2023-06-06T17:15:19Z) - Quantum teleportation in the commuting operator framework [63.69764116066747]
We present unbiased teleportation schemes for relative commutants $N'cap M$ of a large class of finite-index inclusions $Nsubseteq M$ of tracial von Neumann algebras.
We show that any tight teleportation scheme for $N$ necessarily arises from an orthonormal unitary Pimsner-Popa basis of $M_n(mathbbC)$ over $N'$.
arXiv Detail & Related papers (2022-08-02T00:20:46Z) - Gleason's theorem for composite systems [0.0]
Gleason's theorem is an important result in the foundations of quantum mechanics.
We prove a generalisation of Gleason's theorem to composite systems.
arXiv Detail & Related papers (2022-05-01T15:26:00Z) - Why we should interpret density matrices as moment matrices: the case of
(in)distinguishable particles and the emergence of classical reality [69.62715388742298]
We introduce a formulation of quantum theory (QT) as a general probabilistic theory but expressed via quasi-expectation operators (QEOs)
We will show that QT for both distinguishable and indistinguishable particles can be formulated in this way.
We will show that finitely exchangeable probabilities for a classical dice are as weird as QT.
arXiv Detail & Related papers (2022-03-08T14:47:39Z) - $\PT$ Symmetry and Renormalisation in Quantum Field Theory [62.997667081978825]
Quantum systems governed by non-Hermitian Hamiltonians with $PT$ symmetry are special in having real energy eigenvalues bounded below and unitary time evolution.
We show how $PT$ symmetry may allow interpretations that evade ghosts and instabilities present in an interpretation of the theory within a Hermitian framework.
arXiv Detail & Related papers (2021-03-27T09:46:36Z) - Topological Quantum Gravity of the Ricci Flow [62.997667081978825]
We present a family of topological quantum gravity theories associated with the geometric theory of the Ricci flow.
First, we use BRST quantization to construct a "primitive" topological Lifshitz-type theory for only the spatial metric.
We extend the primitive theory by gauging foliation-preserving spacetime symmetries.
arXiv Detail & Related papers (2020-10-29T06:15:30Z) - 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) - Symmetries in Foundation of Quantum Theory and Mathematics [0.0]
We consider finite quantum theory (FQT) where states are elements of a space over a finite ring or field with characteristic $p$ and operators of physical quantities act in this space.
We prove that, with the same approach to symmetry, FQT and finite mathematics are more general than standard quantum theory and classical mathematics.
arXiv Detail & Related papers (2020-03-05T04:46:04Z)
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.