Quantum Fuzzy Sets

• Quantum fuzzy sets are a formalism where quantum propositions are represented as fuzzy subsets of state space with membership defined by the Born probability.
• They integrate quantum probability with fuzzy logic using non-distributive operations, providing a nuanced reconstruction of quantum logic in Hilbert space.
• Extensions to multi-qubit systems and entangled states reveal insights into state geometry and logical structure, sparking debates on the best ontology to describe quantum uncertainty.

Searching arXiv for the cited papers to ground the article in current literature. arXiv search query: (Aldana et al., 2023) quantum fuzzy sets fuzzy bit Quantum fuzzy sets are formalisms that represent quantum propositions, quantum states, or quantum-geometric structures by means of fuzzy-set-like objects, but with semantics determined by quantum probability rather than by ordinary vagueness. In the most explicit Hilbert-space realization, a quantum proposition such as a projector $P$ is represented by a fuzzy subset of the state space $S$, and its membership value at a state $\rho$ is the Born probability $\operatorname{tr}(\rho P)$, not an arbitrary degree of partial truth (Aldana et al., 2023). Across the literature, the term also covers related but non-equivalent programs: fuzzy-event reconstructions of quantum logic on projective space, expectation-value semantics for logical projectors, fuzzy-topological reconstructions of quantum mechanics, and more recent density-matrix and categorical generalizations; it has also provoked direct critiques arguing that Hilbert-space geometry should replace, rather than extend, fuzzy frameworks (Pastorello, 2020, Dubois et al., 2016, Mannucci, 22 Mar 2026, Fabiano, 19 Sep 2025).

1. Definition and formal core

A central formulation identifies a quantum fuzzy set with a fuzzy subset of the state space $S$ of a quantum system, where $S$ is taken to be the set of density matrices on a Hilbert space $H$. For a spectral proposition “the outcome of $A$ lies in $E$,” with spectral projector $P_E^A$, the associated membership function is

$S$0

In this representation, the universe of discourse is the state space itself, and a proposition is identified with the full function assigning to each state its probability of being true (Aldana et al., 2023).

This construction depends on a specific logical background. The quantum side is the Birkhoff–von Neumann logic $S$1, the orthomodular lattice of closed subspaces of $S$2, equivalently the lattice of orthogonal projectors. Order is inclusion of subspaces, meet is intersection, join is closed span, and orthocomplement is orthogonal complement. A logic here is an orthomodular, $S$3-orthocomplete lattice; a probability measure on such a logic is a map $S$4 satisfying $S$5 and countable additivity on pairwise orthogonal elements. A family $S$6 of such measures is ordering if

$S$7

Pykacz’s theorem states that any logic with an ordering set of probability measures is isomorphic to a logic formed by a family of fuzzy subsets of $S$8, with evaluation maps $S$9 as ordering measures (Aldana et al., 2023).

On the fuzzy-set side, a fuzzy set is a pair $\rho$0 with $\rho$1. Equality and inclusion are pointwise. The operations used in the quantum-logical reconstruction are not Zadeh’s max/min connectives, but the Łukasiewicz-type “bold” operations

$\rho$2

$\rho$3

$\rho$4

These satisfy excluded middle and contradiction,

$\rho$5

while remaining non-distributive, which is precisely why they can model orthomodular quantum logic rather than Boolean logic (Aldana et al., 2023).

A closely related geometric formulation identifies quantum propositions with fuzzy events on projective Hilbert space $\rho$6. There the membership function of a proposition associated with projector $\rho$7 is

$\rho$8

for pure state $\rho$9. A deformed product

$\operatorname{tr}(\rho P)$0

replaces the classical product $\operatorname{tr}(\rho P)$1-norm, and idempotents under this product correspond exactly to orthogonal projectors, yielding a fuzzy-set realization of quantum logic on the Kähler manifold $\operatorname{tr}(\rho P)$2 (Pastorello, 2020).

2. Logical origin and relation to quantum probability

The modern quantum-fuzzy viewpoint is rooted in axiomatic quantum mechanics. In Mączyński’s language, the functions

$\operatorname{tr}(\rho P)$3

are “experimental functions,” and Pykacz reinterprets them as membership functions of fuzzy sets. Their significance is operational: they are not subjective grades but measurement probabilities supplied by quantum theory itself (Aldana et al., 2023).

This point distinguishes quantum fuzzy sets from ordinary fuzzy sets. In classical fuzzy set theory, a membership grade usually encodes vagueness or graded inclusion. In the quantum setting described above, the membership value is exactly the Born probability that a proposition is true in a state. For yes/no projector propositions,

$\operatorname{tr}(\rho P)$4

so the membership function is also the expectation value of the projector. The values become classical truth values only in special cases where they are $\operatorname{tr}(\rho P)$5 or $\operatorname{tr}(\rho P)$6 (Aldana et al., 2023).

