{"id":"27ac7b07-3d56-40d7-87c5-d6417e308c4a","arxiv_id":"2506.09062","paper_version":1,"verdict":"REJECT","confidence":"HIGH","novelty_score":3.0,"correctness_risk":"high","formal_verification":"none","parameter_count":0,"one_line_summary":"The paper claims PBR's central mapping between wavefunctions and hidden-state distributions contradicts quantum mechanics' linear superposition structure, so PBR's conclusion is invalid.","lead":"This paper argues that the Pusey, Barrett, and Rudolph (PBR) theorem, a famous proof that the quantum wavefunction is physically real, is invalid because its starting assumption about hidden states is inconsistent. The author concludes that the debate on whether wavefunctions are information or physicality remains open.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The proof in Sec. II.A depends on an extra, unstated assumption that a superposition's ontic distribution must be a combination of the superposed states' distributions; PBR's definitions impose no such linearity, so the claimed contradiction does not follow.","rationale":"The reader's weakest-assumption diagnosis is exactly the load-bearing defect. The paper's only route to a contradiction is its assertion that the distribution for a superposition is built from the distributions of the superposed orthogonal states. That assertion is neither an axiom of quantum mechanics nor a consequence of the PBR definitions; in ontological models, each preparation procedure has its own distribution, and the map from Hilbert-space vectors to probability measures is not required to be linear or even functional in the vectorial sense. The fact that a Hilbert-space equality |ψ+>=(|ψ1>+|ψ2>)/√2 holds says nothing about how the ontic distributions for the corresponding preparations must relate. Without the extra premise, the common-support claim for |ψ+> and |ψ-> is unsupported, and the examples in the paper (spin states, identical particles, entangled measurements) merely repeat the same non sequitur in different notation. The paper does contain some correct remarks—PBR's no-go result applies only to hidden-variable-style ψ-epistemic models, and ordinary quantum calculations do not invoke ontic states—but those remarks are not new and do not amount to a refutation of PBR. Because the central proof fails at its first step and no independent evidence (formal verification, working code, or a nontrivial derivation) is supplied, the reader's REJECT verdict stands. A single targeted check—formally deriving Sec. II.A from the standard definitions, or exhibiting an ontological model satisfying those definitions with disjoint μψ+ and μψ-—would settle the point; the latter already exists in the literature and is not addressed by the paper.","tokens_in":10886,"tokens_out":6278,"duration_ms":65249,"concrete_test":"Formalize the Harrigan-Spekkens definitions and PBR's assumptions in a proof checker, and attempt to derive the sentence in Sec. II.A: μ_{|ψ+>} is a combination of μ_{|ψ1>} and μ_{|ψ2>}. The derivation will fail because no axiom licenses it; as a control, add the explicit model μψ = δ_ψ for every pure state, which satisfies the axioms and reproduces all projective-measurement statistics with μ_{|ψ+>} and μ_{|ψ->} disjoint. If the derivation cannot be completed without importing the combination condition, the contradiction is an artifact of that extra premise.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's central argument in Section II.A is a non sequitur. In the Harrigan-Spekkens/PBR framework, an ontological model assigns to each preparation procedure P_ψ an arbitrary probability measure μψ(λ) over a space of ontic states Λ, with measurement probabilities obtained by averaging response functions over μψ. Nothing in that definition, nor in PBR's preparation-independence and measurement assumptions, requires μ_{|ψ+>} to be a convex combination or any function of μ_{|ψ1>} and μ_{|ψ2>} when |ψ+>=(|ψ1>+|ψ2>)/√2. A superposition is a distinct preparation, not a probabilistic mixture of the two component preparations. The sentence 'the total equivalence of the ψ-states on both sides of the equal sign implies that the state |ψ+> is mapped to some combination of the non-overlapping distributions μψ1(λ) and μψ2(λ)' is therefore an additional postulate, and it is not part of PBR. If μψ+ and μψ- are allowed to be arbitrary, as they are in standard ψ-ontic models, there need be no common support and the orthogonality of |ψ+> and |ψ-> creates no contradiction. The same missing premise underlies Sections II.B and II.C. Thus the paper's claim that PBR's starting assumption is internally inconsistent is unsupported; the refutation collapses once the extra linearity premise is dropped.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper argues that the Pusey–Barrett–Rudolph (PBR) theorem is invalid because its starting assumption—that a wavefunction |ψ⟩ is mapped to a distribution μψ(λ) of hidden physical states—contradicts the linear structure of quantum mechanics together with Born's rule. The author presents several lines of argument: in Section II.A, superpositions such as |ψ±⟩=(|ψ1⟩±|ψ2⟩)/√2 must be mapped to combinations of the non-overlapping distributions μψ1 and μψ2, forcing orthogonal states to share physical states; in Section II.B, overlapping distributions for non-orthogonal states imply a nonzero probability for projecting onto a state orthogonal to the prepared state; in Section II.C, symmetric and antisymmetric two-particle states cannot both be formed from the same distributions; and in Section III.B, projective measurements in an entangled basis break the assumed product-state mapping. The paper concludes that PBR rules out only a specific unphysical model, not ψ-epistemic interpretations in general.","tokens_in":11146,"tokens_out":6793,"duration_ms":61458,"significance":"If the argument were correct, it would undermine a prominent no-go theorem in quantum foundations. The paper is clearly written and gives a careful restatement of the PBR construction in Section III.B, and it is right that any ontological model must specify how joint measurements in entangled bases are represented. However, the central mathematical claim is not supported. The step from the Hilbert-space equality |ψ+⟩=(|ψ1⟩+|ψ2⟩)/√2 to a constraint on probability measures μψ(λ) is an additional assumption that is foreign to the PBR framework. Standard ontological models assign each preparation an arbitrary measure, with no linearity or convex-combination condition relating measures of superpositions to those of their components. The paper offers no derivation of this condition from PBR's stated assumptions, and it supplies no machine-checked or independently verifiable proof. The repeated use of the same unsupported premise in Sections II.A–II.C and III.B means that the main result—the inconsistency of PBR's starting assumption—does not follow. If the premise is dropped, the alleged contradictions disappear.","major_comments":[{"comment":"The load-bearing step is the claim that |ψ+⟩ 'is mapped to some combination of the non-overlapping distributions μψ1(λ) and μψ2(λ)' because of the 'total equivalence of the ψ-states on both sides of the equal sign.' This is not a consequence of the PBR framework. In the Harrigan–Spekkens/PBR definition, an ontological model assigns to each preparation procedure P_ψ an arbitrary probability measure μ_ψ(λ) over Λ; no condition requires μ_{|ψ+⟩} to be a function of μ_{|ψ1⟩} and μ_{|ψ2⟩} when |ψ+⟩=(|ψ1⟩+|ψ2⟩)/√2. A superposition is a distinct preparation, not a probabilistic mixture. Without this extra combination premise, the conclusion that |ψ+⟩ and |ψ−⟩ share physical states does not follow, and the orthogonality of |ψ+⟩ and |ψ−⟩ creates no contradiction.","section":"II.A, Eq. (1)"},{"comment":"The overlap argument conflates the ontic state λ with the quantum state. If λ lies in the overlap of μψ1 and μψ2, PBR's definition says only that the same λ is compatible with both states; it does not imply that a measurement on the prepared state ψ1 behaves as if the state were ψ2 with probability q/2. The probability of outcome corresponding to projector |ψ1'⟩⟨ψ1'| is ∫ μψ1(λ) ξ_{ψ1'}(λ) dλ, and this can vanish even when μψ1 and μψ2 overlap, because response functions need not be proportional to the overlap. The asserted violation of ⟨ψ1'|ψ1⟩=0 is therefore not established.","section":"II.B"},{"comment":"The entanglement argument rests on a misunderstanding of what is mapped in PBR. PBR maps prepared product states to distributions; the final measurement, even if in an entangled basis, is simply a joint measurement on the two physical states λ1 and λ2. Nothing in PBR requires the measurement device itself to be associated with a quantum state, nor does performing an entangled measurement 'break' the preparation mapping. The statement that 'the original mapping between the ψ-functions and the distributions of physical states is broken' conflates preparations with measurements, and it is load-bearing for the author's claim that PBR needs extra assumptions about entangled states.","section":"III.B"},{"comment":"The identical-particle argument relies on the same unjustified combination premise. The states |Ψd⟩ and |Ψe⟩ are not independent preparation procedures with separate PBR distributions in the relevant sense: for identical particles, the symmetrized and antisymmetrized states are not obtained by probabilistically mixing two distinguishable preparations. Moreover, the conclusion that 'there are no physical states corresponding to |Ψa⟩ when x1=x2' depends on the unsupported assumption that μ_{Ψa} is built from μ_{Ψd} and μ_{Ψe}. This section does not provide an independent demonstration of inconsistency.","section":"II.C"},{"comment":"The concluding claim that 'the ontological status of the wavefunction cannot be determined by a standard process involving the preparation and projective detection of quantum states' does not follow from the alleged flaw in PBR. Even if the author's criticisms of PBR were valid, that would only show that one particular theorem fails; the broader claim would require a separate argument that no preparation-and-measurement scheme can bear on the ontic/epistemic distinction. This overreach is not supported by the body of the paper.","section":"IV"}],"minor_comments":[{"comment":"The name 'Rudolf' in 'Pusey, Barrett and Rudolf' is a misspelling; the published name is 'Rudolph' (see reference [10]).","section":"Introduction"},{"comment":"The expansion of ⟨ψ−|ψ+⟩ is written with incorrect signs; the terms should be (1/2)(⟨ψ1|ψ1⟩ + ⟨ψ1|ψ2⟩ − ⟨ψ2|ψ1⟩ − ⟨ψ2|ψ2⟩). The zero result is unaffected for orthonormal states, but the displayed equation as written is wrong.","section":"II.A, Eq. (1)"},{"comment":"The phrase 'projective measurements in the basis {|ψ1⟩,|ψ1⟩}' should presumably read '{|ψ1⟩,|ψ2⟩}'.","section":"II.A"},{"comment":"The relation between the overlap probability q and the factor q/2 is not defined; Figure 2 depicts q as an area, but the text never gives the precise normalization.","section":"II.B"},{"comment":"The author of 'Are quantum states real?' is Lucien Hardy, not 'Hardy P.'.","section":"Reference [13]"},{"comment":"The abbreviation 'PRB' in 'the PRB general claim' should be 'PBR'.","section":"Introduction"}],"recommendation":"reject","confidential_remarks":"The manuscript's central argument appears to rest on a misunderstanding of the PBR framework, and I do not see a way to repair it without changing the thesis. The author's self-citations, references [22] and [24], are used for supporting background claims rather than as the basis of the main proof, so I do not view the citation pattern as the primary concern; the primary concern is the missing logical premise identified in the major comments."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nThe paper tries to refute PBR by claiming its central assumption—mapping a quantum state to a distribution over ontic states—contradicts the linearity of quantum superpositions. The specific new claim is that linearity forces the distribution for |ψ+⟩ = (|ψ1⟩+|ψ2⟩)/√2 to be a combination of the distributions for |ψ1⟩ and |ψ2⟩. That premise is not part of the ontological models framework. In Harrigan-Spekkens/PBR, each preparation procedure maps to an arbitrary probability measure over λ; nothing requires the map to be linear or to respect convex combinations. A superposition is a distinct preparation, not a probabilistic mixture of the components. Without that extra assumption, the alleged contradiction between |ψ+⟩ and |ψ−⟩ sharing common support disappears. The same missing premise runs through Sections II.B and II.C, so the central proof fails.\n\nWhat the paper does well: it correctly stresses that PBR applies only to models that posit a distribution over hidden states, and that purely operational ψ-epistemic views are outside its scope. That point is already in the literature—Leifer's review covers it—but the paper states it clearly. The paper also notes, properly, that the 'real physical state' assumption is a substantive choice.\n\nSoft spots beyond the main gap: Section II.B confuses overlap of distributions with measurement outcome probabilities; overlapping support doesn't force a nonzero outcome for an orthogonal projection, since response functions are not fixed by the overlap. The identical-particle argument again assumes the combination premise. The discussion of local unitary transformations and the claim that PBR cannot address the wavefunction's ontology at all are overreach—PBR only targets a restricted class of epistemic models, and the empirical argument doesn't establish the paper's conclusion.\n\nBottom line: the paper is not a sound criticism of PBR. The load-bearing premise is asserted, not derived, and it conflicts with the framework's definitions. I wouldn't send this to peer review; a competent referee would identify the non sequitur quickly. A reader wanting a better explanation of PBR's scope should go to Leifer's review or Harrigan and Spekkens. This paper adds a flawed argument on top of a correct but already-known caveat.","headline":"The central argument is a non sequitur: PBR does not require the map from quantum states to ontic distributions to be linear, so the paper's refutation collapses.","tokens_in":11667,"tokens_out":3202,"would_cite":false,"duration_ms":31527,"reading_group":"no","serious_thinker":"yes","would_accept_peer_review":false},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"The PBR theorem fails because its hidden-state mapping contradicts superposition and Born's rule.","keywords":["quantum state ontology","PBR theorem","psi-epistemic models","wavefunction reality","Born's rule","quantum superposition","hidden variable distributions","foundations of quantum mechanics"],"falsifier":"A concrete check would be to construct a ψ-epistemic model that assigns each quantum state its own distribution without requiring superpositions to inherit combinations of base-state distributions, while still reproducing all quantum predictions for projective measurements. The paper's Section II.B derivation implies that any overlap $q$ between two non-orthogonal states forces a nonzero probability proportional to $q|\\langle \\psi'_1|\\psi_2\\rangle|^2$ for a projection onto a state orthogonal to the prepared one; a working model that avoids that forced probability while matching quantum statistics would refute the paper's derivation.","tokens_in":10624,"feed_emoji":"⚛️","tokens_out":11283,"duration_ms":106267,"temperature":0.7,"pith_summary":"This paper targets the widely cited PBR no-go theorem, which claims to prove that quantum wavefunctions are physically real by ruling out all ψ-epistemic models. The author argues that PBR's opening move—associating each wavefunction with a distribution of hypothetical underlying physical states—contradicts the linear structure of quantum superpositions together with Born's quadratic probability rule. If the author is right, the PBR proof cannot establish the ontological reality of the wavefunction, and the question of whether ψ is a catalogue of expectations or a real field remains open. The paper further contends that ordinary preparation-and-projective-measurement statistics are in principle unable to settle that question.","feed_headline":"PBR wavefunction-reality proof rests on a flawed mapping","feed_subtitle":"The paper argues the wavefunction-to-physical-state mapping breaks superposition, so the reality question stays open.","key_machinery":"The load-bearing object is the PBR mapping $\\mu_\\psi(\\lambda)$ from a quantum state to a distribution of underlying physical states, tested against the superposition identities of the linear vector space. The engine of the argument is the pair of states $|\\psi_+\\rangle = (|\\psi_1\\rangle + |\\psi_2\\rangle)/\\sqrt{2}$ and $|\\psi_-\\rangle = (|\\psi_1\\rangle - |\\psi_2\\rangle)/\\sqrt{2}$: if the base states have non-overlapping distributions, both superpositions must be combinations of those same distributions, forcing a shared physical state for mutually orthogonal quantum states. The same mechanism is then applied to continuous distributions, where an overlap $q$ between non-orthogonal states is shown to force a nonzero probability for projecting a prepared state onto a state orthogonal to it, and to identical-particle symmetries, where the antisymmetric state must vanish as $x_1 \\to x_2$.","core_discovery":"The paper's central claim is that the PBR no-go theorem does not prove the reality of the quantum state, because its initial mapping from a wavefunction to a distribution of hypothetical physical states is internally inconsistent with the linear structure of quantum superpositions and with Born's rule. For two orthogonal states $|\\psi_1\\rangle$ and $|\\psi_2\\rangle$ assigned non-overlapping distributions $\\mu_{\\psi_1}(\\lambda)$ and $\\mu_{\\psi_2}(\\lambda)$, the theorem's logic forces the superposition $|\\psi_+\\rangle = (|\\psi_1\\rangle + |\\psi_2\\rangle)/\\sqrt{2}$ and the orthogonal superposition $|\\psi_-\\rangle = (|\\psi_1\\rangle - |\\psi_2\\rangle)/\\sqrt{2}$ to draw on the same pair of distributions, producing a common physical state for two states whose inner product is $\\langle \\psi_+ | \\psi_-\\rangle = 0$. Since projective measurements forbid any overlap between orthogonal states, the author concludes that the PBR mapping is invalid, and that what PBR actually rules out is only its own unphysical model—not ψ-epistemic interpretations generally.","pith_inferences":["By extension, other ψ-ontology theorems that rely on assigning distributions to superposed states as mixtures may face the same linearity obstruction, even if the paper only names PBR.","A constructive way to press the point would be to write down an explicit epistemic model that reproduces quantum predictions while assigning distributions independently to every state in a basis, and to check where it violates PBR's assumptions rather than linearity.","The author's positive suggestion—an ontic underlying wave-like entity whose ensemble average is the epistemic wavefunction—is programmatic; the paper does not provide that theory, only argues that the option remains open.","If the PBR theorem is invalid, experimental tests inspired by it should be reinterpreted as tests of the specific hidden-state model, not as direct evidence about the nature of ψ."],"forward_implications":["The PBR theorem no longer rules out ψ-epistemic accounts of quantum mechanics; only the specific hidden-state model PBR postulates is excluded.","No experiment built from state preparation and projective measurement can decide whether the wavefunction is ontic or epistemic, because all quantum statistics are insensitive to that distinction.","Interference experiments that alter phases and magnitudes locally indicate some real propagating entity, though not necessarily the wavefunction itself, so an ontic theory with an epistemic wavefunction remains a live option.","The PBR scenario requires additional, unstated assumptions once two systems are entangled, because the original mapping from individual states to distributions no longer applies."],"supporting_citations":[{"why":"The target theorem: it introduces the central assumption, mapping each quantum state to a distribution of hidden physical states, that this paper argues is inconsistent with linear superposition and Born's rule.","marker":"[10]"},{"why":"The source of the definitions of ψ-epistemic and ψ-ontic models as overlapping or non-overlapping distributions, which the target argument and this critique share.","marker":"[11]"},{"why":"A foundational mathematical formulation of quantum mechanics, cited to support the claim that observable statistics never depend on the physical nature of the wavefunction.","marker":"[3]"},{"why":"A standard statement of quantum principles, cited for the same independence of statistical predictions from any underlying physical-state assignment.","marker":"[4]"},{"why":"A companion result on hidden-variable incompatibility, used to connect the failure of the PBR mapping to the impossibility of dispersion-free ensembles.","marker":"[22]"}],"fun_headline_variants":["PBR reality proof collapses under superposition logic","Why PBR's wavefunction proof fails its own mapping","Quantum reality question stays open as PBR mapping breaks","PBR theorem ruled out only its own unphysical model","Wavefunction ontology unresolved: PBR's core assumption flawed"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument depends on the assumption that the hidden-state distribution for a superposition must be some combination of the distributions of the superposed states; the PBR framework itself does not require that, and if the assumption is dropped, the contradiction the paper describes does not follow.","fun_headline_variants_meta":{"raw":{"variants":["PBR reality proof collapses under superposition logic","Why PBR's wavefunction proof fails its own mapping","Quantum reality question stays open as PBR mapping breaks","PBR theorem ruled out only its own unphysical model","Wavefunction ontology unresolved: PBR's core assumption flawed"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000186,"raw_usage":{"total_tokens":1352,"prompt_tokens":1001,"completion_tokens":351,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":617,"completion_tokens_details":{"reasoning_tokens":274}},"tokens_in":617,"tokens_out":351,"duration_ms":4022,"temperature":1.0,"reasoning_tokens":274,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T10:12:56.380838+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A concrete check would be to construct a ψ-epistemic model that assigns each quantum state its own distribution without requiring superpositions to inherit combinations of base-state distributions, while still reproducing all quantum predictions for projective measurements. The paper's Section II.B derivation implies that any overlap $q$ between two non-orthogonal states forces a nonzero probability proportional to $q|\\langle \\psi'_1|\\psi_2\\rangle|^2$ for a projection onto a state orthogonal to the prepared one; a working model that avoids that forced probability while matching quantum statistics would refute the paper's derivation.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"The target theorem: it introduces the central assumption, mapping each quantum state to a distribution of hidden physical states, that this paper argues is inconsistent with linear superposition and Born's rule."},{"cited_title":"Could wavefunctions simultaneously represent knowledge and reality?","cited_arxiv_id":null,"evidence_quote":"The source of the definitions of ψ-epistemic and ψ-ontic models as overlapping or non-overlapping distributions, which the target argument and this critique share."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"A foundational mathematical formulation of quantum mechanics, cited to support the claim that observable statistics never depend on the physical nature of the wavefunction."},{"cited_title":"a measur- ing instrument is uncertain about which state was prepared, and is being projected","cited_arxiv_id":null,"evidence_quote":"A standard statement of quantum principles, cited for the same independence of statistical predictions from any underlying physical-state assignment."}],"review_version":1}