{"id":"8e4c3c46-abce-4b74-a6e5-976383cfaf9c","arxiv_id":"2507.00098","paper_version":1,"verdict":"REJECT","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"high","formal_verification":"none","parameter_count":1,"one_line_summary":"The paper claims that probabilities conditioned on observability under onto-epistemic ignorance yield a non-commutative algebra isomorphic to the projection structure of quantum mechanics.","lead":"This paper argues that when a physical system's state is hidden behind a shield that blocks all information, an observer is forced to make probabilistic predictions that follow quantum mechanics, not classical probability. The authors propose that quantum randomness is a logical necessity caused by unobservability, not a mysterious feature of reality.","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The n-proposition extension in Sec. IV.C is not information-preserving: R^{3^n} has more degrees of freedom than C^{2^n}, so the claimed necessity of the QM projection structure rests on an unproved model choice.","rationale":"The paper's positive result is that a single three-valued epistemic state can be re-expressed as a qubit. I checked the single-proposition algebra: if the R^3 components are amplitudes, then [p] = cos²φ and the C^2 encoding is faithful, so the initial complexification is internally consistent. The problem is the jump at the end of Sec. IV.C: \"The extension to n propositions in C^{2n} is entirely natural.\" This is where the projection structure would have to be derived. A necessary condition for the claimed representation to be information-preserving is an injective map from the physical state space into the quantum state space. For one proposition the real projective plane and the Bloch sphere have the same dimension. For n propositions the physical space is R^{3^n} (projective dimension 3^n−1), whereas a pure state on C^{2^n} has projective dimension 2^{n+1}−2. For n=2 that is 8 versus 6, and the gap grows. The paper gives no construction that would restrict the R^{3^n} space or enlarge C^{2^n} (e.g., by mixed states or superselection sectors). Therefore the asserted correspondence to arbitrary projectors is not a theorem; it is a choice of model. The reader's objection about non-uniqueness is correct, and the dimension count makes it concrete. I do not see another internal inconsistency: the prose is clear, the limitations (static two-valued part, no dynamics) are stated, and the author honestly declares no data or code. But those limitations do not repair the missing derivation. The final verdict of REJECT is appropriate because the central claim—that onto-epistemic ignorance necessitates the quantum projection structure—is not established.","tokens_in":10314,"tokens_out":8130,"duration_ms":97258,"concrete_test":"For n=2, construct the map prescribed by Sec. IV.C explicitly from the 3×3 joint amplitude matrix (components for TT, TF, TU, FT, FF, FU, UT, UF, UU) to a normalized vector in C^4. Compute the Jacobian of this map at a generic point of the R^9 unit sphere (modulo sign) and check its rank; if the rank is less than 8, find two distinct R^9 directions with the same image in CP^3. Then compute relative probabilities such as [p∧q] for both directions; if they differ, the encoding loses information and no fixed projector on C^4 can reproduce both. This directly tests the claim that the C^{2^n} representation preserves all information, and settles whether the extension is a theorem or a model choice.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Sec. IV.C asserts that the map F:(sinθ cosφ, sinθ sinφ, cosθ) → (cosφ, e^{iθ} sinφ) preserves the entire information content of the R^3 description, and that extension to n propositions in C^{2^n} is entirely natural. For a single proposition F is indeed a bijection of projective spaces (RP^2 → CP^1) and reproduces [p] = cos²φ when the R^3 components are amplitudes. The unsecured step is the multi-proposition extension. An independent joint T/F/U assignment for n propositions is a normalized vector in R^{3^n}, i.e., a point in RP^{3^n−1} of real dimension 3^n−1. A pure state in C^{2^n} modulo global phase is a point in CP^{2^n−1} of real dimension 2^{n+1}−2. For n=2 these dimensions are 8 and 6, and the gap grows with n. Consequently, the proposed complexification cannot be information-preserving unless additional constraints are imposed on the R^{3^n} space. The paper imposes none; instead it borrows tomographic locality from Refs. [23,24] and defines contextual propositions via a unitary transformation of the canonical TFU frame. That makes the projection structure and unitary freedom assumptions rather than consequences of onto-epistemic ignorance. The central claim at the end of Sec. IV.C is therefore not derived.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper argues that a specific form of ignorance, called onto-epistemic ignorance—the inability to evaluate a proposition because the phenomenal chain transmitting information is broken—forces probabilities to be conditional on observability and leads to a non-commutative algebra formally equivalent to quantum mechanics. After defining a three-valued (T, F, U) model in Section III and showing an example of non-commuting conditional products, Section IV attempts to represent these relative probabilities first in a real-vector-space form and then, via a complexification map, in C^2 and C^{2^n}. The paper concludes that the foundational principles of quantum mechanics define the algebra of semantic relations among propositions, including unobservable ones.","tokens_in":10504,"tokens_out":8158,"duration_ms":97559,"significance":"If the derivation were sound, the paper would offer a striking result: the projective structure and Born rule of quantum mechanics would follow from a purely epistemic condition, and Bell-type inequalities would be reinterpreted as strengthened inequalities involving observability. The paper is clearly written and its single-proposition geometric construction is instructive. However, the central necessity claim is not established: the complexification step is an assumption rather than a derivation, the many-proposition extension has a dimensional gap, and the Section III non-commutativity is an artifact of conditioning on different events rather than a violation of classical probability. The paper therefore does not provide a working derivation of quantum mechanics from onto-epistemic ignorance.","major_comments":[{"comment":"The claimed non-commutativity is not a violation of classical probability. In Eq. (9), [q]_p is defined using only the joint states TT and TF, which means it conditions not only on p being true and observable but also on q being observable; it excludes the TU state. Similarly, [p]_q conditions on p being observable. Equation (6) is the classical identity for a fixed joint distribution, and the two products in Eq. (16) are not both equal to the same joint probability. The inequality [p][q]_p ≠ [q][p]_q therefore follows from changing the conditioning event, not from any breakdown of the classical joint-probability theorem. This undermines the paper's motivation for abandoning classical probability.","section":"Section III, Eqs. (6)–(10)"},{"comment":"The map F: (sinθ cosφ, sinθ sinφ, cosθ) → (cosφ, e^{iθ} sinφ) is a bijection of projective spaces, but it is introduced deliberately to linearize the conditional probability [p]; it is not forced by the definitions of onto-epistemic ignorance. The subsequent claim that an arbitrary projector in C^2 corresponds to a contextual proposition 'truth of p under measurement context U' defines the semantics of rotated projectors into existence. Without an independent argument that every unitary image of the canonical TFU frame corresponds to a meaningful proposition in the original phenomenal-chain model, the full projector algebra is assumed rather than derived.","section":"Section IV.C, complexification map"},{"comment":"The assertion that the extension to n propositions in C^{2^n} is 'entirely natural' is not supported. A joint T/F/U assignment for n propositions is a normalized vector in R^{3^n}, i.e., a point in RP^{3^n−1} of real dimension 3^n−1, while a pure state in C^{2^n} modulo global phase is a point in CP^{2^n−1} of real dimension 2^{n+1}−2. For n=2 these dimensions are 8 and 6, and the gap grows with n. The proposed complexification therefore cannot preserve all information unless additional constraints are imposed on the R^{3^n} space. The paper imposes none; the appeal to tomographic locality in Refs. [23,24] imports an axiom from quantum-information derivations and does not supply the missing constraints. The footnote 7 disclaimer that independence details are 'not pursued here' confirms that the many-proposition step is left unproved.","section":"Section IV.C, n-proposition extension"},{"comment":"The central claim that 'The foundational principles of quantum mechanics define the algebra of semantic relations among propositions—even unobservable ones' is an overclaim. The paper shows that one particular representation of relative probabilities exists in C^2, but it does not prove uniqueness: it does not exclude other state spaces (e.g., real or quaternionic Hilbert spaces, or generalized probabilistic theories with more degrees of freedom) that would also accommodate the T/F/U model. The necessity of the quantum projection structure is therefore not established by the arguments given.","section":"Section IV.C, concluding claim"}],"minor_comments":[{"comment":"The acronym 'CTP' appears where 'CPT' (classical probability theory) is intended; please correct this consistently.","section":"Section IV.A heading and text"},{"comment":"The barred sets such as \\bar{A} in Eq. (37) are not defined; the notation should be introduced explicitly, for example as 'A is true and observable'.","section":"Section V, Eq. (37)"},{"comment":"The text references 'FIG. 1' but no figure appears in the manuscript; either include the figure or remove the reference.","section":"Section IV.C, Fig. 1"},{"comment":"Reference [5] is a personal account rather than a standard citation for Bell's theorem; consider replacing it with a primary or standard secondary source.","section":"References"}],"recommendation":"reject","confidential_remarks":"The manuscript's central derivation has load-bearing gaps that cannot be repaired by local edits: the Section III non-commutativity is a conditioning artifact, and the n-proposition extension in Section IV.C omits the required constraints. I recommend rejection rather than major revision because the claimed necessity result would require a substantially new derivation."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Marcello has a genuinely interesting idea: when truth is defined relative to a phenomenal chain, probabilities become conditional on observability, and that conditionalization can produce non-commutativity. The two-entity example in Section III is simple and internally consistent, and the definition of relative probability [p] captures something real. The paper is also honest about its scope: no dynamics, no continuous observables, no claim to solve the full measurement problem. That's fine.\n\nThe problem is the complexification step in Section IV.C. For a single proposition, the map from R^3 to C^2 is a bijection between projective spaces, and [p] = cos²φ falls out. But the extension to n propositions is not information-preserving, and the stress-test note is correct: an independent joint T/F/U assignment lives in R^{3^n}, a projective space of real dimension 3^n - 1, while a pure state in C^{2^n} modulo phase has real dimension 2^{n+1} - 2. For n = 2, that's 8 versus 6. You cannot pack all the semantic content into fewer degrees of freedom without imposing extra constraints, and none are given. Instead, the paper borrows tomographic locality from Hardy and from Chiribella et al., which effectively assumes the quantum structure it is trying to derive. The claim that 'an arbitrary projector corresponds to a contextual proposition' is asserted, not proven.\n\nSo the central claim—that onto-epistemic ignorance necessarily yields the projection-valued algebra of QM—doesn't hold as written. The single-qubit case is a nice toy model, but the necessity argument collapses at the multi-proposition step. The four self-citations are background rather than load-bearing, so I don't count them against the paper.\n\nWould I send it to review? Yes, actually. The question is worth asking, the prose is clear, and the flaw is precisely the kind of subtle dimensional gap a good referee could help the author see. It shouldn't be published in current form, but it deserves more than a desk reject.","headline":"The paper's two-valued example is clean, but the jump from one qubit to n propositions doesn't preserve information, so the central claim isn't demonstrated.","tokens_in":11109,"tokens_out":2359,"would_cite":false,"duration_ms":25922,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81P05","81P10"],"pacs":["03.65.Ta","03.65.Ca"],"model":"deepseek-v4-flash","headline":"Quantum mechanics is what probability becomes when some propositions cannot be observed.","keywords":["quantum mechanics","onto-epistemic ignorance","relative probability","quantum logic","Born rule","correlation inequalities","logical indeterminacy","observability"],"falsifier":"Run the paper's two-entity example with controlled shield transmission: vary the five configuration weights (for instance $\\Pi=|WW|$ and $\\epsilon=|Ww|$ over the unit simplex) and measure the visible frequencies. The map to $\\mathbb{C}^2$ fixes a relation between the non-commutative gap $[p][q]_p-[q][p]_q$ and the individual relative probabilities $[p]$ and $[q]$; any observed pair falling outside that relation, or any classical T/F/U joint distribution whose relative probabilities no state/projector pair in $\\mathbb{C}^{2^n}$ can reproduce, would refute the claimed equivalence.","tokens_in":9993,"feed_emoji":"⚛️","tokens_out":16927,"duration_ms":162315,"temperature":0.7,"pith_summary":"This paper sets out to show that the mathematical heart of quantum mechanics is not an assumption about nature but an epistemic necessity. When a proposition's truth cannot be observed because the chain carrying information from system to observer is objectively broken, the author argues, probabilities must be conditioned on observability and stop commuting. The only linear algebra that restores ordinary Boolean negation is the quantum one: states become rays, propositions become projectors, and probability becomes the Born rule. If the argument holds, the interpretation of the cat-in-the-box thought experiment and of the classical correlation inequalities shifts from ontology to the structure of observation itself.","feed_headline":"Broken information chains force quantum mechanics","feed_subtitle":"A derivation shows the projector structure and Born rule follow from propositions being unobservable.","key_machinery":"The central object is the map from the single-proposition truth-observability space $\\mathbb{R}^3$ (coordinates T, F, U) to a ray in $\\mathbb{C}^2$: $(\\sin\\theta\\cos\\phi,\\sin\\theta\\sin\\phi,\\cos\\theta)\\mapsto(\\cos\\phi,e^{i\\theta}\\sin\\phi)$. This map linearises the relative probability $[p]=|p\\land\\bar{p}|/|\\bar{p}|$; in the new coordinates $[p]=\\langle s'|P|s'\\rangle$ for $P=\\mathrm{diag}(1,0)$, and negation is $I-P$. An arbitrary projector in $\\mathbb{C}^2$ is read as a contextual proposition, 'p is true under measurement context U', for a unitary rotation U of the T/F/U frame; the extension to n propositions uses tomographic locality to produce a state in $\\mathbb{C}^{2^n}$.","core_discovery":"The paper's central claim is that the foundational postulates of quantum mechanics—Hilbert space, state vectors, Hermitian operators, and the Born rule—are the algebra of semantic relations among propositions, including propositions whose truth cannot be observed. Starting from onto-epistemic ignorance (a broken phenomenal chain rather than subjective ignorance), it defines the empirically accessible probability $[p]$ as the probability of $p$ conditional on $p$ being observable. In the three-state space of true-observable, false-observable, and unobservable, conditional probability becomes non-commutative, and the linearisation that restores Boolean negation is exactly the passage from real directions to rays in $\\mathbb{C}^2$. The paper concludes that the classical correlation inequalities are not violated as theorems of logic; what experiments test is a strengthened form with every proposition replaced by 'true and observable', and that strengthened form can fail because membership of an element in $B$ may be unobservable.","pith_inferences":["Editorial inference: if the derivation is right, a controllable information shield around a classical system should produce quantum-like non-commutative statistics in a coarse-grained observable description; this is a testable consequence the paper leaves implicit.","Editorial inference: the $\\mathbb{R}^3$-to-$\\mathbb{C}^2$ map is not proven unique, so the strongest next step would be to derive it from symmetry or information-preservation axioms; absent that, alternative linearisations could lead to other probabilistic theories.","Editorial inference: the paper's three-way T/F/U trichotomy is the minimal case; adding further unobservable grades or contexts may yield higher-dimensional algebras, so the restriction to qubits is a modelling choice worth probing.","Editorial inference: the earlier logical-indeterminacy programme and the present onto-epistemic condition look like two aspects of a single epistemic principle; cases combining logical independence with broken phenomenal chains might yield inequalities not covered by either treatment."],"forward_implications":["Empirical tests of the classical correlation inequalities actually test strengthened versions in which each proposition is replaced by 'true and observable'; unobservable membership can make the strengthened inequality false without violating ordinary logic.","Non-commutative relative probabilities and the Born rule follow from decidability, so even a simple deterministic classical system becomes quantum-probabilistic for a shielded observer.","The dynamical equation of motion is not derived; it remains the Hamiltonian dynamics expressed inside the derived quantum algebra.","The projector structure of quantum logic covers arbitrary contextual propositions defined by unitary transformations of the T/F/U frame, not only the original observable ones.","The construction extends to any finite number of propositions via tomographic locality, giving a state in $\\mathbb{C}^{2^n}$."],"supporting_citations":[{"why":"Supplies the classical inequality that the paper reinterprets as a strengthened inequality involving observability.","marker":"[2]"},{"why":"Defines classical probability as a set-theoretic measure, the framework whose joint-probability theorem is shown to fail for relative probabilities.","marker":"[7]"},{"why":"Supplies the result that logical independence of propositions leads to quantum randomness in suitable experimental encodings.","marker":"[18]"},{"why":"Shows quantum complementarity as logical indeterminacy, the framework the paper extends to unobservable propositions.","marker":"[20]"},{"why":"Provides the analysis of the measuring process and the movable cut, from which the paper takes the idea of a phenomenal chain.","marker":"[21]"},{"why":"Establishes tomographic locality as the principle used to extend the single-proposition construction to n propositions.","marker":"[23]"},{"why":"Provides the informational derivation of quantum theory invoked alongside tomographic locality for the same extension.","marker":"[24]"}],"fun_headline_variants":["Quantum rules from unobservable truths","Unobservable truths shape quantum logic","When information chains break, quantum emerges","Observability gap yields quantum algebra","Quantum mechanics from broken observation chains"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument depends on treating the chosen map from (true-observable, false-observable, unobservable) probabilities to complex two-dimensional rays as the unique information-preserving linearisation; if other coordinatisations satisfy the same epistemic constraints, the claimed necessity of the quantum structure fails.","fun_headline_variants_meta":{"raw":{"variants":["Quantum rules from unobservable truths","Unobservable truths shape quantum logic","When information chains break, quantum emerges","Observability gap yields quantum algebra","Quantum mechanics from broken observation chains"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000438,"raw_usage":{"total_tokens":2164,"prompt_tokens":823,"completion_tokens":1341,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":439,"completion_tokens_details":{"reasoning_tokens":1282}},"tokens_in":439,"tokens_out":1341,"duration_ms":10065,"temperature":1.0,"reasoning_tokens":1282,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T21:31:45.787683+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Run the paper's two-entity example with controlled shield transmission: vary the five configuration weights (for instance $\\Pi=|WW|$ and $\\epsilon=|Ww|$ over the unit simplex) and measure the visible frequencies. The map to $\\mathbb{C}^2$ fixes a relation between the non-commutative gap $[p][q]_p-[q][p]_q$ and the individual relative probabilities $[p]$ and $[q]$; any observed pair falling outside that relation, or any classical T/F/U joint distribution whose relative probabilities no state/projector pair in $\\mathbb{C}^{2^n}$ can reproduce, would refute the claimed equivalence.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the classical inequality that the paper reinterprets as a strengthened inequality involving observability."},{"cited_title":"Bertlmann's socks from a Viennese perspective","cited_arxiv_id":"2308.03341","evidence_quote":"Supplies the result that logical independence of propositions leads to quantum randomness in suitable experimental encodings."},{"cited_title":"Landsman, Indeterminism and undecidability (2021)","cited_arxiv_id":null,"evidence_quote":"Shows quantum complementarity as logical indeterminacy, the framework the paper extends to unobservable propositions."},{"cited_title":"Paterek, J","cited_arxiv_id":null,"evidence_quote":"Provides the analysis of the measuring process and the movable cut, from which the paper takes the idea of a phenomenal chain."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Establishes tomographic locality as the principle used to extend the single-proposition construction to n propositions."},{"cited_title":"VonNeumann, Mathematical Foundations of Quantum 9 Mechanics, New Edition (Princeton University Press, 2008)","cited_arxiv_id":null,"evidence_quote":"Provides the informational derivation of quantum theory invoked alongside tomographic locality for the same extension."}],"review_version":1}