A related but distinct reconstruction appears in the literature on quantum uncertainty and unsharpness. In that setting, a quantum effect $\operatorname{tr}(\rho P)$7 defines the affine functional

$\operatorname{tr}(\rho P)$8

and, in the Misra–Bugajski classical extension, every quantum effect is represented by a $\operatorname{tr}(\rho P)$9-valued function

$S$0

on the space $S$1 of pure quantum states. From a classical viewpoint, all quantum events then appear as fuzzy classical events. This does not identify quantum mechanics with standard fuzzy set theory, but it makes the analogy exact at the level of event representation (Busch, 2010).

The same bridge appears in Hilbert-space logical semantics. In Eigenlogic, propositions are represented by observables, eigenvalues are truth values, and eigenvectors are the atomic propositional cases. For a projector $S$2 and state $S$3, the fuzzy truth or membership degree is

$S$4

which is simultaneously an expectation value, a Born probability, and a fuzzy membership function. For a one-qubit state

$S$5

the projector $S$6 yields

$S$7

This gives a direct expectation-value semantics for fuzzy membership generated by quantum states outside the logical eigensystem (Dubois et al., 2016).

3. Canonical finite-dimensional examples

The most explicit computations in the literature concern finite-dimensional systems. For a single qubit, $S$8, observables are written as

$S$9

with eigenvalues $S$0, and states are density matrices

$S$1

Thus the state space is the Bloch ball of radius $S$2. For the proposition corresponding to the $S$3 eigenspace of $S$4, the membership function is

$S$5

Since this depends only on $S$6, it can be written as

$S$7

This is the “fuzzy bit”: the proposition “spin is $S$8 along $S$9” becomes a fuzzy set on the Bloch ball, with Born probability as membership (Aldana et al., 2023).

The connectives reproduce projector logic. Orthogonality becomes weak disjointness of fuzzy sets, and for nontrivial orthogonal pairs one gets $H$0 and $H$1, matching complementary one-dimensional projectors. Their bold union is $H$2, corresponding to $H$3, and their bold intersection is $H$4, corresponding to $H$5. On pure states with real amplitudes $H$6, $H$7, and $H$8, the membership function becomes

$H$9

making superposition visible as continuous variation over the pure-state manifold (Aldana et al., 2023).

For two entangled qubits, $A$0, the Bloch-matrix decomposition is

$A$1

Restricting to factorizable observables $A$2, the proposition selecting the $A$3 eigenspaces of both $A$4 and $A$5 has membership function

$A$6

The last term, $A$7, carries the correlation data. In this sense, entanglement appears directly as a deformation of the one-qubit pattern of membership functions rather than as an external annotation (Aldana et al., 2023).

The same paper also treats a qutrit “nested” inside two entangled qubits. The triplet subspace is obtained by imposing

$A$8

and the qutrit fuzzy sets are inherited from the two-qubit fuzzy sets via these symmetry constraints: $A$9 This is significant because it shows that the quantum-fuzzy representation need not be rebuilt from scratch for every subsystem; it can be inherited from a larger entangled representation (Aldana et al., 2023).

4. Alternative formulations and generalizations

Beyond projector-as-membership reconstructions, the literature contains several broader or divergent programs. One line uses observables as propositions and recovers fuzzy membership as expectation value. In Eigenlogic, a proposition is a Hermitian operator, crisp truth is recovered on eigenvectors, and fuzzy truth appears on non-eigenvectors via

$E$0

For product states, conjunction and disjunction reproduce familiar formulas,

$E$1

so standard fuzzy-style operations arise inside a projector semantics rather than being postulated independently (Toffano et al., 2017).

A second line reconstructs quantum mechanics from fuzzy topology or fuzzy geometry. In these approaches, a particle state is a fuzzy point on a fuzzy manifold, described by a nonnegative normalized density $E$2 or $E$3. The state acquires a second ingredient, a phase or velocity field, and the combined object takes the form

$E$4

From locality, normalization conservation, and translation invariance, these programs claim recovery of Schrödinger dynamics for a nonrelativistic particle. Here fuzziness is geometric and order-theoretic rather than primarily logical or set-theoretic (Mayburov, 2012, Mayburov, 2018).

A third line treats quantum measurement itself as a fuzzy-participation process. In that proposal, the relevant “quantum world” is a fuzzy subset $E$5, and system, apparatus, and environment participate with graded weights. The post-measurement state

$E$6

is replaced by

$E$7

where the branch weights are called Fuzzy Quantum Measurement Coefficients. This is a fuzzy-set correction to the von Neumann–Zurek scheme, not a full set-theoretic quantum-fuzzy logic (Abbasvandi et al., 2013).

