{"id":"cc9b9c9e-bcf4-4bc9-a137-44b1a583c8d0","arxiv_id":"1908.06790","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":3.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"The paper argues, with illustrative examples, that observed trajectories underdetermine the tangent bundle, symplectic, and linear structures that support Lagrangian, Hamiltonian, and quantum formulations.","lead":"This paper reviews how the same classical trajectories can be compatible with different Lagrangian, Hamiltonian, and quantum descriptions, because the geometric structures used to build those descriptions are not fixed by the data. It offers three simple examples of vector fields that become second-order under alternative tangent bundle structures, and recalls how nonlinearly related symplectic structures yield alternative Weyl systems.","discovery_kind":"review","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Section 5's key quantum claim relies on an unproved self-adjointness assertion; the assertion is true for the naive operator but needs an explicit proof to support the C*-algebra conclusion.","rationale":"The paper's broad underdetermination claim is supported by standard inverse-problem results and by the explicit alternative second-order structures in Section 3. The alternative Weyl system on (V_\\phi,\\omega_\\phi) is a legitimate construction by von Neumann's theorem, so the central existence claim does not strictly require the contested self-adjointness assertion. However, the paper uses that assertion to conclude that the alternative quantum algebra is not a C*-algebra and hence that the quantum descriptions are nonlinearly related; since the assertion is unproved and imprecisely stated, the quantum example's advertised force is not established in the text. A direct computation, as proposed, would settle the question. The reader's CONDITIONAL verdict is therefore appropriate; I do not see grounds to move the verdict in either direction.","tokens_in":15663,"tokens_out":23697,"duration_ms":247848,"concrete_test":"Compute the adjoint of T=-i d/dq on L^2(R,dQ), where dQ=Q'(q)dq with Q'=a(Q)>0. For compactly supported smooth f,g, integration by parts gives \\langle Tf,g\\rangle - \\langle f,Tg\\rangle = i\\int f\\bar g\\,a'(Q)\\,dQ. If a' is nonzero on a set of positive measure, T is not symmetric and hence not self-adjoint; this verifies the paper's claim for the naive operator. Separately, show that the alternative momentum -i d/dQ is self-adjoint on L^2(L',dQ) by the standard Fourier argument, and that the Weyl system for (V_\\phi,\\omega_\\phi) is well-defined. This separates the legitimate construction of an alternative quantum description from the unsupported C*-algebra statement.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The quantum example in Section 5 asserts that \\hat{x} is self-adjoint on both L^2(L,dq) and L^2(L',dQ), while \\hat{\\pi}=-i\\partial/\\partial q is self-adjoint only on L^2(L,dq), and that the algebra generated by \\hat{x}, \\hat{\\pi}, I is a C*-algebra only on the first Hilbert space. No proof is given; the paper defers to reference [21]. This assertion is the step that turns the existence of an alternative Weyl system into the advertised conclusion that 'nonlinearly related formulations of quantum mechanics are possible'. As written, the statement is ambiguous. On L^2(L',dQ), the expression -i\\partial/\\partial q means -i Q'(q(Q))\\,\\partial/\\partial Q, which is not the generator of translations in the Q-coordinate and is not symmetric with respect to dQ. The unitary conjugate of the q-translation generator acquires an additional potential term and is self-adjoint, so the conclusion depends on which operator is meant. If the naive differential expression is intended, a short integration by parts confirms non-self-adjointness, but the paper does not supply that computation. Furthermore, the phrase 'algebra generated by \\hat{x}, \\hat{\\pi}, I together with their adjoints' is not a standard C*-algebra construction because \\hat{x} and \\hat{\\pi} are unbounded; the claim should be rephrased in terms of the Weyl algebra or resolvents. Thus the paper's only concrete quantum example does not, by itself, establish the advertised quantum underdetermination; it relies on an unproved and imprecisely stated assertion.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper argues that experimental trajectories of a classical dynamical system do not uniquely determine the geometric structures used in its Lagrangian, Hamiltonian, or quantum description. It reviews the inverse problem of the calculus of variations, the tensorial characterization of tangent bundle structures and second-order vector fields, and the construction of alternative symplectic and Poisson structures. The main positive content is a set of coordinate examples in Section 3 showing that a given vector field can be made second-order with respect to alternative tangent bundle structures, and a Section 5 example involving a nonlinear diffeomorphism of the symplectic vector space R^2 intended to show that alternative linear structures give rise to alternative Weyl systems and, allegedly, to genuinely different quantum C*-algebras.","tokens_in":15987,"tokens_out":14255,"duration_ms":146413,"significance":"If the claims were established, the paper would provide a useful synthesis of the classical underdetermination of Lagrangian and Hamiltonian descriptions and would extend it to the quantum setting. The classical portions are grounded in standard, independently established results (Helmholtz conditions, inverse problem literature, bi-Hamiltonian geometry), and the three examples in Section 3 are correct and instructive. The paper is, however, largely a review/synthesis rather than a new technical contribution: key results are quoted from the authors' prior work, and the only concrete quantum example is both unproved and, as written, does not support the advertised conclusion. The main value of the paper lies in its clear framing of classical ambiguities; the quantum section needs substantial revision before the paper's central thesis can be accepted.","major_comments":[{"comment":"The example does not compare the two Weyl systems it defines. The Weyl system for (V_phi, omega_phi) has generators \\hat{x}' = Q and \\hat{\\pi}' = -i \\partial/\\partial Q on L^2(L', dQ). Since phi is a vector-space isomorphism from V_phi to V and a symplectomorphism, von Neumann's theorem (which the paper itself recalls on p. 16) implies that this Weyl system is unitarily equivalent to the standard one. The subsequent comparison of \\hat{x} = q and \\hat{\\pi} = -i \\partial/\\partial q on L^2(L, dq) and L^2(L', dQ) concerns a different operator, not the generator -i \\partial/\\partial Q of the alternative Weyl system. Therefore the claimed conclusion that \"nonlinearly related formulations of quantum mechanics are possible\" does not follow from the example as stated.","section":"Section 5, Eqs. (63)-(68) and following paragraph"},{"comment":"The phrase \"algebra 'generated' by the operators \\hat{x}, \\hat{\\pi}, I together with their adjoints\" is not a well-defined C*-algebra construction when \\hat{x} and \\hat{\\pi} are unbounded operators. The assertion that one such object is a C*-algebra and the other is not must be formulated in terms of bounded functions of the generators, for instance the Weyl unitaries or the resolvents. As written, the claim is ambiguous and cannot be verified.","section":"Section 5, p. 18"},{"comment":"The statement that \\hat{\\pi} = -i \\partial/\\partial q is self-adjoint on L^2(L, dq) but not on L^2(L', dQ) is made without proof and without specifying a domain. Writing dQ = \\rho(q) dq with \\rho(q) = K(|q|) + q K'(|q|), a direct integration by parts gives \\langle\\phi, \\hat{\\pi}\\psi\\rangle_{dQ} - \\langle\\hat{\\pi}\\phi, \\psi\\rangle_{dQ} = i \\langle\\phi, (\\rho'/\\rho)\\psi\\rangle_{dQ} for compactly supported smooth functions, so the naive differential expression is not symmetric unless \\rho is constant. This computation is not supplied. If a different operator is intended (for example the generator of translations in the Q-coordinate), the claim must be restated. This omitted proof is load-bearing, as it is the only concrete evidence for the quantum part of the paper's thesis.","section":"Section 5, p. 18"}],"minor_comments":[{"comment":"There are typographical errors that should be corrected, including \"Hamitlonian\" in Section 1 and \"descritpion\" in Section 3.","section":"Throughout"},{"comment":"The tensor S' is written as dy \\otimes \\partial/\\partial w, whereas the convention established in Eq. (11) is S = \\partial/\\partial v \\otimes dq. For consistency, S' should be \\partial/\\partial w \\otimes dy.","section":"Section 3, Eqs. (30), (36), (41)"},{"comment":"The condition df \\wedge dq \\neq 0 is imprecise because f depends only on v; the intended local solvability condition is f'(v) \\neq 0, which should be stated explicitly.","section":"Section 3, Example 3, Eq. (39)"},{"comment":"The notation \"n = 0, 1, 2,..., n,...\" is sloppy; it should read \"n = 0, 1, 2, \\ldots\".","section":"Section 5, Eq. (67)"},{"comment":"The expression \"\\omega_f = dd_Tf\" should be written as \"\\omega_f = d(d_T f)\" for clarity, since d_T is not an ordinary differential.","section":"Section 4, Eq. (50)"},{"comment":"The text says that a submanifold of T*TQ is obtained, but the displayed set is a subset of TT*Q; this inconsistency should be corrected.","section":"Appendix A, Eq. (73)"}],"recommendation":"major_revision","confidential_remarks":"The manuscript leans heavily on the authors' prior work and on reference [21] for the central technical claims of Section 5. Even if the missing self-adjointness computation were supplied, the example appears to compare the wrong operators and therefore does not establish the advertised quantum underdetermination. I recommend that the editor require a substantial rewrite of Section 5, either providing a correct and precise inequivalence argument or substantially tempering the quantum claims, before the paper can be accepted."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"You should know this is mostly a review of the Marmo group's own program, not a new result. Its real message—experimental trajectories underdetermine the Lagrangian, Hamiltonian, and quantum structures—is correct and worth restating. The three examples in Section 3 are the only genuinely new computations, and they check out: each takes a vector field that is not second order with respect to the standard tangent bundle structure and finds a diffeomorphism making it second order for an alternative structure. That is a clean, teachable illustration of the inverse problem's ambiguity.\n\nSection 4 is a competent summary of how symmetries and constants of the motion generate alternative Hamiltonian descriptions. Section 5 is the soft spot. The quantum example with phi(q,p)=(qK(|q|),p) is meant to show that alternative linear structures yield alternative Weyl systems. The paper states without proof that x-hat is self-adjoint on both L^2(L,dq) and L^2(L',dQ), while pi-hat is self-adjoint only on L^2(L,dq), and that the generated algebra is a C*-algebra only in the first case. This is asserted, not shown, and deferred to [21]. The assertion is plausible, and for the naive operator -i d/dq on the non-translation-invariant measure it is true; but the phrasing is sloppy. On L^2(L',dQ), -i d/dq is not the generator of Q-translations—the unitary conjugate of the q-translation generator is a self-adjoint operator with an additional potential term. The paper does not say which operator it means. And calling the algebra generated by unbounded x-hat and pi-hat a C*-algebra is not rigorous; that claim belongs in terms of the Weyl algebra or resolvents. So the quantum section does not, by itself, establish the advertised quantum underdetermination; it points at [21] for that.\n\nThe citation pattern is self-heavy, but that is normal for a group review, and the load-bearing classical results are standard (Helmholtz conditions, Stone-von Neumann). No fabricated data, no invented entities.\n\nWho gets value? Someone who wants a compact geometric survey of how much freedom remains when you go from trajectories to quantization, or a lecturer looking for simple examples of alternative tangent bundle structures. It is not a breakthrough, but it is an honest, useful overview.\n\nRecommendation: send it to review. A referee should ask the authors to either prove or properly qualify the Section 5 self-adjointness and C*-algebra statements, and to fix the typos (including \"Hamitlonian\" in Section 3). With that revision, it is a publishable review article.","headline":"A competent geometric-mechanics review with three nice coordinate examples; the quantum section's key claim is real but under-proved and imprecise, so the paper is worth refereeing rather than rejecting.","tokens_in":16511,"tokens_out":3210,"would_cite":false,"duration_ms":30025,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["70H03","70H05","70G45","53D50","81S05"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper argues that the same set of classical trajectories admits many different Lagrangian, Hamiltonian, and quantum descriptions, because the geometric structures carrying those descriptions are underdetermined by the observed motion.","keywords":["inverse problem of the calculus of variations","tangent bundle structure","second-order vector fields","alternative Lagrangian descriptions","alternative symplectic structures","Weyl systems","canonical commutation relations","alternative linear structures"],"falsifier":"Choose $K(|q|)=1+q^2/3$, so $Q=q+q^3/3$ and $dQ=(1+q^2)\\,dq$. On $L^2(\\mathbb{R},(1+q^2)\\,dq)$, integration by parts for $\\hat\\pi=-i\\,d/dq$ gives $\\langle \\hat\\pi\\psi,\\varphi\\rangle-\\langle \\psi,\\hat\\pi\\varphi\\rangle=-i\\int \\overline{\\psi}\\varphi\\,2q\\,dq$, which is nonzero for generic compactly supported $\\psi,\\varphi$; therefore $\\hat\\pi$ is not even symmetric on that Hilbert space. If a direct computation with the paper's definitions instead showed symmetry or self-adjointness, the claimed inequivalence would be falsified.","tokens_in":15461,"feed_emoji":"⚛️","tokens_out":16496,"duration_ms":151769,"temperature":0.7,"pith_summary":"Starting from observed classical trajectories, the paper asks how much of the Lagrangian, Hamiltonian, and quantum machinery is actually fixed by the motion itself, and its answer is: far less than is usually assumed. It shows, using a tensorial characterization of tangent-bundle structure, that the same vector field on a carrier manifold can be a second-order Newtonian field with respect to one structure and not with respect to another, and that a dynamics-preserving diffeomorphism can turn it into a second-order field with respect to an alternative structure. In the Hamiltonian picture it shows how alternative symplectic forms can be built from symmetries and constants of the motion, possibly in compatible pairs that imply integrability. In the quantum picture it shows that alternative linear and symplectic structures on the same underlying set generate nonlinearly related Weyl systems and commutation relations, with the momentum operator well-behaved in one Hilbert-space realization and not in another. The consequence is that trajectories alone underdetermine the geometric and quantum description of a system, so the choice of structure is part of the physical modeling.","feed_headline":"Trajectories alone fix neither the Lagrangian nor the quantum rules","feed_subtitle":"The same observed motion can be a second-order field under many tangent, symplectic, and Weyl structures.","key_machinery":"The central mechanism is the tensorial bookkeeping of a tangent bundle structure: on a carrier manifold $M$, the pair $(S,\\Delta)$ with $S$ a $(1,1)$-tensor satisfying $S^2=0$, $\\mathrm{Ker}\\,S=\\mathrm{Im}\\,S$, $N_S=0$ and $\\Delta$ a partial linear structure encodes what it means for $M$ to be a tangent bundle; the field $\\Gamma$ is Newton-like precisely when $S(\\Gamma)=\\Delta$. That identity is tensorial, so under any diffeomorphism $\\varphi$ it becomes $(\\varphi^*S)(\\varphi^*\\Gamma)=\\varphi^*\\Delta$, which is the same second-order condition for a new tangent structure; this is what makes the same trajectories compatible with many Lagrangian pictures. On the quantum side, the central object is the Weyl system $W:V\\to U(H)$ with $W(z+z')=W(z)W(z')e^{-i\\omega(z,z')/2\\hbar}$, together with the standard realization of a Weyl system on $L^2$ of a Lagrangian subspace; because the Weyl map and the realization depend on the linear and symplectic structures of $V$, changing them nonlinearly changes the measure on the 'same' subspace, hence changes which operators are self-adjoint and whether the generated algebra is a $C^*$-algebra.","core_discovery":"The paper's central claim is that the empirical input, a family of trajectories, does not determine a unique geometric description of a dynamical system. The core reduction is tensorial: on a carrier manifold, a pair $(S,\\Delta)$ encodes what it means to be a tangent bundle, and a vector field $\\Gamma$ is Newton-like exactly when $S(\\Gamma)=\\Delta$. Since this equality is tensorial, any diffeomorphism $\\varphi$ produces a new pair $(\\varphi^*S,\\varphi^*\\Delta)$ for which the transformed field is again second-order; when $\\varphi$ is a symmetry fixing $\\Gamma$, the same vector field is second-order for both the old and the new tangent structure. Explicit coordinate examples turn a reparametrized free particle, a harmonic oscillator with constant frequency, and a dilation field into second-order fields with respect to newly built tangent structures. The same logic moves to the Hamiltonian side, where constants of the motion generate alternative invariant symplectic forms, and then to the quantum side, where the nonlinear relabeling $\\varphi(q,p)=(qK(|q|),p)$ defines an alternative linear and symplectic vector space, an alternative Weyl system, and a generated operator algebra that is a $C^*$-algebra in one realization and not in the other. The conclusion is that nonlinearly related formulations of quantum mechanics can coexist for the same classical input.","pith_inferences":["An extension the paper does not pursue is to compute expectation values and transition probabilities for the same formal operators in the two Hilbert-space realizations; any operational difference would make the choice of linear structure empirically detectable.","The same move, searching for a diffeomorphism that makes a given vector field second-order, can be applied systematically to incomplete flows: scanning the symmetry group of $\\Gamma$ for a transformation that produces a complete second-order field would give a Lagrangian description of the reparametrized dynamics.","The nonconstant density $\\sigma(q)=dQ/dq$ is what breaks symmetry of the momentum operator; this suggests a general criterion that a nonlinear relabeling preserves the $C^*$-algebraic structure exactly when the induced density is constant, which could classify admissible coordinates.","If alternative linear structures induce alternative Weyl systems and second-quantization procedures, then the same classical field content could in principle support inequivalent quantum field theories; the paper only gestures at second quantization, but the mechanism it describes is the same."],"forward_implications":["A dynamics that is not second-order with respect to a given tangent bundle structure can still be a legitimate second-order (Newton-like) system after a diffeomorphism; the worked examples include a reparametrized free particle, a harmonic oscillator with constant frequency, and the field $q\\,\\partial_q$.","Reparametrizing a vector field to make it complete, as needed in the paper's motivating example of an incomplete central-force flow, no longer automatically destroys the possibility of a Lagrangian description: one can search for an alternative tangent bundle structure relative to which the reparametrized field is second-order.","In the Hamiltonian picture, every constant of the motion gives a candidate invariant 2-form via the $T$-differential; whenever that form is nondegenerate, the same dynamical field has a second Hamiltonian description, and compatible pairs of such forms imply complete integrability.","In the quantum picture, alternative linear structures on the same set generate alternative Weyl systems; because the measures on the 'same' Lagrangian subspace are then nonlinearly related, square-integrability changes, the momentum operator can lose self-adjointness in one realization, and the generated algebra stops being a $C^*$-algebra.","Therefore the entire chain from trajectories to commutation relations carries modeling choices, the carrier manifold, the tangent structure, the symplectic form, and the linear structure, none of which is uniquely forced by the observed curves."],"supporting_citations":[{"why":"Supplies the procedure that lifts experimental trajectories to submanifolds of TQ and TTQ and extracts the second-order vector field.","marker":"[2]"},{"why":"Provides the motivating case of an incomplete central-force flow that must be reparametrized to become complete, the situation the alternative tangent-bundle construction is designed to handle.","marker":"[3]"},{"why":"Supplies the f-oscillator example used to illustrate alternative, nonlinearly related quantum descriptions.","marker":"[5]"},{"why":"Provides the partial linear structure and the symplectic/Poisson background on which the tensorial characterizations of tangent and cotangent bundles are built.","marker":"[12]"},{"why":"Supplies the tensorial geometry of the tangent bundle, the inverse problem, and the T-differential used to construct alternative Lagrangians and symplectic forms.","marker":"[14]"},{"why":"Supplies the theorem that a pair (S,Δ) with S²=0, Ker S=Im S, and zero Nijenhuis tensor defines a tangent bundle structure, grounding the second-order condition S(Γ)=Δ.","marker":"[17]"},{"why":"Supports the compatibility criterion for pairs of alternative symplectic structures and the assertion that compatible pairs imply complete integrability.","marker":"[20]"},{"why":"Carries the deferred proof that the momentum operator is self-adjoint only on L²(L,dq) and that the generated algebra on L²(L′,dQ) is not a C*-algebra, the load-bearing step of the quantum example.","marker":"[21]"}],"fun_headline_variants":["Same trajectories, many commutation relations","Non-unique quantization from identical orbits","One motion, multiple Lagrangian and quantum structures","Classical paths don't fix quantum rules","Alternative Weyl systems from same classical data"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is the unproved assertion that the momentum operator $\\hat\\pi=-i\\,d/dq$ is a fully meaningful self-adjoint operator on $L^2(L,dq)$ but not on $L^2(L',dQ)$, the Hilbert space built with the nonlinearly re-measured coordinate; if that assertion fails, the example does not demonstrate genuinely inequivalent quantum theories.","fun_headline_variants_meta":{"raw":{"variants":["Same trajectories, many commutation relations","Non-unique quantization from identical orbits","One motion, multiple Lagrangian and quantum structures","Classical paths don't fix quantum rules","Alternative Weyl systems from same classical data"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000936,"raw_usage":{"total_tokens":3991,"prompt_tokens":922,"completion_tokens":3069,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":538,"completion_tokens_details":{"reasoning_tokens":3005}},"tokens_in":538,"tokens_out":3069,"duration_ms":26397,"temperature":1.0,"reasoning_tokens":3005,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T12:35:40.797557+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Choose $K(|q|)=1+q^2/3$, so $Q=q+q^3/3$ and $dQ=(1+q^2)\\,dq$. On $L^2(\\mathbb{R},(1+q^2)\\,dq)$, integration by parts for $\\hat\\pi=-i\\,d/dq$ gives $\\langle \\hat\\pi\\psi,\\varphi\\rangle-\\langle \\psi,\\hat\\pi\\varphi\\rangle=-i\\int \\overline{\\psi}\\varphi\\,2q\\,dq$, which is nonzero for generic compactly supported $\\psi,\\varphi$; therefore $\\hat\\pi$ is not even symmetric on that Hilbert space. If a direct computation with the paper's definitions instead showed symmetry or self-adjointness, the claimed inequivalence would be falsified.","supporting_citations":[{"cited_title":"Marmo, E","cited_arxiv_id":null,"evidence_quote":"Supplies the procedure that lifts experimental trajectories to submanifolds of TQ and TTQ and extracts the second-order vector field."},{"cited_title":"D’Avanzo and G","cited_arxiv_id":null,"evidence_quote":"Provides the motivating case of an incomplete central-force flow that must be reparametrized to become complete, the situation the alternative tangent-bundle construction is designed to handle."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the f-oscillator example used to illustrate alternative, nonlinearly related quantum descriptions."},{"cited_title":"Carinena, G","cited_arxiv_id":null,"evidence_quote":"Provides the partial linear structure and the symplectic/Poisson background on which the tensorial characterizations of tangent and cotangent bundles are built."},{"cited_title":"Morandi, C","cited_arxiv_id":null,"evidence_quote":"Supplies the tensorial geometry of the tangent bundle, the inverse problem, and the T-differential used to construct alternative Lagrangians and symplectic forms."},{"cited_title":"De Filippo, G","cited_arxiv_id":null,"evidence_quote":"Supplies the theorem that a pair (S,Δ) with S²=0, Ker S=Im S, and zero Nijenhuis tensor defines a tangent bundle structure, grounding the second-order condition S(Γ)=Δ."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supports the compatibility criterion for pairs of alternative symplectic structures and the assertion that compatible pairs imply complete integrability."},{"cited_title":"Ercolessi, A","cited_arxiv_id":null,"evidence_quote":"Carries the deferred proof that the momentum operator is self-adjoint only on L²(L,dq) and that the generated algebra on L²(L′,dQ) is not a C*-algebra, the load-bearing step of the quantum example."}],"review_version":1}