Heptalemma in Quantum Mechanics

• Heptalemma is a dual-framework in quantum mechanics, presenting two sets of seven principles—one as a no-go theorem and another as axiomatic laws—to clarify the quantum-classical divide.
• The no-go version reveals that while any six classical theses can coexist with quantum predictions, all seven together lead to inconsistencies, mapping interpretations based on the rejected thesis.
• The axiomatic formulation standardizes quantum mechanics into seven precise laws, eliminating ambiguous language and emphasizing operator-theoretic clarity for both research and pedagogy.

The heptalemma for quantum mechanics refers to two rigorously formulated frameworks, each with seven foundational elements or principles, that clarify the conceptual structure of quantum theory. The first, a seven-pronged no-go theorem, demonstrates that seven highly plausible theses about physical reality are jointly inconsistent with quantum mechanics, although any six are. The second is a pedagogical and axiomatic presentation distilling quantum mechanics into seven precise laws, removing ambiguities and negative historical language. Both frameworks yield diagnostic and taxonomic clarity regarding what distinguishes quantum from classical domains and map directly onto the landscape of quantum interpretations (DeBrota et al., 1 Dec 2025, Yajnik, 2023).

1. The No-Go Heptalemma: Seven Theses and Their Logical Relations

The heptalemma theorem enumerates seven deeply plausible theses (T₁ through T₇) about physical reality:

1. Measurement Realism: For every observer and every measurement, outcomes are “facts” X with well-defined probabilities $P(X)$.
2. Non-Relationalism: Facts are absolute, not observer- or system-relative.
3. Non-Fragmentation: All facts in any possible world are coinstantiable within a single coherent totality.
4. One World: Reality is exhausted by a single objective world, with no disjoint “worlds” of facts.
5. Locality: Spacelike-separated events cannot have direct causal or probabilistic influence, leading to the condition $P(A | a, b, B, \lambda) = P(A | a, \lambda)$, $P(B | a, b, A, \lambda) = P(B | b, \lambda)$.
6. Measurement Independence: Choices of measurement settings are statistically independent of hidden variables, $P(a, b, \lambda) = P(a, b) P(\lambda)$.
7. Non-Solipsism: There exist at least two distinct observers (e.g., Alice, Bob) making independent measurements.

Logical Structure: The heptalemma shows that all seven theses cannot be held together in light of quantum mechanical predictions. Yet, any strict subset of six is consistent with those predictions, allowing for explicit theoretical models corresponding to dropping each specific thesis. This structure is more fine-grained and encompassing than previous results such as Bell’s or Kochen–Specker’s theorems (DeBrota et al., 1 Dec 2025).

2. Logical Derivation: Incompatibility and the Bell-CHSH Scenario

Combining theses T₁–T₄ (measurement realism, non-relationalism, non-fragmentation, and one world) yields the assumption that well-defined, absolute, and globally consistent “facts” exist for measurement outcomes, embedding all variables $\{ \lambda, a, b, A, B \}$ in a single probability space.

Locality (T₅) and measurement independence (T₆) further yield the Bell factorization:

$$P(A, B | a, b) = \sum_\lambda P(\lambda) P(A | a, \lambda) P(B | b, \lambda).$$

This structure imposes the CHSH inequality $|S| \leq 2$ for the Clauser-Horne-Shimony-Holt combination $S$, yet quantum mechanics predicts $|S| = 2\sqrt{2} > 2$ for maximally entangled states—an empirically verified quantum violation (DeBrota et al., 1 Dec 2025).

T₇ (non-solipsism) ensures the paradigm of independent observers, without which the entire Bell scenario (and thus the incompatibility) collapses.

3. Interpretive Taxonomy: Families Corresponding to Abandoning One Thesis

Different quantum mechanical interpretations can be classified by which single thesis they deny, as summarized below.

Dropped Thesis	Interpretation Family
T₅ Locality	de Broglie–Bohm, GRW collapse, transactional, wavefunction realism
T₆ Measurement Independence	Superdeterminism, cellular automaton models (’t Hooft)
T₇ Non-Solipsism	Solipsistic QBism
T₁ Measurement Realism	Many-worlds without probabilities, Copenhagen variants
T₂ Non-Relationalism	Relational QM, pragmatic/Healey-style, Brukner’s observer-dependent facts
T₃ Non-Fragmentation	Quantum logic, sheaf-theoretic contextuality, Bub–Pitowsky non-Boolean event structures
T₄ One World	QBism (pluriverse/agent-centric), many-minds

