{"id":"4b5020ea-08cb-4aaf-910d-7b738e9aba61","arxiv_id":"2507.04812","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A reconstruction of Hilbert-space quantum mechanics from multi-time measurement statistics, culminating in a conjectured bi-trajectory master measure.","lead":"Starting only from probability tables of repeated quantum measurements, this paper claims to rebuild the Hilbert space machinery of quantum mechanics, states, measurements, and dynamics, without assuming the usual axioms. It finishes with a new master object, a measure over pairs of trajectories, that it says replaces the quantum state at the most fundamental level.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Master bi-trajectory measure Q in Eq. (7.8) is assumed, not deduced; the CPTP supporting argument is conditional on its existence, so the identification of the system with Q(H,Hhat) in Section 8 is unsupported.","rationale":"The reader's weakest assumption is precisely the one I regard as the single most load-bearing concern: the existence of the master bi-trajectory measure over all observables, assumed in Eq. (7.8). The paper's stated novelty is this master object, and the derivation of the Hilbert-space formalism from finite-dimensional bi-probabilities could survive without it, but the master-object claim would not. The CPTP argument in Section 7 is best read as a conditional consistency check, not an existence proof, because Eq. (7.11) assumes the measure in order to define Lambda_t, and the alternative expression in Eq. (7.14) is a CPTP map whose equality to the Lambda_t in Eq. (7.11) is exactly what needs to be shown. Moreover, the index set R x S^{d^2-1} is uncountable, so Kolmogorov extension requires regularity and tightness conditions beyond the finite-dimensional consistency that the authors say is easy to verify; no such conditions are supplied. Other concerns, such as the explicit simplicity choice in the common-Hilbert-space embedding of Section 4.2 and the stationarity assumption in Section 5.2, are real but secondary: they limit the universality of the deduction, whereas the missing master measure directly undermines the central object of the proposed reformulation. Because the reader already gave a CONDITIONAL verdict based on this same gap, my assessment does not change the verdict; it sharpens the reason by identifying the circularity in the supporting argument. The appropriate action is to condition acceptance on a rigorous existence proof for the master bi-trajectory measure, either by completing the Kolmogorov extension for Eq. (7.6) or by confirming that the theorem in reference [7] applies to the uncountable index set used here.","tokens_in":26614,"tokens_out":10217,"duration_ms":111413,"concrete_test":"Verify the Kolmogorov extension for the family defined by Eq. (7.6): (1) prove that for every finite set of coordinates in R x S^{d^2-1}, the time-ordered trace formula defines a probability measure on {1,...,d}^{2m} that is independent of the enumeration of the set; (2) prove the consistency condition under adding and removing coordinates, including coordinates with equal times; (3) prove the cylinder probabilities are tight, or apply the theorem in reference [7] and check that its hypotheses are met for this uncountable index set. If any step fails or requires assumptions not stated, the master measure Q in Eq. (7.8) is not established, and the Section 8 identification of the system with Q(H,Hhat) should be marked as conjecture rather than a deduction.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central deduction in Section 8 identifies the quantum system with a single bi-trajectory measure Q(H,Hhat)[eta+,eta-] on the space of bi-trajectories over all observables. This object is introduced in Eq. (7.8) not as a theorem but as a supposition: the authors state that they 'cannot prove the existence of the master bi-trajectory measure Q with the same method used to prove (Q6)' and then 'suppose that' Eq. (7.8) holds. The subsequent supporting argument via CPTP maps does not establish existence: Eq. (7.11) defines the superoperator Lambda_t only after 'Assuming that the master measure exists', and although Lambda_t is then identified with the well-defined CPTP map in Eq. (7.14), the equality between the two expressions is exactly the existence statement that needs proof. Nothing in the text shows that the finite-dimensional family Q_{tau_n|tau_0} from Eq. (7.6) satisfies the Kolmogorov consistency and regularity conditions required for a measure on the uncountable index set R x S^{d^2-1}. Consequently, the master-object picture, 'the system is synonymous with its bi-trajectory measure', is not deduced; it is an unproved hypothesis. If the measure fails to exist, the central claim of a unified bi-trajectory formalism for multiple observables reduces to a collection of single-observable measures, and the claimed conceptual unification over the standard formalism is unsupported.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript attempts to derive the Hilbert-space formalism of quantum mechanics from phenomenological multi-time probability distributions obtained in sequential measurements. Building on Part I, the authors formulate bi-probability distributions Q and use Gudder's theorem to represent them as inner products in a Hilbert space. They then introduce projectors and a metric, derive unitary evolution and a Hamiltonian from the uncertainty relations and the Zeno effect, infer tensor-product structure for composite systems, and finally propose a master bi-trajectory measure Q[η+,η−] as the fundamental object, asserting that the quantum system is synonymous with this measure. The paper is framed as a reconstruction of standard quantum mechanics rather than a new empirical theory.","tokens_in":26888,"tokens_out":16684,"duration_ms":175437,"significance":"The paper has several genuine strengths: it offers a clear axiomatic basis (Q1)–(Q8), a rigorous use of Gudder's inner-product representation, a simple recurrence for sequential probabilities leading to Eq. (4.27), and an explicit demonstration that the measurement–projector link fails for sequences. The proposed bi-trajectory formalism is conceptually interesting and could, if completed, provide a fresh perspective on the measurement problem and the classical limit. However, the advertised deduction is incomplete: it relies on an extra-empirical 'economy of entities' postulate in Sec. 4.2, the off-diagonal representation in Sec. 4.4 is not uniquely derived, and the master-measure existence in Sec. 7 is an unproved conjecture. The paper's observational agreement with standard quantum mechanics is true by construction (axiom Q7), so its contribution is a reformulation, not a predictive derivation. With appropriate caveats, it is a valuable foundational contribution.","major_comments":[{"comment":"The master bi-trajectory measure Q[η+,η−][Dη+][Dη−] is introduced as a supposition, not derived from the phenomenology or from the previously established properties. The text explicitly states that its existence cannot be proved with the method used for (Q6) and defers to reference [7]. The supporting argument is conditional: Eq. (7.11) defines the superoperator Λ_t only 'assuming that the master measure exists', and the identification of Λ_t with the CPTP map in Eq. (7.14) is exactly the existence statement at issue. No Kolmogorov-consistency or regularity verification for the family Q_{τ_n|τ_0} on the uncountable index set R × S^{d²−1} is supplied. Consequently, the concluding identification in Section 8 of the quantum system with its bi-trajectory measure is unsupported. This is load-bearing for the paper's central claim, and the authors should either provide a proof or clearly reformulate the master-object statement as a conjecture.","section":"Section 7, Eq. (7.8)"},{"comment":"The mapping of the coarse-grained device's projectors and metric into H(K) via 'projectors correspond to projectors, and metrics correspond to metrics' is an unforced simplicity choice. The text acknowledges that 'there is no purely logical reason' for the Hilbert spaces H(Kbar) and H(K) to be related. This choice is necessary to obtain the measurement–projector link (4.15), the common metric (4.14), and hence the system Hilbert space H_S used throughout Sections 5 and 6. Since the paper claims to deduce the formalism solely from experimental observations, an extra-empirical economy postulate needs explicit justification, or the argument must be reframed as a derivation conditional on that postulate. The non-uniqueness of the embedding also affects the subsequent derivation of a single unitary U for all observables in Sec. 5.1.","section":"Section 4.2, Eq. (4.12)"},{"comment":"The derivation of the off-diagonal representation of the bi-probability is underdetermined. Equation (4.30) equates the sum over off-diagonal pairs at position j with the corresponding sum of trace expressions, but the individual off-diagonal elements Q(f_n^+,...,f_j^+,...,f_1^+; f_n^-,...,f_j^-,...,f_1^-) are not shown to equal the individual trace terms. The conclusion in Eq. (4.31) therefore does not follow from the displayed sum identities alone. To justify the claimed representation, the authors need to show uniqueness, for example by using bi-consistency at all levels together with positive semi-definiteness, or to provide a different argument that fixes each off-diagonal element.","section":"Section 4.4, Eqs. (4.28)–(4.31)"},{"comment":"The assertion that the deduced formalism 'is necessarily consistent with the empirical observations it was derived from' is true by construction, because axiom (Q7) identifies the diagonal of the bi-probability with the empirical probability. Thus the agreement between the bi-trajectory formalism and standard quantum mechanics on multi-time correlations (Eq. (8.5)) is not a new prediction but a restatement of the input in a new representation. This observational adequacy should be presented as a consistency property of the reconstruction, not as an independent confirmation of the formalism; the current phrasing overstates the epistemic status of the result.","section":"Section 8"}],"minor_comments":[{"comment":"Some glyphs in Eq. (3.7) and the surrounding text (e.g., the strikethrough F_j and f_j) are corrupted in the manuscript; please fix the typesetting.","section":"Section 3.1, Eq. (3.7)"},{"comment":"The conditions in Eq. (5.11) mix empirical constraints with mathematical identities. For example, the anti-Hermiticity of dU/dt U† follows from unitarity, while the inequality involving the quadratic term is automatically satisfied by the unitary expansion. Please clarify which of these conditions are actually imposed by the Zeno phenomenology and which are consequences of the assumed unitarity.","section":"Section 5.2, Eq. (5.11)"},{"comment":"The status of reference [7] should be stated explicitly: does it prove existence of the master bi-trajectory measure, or does it only provide partial results or a different construction? Currently the reader cannot tell from this paper alone whether the missing Kolmogorov extension is a settled issue or an open problem.","section":"Section 7"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is the second part of a two-part series and relies heavily on the authors' own prior work, which is natural but makes independent verification harder. The central conjecture about the master measure is explicitly open, and the paper's title and conclusions claim a deduction that the body does not fully support. The editor may wish to encourage the authors to reframe the master-object claim as a conjecture and to clarify the role of the economy-of-entities postulate. No concerns about citation ethics beyond the expected self-citation pattern in a series."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Read it. The paper's real contribution is the assembly: starting from bi-probability axioms that come from sequential measurement statistics, they walk through Gudder's theorem to an inner product, then to projectors via a simplicity choice for coarse-graining, and then to unitary evolution from uncertainty and Zeno constraints. The Gudder step is known, and the authors credit prior decoherence-functional work and their own Part I. What's new is the complete chain, plus the system bi-probabilities parameterized by reference basis and Hamiltonian, and the proposed master measure. The math in Sections 4-6 is coherent; I checked the projector link, the recurrence for sequential probabilities, and the composite-system derivation. These hold up.\n\nThe soft spot is exactly where the abstract aims highest. Section 7 introduces the master bi-trajectory measure Q in Eq. (7.8) as a supposition. The authors say they cannot prove existence with the method that proved the single-observable (Q6), and defer to [7]. The CPTP-map argument is conditional on the measure existing, so it doesn't close the gap. The identification of the system with its bi-trajectory measure in Section 8 is therefore an unproved hypothesis, not a deduction. This does not damage the Hilbert-space derivation in Sections 4-6, which stands on its own. But it does mean the paper's most ambitious claim is not established.\n\nTwo smaller caveats. First, the empirical agreement is built in via the measurement link (Q7), so the formalism produces no new predictions; the authors are upfront that this is a reformulation. Second, stationarity and the common-Hilbert-space embedding are genuine assumptions, acknowledged as such. Neither is fatal, but a reader should not mistake 'deduced' for 'forced.'\n\nWho is this for? People working on decoherence functionals, trajectory formulations, and measurement models, plus foundationalists interested in whether Hilbert space can be reconstructed from observable statistics. It deserves a serious referee: the central derivation is valuable even if Section 7 needs heavy qualification. I'd send it out.","headline":"A clean, carefully assembled reconstruction of Hilbert-space QM from bi-probabilities, undermined only by the unproved master measure that carries the paper's most ambitious claim.","tokens_in":27463,"tokens_out":1743,"would_cite":true,"duration_ms":20596,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper claims that the full Hilbert-space formalism of quantum mechanics can be deduced from sequential-measurement statistics, with a master bi-trajectory measure replacing the quantum state as the fundamental object.","keywords":["quantum foundations","bi-trajectory formalism","multi-time probability distributions","sequential measurements","Hilbert space representation","density matrix","Hamiltonian","Heisenberg cut"],"falsifier":"Compute the discrete system bi-probabilities (7.6) for a concrete finite-dimensional system, say a qubit with a fixed Hamiltonian and two inequivalent fine-grained observables, and check whether the family satisfies the consistency conditions required for a single measure on all bi-trajectories; a set of multi-observable probabilities that violates those conditions would disprove the master-measure claim. The corresponding experimental test is a sequential measurement of three fine-grained observables whose joint bi-probabilities cannot be reproduced by any single bi-trajectory measure.","tokens_in":26359,"feed_emoji":"⚛️","tokens_out":7253,"duration_ms":73449,"temperature":0.7,"pith_summary":"The paper attempts to derive the mathematical formalism of quantum mechanics from scratch, taking as the only input the multi-time probability distributions that sequential measurements of quantum observables produce. From these observed distributions it reconstructs Hilbert spaces, projection-valued measurements, density matrices, unitary time evolution, Hamiltonians, and the tensor-product rule for composite systems. The central object that emerges is not the quantum state but a master complex-valued “bi-trajectory measure” on pairs of possible histories of a system; the state is demoted to a metric representing how the experiment was initialized. If the deduction works, standard quantum mechanics is a representation of this more fundamental measure, and long-standing problems tied to the Heisenberg cut could be reposed as problems about when a bi-trajectory collapses to a classical uni-trajectory.","feed_headline":"Sequential measurements alone yield quantum mechanics' full formalism","feed_subtitle":"A master bi-trajectory measure, not a quantum state, becomes the system itself — and the Heisenberg cut disappears.","key_machinery":"The load-bearing object is the master bi-trajectory measure $Q(H,\\hat H)[\\eta_+,\\eta_-][D\\eta_+][D\\eta_-]$, a complex-valued measure on pairs of histories of a reference-basis index $\\eta$ over “space-time” coordinates $(t,\\varphi)$, where $t$ is time and $\\varphi$ parameterizes unitary rotations of a reference basis. Its discrete restrictions, Eq. (7.6), are traces of alternating products of projectors; all multi-observable bi-probabilities are pushforwards of it, and all standard-formalism correlation functions are its moments. The derivation chain that carries the argument is: positive-semidefinite bi-probabilities → Hilbert-space inner products (via a cited representation theorem) → projector-valued measurement link → initialization as density-matrix metric → unitary evolution and Hamiltonian from uncertainty relations and Zeno behavior → tensor-product Hilbert space for composite systems → the master measure as the unique source of all the above.","core_discovery":"The paper's central claim is that the bi-trajectory formalism is not an alternative interpretation but a phenomenological deduction: the full Hilbert-space machinery follows from the observed rules of sequential measurement, and the resulting master object is the bi-trajectory measure $Q(H,\\hat H)[\\eta_+,\\eta_-][D\\eta_+][D\\eta_-]$ on pairs of trajectories $(t,\\varphi) \\mapsto (\\eta_+(t,\\varphi),\\eta_-(t,\\varphi))$. The deduction proceeds by using an inner-product representation theorem to read bi-probabilities as inner products, then showing that single-device phenomenology forces the measurement–projector link and the density-matrix form of initialization, that uncertainty relations and the Zeno effect force unitary evolution generated by a Hermitian Hamiltonian, and that factorization for independent systems forces tensor products. The paper argues that every empirically testable prediction of standard quantum mechanics, including multi-time correlation functions, is a moment of this master measure, so the two formulations agree on all observations while differing in what they regard as fundamental.","pith_inferences":["Editorial: Even if the master measure's existence is not yet proven, the paper's completely-positive dynamical-map construction suggests an operational substitute: define the theory by its moment hierarchy and use experimental multi-time statistics to test whether higher moments match the measure's predictions.","Editorial: The bi-trajectory picture gives a concrete criterion for the quantum-to-classical transition — an observable is classical exactly when its reduced bi-trajectory measure becomes diagonal — which could be tested in models of decoherence and in experiments on sequentially measured coarse-grained observables.","Editorial: A natural next step the paper leaves open is to search for a finite-dimensional counterexample to the master-measure extension; finding one would not invalidate the derived Hilbert-space machinery, but would force the master object to be replaced by a family of observable-specific measures."],"forward_implications":["Every multi-time correlation function of the standard formalism becomes a moment of the master bi-trajectory measure, so the two formulations are empirically indistinguishable by construction.","The quantum state loses its foundational role and becomes only a metric representing an initialization event, which removes the formal need for a Heisenberg cut and for a collapse rule.","The classical limit is identified with the collapse of a bi-trajectory measure onto its diagonal, reducing it to a single classical trajectory measure; measurement outcomes then satisfy classical consistency conditions.","Composite systems acquire the tensor-product structure automatically, and interactions appear as coupling terms in the Hamiltonian, giving a direct derivation of Hermitian operators as observables.","Modeling a measurement device becomes, in principle, a technical problem of constructing quantum-classical hybrids, not a conceptual obstruction."],"supporting_citations":[{"why":"Supplies the phenomenological multi-time probability distributions and the bi-probability axioms that this paper takes as its only inputs.","marker":"[1]"},{"why":"Provides the inner-product representation theorem used to convert positive-semidefinite bi-probabilities into Hilbert-space inner products, the first step of the representation.","marker":"[2]"},{"why":"Establishes the extension theorem that proves the single-observable bi-trajectory measure and is invoked, though not yet extended, for the master measure.","marker":"[7]"},{"why":"Supplies the open-systems identity that represents multi-time correlation functions as averages over bi-trajectories, used in the master-measure construction.","marker":"[3]"},{"why":"Used to quantify emergence of objectivity in the quantum-to-classical transition, cited in support of the master-measure picture's explanatory power.","marker":"[4]"},{"why":"Provides the perturbation-theoretic treatment of multi-time correlation functions that the paper draws on for moment formulas.","marker":"[5]"},{"why":"Supports the identification of a classical trajectory component as an external field driving a time-dependent Hamiltonian.","marker":"[6]"},{"why":"Shows that when a bi-trajectory collapses to a diagonal uni-trajectory, measurement outcomes become indistinguishable from sampling a classical observable.","marker":"[15]"}],"fun_headline_variants":["Sequential measurement outcomes alone derive quantum mechanics","Quantum formalism emerges from sequential measurement statistics","Measurement statistics alone deduce the Hilbert-space structure","Bi-trajectory measure replaces the quantum state as fundamental","Phenomenology alone: rebuilding quantum theory from observation rules"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The derivation stands on the assumed existence of one master complex-valued bi-trajectory measure over all observables and all times (Eq. 7.8); the paper explicitly states it cannot prove this with the method used for the single-observable case and can only offer a strong completely-positive-map argument, so if that measure fails to exist the master-object claim collapses.","fun_headline_variants_meta":{"raw":{"variants":["Sequential measurement outcomes alone derive quantum mechanics","Quantum formalism emerges from sequential measurement statistics","Measurement statistics alone deduce the Hilbert-space structure","Bi-trajectory measure replaces the quantum state as fundamental","Phenomenology alone: rebuilding quantum theory from observation rules"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000234,"raw_usage":{"total_tokens":1515,"prompt_tokens":985,"completion_tokens":530,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":601,"completion_tokens_details":{"reasoning_tokens":458}},"tokens_in":601,"tokens_out":530,"duration_ms":6510,"temperature":1.0,"reasoning_tokens":458,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T19:39:48.701303+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the discrete system bi-probabilities (7.6) for a concrete finite-dimensional system, say a qubit with a fixed Hamiltonian and two inequivalent fine-grained observables, and check whether the family satisfies the consistency conditions required for a single measure on all bi-trajectories; a set of multi-observable probabilities that violates those conditions would disprove the master-measure claim. The corresponding experimental test is a sequential measurement of three fine-grained observables whose joint bi-probabilities cannot be reproduced by any single bi-trajectory measure.","supporting_citations":[{"cited_title":"Phenomenological quantum mechanics I: phenomenology of quantum observables","cited_arxiv_id":"2410.14410","evidence_quote":"Supplies the phenomenological multi-time probability distributions and the bi-probability axioms that this paper takes as its only inputs."},{"cited_title":"Hilbert space representations of decoherence functionals and quantum measures","cited_arxiv_id":null,"evidence_quote":"Provides the inner-product representation theorem used to convert positive-semidefinite bi-probabilities into Hilbert-space inner products, the first step of the representation."},{"cited_title":"Double or noth- ing: a Kolmogorov extension theorem for multitime (bi)probabilities in quantum mechanics","cited_arxiv_id":null,"evidence_quote":"Establishes the extension theorem that proves the single-observable bi-trajectory measure and is invoked, though not yet extended, for the master measure."},{"cited_title":"Introduction to the theory of open quantum systems","cited_arxiv_id":null,"evidence_quote":"Supplies the open-systems identity that represents multi-time correlation functions as averages over bi-trajectories, used in the master-measure construction."},{"cited_title":"Objectivity of classical quantum stochastic processes","cited_arxiv_id":null,"evidence_quote":"Used to quantify emergence of objectivity in the quantum-to-classical transition, cited in support of the master-measure picture's explanatory power."},{"cited_title":"A perturbation theory for multi-time correlation functions in open quantum systems","cited_arxiv_id":"2502.19137","evidence_quote":"Provides the perturbation-theoretic treatment of multi-time correlation functions that the paper draws on for moment formulas."},{"cited_title":"Noise representations of open system dynamics","cited_arxiv_id":null,"evidence_quote":"Supports the identification of a classical trajectory component as an external field driving a time-dependent Hamiltonian."},{"cited_title":"Measuring trajectories of environmental noise","cited_arxiv_id":null,"evidence_quote":"Shows that when a bi-trajectory collapses to a diagonal uni-trajectory, measurement outcomes become indistinguishable from sampling a classical observable."}],"review_version":1}