A more recent generalization revisits the older idea that states of a quantum register can serve as characteristic values of fuzzy subsets, but extends it from pure qubit states to density matrices. In that revised framework, a quantum fuzzy set is a function

$E$8

and scalar truth is extracted only relative to measurement, for example

$E$9

The same paper introduces the Q-Matrix, a global density matrix $P_E^A$0 whose local reduced states are the individual truth values, and organizes these objects into a category $P_E^A$1 with monoidal structure and a fibration over $P_E^A$2 (Mannucci, 22 Mar 2026).

5. Nonclassical structure, scope, and recurrent misconceptions

A recurrent misconception is that quantum fuzzy sets are just ordinary fuzzy sets with quantum vocabulary attached. The core reconstruction papers reject that reading. They do not use Zadeh’s max/min operations because those are distributive and fail to reproduce the relevant orthomodular behavior. Instead, they use non-distributive connectives or deformed products precisely to capture excluded middle, contradiction, and the non-Boolean lattice structure of quantum propositions (Aldana et al., 2023, Pastorello, 2020).

A second misconception is that the membership grades are merely subjective or linguistic. In the main Hilbert-space formulations, they are operational quantities arising from measurement theory: $P_E^A$3 Likewise, in effect-based formulations, the classical fuzzy representative

$P_E^A$4

is fixed by the quantum effect $P_E^A$5. In both cases, the membership value is physically meaningful and experimentally interpretable (Aldana et al., 2023, Busch, 2010).

A third misconception is that all approaches using both “quantum” and “fuzzy” form a single theory. The literature is more heterogeneous. Some papers reconstruct quantum logic by fuzzy sets on state space; some define fuzzy truth as Born expectation of logical observables; some use fuzzy topology as a pre-quantum geometry; some apply fuzzy methods to measurement or control without defining quantum fuzzy sets in a formal sense. This suggests that “quantum fuzzy sets” functions partly as an umbrella label rather than a uniquely standardized formalism.

The scope of the most explicit representation theorem is general: Pykacz’s correspondence applies to any logic with an ordering family of probability measures. However, explicit computations are mostly finite-dimensional, especially for $P_E^A$6, $P_E^A$7, and embedded qutrit sectors. Some analyses are also restricted to factorizable observables, and the extraction of full positivity constraints is only partial in the two-qubit case (Aldana et al., 2023).

6. Critiques, incompatibility results, and current outlook

Not all recent work treats fuzzy and quantum formalisms as naturally compatible. One strong critical line argues that fuzzy metric spaces and fuzzy logic are structurally incapable of reproducing essential features of quantum state geometry. Three no-go claims are emphasized: phase-insensitive fuzzy membership cannot model destructive interference; there is no faithful distance-preserving embedding of Gaussian quantum state space into a fuzzy metric space; and fuzzy logic cannot distinguish symmetric from antisymmetric concept composition. On that view, any genuine account of intrinsically quantum uncertainty must include amplitudes, phases, Hilbert-space norms, and tensor-product structure rather than only $P_E^A$8-valued memberships or t-norm composition (Fabiano, 26 Sep 2025).

A related replacement thesis argues more broadly that fuzzy metric spaces are unnecessary for intrinsically uncertain domains. Instead of fuzzy points, fuzzy membership degrees, and fuzzy similarity, it proposes normalized quantum states, Born probabilities, squared overlaps, and Hilbert-norm distance,

$P_E^A$9

This framework is presented not as a hybrid quantum-fuzzy theory, but as an alternative that abandons fuzzy logic in favor of quantum state geometry for intrinsic uncertainty (Fabiano, 19 Sep 2025).

These critiques sharpen a genuine fault line in the literature. One family of works uses fuzzy-set language to represent quantum propositions because the membership values are exactly Born probabilities. Another family argues that once amplitudes, phase, interference, and entanglement become central, fuzzy-set formalisms cease to be the right ontology. A plausible implication is that “quantum fuzzy sets” names two distinct research ambitions: either a representation of quantum logic in fuzzy-set terms, or a search for graded semantic structures that survive contact with full quantum geometry.

The current outlook is therefore plural rather than settled. The projector-based reconstruction on state space remains the clearest explicit notion of a quantum fuzzy set in the strict sense: projectors become fuzzy subsets of the state space, and membership is Born probability (Aldana et al., 2023). Density-matrix and categorical extensions broaden that notion (Mannucci, 22 Mar 2026). At the same time, the strongest recent critiques imply that any future theory deserving the name will need to specify carefully whether it is representing quantum logic by fuzzy sets, enriching fuzzy logic with quantum-state semantics, or replacing fuzzy semantics by Hilbert-space geometry altogether (Fabiano, 26 Sep 2025, Fabiano, 19 Sep 2025).