{"id":"92561248-8774-4fa1-a410-8b48446155ab","arxiv_id":"2411.13113","paper_version":4,"verdict":"REJECT","confidence":"MODERATE","novelty_score":4.0,"correctness_risk":"high","formal_verification":"none","parameter_count":0,"one_line_summary":"Helland claims that two complementary maximal accessible variables, together with symmetry and category postulates, are enough to derive the Hilbert-space operator formalism and the Born rule.","lead":"This paper claims the Hilbert-space formalism of quantum mechanics can be derived from a few postulates about 'theoretical variables' accessible to observers. It states what the author calls the weakest possible version of this theorem and draws epistemic, Bell-experiment, and decision-theory consequences.","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Proposition 1's proof assumes f is invertible when it is only a function, so the reduction to 'related' variables is unjustified; Theorem 1's derivation rests on this step.","rationale":"The reader's weakest-assumption diagnosis is correct: Proposition 1 is the load-bearing bridge that lets Theorem 1 invoke Helland (2024a)'s related-variable theorem, and that bridge is broken. The proof requires f^{-1} to be a well-defined function although f is merely some function with θ=f(φ); it also requires the range of η to be contained in the range of f, which follows from no stated postulate. The finite counterexample in concrete_test is a minimal, unambiguous falsification of the proposition under the paper's own finite-cardinality reading of Postulate 4. This is not a disagreement with a scientific consensus or a matter of interpretation; it is a gap in the internal mathematics of the main theorem. I do not see an alternative route in the paper from the postulates to the Hilbert-space conclusion that bypasses Proposition 1. The paper's self-contained lemmas (Lemma 1 through Lemma 4) are individually correct as statements about the regular representation on L², and the paper does clearly identify its reliance on prior work; but those correct pieces do not repair the missing inversion step. Since the reader's REJECT verdict was based on exactly this gap, my stress-test leaves the verdict unchanged.","tokens_in":10235,"tokens_out":5548,"duration_ms":54208,"concrete_test":"Build the finite model: Ωφ={1,2,3,4}, f(1)=f(2)=a, f(3)=f(4)=b, η(1)=η(3)=c, η(2)=η(4)=d, with M the trivial group on Ωφ. Then θ and η are functions of φ, and Ωθ={a,b}, Ωη={c,d} have the same cardinality, so Postulate 4 holds. Run Proposition 1's construction. For φ1=1, η(1)=c is not in the range of f, so no φ2 satisfies f(φ2)=η(φ1). Also any ξ of the form f(kφ) takes value a at φ=1 and b at φ=3, while η(1)=η(3)=c; hence ξ is not a function of η at all. If the intended notion of 'same category' secretly includes range containment or injectivity of f, that must be stated as an explicit additional postulate; otherwise Proposition 1 is false.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central theorem depends on Proposition 1 converting two same-category maximal accessible variables into a 'related' pair (θ=f(φ), ξ=f(kφ)), because only then is Theorem 4 of Helland (2024a) applicable. The proof of Proposition 1 is invalid at two points. First, after choosing f with θ=f(φ), it asserts that for each φ1 there is φ2 with η(φ1)=f(φ2), 'since {η(φ)} has the same category as {f(φ)}'. Same cardinality, or even the existence of a bijection between the ranges, does not imply that the range of η is contained in the range of f; a value of η may simply not occur as a value of θ. Second, the proof then uses f^{-1} to write η(φ1)=f(a(f^{-1}(ξ(φ1)))). But f is never assumed injective, and no argument establishes injectivity. The stated justification — that the range of ξ has the same category as the range of η — concerns cardinality, not invertibility; an inverse is well-defined only if f is injective on the relevant set. In the different-orbit branch, a is introduced as an orbit-characterizing function and then treated as a point φ2=a(φ3), another category confusion. Thus the bridge to Helland (2024a)'s related-variable theorem is not established. The later lemmas constructing the representation U on L² are straightforward, but they presuppose exactly the relatedness that Proposition 1 was supposed to provide.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"Drawing on a series of earlier papers by the same author, this manuscript attempts to reconstruct the Hilbert-space formalism of quantum mechanics from a small set of postulates about \"theoretical variables.\" Postulate 1 assumes an inaccessible variable φ and a group M on Ωφ; Postulate 3 gives each maximal accessible variable θ a transitive group G with trivial isotropy and a left-invariant measure; Postulate 4 requires the range spaces of two complementary maximal variables θ and η to have the same category. Proposition 1 claims that such variables can be reduced to a \"related\" pair θ=f(φ), ξ=f(kφ), and Theorem 1 then asserts the existence of a Hilbert space H and a unique symmetric operator for every accessible variable. Section 3 adds a generalized likelihood principle and a \"superior actor\" postulate to derive the Born rule; Section 5 applies the framework to the Bell experiment and to decision theory. The paper's central mathematical claim is Proposition 1/Theorem 1, and the remainder builds on it.","tokens_in":10859,"tokens_out":11425,"duration_ms":109469,"significance":"The project is significant in ambition: a derivation of the Hilbert-space apparatus from weak, explicitly stated postulates would be a valuable contribution to quantum foundations, and the paper is transparent about its axioms and about the limitation that the superposition principle is not fully assumed. It also gives explicit attention to the distinction between symmetric and self-adjoint operators. However, the central proof is not self-contained and contains a load-bearing gap in Proposition 1; the Hilbert space used is not fixed; and several theorems are either proved only in special cases or deferred to external papers. These are not merely presentational issues, because Theorem 1 is the foundation for the rest of the paper. The claimed \"weakest possible theorem\" status is not established by any minimality argument.","major_comments":[{"comment":"The proof chooses a function f with θ=f(φ) and then states that for each φ1 there is a φ2 with η(φ1)=f(φ2), \"since {η(φ)} has the same category as {θ(φ)}={f(φ)}.\" Same category, even understood as equinumerosity of the two ranges, does not imply that the range of η is contained in the range of f; two sets of the same cardinality may be disjoint. The existence of φ2 is therefore not established. This step is load-bearing because the rest of Proposition 1, and hence the reduction to a \"related\" pair that allows Theorem 1 to invoke Theorem 4 of Helland (2024a), depends on it.","section":"Section 2, Proposition 1"},{"comment":"The proof uses f^{-1} in the expression η(φ1)=f(a(f^{-1}(ξ(φ1)))) and justifies it by saying that the range of ξ has the same category as the range of η. No injectivity of f is established, and equality of cardinalities (or categorical equivalence) does not make a non-injective function invertible. In the different-orbit branch, the symbol a is first introduced as a function characterising orbits and is then treated as a point φ2=a(φ3), conflating a function with a value. Both steps are needed for the claimed reduction of θ and η to a related pair, so Proposition 1 is not proved.","section":"Section 2, Proposition 1"},{"comment":"The proof is not self-contained. It says \"Then it follows from Theorem 4 of Helland (2024a)\" and later \"Theorem 1 now follows from Theorem 4 of Helland (2024a) and Proposition 2,\" but the hypotheses, statement, and proof of that external theorem are not included. In addition, the Hilbert space is not consistently specified: Proposition 2 constructs the representation U on L2(Ωθ,μ), while the introduction and equations (1)–(2) use H=L2(Ωψ,ν) with a group N acting on ψ=(θ,η). Since Theorem 1's conclusion is the existence of H and the operators Aζ, this ambiguity is material, and the claimed derivation cannot be checked from the manuscript alone.","section":"Theorem 1"},{"comment":"The proof that Postulate 5 makes Aθ self-adjoint is incomplete. The Cauchy-Schwarz estimate gives |⟨v|Aθ u⟩|² ≤ I_u I_v, where I_v=∫ |fθ(n)| |⟨v|vn⟩|² dν. For boundedness of the functional v↦⟨v|Aθ u⟩ one needs sup_{∥v∥=1} I_v < ∞ (or an equivalent uniform bound), but the proof only notes that I_v is finite for each fixed v in the domain and then normalizes u and v. Finiteness for each v does not imply uniform boundedness over the unit sphere. The equality D†=D is therefore not established, and the subsequent use of the spectral theorem is not justified.","section":"Section 2, Proposition 3"},{"comment":"Theorem 3 is stated for maximal variables θ and η that are not bijective functions of each other, without a discreteness assumption, but its proof begins \"I will prove this for the case of discrete-valued variables\" and uses finite or countable sums of rank-one projectors. No argument is supplied for the continuous case, so the theorem as stated is not proved. Since noncommutativity is a central quantum feature, this gap matters for the paper's claims.","section":"Section 2, Theorem 3"},{"comment":"The Born-rule result is asserted rather than proved: the paragraph before Theorem 4 says that \"the following version of Born's formula is proved\" from Postulates 6 and 7 using a version of Gleason's theorem given by Busch (2003), but no proof appears in the manuscript, no precise statement of the Gleason-type theorem used is given, and the hypotheses are not checked. Theorem 5 is likewise stated without proof. Since the Born rule is one of the paper's advertised consequences and is used in the interpretive sections, this is a substantial omission rather than a local detail.","section":"Section 3, Theorem 4"}],"minor_comments":[{"comment":"The reference to Busch (2003) gives volume 97; the cited \"simple proof of Gleason's theorem\" appeared in Physical Review Letters 91, 120403.","section":"References, Busch (2003)"},{"comment":"The reference to Jodlicska et al. (2025) contains garbled author names (\"Smid, V omlel, J., and Slavik\"); the author list should be corrected.","section":"References, Jodlicska et al. (2025)"},{"comment":"The phrase \"same category\" is glossed as \"there is a bijective function connecting Ωθ and Ωη,\" but in category theory the existence of morphisms in both directions does not generally give a bijection of underlying sets; the intended mathematical meaning should be stated as a definition, not an intuition.","section":"Postulate 4"},{"comment":"The claim that Theorem 1 is \"the weakest possible theorem\" is not supported by any minimality or lower-bound argument; the wording should be softened or justified.","section":"Introduction and Abstract"},{"comment":"The unitarity computation in Lemma 3 is too terse: it appears to assume the adjoint formula rather than deriving it by a change of variables; the step should be spelled out.","section":"Section 2, Lemma 3"}],"recommendation":"reject","confidential_remarks":"To the editor: the central derivation fails at Proposition 1, and the paper also delegates key theorems to a series of same-author papers that are not reproduced. Even a substantial revision would need to replace Proposition 1 with a valid argument or with additional assumptions, and to restate the proof of Theorem 1 self-containedly. Given that the advertised result is the foundation of the whole paper, I cannot recommend acceptance or minor revision."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: the paper's Theorem 1 is supposed to be the weakest foundation result, but its proof leans on Proposition 1, which is not valid as written. The construction of the representation U is straightforward and correct; the problem is the bridge that gets you to 'related' variables.\n\nWhat's new: Helland genuinely weakens his earlier postulate package — same-category range spaces replace the direct relation eta(phi)=theta(k phi), and he builds the unitary representation instead of assuming it. The postulates are laid out clearly, and the epistemic discussion (including the Ozawa/QBism point) is honest and informed. He also flags the limitation about the superposition principle.\n\nThe soft spot is exactly what the stress-test note says. In Proposition 1, after choosing f with theta=f(phi), the proof asserts that for each phi1 there's a phi2 with eta(phi1)=f(phi2) because the ranges have the same category. Same category means a bijection exists, not that eta's range is contained in f's range. Then it uses f^{-1} without injectivity. So the derived relatedness is not established. The later lemmas (U(g) unitary, coherent states) are fine, but they presuppose relatedness. Theorem 1 therefore doesn't follow. The same-author citations don't rescue it — they inherit the gap.\n\nThere are minor issues too: Theorem 3 is only proved for discrete variables, and the Hilbert space alternates between L2(Omega_psi, nu) and L2(Omega_theta, mu). But the Proposition 1 flaw is load-bearing.\n\nWho this is for: people following Helland's research program, or anyone working on epistemic reconstructions of quantum theory. As a standalone proof, it's not there yet. A good referee would catch the inversion problem. I'd send it to review if you want a thorough vetting of the program, because the program has enough of a following that a solid fix would matter. But I wouldn't cite this version, and I'd expect a rejection unless the author repairs the inversion step or adds a nontrivial assumption that makes it honest.","headline":"The central derivation breaks on an unjustified inversion step, but the paper is a clean statement of Helland's weakened postulates and a fair target for a serious referee.","tokens_in":11089,"tokens_out":2714,"would_cite":false,"duration_ms":26444,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81P05","81P10","81P15"],"pacs":["03.65.Ta","03.65.-w"],"model":"deepseek-v4-flash","headline":"Two complementary maximal accessible variables, together with weak symmetry and invariant-measure conditions, force every accessible variable to be represented by a unique symmetric operator on a Hilbert space.","keywords":["accessible theoretical variables","complementary variables","Hilbert space formalism","quantum foundations","Born rule","epistemic interpretation","Bell experiment","symmetric operators"],"falsifier":"Construct a finite instance satisfying the postulates in which $\\Omega_\\varphi$ is larger than $\\Omega_\\theta$, $f$ is many-to-one, and for no transformation $k$ in the acting group $M$ does $\\eta(\\varphi) = f(k\\varphi)$ hold. If such an instance exists, Proposition 1 cannot deliver a related pair, and Theorem 1's route to a Hilbert-space representation collapses.","tokens_in":10065,"feed_emoji":"⚛️","tokens_out":8203,"duration_ms":74208,"temperature":0.7,"pith_summary":"The paper tries to establish that the Hilbert space formalism of quantum mechanics follows from very weak assumptions about what an observer can measure. Its primitive notion is a theoretical variable, a quantity attached to an observer or a communicating group; a variable is accessible when it can in principle be measured with arbitrary accuracy. The central claim is that the existence of two complementary maximal accessible variables, together with mild group-action and invariant-measure conditions, forces a Hilbert space to exist and assigns every accessible variable a unique symmetric operator. If the argument is correct, the quantum formalism is not an axiom about microscopic systems but a consequence of the relation between complementary measurement questions. The same mathematics also yields the Born rule under two additional probabilistic postulates and supports a broadly epistemic interpretation of quantum theory.","feed_headline":"Two complementary variables generate the Hilbert space formalism","feed_subtitle":"A new derivation gets every quantum operator and the Born rule from weak assumptions about what observers can measure.","key_machinery":"The load-bearing object is the relation of being related between two maximal accessible variables: $\\theta = f(\\varphi)$ and $\\eta = f(k\\varphi)$ for a single function $f$ on $\\Omega_\\varphi$ and a transformation $k$ acting there. Proposition 1 is the bridge that gets from the equal-category condition to a related pair, up to a bijective change of one variable. Once a related pair exists, the earlier representation theorem supplies the Hilbert space, and the paper constructs its required unitary representation explicitly as $U(g)f(\\theta)=f(g^{-1}\\theta)$ on $L^2(\\Omega_\\theta,\\mu)$; the coherent states $U(g)f_0$ are in one-to-one correspondence with the group elements, which is exactly the condition the representation theorem needs. From that point the symmetric operator $A_\\zeta$ for every accessible variable $\\zeta$ is defined through the spectral apparatus.","core_discovery":"The paper's central claim is Theorem 1: assume an inaccessible background variable $\\varphi$ exists, all accessible variables are functions of it, and a group $M$ acts on its range space $\\Omega_\\varphi$; let $\\theta$ and $\\eta$ be two maximal accessible variables whose range spaces have the same category and which are not in one-to-one correspondence; let $\\theta$ carry a transitive group $G$ with trivial isotropy and a left-invariant measure $\\mu$. Then there is a Hilbert space $H$, and every accessible variable $\\zeta$ has a unique symmetric operator $A_\\zeta$ on $H$. The proof converts the same-category assumption, through Proposition 1, into the statement that $\\theta$ and $\\eta$ are related: each is the image of $\\varphi$ under one function $f$, with one image shifted by a transformation $k$ on $\\Omega_\\varphi$. The needed unitary representation of $G$ is then constructed explicitly on $L^2(\\Omega_\\theta,\\mu)$ by left translation, so the theorem's conclusion follows from the earlier related-variable representation theorem. The paper states that this is the weakest possible theorem providing a foundation for the Hilbert space formalism: no pre-existing representation of $G$, no full superposition principle, and no microscopic dynamical assumptions are required.","pith_inferences":["If the theorem is right, the same postulates should reproduce quantum-like structure in any field with complementary maximal variables, so decision theory, biology, and cognition become testable arenas for the formalism.","The most fragile point in the derivation is Proposition 1's inverse step; a counterexample with non-injective $f$ would force the theorem to require an additional injectivity or orbit assumption and would narrow the 'weakest possible' claim.","The paper pairs variables but does not construct the Hilbert space for three or more mutually complementary variables; an extension worth testing is whether triple complementarity forces finite-dimensional spin-like constraints and specific operator relations.","Theorem 7 has a behavioral prediction not drawn in the paper: at a fixed moment a person should be unable to simultaneously entertain two related but incompatible decision frames, which could be probed in decision experiments."],"forward_implications":["Every accessible variable in a context with two complementary maximal variables receives a unique symmetric operator, so observables like position, momentum, and spin components arise from the structure of measurement questions rather than from a pre-assumed operator algebra.","Complementary maximal variables that are not bijective functions of each other produce noncommuting operators, recovering the standard noncommutativity of quantum observables.","Adding the generalized likelihood principle and a Dutch Book rationality condition yields the Born rule, with transition probabilities given by squared absolute values of inner products.","Related variables are connected by unitary similarity transformations, and the inverse statement holds for finite-dimensional variables, so changing from one maximal perspective to another is represented by a unitary change of basis.","The observer-limitation corollary gives an explanation of the Bell experiment's CHSH violation without invoking nonlocality: no observer can simultaneously hold two related but not mutually related maximal accessible variables."],"supporting_citations":[{"why":"Supplies Theorem 4, the earlier representation theorem that converts related maximal variables into a Hilbert space with unique symmetric operators.","marker":"Helland (2024a)"},{"why":"Earlier reconstruction result for two related maximal conceptual variables that Theorem 1 extends.","marker":"Helland (2022a)"},{"why":"Contains the derivation of the Born formula and the probabilistic postulates used in Theorems 4 and 5.","marker":"Helland (2024b)"},{"why":"Provides the simple proof of Gleason's theorem used to obtain squared-amplitude probabilities in Theorem 4.","marker":"Busch (2003)"},{"why":"Supplies the spectral theorem for self-adjoint operators needed to pass from symmetric operators to well-defined spectral decompositions.","marker":"Hall (2013)"},{"why":"Earlier version of the postulates that the present article generalises and simplifies, particularly regarding symmetry and self-adjointness.","marker":"Helland (2024c)"}],"fun_headline_variants":["Weakest theorem yet: two variables build all of quantum theory","Two variables, one Hilbert space: minimal quantum foundation","Hilbert space from just two variables and weak assumptions","Quantum formalism from two complementary variables","Minimal assumptions yield full Hilbert space formalism"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that two maximal accessible variables whose range spaces have the same category can always be converted into a related pair by one function and one transformation of the hidden variable; this step needs an inverse function that the stated assumptions do not guarantee.","fun_headline_variants_meta":{"raw":{"variants":["Weakest theorem yet: two variables build all of quantum theory","Two variables, one Hilbert space: minimal quantum foundation","Hilbert space from just two variables and weak assumptions","Quantum formalism from two complementary variables","Minimal assumptions yield full Hilbert space formalism"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000153,"raw_usage":{"total_tokens":1165,"prompt_tokens":859,"completion_tokens":306,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":475,"completion_tokens_details":{"reasoning_tokens":233}},"tokens_in":475,"tokens_out":306,"duration_ms":3322,"temperature":1.0,"reasoning_tokens":233,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T16:49:34.074701+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Construct a finite instance satisfying the postulates in which $\\Omega_\\varphi$ is larger than $\\Omega_\\theta$, $f$ is many-to-one, and for no transformation $k$ in the acting group $M$ does $\\eta(\\varphi) = f(k\\varphi)$ hold. If such an instance exists, Proposition 1 cannot deliver a related pair, and Theorem 1's route to a Hilbert-space representation collapses.","supporting_citations":[],"review_version":1}