Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

Entropy

A New Logic, a New Information Measure, and a New Information-Based Approach to Interpreting Quantum Mechanics

David Ellerman

Published Feb 15, 2024• 3 citations
Publisher

Abstract

The new logic of partitions is dual to the usual Boolean logic of subsets (usually presented only in the special case of the logic of propositions) in the sense that partitions and subsets are category-theoretic duals. The new information measure of logical entropy is the normalized quantitative version of partitions. The new approach to interpreting quantum mechanics (QM) is showing that the mathematics (not the physics) of QM is the linearized Hilbert space version of the mathematics of partitions. Or, putting it the other way around, the math of partitions is a skeletal version of the math of QM. The key concepts throughout this progression from logic, to logical information, to quantum theory are distinctions versus indistinctions, definiteness versus indefiniteness, or distinguishability versus indistinguishability. The distinctions of a partition are the ordered pairs of elements from the underlying set that are in different blocks of the partition and logical entropy is defined (initially) as the normalized number of distinctions. The cognate notions of definiteness and distinguishability run throughout the math of QM, e.g., in the key non-classical notion of superposition (=ontic indefiniteness) and in the Feynman rules for adding amplitudes (indistinguishable alternatives) versus adding probabilities (distinguishable alternatives).

DOI
10.3390/e26020169

Related papers

An introduction to partition logic

David Ellerman

Classical logic is usually interpreted as the logic of propositions. But from Boole's original development up to modern categorical logic, there has always been the alternative interpretation of classical logic as the logic of subsets of any given (non-empty) universe set. Partitions on a universe set are dual to subsets of a universe set in the sense of the reverse-the-arrows category-theoretic duality–which is reflected in the duality between quotient objects and subobjects throughout algebra. Hence the idea arises of a dual logic of partitions. That dual logic is described here. Partition logic is at the same mathematical level as subset logic since models for both are constructed from (partitions on or subsets of) arbitrary unstructured sets with no ordering relations, compatibility or accessibility relations, or topologies on the sets. Just as Boole developed logical finite probability theory as a quantitative treatment of subset logic, applying the analogous mathematical steps to partition logic yields a logical notion of entropy so that information theory can be refounded on partition logic. But the biggest application is that when partition logic and the accompanying logical information theory are ‘lifted’ to complex vector spaces, then the mathematical framework of quantum mechanics (QM) is obtained. Partition logic models the indefiniteness of QM while subset logic models the definiteness of classical physics. Hence partition logic may provide the backstory so the old idea of ‘objective indefiniteness’ in QM can be fleshed out to a full interpretation of quantum mechanics. In that case, QM will be the ‘killer application’ of partition logic.

Logic Journal of IGPL•Sep 3, 2013•42 citations

A New Logical Measure for Quantum Information

David Ellerman

Abstract Starting at the logical level of the logic of partitions, dual to the usual Boolean logic of subsets, the notion of logical entropy, i.e., information as distinctions, is developed as the quantification of the distinctions of partitions—just as probability theory starts with the quantification of elements of subsets. Logical entropy is compared and contrasted with the usual notion of Shannon entropy. Then a semi-algorithmic procedure (from the mathematical folklore) is used to translate the notion of logical entropy at the set level to the corresponding notion of quantum logical entropy at the (Hilbert) vector space level. Examples and some important propositions relate quantum logical entropy to projective measurement and to the Hilbert-Schmidt distance. Overall, the approach demonstrates the logical basis and naturality of this notion of entropy for quantum mechanics.

Quantum Information and Computation•Feb 25, 2025•1 citation

A New Approach to Understanding Quantum Mechanics: Illustrated Using a Pedagogical Model over Z2

David Ellerman

The new approach to quantum mechanics (QM) is that the mathematics of QM is the linearization of the mathematics of partitions (or equivalence relations) on a set. This paper develops those ideas using vector spaces over the field Z2 = {0.1} as a pedagogical or toy model of (finite-dimensional, non-relativistic) QM. The 0, 1-vectors are interpreted as sets, so the model is “quantum mechanics over sets” or QM/Sets. The key notions of partitions on a set are the logical-level notions to model distinctions versus indistinctions, definiteness versus indefiniteness, or distinguishability versus indistinguishability. Those pairs of concepts are the key to understanding the non-classical ‘weirdness’ of QM. The key non-classical notion in QM is the notion of superposition, i.e., the notion of a state that is indefinite between two or more definite- or eigen-states. As Richard Feynman emphasized, all the weirdness of QM is illustrated in the double-slit experiment, so the QM/Sets version of that experiment is used to make the key points.

