A Heptalemma for Quantum Mechanics

Christian List; John B. DeBrota

arxiv: 2512.01982 · v3 · submitted 2025-12-01 · 🪐 quant-ph · physics.hist-ph

A Heptalemma for Quantum Mechanics

John B. DeBrota , Christian List This is my paper

Pith reviewed 2026-05-17 02:29 UTC · model grok-4.3

classification 🪐 quant-ph physics.hist-ph

keywords quantum mechanicsno-go resultheptalemmainterpretations of quantum mechanicsclassicalityphysical realitytaxonomy of interpretations

0 comments

The pith

Seven initially plausible theses about physical reality are jointly inconsistent with quantum mechanics predictions, but any six of them are consistent.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes a heptalemma showing that seven common assumptions about how the physical world works cannot all hold if the predictions of quantum mechanics are correct. Dropping any one of the seven restores consistency with those predictions. This forces every account of quantum reality to choose which assumption to abandon. Different interpretations of quantum mechanics make different choices, which produces a new classification of those interpretations. The same logical structure also gives a way to check whether any scientific domain counts as classical or to identify exactly how it departs from classical behavior.

Core claim

The heptalemma is a seven-pronged no-go result demonstrating that seven initially plausible theses about physical reality are jointly inconsistent with the predictions of quantum mechanics, while every subset of six theses remains consistent with those predictions. Accepting quantum mechanics therefore requires rejecting at least one of the seven theses, and each standard interpretation corresponds to a distinct pattern of rejection.

What carries the argument

The heptalemma, a logical structure that derives an inconsistency between quantum mechanics predictions and the full set of seven theses while showing consistency for every selection of six.

Load-bearing premise

The seven theses are accurately identified as initially plausible and the claimed logical inconsistency with quantum mechanics predictions is correctly derived without hidden premises.

What would settle it

A demonstration that all seven theses can hold simultaneously while still reproducing the full set of quantum mechanics predictions would falsify the heptalemma.

Figures

Figures reproduced from arXiv: 2512.01982 by Christian List, John B. DeBrota.

**Figure 1.** Figure 1: Bell’s assumptions illustrated particles (λ).5 This dependency structure can be shown to satisfy the CHSH inequality, as explained in detail in the appendix. Of course, there will be some correlations in the present system, but in the simple model of [PITH_FULL_IMAGE:figures/full_fig_p005_1.png] view at source ↗

read the original abstract

We present a seven-pronged no-go result for quantum mechanics: a "heptalemma". It shows that seven initially plausible theses about physical reality are jointly inconsistent with the predictions of quantum mechanics, while any six are jointly consistent. We must then decide which theses to retain and which to give up. Since different interpretations of quantum mechanics entail different responses to the heptalemma, we get a novel taxonomy of such interpretations. Beyond the application to quantum mechanics, the heptalemma offers a general diagnostic criterion for determining whether a given scientific domain should count as classical or not, and if not, how it departs from classicality.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The paper presents a 'heptalemma' as a seven-pronged no-go result for quantum mechanics. It identifies seven initially plausible theses about physical reality, shows that their conjunction is inconsistent with standard quantum predictions, and demonstrates that any six theses remain jointly consistent with those predictions. The result is then used to classify quantum interpretations according to which thesis each abandons and to propose a general diagnostic for whether a scientific domain counts as classical.

Significance. If the logical mapping from the seven theses to a contradiction with quantum mechanics is shown to be free of hidden premises, the heptalemma would supply a systematic taxonomy of interpretations and a criterion for departures from classicality. The manuscript's value would lie in its attempt to make the choice among interpretations more explicit and falsifiable through the six-thesis consistency constructions.

major comments (2)

[§3] §3 (Formalization of the Theses): The translation of the seven informal theses into statements that, together with quantum predictions, yield a contradiction appears to introduce an additional premise concerning outcome definiteness or the completeness of the physical description. This premise is not explicitly listed among the seven theses, so the claimed inconsistency does not yet follow from the stated premises alone.
[§4] §4 (Proof of the Heptalemma): The manuscript must exhibit explicit models or constructions demonstrating that each six-thesis subset is satisfiable with quantum mechanics. Without these constructions, the claim that 'any six are jointly consistent' remains an assertion rather than a verified result.

minor comments (2)

