🔬 physics

Quantized mereology

This paper proposes "quantized mereology," a framework that merges classical mereology with quantum information theory by replacing classical bits with qubits to better model vague part-whole relationships, demonstrating how the classical RCC5 formalism serves as a special case within this new quantum-inspired approach.

Original authors: Thomas Bittner

Published 2026-09-03

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Thomas Bittner

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

In the study of how things fit together, philosophers and computer scientists have long relied on a framework called mereology. This is the formal logic of parts and wholes, a system designed to answer questions like: Is this cloud part of the sky? Is this forest part of the ecosystem? For sharp, well-defined objects like a brick or a planet, this logic works perfectly. It treats relationships as crisp and absolute: a part is either inside a whole or it is not. However, the real world is rarely so clean. Many things we encounter, from the shifting edge of a fog bank to the indistinct boundary of a habitat, possess vague borders. When researchers try to apply the strict, black-and-white rules of classical logic to these fuzzy entities, the system breaks down, creating paradoxes and confusion. The challenge has been to find a way to describe these indeterminate boundaries without simply admitting that our language is flawed.

A new approach, developed by Thomas Bittner at the State University of New York at Buffalo, suggests that the problem is not with our language, but with the type of information the system can carry. The paper proposes that vague entities are not broken versions of clear ones; rather, they are systems with a fundamental limit on how much information they can hold about their relationships. To model this, the author introduces a framework called "quantized mereology." This method borrows the mathematical tools used in quantum physics to describe subatomic particles, but applies them to macroscopic objects like clouds and forests. Crucially, this does not mean that clouds are made of quantum particles or that they obey the laws of quantum mechanics. Instead, it uses the logic of quantum information—specifically the concept of the "qubit"—as a powerful mathematical tool to represent states of uncertainty that classical logic cannot capture.

The core of this work is a reimagining of how we measure the relationship between two regions. In classical logic, the relationship between two objects is described by a set of three binary questions: Do they overlap? Is the first part of the second? Is the second part of the first? For a crisp object, the answers to these questions are always definite "yes" or "no," providing three bits of information. This is like a light switch that is either fully on or fully off. But for a vague object, the answers might not be settled. The author demonstrates that this state of being "unsettled" can be modeled not as a lack of knowledge, but as an objective state where the information exists in a superposition of possibilities. In this new framework, a vague relationship is represented by a "qubit," which can hold information about the relationship in a way that allows for indeterminacy, much like a coin that is spinning in the air, neither heads nor tails, but containing the potential for both.

To make this abstract idea concrete, the paper uses a geometric model known as an "information cube." Imagine a cube where every corner represents a perfectly clear, definite relationship between two regions. In a classical system, a relationship must always be at one of these eight corners. However, when a relationship is vague, it does not sit at a corner. Instead, it occupies the edges, the faces, or even the interior planes of the cube. These higher-dimensional features represent states where some questions are answered while others remain indeterminate, or where the answers to different questions are linked in a specific way without being individually determined. For instance, a researcher might know that two vague regions overlap, but remain completely unsure about whether one is part of the other. In the classical view, this is a gap in knowledge. In this quantized view, it is a specific, well-defined state of information that occupies a face of the cube.

The paper rigorously proves that this new way of thinking is consistent and coherent through a principle called the Quantized Information Semantics. This principle shows that two completely different ways of arriving at the same conclusion always yield the same result. The first way is the "top-down" approach: an observer asks a question, gets an answer, and the meaning of that answer directly defines the state of the system. The second way is the "bottom-up" approach: the observer interacts with the system, gathers raw data, and then mathematically constructs the state from that data. The author demonstrates that whether you start with the meaning of the question or the raw data of the interaction, you end up with the exact same description of the vague relationship. This equivalence confirms that the framework is not just a clever trick, but a robust logical structure that can handle the messiness of the real world.

The study also clarifies what happens when we deal with objects that are perfectly sharp. In these cases, the complex machinery of the new framework simplifies automatically. The "qubits" collapse into standard "bits," the edges and faces of the information cube shrink back into the corners, and the system behaves exactly as classical mereology predicts. This proves that the new framework is a true generalization: it includes the old, precise logic as a special case while extending its reach to cover the vague and the indeterminate. By treating vagueness as a fundamental limit on information capacity rather than a failure of description, the paper offers a precise language for the fuzzy boundaries that define so much of our natural world. It suggests that the uncertainty we see in clouds, forests, and habitats is not a flaw to be fixed, but a real, measurable feature of the universe that requires a richer kind of logic to understand.

Technical Summary: Quantized Mereology

Problem Statement

Classical mereology, the formal theory of part-whole relationships (e.g., Region Connection Calculus or RCC), struggles to accommodate entities with vague or indeterminate boundaries, such as clouds, forests, or ecological habitats. Traditional formalisms rely on crisp binary relations and classical logic, which assume sharp distinctions between entities. When applied to vague phenomena, these sharp distinctions generate paradoxes and conceptual difficulties. The paper argues that vagueness should not be treated merely as a flaw of language or incomplete knowledge, but as an objective, ontological feature of a system. Specifically, the paper posits that mereological vagueness manifests as a fundamental information-theoretic limit: a system composed of vague entities carries less information about its relations than a system of crisp entities.

Methodology

The paper introduces Quantized Mereology, a framework that merges classical mereology with concepts from quantum information theory to model this information limit. The methodology proceeds through the following steps:

