The Way from Rota to Quantum Mechanics
- URL: http://arxiv.org/abs/2507.14953v1
- Date: Sun, 20 Jul 2025 13:25:24 GMT
- Title: The Way from Rota to Quantum Mechanics
- Authors: David Ellerman,
- Abstract summary: This paper traces the journey of Gian-Carlo Rota on making a logic of equivalence relations or partitions.<n> Classical physics lies on the subset side and quantum physics on the partition side of the duality.<n>The lattices of partitions allows the treatment of quantum phenomena in highly simplified but essential terms.
- Score: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: This paper traces an intellectual journey or \textit{Way} (in the sense of a Tao) that starts with some unfinished work of Gian-Carlo Rota on making a logic of equivalence relations or partitions. Rota understood the category-theoretic duality between subsets and partitions which implied there should be a logic of partitions dual to the usual Boolean logic of subsets.And just as probability starts quantitatively with the size of a subset, so he saw that information should start with some notion of size of a partition. After developing the logic of partitions and its quantitative version as logical entropy, it became clear that there is a fundamental duality, fully developed only in category theory, that runs through the exact sciences. Classical physics lies on the subset side and quantum physics on the partition side of the duality. The rest of the paper develops the treatment of quantum mechanics seen through the lens of partitions as the logic of definiteness and indefiniteness. The lattices of partitions allows the treatment of quantum phenomena in highly simplified but essential terms. Since Feynman saw the``only mystery'' of quantum mechanics in the two-slit experiment, this new approach is developed to show how to resolve that mystery. Finally, quantum statistics is treated using Rota-style enumerative combinatorics.
Related papers
- Context and Complementarity: Formalizing Bohr's Vision through Many-Valued Contextual Logic [0.0]
Quantum mechanics challenges classical intuitions of space time, and causality via the superposition principle.<n> Niels Bohr addressed these paradoxes through his Complementarity Principle, asserting that mutually exclusive properties-such as wave and particle behaviour-are jointly necessary for a complete description of quantum systems.<n>Despite his profound insights, Bohr did not offer a formal logical framework for these concepts.<n>We address this gap by generalizing Reichenbach's three-valued logic into a seven-valued, formally contextual system.
arXiv Detail & Related papers (2025-05-14T12:28:11Z) - Quantum computational speedup and retrocausality [0.0]
Involving only the measurements of commuting observables should be subject to classical logic.<n>This would allow flanking their customary quantum description with a classical logic description.
arXiv Detail & Related papers (2025-05-13T08:44:13Z) - A computational test of quantum contextuality, and even simpler proofs of quantumness [43.25018099464869]
We show that an arbitrary contextuality game can be compiled into an operational "test of contextuality" involving a single quantum device.
Our work can be seen as using cryptography to enforce spatial separation within subsystems of a single quantum device.
arXiv Detail & Related papers (2024-05-10T19:30:23Z) - Step-by-step derivation of the algebraic structure of quantum mechanics
(or from nondisturbing to quantum correlations by connecting incompatible
observables) [0.0]
This paper provides a step-by-step derivation of the quantum formalism.
It helps us to understand why this formalism is as it is.
arXiv Detail & Related papers (2023-03-08T19:27:24Z) - On the Common Logical Structure of Classical and Quantum Mechanics [0.0]
We show that quantum theory does satisfy the classical distributivity law once the full meaning of quantum propositions is properly taken into account.
We show that the lattice of statistical propositions in classical mechanics follows the same structure, yielding an analogue non-commutative sublattice of classical propositions.
arXiv Detail & Related papers (2022-06-21T18:31:53Z) - Genuine multipartite entanglement and quantum coherence in an
electron-positron system: Relativistic covariance [117.44028458220427]
We analyze the behavior of both genuine multipartite entanglement and quantum coherence under Lorentz boosts.
A given combination of these quantum resources is shown to form a Lorentz invariant.
arXiv Detail & Related papers (2021-11-26T17:22:59Z) - Stochastic approximate state conversion for entanglement and general quantum resource theories [41.94295877935867]
An important problem in any quantum resource theory is to determine how quantum states can be converted into each other.
Very few results have been presented on the intermediate regime between probabilistic and approximate transformations.
We show that these bounds imply an upper bound on the rates for various classes of states under probabilistic transformations.
We also show that the deterministic version of the single copy bounds can be applied for drawing limitations on the manipulation of quantum channels.
arXiv Detail & Related papers (2021-11-24T17:29:43Z) - The Logic of Quantum Programs [77.34726150561087]
We present a logical calculus for reasoning about information flow in quantum programs.
In particular we introduce a dynamic logic that is capable of dealing with quantum measurements, unitary evolutions and entanglements in compound quantum systems.
arXiv Detail & Related papers (2021-09-14T16:08:37Z) - Circuit Complexity in Topological Quantum Field Theory [0.0]
Quantum circuit complexity has played a central role in advances in holography and many-body physics.
In a departure from standard treatments, we aim to quantify the complexity of the Euclidean path integral.
We argue that the pants decomposition provides a natural notion of circuit complexity within the category of 2-dimensional bordisms.
We use it to formulate the circuit complexity of states and operators in 2-dimensional topological quantum field theory.
arXiv Detail & Related papers (2021-08-30T18:00:00Z) - 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) - 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) - Bohr meets Rovelli: a dispositionalist account of the quantum limits of
knowledge [0.0]
I argue that the no-go theorems reflect on a formal level those practical and experimental settings that are needed to come to know the properties of physical systems.
I show that, as a consequence of a relationist and perspectival approach to quantum mechanics, the quantum state of the universe regarded as an isolated system cannot be known in principle.
arXiv Detail & Related papers (2020-01-13T22:45:09Z)
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.