Thus, each major interpretation of quantum mechanics is situated as a specific response to the heptalemma—namely, by rejecting a particular classical thesis that is unsustainable in light of quantum predictions (DeBrota et al., 1 Dec 2025).

4. Diagnostic Criterion: Classicality versus Quantum Theory

A domain is classical if it admits a consistent realization of all seven theses. In formal terms:

$$\text{Theory } \Theta \text{ is classical} \iff \Theta \text{ is jointly consistent with } \{ T_1, \ldots, T_7 \}.$$

Quantum mechanics fails this test. This diagnostic sharpens the operational distinction between quantum and classical physical theories. Domains such as Newtonian mechanics or classical thermodynamics satisfy all seven, while quantum mechanics does not—identifying precisely “how” and “why” quantum theory is non-classical (DeBrota et al., 1 Dec 2025).

5. Heptalemma Axiomatization: Seven-Law Foundations for Quantum Mechanics

A complementary development distills quantum mechanics into seven precisely stated laws or lemmas, emphasizing mathematical clarity and discarding ambiguous or negative historical terminology (Yajnik, 2023):

1. State Functions: Quantum states form a complex Hilbert space obeying superposition, equipped with a Hermitian inner product:

$P(A | a, b, B, \lambda) = P(A | a, \lambda)$0

1. Observables: Represented by Hermitian operators with real eigenvalues and eigenstates forming orthonormal bases.
2. Change of Basis: Implemented by unitary operators $P(A | a, b, B, \lambda) = P(A | a, \lambda)$1:

$P(A | a, b, B, \lambda) = P(A | a, \lambda)$2

with $P(A | a, b, B, \lambda) = P(A | a, \lambda)$3.

1. Measurement and Probabilities: Described by projection operators; probability for outcome $P(A | a, b, B, \lambda) = P(A | a, \lambda)$4 in state $P(A | a, b, B, \lambda) = P(A | a, \lambda)$5 is $P(A | a, b, B, \lambda) = P(A | a, \lambda)$6; measurement averages are

$P(A | a, b, B, \lambda) = P(A | a, \lambda)$7

2. Quantum Kinematics: Operators need not commute,

$P(A | a, b, B, \lambda) = P(A | a, \lambda)$8

and in particular

$P(A | a, b, B, \lambda) = P(A | a, \lambda)$9

encoding non-commutativity and uncertainty.

3. Quantum Dynamics: Evolution described in (a) the Heisenberg picture

$P(B | a, b, A, \lambda) = P(B | b, \lambda)$0

(b) the Schrödinger picture

$P(B | a, b, A, \lambda) = P(B | b, \lambda)$1

and (c) the path integral (Dirac–Feynman) formulation.

4. Symmetrization Postulates: Multi-quantum (Fock) space admits only symmetrized states for bosons and anti-symmetrized for fermions:

$P(B | a, b, A, \lambda) = P(B | b, \lambda)$2

This seven-law axiomatic heptalemma eliminates ambiguous language (such as “wave-particle duality,” “collapse,” or “indistinguishability”) in favor of operator-theoretic precision (Yajnik, 2023).

6. Significance for Quantum Foundations and Pedagogy

The heptalemma as a no-go theorem offers a sharp map of the logical terrain of quantum foundations by specifying exactly which “classical” intuitions must be abandoned and in what way different interpretations do so. Its seven-law axiomatization, formulated without historically-laden or negative terminology, allows for a standardized and neutral approach to teaching quantum mechanics, clarifying the structural non-classicality with concrete operator algebra and measurement theory. Familiar phenomena such as the double-slit experiment or Bose–Einstein condensation instantiate specific laws within this framework (DeBrota et al., 1 Dec 2025, Yajnik, 2023).

7. Outlook: Applications Beyond Quantum Mechanics

The heptalemma provides a general diagnostic tool: for any scientific domain, one can assess classicality by checking the joint satisfiability of the seven theses. If a domain fails, one identifies the precise manner in which it deviates, thereby sharpening distinctions in the broader logical and foundational taxonomy of scientific theories. The approach is not confined to quantum mechanics but applies to any empirical science seeking to map the logical interdependencies among reality, measurement, and locality (DeBrota et al., 1 Dec 2025).