•Jan 1, 2024•0 citations

The new partitional approach to (literally) interpreting quantum mechanics

David Ellerman

This paper presents a new `partitional' approach to understanding or interpreting standard quantum mechanics (QM). The thesis is that the mathematics (not the physics) of QM is the Hilbert space version of the math of partitions on a set and, conversely, the math of partitions is a skeletonized set level version of the math of QM. Since at the set level, partitions are the mathematical tool to represent distinctions and indistinctions (or definiteness and indefiniteness), this approach shows how to interpret the key non-classical QM notion of superposition in terms of (objective) indefiniteness between definite alternatives (as opposed to seeing it as the sum of `waves'). Hence this partitional approach substantiates what might be called the Objective Indefiniteness Interpretation or what Abner Shimony called the Literal Interpretation of QM.

arXiv:2304.09644•Apr 19, 2023•0 citations

A New Approach to Understanding Quantum Mechanics: Illustrated Using a Pedagogical Model over ℤ2

David Ellerman

The new approach to quantum mechanics (QM) is that the mathematics of QM is the linearization of the mathematics of partitions (or equivalence relations) on a set. This paper develops those ideas using vector spaces over the field Z2={0.1} as a pedagogical or toy model of (finite-dimensional, non-relativistic) QM. The 0,1-vectors are interpreted as sets, so the model is “quantum mechanics over sets” or QM/Sets. The key notions of partitions on a set are the logical-level notions to model distinctions versus indistinctions, definiteness versus indefiniteness, or distinguishability versus indistinguishability. Those pairs of concepts are the key to understanding the non-classical ‘weirdness’ of QM. The key non-classical notion in QM is the notion of superposition, i.e., the notion of a state that is indefinite between two or more definite- or eigen-states. As Richard Feynman emphasized, all the weirdness of QM is illustrated in the double-slit experiment, so the QM/Sets version of that experiment is used to make the key points.

AppliedMath•Apr 9, 2024•0 citations

The new partitional approach to (literally) interpreting quantum mechanics: Quantum reality is indefinite-world, not wave-world

David Ellerman

This paper presents a new 'partitional' approach to understanding or interpreting standard quantum mechanics (QM). The mathematical formalism of QM is significantly different from that of classical physics. Where did that distinctive QM formalism come from? Our thesis is that the mathematics (not the physics) of QM is the Hilbert space version of the math of partitions on a set and, conversely, the math of partitions is a skeletonized set level version of the math of QM. Since at the set level, partitions are the mathematical tool to represent distinctions and indistinctions (or definiteness and indefiniteness), this approach shows how to interpret the key non-classical QM notion of superposition in terms of (objective) indefiniteness between definite alternatives (as opposed to seeing it as the sum of 'waves'). Hence this partitional approach substantiates what might be called the Objective Indefiniteness Interpretation of QM.