Geometric Representation of Information:
- The classical RCC5+ formalism (RCC5 plus the empty region) is mapped to a 3-bit information cube. The eight classical mereological relations (DR, PO, PP, PPi, EQ, and three relations involving the empty region) correspond to the eight vertices of this cube.
- The three axes of the cube represent three fundamental binary questions: Overlap?, Part Of?, and Inverse Part Of?.
- Vagueness is modeled geometrically: Crisp relations are vertices (0D). Vague states correspond to higher-dimensional features: edges (1D), faces (2D), and interior planes (3D). These features represent "information states" (istates) where one or more fundamental questions remain indeterminate.
Partition-Based Qubits:
- Unlike quantum physics, which uses complex Hilbert spaces, this framework represents qubit states as cells within partitions of the set of classical outcomes ( $R$ ).
- This approach utilizes a non-distributive partition lattice ( $\Pi(R)$ ) rather than a vector space. The cells of these partitions represent the possible information states of a relational elementary system (an ordered pair of regions observed by an agent).
- The framework distinguishes between orthogonal vagueness (superposition of truth values, represented by faces/edges) and non-orthogonal vagueness (entanglement/correlation, represented by interior planes/diagonals).
The Interaction Map ( $\sharp$ ) and Determinacy:
- A central component is the interaction map ( $\sharp$ ), which maps vague region pairs from the domain of vague regions ($Reg$) to crisp proxies in the lattice of regions ( $REG$ ).
- The map is constrained by the type of regions involved (crisp, vague, or void of information).
- A determinacy predicate ($Det$) is introduced to distinguish between interactions that yield a necessary, fixed outcome (determinate) and those where the outcome is contingent on the lack of information (indeterminate).
The Quantized Information Semantics (QIS) Principle:
- The core theoretical contribution is the QIS Principle, which asserts the equivalence of two pathways for determining an information state:
  - Direct Semantic Path (Top-Down): An observer asks a question, and the answer identifies a maximum supporting information state based on the semantic meaning of the question (e.g., "Overlap? = Yes" corresponds to the set of all relations where overlap is true).
  - Indirect Quantization Path (Bottom-Up): An observer interacts with the system via the map $\sharp$ , generating classical data. This data is evaluated and then "quantized" via a quantization map ( $\lfloor \cdot \rfloor$ ) to construct the final information state.
- The paper proves that these two paths always yield the identical partition cell (qubit state).

Key Contributions

Formalization of Vagueness as Information Limits: The paper provides a rigorous formalism where vagueness is defined by the capacity of a system to carry information. A system with 1-bit capacity (vague) cannot carry the full 3-bit information of a crisp system.
Set-Theoretic Qubits: It offers a novel representation of quantum-like states using set partitions rather than Hilbert space vectors. This makes the logic of superposition and entanglement accessible within the context of qualitative reasoning and classical set theory.
Index Notation for Information States: The paper develops a compact index notation ( $P^{\alpha\beta\gamma}_{ijk}$ ) to systematically describe information states, distinguishing between determinate answers (truth values), superposition (hyphens), and entanglement (overlined variables).
Generalization of RCC5+: The framework demonstrates that classical mereology is a special, information-complete case (3-bit) of the more general quantized framework.

Results

Proof of QIS Equivalence: The paper formally proves that the direct semantic path and the indirect quantization path are equivalent (Theorem 1, Theorem 2, Corollary 1). This ensures the internal coherence of the framework.
Classification of Systems: The framework classifies relational elementary systems into distinct information forms (iforms) based on their information capacity (0-bit, 1-bit, 2-bit, 3-bit) and entanglement status (parallel $\parallel$ $∥$ vs. cross $\times$ $\times$ ).
- Example: A system where only the "Overlap" question is determinate is a $\parallel$ -1-bit system (orthogonal vagueness).
- Example: A system where the "Part Of" and "Inverse Part Of" questions are indeterminate individually but correlated (e.g., they must be equal) is a $\times$ -1-bit system (non-orthogonal vagueness/entanglement).
Recovery of Classical Logic: In the limit where regions are crisp (cReg), the interaction map becomes the identity, the quantization map reduces to set formation, and the framework collapses to standard RCC5+ relations.

Significance and Claims

The paper claims that Quantized Mereology offers a methodological framework to address the challenge of vagueness in Artificial Intelligence and Qualitative Reasoning (QR). Its significance lies in:

Reframing Vagueness: It shifts the perspective of vagueness from a linguistic error to an objective, information-theoretic constraint.
Bridging Classical and Quantum Logic: It demonstrates how the logic of quantum information (superposition, entanglement) can be applied to macroscopic, qualitative reasoning problems without invoking quantum physical laws.
Formal Consistency: By proving the QIS principle, the paper establishes that the framework is not just a metaphor but a mathematically consistent system where the "meaning" of an observation aligns perfectly with the "construction" of the state from interaction data.
Generalizability: The author suggests that this methodology of "quantizing" classical QR formalisms via partition lattices can be extended to other sophisticated formalisms in AI to handle irreducible indeterminacy.

The paper concludes modestly, noting that while the four-part classification of regions (crisp, two degrees of vague, void) is formally necessary for the model, the metaphysical justification for these specific categories remains an open area for future research. The work serves as a proof-of-concept for an information-theoretic approach to mereological vagueness.