[Abstract and §1] The abstract and introduction use the term 'initially plausible' without a clear criterion for plausibility; a brief justification or reference to prior literature on each thesis would help.
[§2] Notation for the seven theses is introduced informally; a numbered list or table summarizing each thesis and its formal counterpart would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful and constructive report. The comments raise substantive issues about the formalization and the consistency claims, which we address directly below.

read point-by-point responses

Referee: [§3] §3 (Formalization of the Theses): The translation of the seven informal theses into statements that, together with quantum predictions, yield a contradiction appears to introduce an additional premise concerning outcome definiteness or the completeness of the physical description. This premise is not explicitly listed among the seven theses, so the claimed inconsistency does not yet follow from the stated premises alone.

Authors: We maintain that the formalization in §3 introduces no additional premise. The seven theses are translated directly into formal statements whose conjunction, together with the standard quantum predictions, yields the contradiction. Any reference to outcome definiteness is already contained within the theses themselves (in particular, those addressing the definiteness of physical properties and the results of measurements). The derivation proceeds from these premises alone. To remove any possible ambiguity, we will revise §3 to include an explicit, step-by-step logical breakdown of the entailment. revision: partial
Referee: [§4] §4 (Proof of the Heptalemma): The manuscript must exhibit explicit models or constructions demonstrating that each six-thesis subset is satisfiable with quantum mechanics. Without these constructions, the claim that 'any six are jointly consistent' remains an assertion rather than a verified result.

Authors: We agree that explicit constructions would render the consistency claims fully verifiable. The present manuscript argues for consistency by exhibiting compatibility with existing interpretations or simple models for each six-thesis subset. In the revised version we will supply brief but explicit constructions (or precise references to models) for each of the seven cases, thereby converting the claim into a demonstrated result. revision: yes

Circularity Check

0 steps flagged

No significant circularity in the heptalemma logical derivation

full rationale

The paper derives a logical inconsistency between seven theses on physical reality and quantum mechanics predictions as a direct no-go result, with each six-thesis subset remaining consistent. No steps reduce by construction to fitted parameters, self-definitions, or load-bearing self-citations; the argument is presented as a formal translation of the theses into statements that yield contradictions with QM without hidden premises or renaming of known results. The derivation chain is self-contained against the stated premises and external QM predictions.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the logical derivation of inconsistency between the seven theses and quantum predictions plus the assumption that the theses are plausible starting points.

axioms (1)

domain assumption Seven specific theses about physical reality are initially plausible.
The paper takes these theses as reasonable starting points for the no-go result.

pith-pipeline@v0.9.0 · 5391 in / 1080 out tokens · 56388 ms · 2026-05-17T02:29:09.839057+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

2 extracted references · 2 canonical work pages

[1]

IfB(b, λ) =B(b ′, λ), thenB(b, λ) +B(b ′, λ) =±2 andB(b, λ)−B(b ′, λ) = 0, so S(λ) =±2A(a, λ)

work page
[2]

In all cases|S(λ)|= 2

IfB(b, λ) =−B(b ′, λ), thenB(b, λ) +B(b ′, λ) = 0 andB(b, λ)−B(b ′, λ) =±2, so S(λ) =±2A(a ′, λ). In all cases|S(λ)|= 2. Averaging overλwithP(λ) gives |S|= X λ P(λ)S(λ) ≤ X λ P(λ)|S(λ)|= 2.(14) Therefore, for anydeterministictheory satisfying the Bell theses, |E(a, b) +E(a, b ′) +E(a ′, b)−E(a ′, b′)| ≤2,(15) which is the CHSH inequality. This proof strai...

work page 1980

[1] [1]

IfB(b, λ) =B(b ′, λ), thenB(b, λ) +B(b ′, λ) =±2 andB(b, λ)−B(b ′, λ) = 0, so S(λ) =±2A(a, λ)

work page

[2] [2]

In all cases|S(λ)|= 2

IfB(b, λ) =−B(b ′, λ), thenB(b, λ) +B(b ′, λ) = 0 andB(b, λ)−B(b ′, λ) =±2, so S(λ) =±2A(a ′, λ). In all cases|S(λ)|= 2. Averaging overλwithP(λ) gives |S|= X λ P(λ)S(λ) ≤ X λ P(λ)|S(λ)|= 2.(14) Therefore, for anydeterministictheory satisfying the Bell theses, |E(a, b) +E(a, b ′) +E(a ′, b)−E(a ′, b′)| ≤2,(15) which is the CHSH inequality. This proof strai...

work page 1980