Qeios•Oct 31, 2023•0 citations
The new logic of partitions is dual to the usual Boolean logic of subsets (usually presented only in the special case of the logic of propositions) in the sense that partitions and subsets are category-theoretic duals. The new information measure of logical entropy is the normalized quantitative version of partitions. The new approach to interpreting quantum mechanics (QM) is showing that the mathematics (not the physics) of QM is the linearized Hilbert space version of the mathematics of partitions. Or, putting it the other way around, the math of partitions is a skeletal version of the math of QM. The key concepts throughout this progression from logic, to logical information, to quantum theory are distinctions versus indistinctions, definiteness versus indefiniteness, or distinguishability versus indistinguishability. The distinctions of a partition are the ordered pairs of elements from the underlying set that are in different blocks of the partition and logical entropy is defined (initially) as the normalized number of distinctions. The cognate notions of definiteness and distinguishability run throughout the math of QM, e.g., in the key non-classical notion of superposition (=ontic indefiniteness) and in the Feynman rules for adding amplitudes (indistinguishable alternatives) versus adding probabilities (distinguishable alternatives).
Classical logic is usually interpreted as the logic of propositions. But from Boole's original development up to modern categorical logic, there has always been the alternative interpretation of classical logic as the logic of subsets of any given (non-empty) universe set. Partitions on a universe set are dual to subsets of a universe set in the sense of the reverse-the-arrows category-theoretic duality–which is reflected in the duality between quotient objects and subobjects throughout algebra. Hence the idea arises of a dual logic of partitions. That dual logic is described here. Partition logic is at the same mathematical level as subset logic since models for both are constructed from (partitions on or subsets of) arbitrary unstructured sets with no ordering relations, compatibility or accessibility relations, or topologies on the sets. Just as Boole developed logical finite probability theory as a quantitative treatment of subset logic, applying the analogous mathematical steps to partition logic yields a logical notion of entropy so that information theory can be refounded on partition logic. But the biggest application is that when partition logic and the accompanying logical information theory are ‘lifted’ to complex vector spaces, then the mathematical framework of quantum mechanics (QM) is obtained. Partition logic models the indefiniteness of QM while subset logic models the definiteness of classical physics. Hence partition logic may provide the backstory so the old idea of ‘objective indefiniteness’ in QM can be fleshed out to a full interpretation of quantum mechanics. In that case, QM will be the ‘killer application’ of partition logic.
Abstract Starting at the logical level of the logic of partitions, dual to the usual Boolean logic of subsets, the notion of logical entropy, i.e., information as distinctions, is developed as the quantification of the distinctions of partitions—just as probability theory starts with the quantification of elements of subsets. Logical entropy is compared and contrasted with the usual notion of Shannon entropy. Then a semi-algorithmic procedure (from the mathematical folklore) is used to translate the notion of logical entropy at the set level to the corresponding notion of quantum logical entropy at the (Hilbert) vector space level. Examples and some important propositions relate quantum logical entropy to projective measurement and to the Hilbert-Schmidt distance. Overall, the approach demonstrates the logical basis and naturality of this notion of entropy for quantum mechanics.
The new approach to quantum mechanics (QM) is that the mathematics of QM is the linearization of the mathematics of partitions (or equivalence relations) on a set. This paper develops those ideas using vector spaces over the field Z2 = {0.1} as a pedagogical or toy model of (finite-dimensional, non-relativistic) QM. The 0, 1-vectors are interpreted as sets, so the model is “quantum mechanics over sets” or QM/Sets. The key notions of partitions on a set are the logical-level notions to model distinctions versus indistinctions, definiteness versus indefiniteness, or distinguishability versus indistinguishability. Those pairs of concepts are the key to understanding the non-classical ‘weirdness’ of QM. The key non-classical notion in QM is the notion of superposition, i.e., the notion of a state that is indefinite between two or more definite- or eigen-states. As Richard Feynman emphasized, all the weirdness of QM is illustrated in the double-slit experiment, so the QM/Sets version of that experiment is used to make the key points.
This paper presents a new `partitional' approach to understanding or interpreting standard quantum mechanics (QM). The thesis is that the mathematics (not the physics) of QM is the Hilbert space version of the math of partitions on a set and, conversely, the math of partitions is a skeletonized set level version of the math of QM. Since at the set level, partitions are the mathematical tool to represent distinctions and indistinctions (or definiteness and indefiniteness), this approach shows how to interpret the key non-classical QM notion of superposition in terms of (objective) indefiniteness between definite alternatives (as opposed to seeing it as the sum of `waves'). Hence this partitional approach substantiates what might be called the Objective Indefiniteness Interpretation or what Abner Shimony called the Literal Interpretation of QM.
The new approach to quantum mechanics (QM) is that the mathematics of QM is the linearization of the mathematics of partitions (or equivalence relations) on a set. This paper develops those ideas using vector spaces over the field Z2={0.1} as a pedagogical or toy model of (finite-dimensional, non-relativistic) QM. The 0,1-vectors are interpreted as sets, so the model is “quantum mechanics over sets” or QM/Sets. The key notions of partitions on a set are the logical-level notions to model distinctions versus indistinctions, definiteness versus indefiniteness, or distinguishability versus indistinguishability. Those pairs of concepts are the key to understanding the non-classical ‘weirdness’ of QM. The key non-classical notion in QM is the notion of superposition, i.e., the notion of a state that is indefinite between two or more definite- or eigen-states. As Richard Feynman emphasized, all the weirdness of QM is illustrated in the double-slit experiment, so the QM/Sets version of that experiment is used to make the key points.
This paper presents a new 'partitional' approach to understanding or interpreting standard quantum mechanics (QM). The mathematical formalism of QM is significantly different from that of classical physics. Where did that distinctive QM formalism come from? Our thesis is that the mathematics (not the physics) of QM is the Hilbert space version of the math of partitions on a set and, conversely, the math of partitions is a skeletonized set level version of the math of QM. Since at the set level, partitions are the mathematical tool to represent distinctions and indistinctions (or definiteness and indefiniteness), this approach shows how to interpret the key non-classical QM notion of superposition in terms of (objective) indefiniteness between definite alternatives (as opposed to seeing it as the sum of 'waves'). Hence this partitional approach substantiates what might be called the Objective Indefiniteness Interpretation of QM.