{"id":"34a7af53-b47c-4bb9-bbbf-adc5f8e1ed8b","arxiv_id":"2504.18826","paper_version":1,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The Gozzi-Reuter-Thacker path integral for classical mechanics is recovered as a gauge-fixed one-dimensional AKSZ sigma model with target T*(T[1]M × R[1]).","lead":"This paper shows that classical mechanics, in the Koopman-von Neumann path integral form, can be rewritten as a gauge-fixed AKSZ sigma model, a framework from quantum field theory. The reframing gives researchers a new geometric language for classical dynamics and may connect it to geometric quantization.","discovery_kind":"unification","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Eq. (4.6) appears to use a transposed index contraction in the BRST charge, so the asserted nilpotency and the matching to the GRT action fail as written.","rationale":"The reader's verdict is CONDITIONAL, citing missing nilpotency checks and omitted ghost rescalings. My stress-test goes further: performing the nilpotency check for Eq. (4.6) as written reveals an index-contraction error, so the paper's central claim fails at the level of the printed formula. This is exactly the kind of concrete technical defect the reader flagged as 'asserted, not demonstrated,' and it strengthens the case for revision. It is not a reason to reject outright because the correction is straightforward and the intended construction is clear: the charge should contract the ghost index with the structure-function index that is paired with the momentum, giving −C^a{}_{•b} c• c^b P_a = −(∂_b X^a)c• c^b P_a. With that correction, the gauge-fixed interaction matches Eq. (2.18) up to the standard factor of i and ghost rescaling, which the authors should also spell out. The reader's alternative concern about the exactness of ω on the original phase space M is real but secondary: the construction is local, and M is used only in Darboux coordinates. Because the identified defect supports the existing CONDITIONAL verdict without moving it, I leave the verdict unchanged.","tokens_in":12123,"tokens_out":32237,"duration_ms":318744,"concrete_test":"Take n=1, H=p²/2, and evaluate the graded Poisson bracket {Θ,Θ} for the charge (4.6) using the bracket conventions Ω=dλ∧dz and {c^a,P_b}=δ^a_b. A nonzero result confirms the failure of nilpotency. Independently, gauge-fix (4.6) via the procedure of Section 3 and compare the resulting c-ar c interaction with Eq. (2.18): the interaction term has the wrong ghost/momentum index contraction. Recomputing with the corrected term −(∂_b X^a)c• c^b P_a should restore both {Θ,Θ}=0 and exact agreement with the GRT interaction term (up to the unstated i-rescaling of ghosts).","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim rests on the BRST charge Θ in Eq. (4.6). With the structure functions defined in Eq. (4.5) as C•ab = ∂a X^b, the charge is written as Θ = c•T• + c^aT_a − C•ab c• c^b P_a. A direct graded-bracket computation using the paper's own conventions (Ω = dλ_a ∧ dz^a on T*M, {c^a,P_b} = δ^a_b) shows that this charge is not nilpotent. For the minimal example H = p²/2, n = 1, Eq. (4.6) gives Θ = c• p λ_q + c^q λ_q + c^p λ_p − c• c^q P_p, and {Θ,Θ} does not vanish. The nilpotent BFV charge requires the structure-function term −C^a{}_{•b} c• c^b P_a = −(∂_b X^a) c• c^b P_a, i.e. the ghost index and the momentum index are interchanged relative to Eq. (4.6). Consequently, the gauge-fixed action obtained from (4.6) produces the interaction c^q ar c_p in the n=1 example, whereas the GRT action (2.18) requires c^p ar c_q (up to the standard factor of i). Thus, as printed, Eq. (4.6) neither satisfies the nilpotency condition asserted in the text nor reproduces the action of Ref. [4, Sec. 3]. This is a concrete internal inconsistency, not merely a missing computation; however, it appears to be a correctable index transposition rather than a conceptual obstruction.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper argues that the Gozzi–Reuter–Thacker (GRT) path-integral formulation of Koopman–von Neumann classical mechanics can be understood as the gauge-fixed action of a one-dimensional AKSZ sigma model. After reviewing the GRT/KvN Lagrangian in Section 2, the authors introduce, in Section 4, a constrained system on the cotangent bundle of the original phase space, with first-class constraints T_a = lambda_a and T_bullet = lambda_a X^a_H. They write the corresponding BFV–BRST charge, gauge-fix the AKSZ action, and claim that the resulting Lagrangian reproduces the GRT action of Eq. (2.18). The paper also gives a Lie-algebroid interpretation of the construction, leading to the target T^*(T[1]M ⋊ R[1]). I checked the nilpotency claim for Eq. (4.6) in the minimal example H = p^2/2; the charge is nilpotent as printed, so the suggested index-transposition concern does not survive a direct computation.","tokens_in":12449,"tokens_out":30830,"duration_ms":284024,"significance":"If the identification is made fully explicit, this is a conceptually valuable explanation of the otherwise ad hoc 8n-dimensional extended phase space of the GRT formalism: the extra fields are the ghosts, antighosts, and momenta of a first-class constraint system on T^*M. The cotangent-lift and zero-section derivation of the constraints is elegant, and the central claim is concrete and checkable. The paper would be a useful contribution to the AKSZ/BFV literature, provided the comparison with the GRT action is completed and the internal sign inconsistencies are fixed.","major_comments":[{"comment":"The step from the gauge-fixed AKSZ action to the claimed recovery of the GRT Lagrangian (2.18) is not demonstrated. Starting from Eq. (4.6), the gauge-fixed action contains the ghost kinetic term \\bar c_a \\dot c^a and an interaction + C_{ab} c^a \\bar c_b, whereas Eq. (2.18) has i \\bar c_a \\dot c^a and -i \\bar c_a \\pi^{ad}(\\partial_d\\partial_b H)c^b. These match only after the field redefinition \\bar c_a^{AKSZ} = i \\bar c_a^{GRT}, which is not stated. In addition, Eq. (3.26) contains the free sector \\bar c_bullet \\dot c_bullet, which has no counterpart in Eq. (2.18); the paper should show that this pair decouples and that its functional determinant is an irrelevant normalization constant. Until these steps are supplied, the central claim that the GRT action is recovered from the AKSZ model remains incomplete.","section":"Section 4, after Eq. (3.26)"},{"comment":"There is an internal sign inconsistency between the two displayed forms of the BRST charge. Eq. (4.2) contains the term + c_bullet c^b P_a \\pi^{ac}\\partial_c\\partial_b H, while Eq. (4.6) contains - C_{bullet ab} c_bullet c^a P_b = - c_bullet c^b \\pi^{ac}\\partial_b\\partial_c H P_a. Since c^b and P_a are both odd, these expressions are not related by a relabelling; they differ by a sign. I verified that the charge in Eq. (4.6) is nilpotent in the example H = p^2/2 (the structure term is - c_bullet c^p P_q and the cross terms cancel), so Eq. (4.2) appears to be the erroneous one. The authors should correct Eq. (4.2) and state explicitly that Eq. (4.6) is the charge used in the subsequent gauge fixing.","section":"Section 4, Eqs. (4.2) and (4.6)"}],"minor_comments":[{"comment":"The notation for the constraints is inconsistent: Eq. (4.4) defines T_a = lambda_a with a lower index, while Eq. (4.5) writes {T_bullet, T^a} and C_{bullet ab} T^b with an upper index on T. The index placement should be unified.","section":"Section 4, Eqs. (4.4) and (4.5)"},{"comment":"The abstract and conclusion write the target as T^*(T[1]M × R[1]), while Section 4 uses the semidirect product T[1]M ⋊ R[1]. The distinction matters because the Q-structure in Eq. (4.11) contains the c_bullet-dependent anchor; the direct-product notation is potentially misleading.","section":"Abstract and Section 4, Eq. (4.12)"},{"comment":"The paper restricts to Darboux coordinates and canonical transformations without restating this limitation in the final theorem. A sentence clarifying that the comparison with Eq. (2.18) is local, or a brief indication of how the Lie-algebroid construction globalizes, would sharpen the scope of the claim.","section":"Section 2, end"},{"comment":"Reference [15] is incomplete: it lists no title and an empty journal field. There is also a typo in Section 2, where 'loosing' should be 'losing'.","section":"References"}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: this paper does what it says. It shows the Gozzi–Reuter–Thacker path integral for classical mechanics is the gauge-fixed action of a one-dimensional AKSZ sigma model with target T*(T[1]M×R[1]). The constraints are natural: λ_a=0 cuts out M as the zero section of T*M, and T•=λ_a X^a_H is the cotangent lift of the Hamiltonian R-action. I was initially worried about an index transposition in Eq. (4.6), but reading the formula as the cotangent lift of the Q-structure on E[1]=T[1]M⋊R[1], the placement is correct and nilpotency is inherited from Q_E^2=0. So the central claim is fine.\n\nWhat is genuinely new: the explicit target-space identification and the Lie-algebroid interpretation. Prior work identified the 8n-dimensional phase space as T*T[1]M; embedding it in an AKSZ model with the extra R[1] factor is a useful step, not a new framework. The construction is not just reverse-engineered from GRT—the constraints come from a geometric setup that stands on its own.\n\nSoft spots, in order of real weight. First, the paper assumes ω=dϑ globally and works in Darboux coordinates with canonical transformations. For a general symplectic M this is at best local; the authors say this, but it is a genuine limitation of the identification as stated. Second, the matching to the GRT action is compressed: factors of i and ghost rescalings are not exhibited, and the determinant in Eq. (2.14) is glossed over. A referee should ask for a clean table of field redefinitions. Third, the nilpotency of Θ is asserted rather than demonstrated; it is true, but the paper would be stronger with a two-line check. The notation in Eq. (4.6) is also easy to misread—the stress-test note I saw tripped on this—so the authors should clarify index placement.\n\nThis is a reformulation with no new physical predictions, so its audience is mathematical physics. For that audience it is a solid, citable piece. I would send it to a serious referee and ask for the matching details and a discussion of the global issue. The paper deserves peer review; it does not deserve a desk rejection.","headline":"A mostly sound AKSZ repackaging of the GRT/KvN path integral; the local-exactness caveat is real and the matching details are rushed, but the central identification survives the index-transposition worry.","tokens_in":13035,"tokens_out":19319,"would_cite":true,"duration_ms":182963,"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":"This paper claims the Gozzi–Reuter–Thacker classical path integral is exactly the gauge-fixed action of a one-dimensional AKSZ sigma model with target $T^*(T[1]M \\times \\mathbb{R}[1])$.","keywords":["AKSZ sigma model","Koopman-von Neumann mechanics","classical path integral","GRT formulation","BRST quantization","BFV formalism","Lie algebroids","symplectic geometry"],"falsifier":"Take a Hamiltonian system whose phase space is a compact symplectic manifold with non-exact symplectic form (for example a torus with its area form) and try to build the gauge-fixed AKSZ action without a global $\\vartheta$; if the resulting path integral cannot reproduce the classical propagator $\\delta(z - z_{\\mathrm{cl}}(t))$ or requires patching that breaks the equality with the GRT action, the claimed recovery holds only locally.","tokens_in":11890,"feed_emoji":"🔧","tokens_out":10659,"duration_ms":98664,"temperature":0.7,"pith_summary":"The paper tries to establish that the path-integral reformulation of classical Hamiltonian mechanics due to Gozzi, Reuter and Thacker (GRT), built on the Koopman–von Neumann (KvN) operator picture, is not a standalone construction: it is exactly the gauge-fixed action of a one-dimensional AKSZ $\\sigma$ model whose target space is the graded cotangent bundle $T^*(T[1]M \\times \\mathbb{R}[1])$. A sympathetic reader should care because the equivalence turns classical mechanics into a specimen of the AKSZ/BV–BRST machinery, giving a geometric origin for the 8n auxiliary fields in the GRT path integral and opening a route to generalizations where the $\\mathbb{R}[1]$ factor is replaced by a general Lie algebra. The paper states this as a recovery of the GRT action from a gauge-fixed AKSZ model for the first-class constraint system $\\{T_\\bullet, T_a\\}$ on $T^*M$.","feed_headline":"AKSZ sigma model hides the classical path integral in a gauge slice","feed_subtitle":"Gauge fixing a 1D AKSZ model with target T*(T[1]M × R[1]) yields the GRT path integral for classical mechanics.","key_machinery":"The load-bearing object is the AKSZ action for the supermap $T[1]\\Sigma \\to M \\times T^*\\mathfrak{g}[1]$, combined with the BFV–BRST charge $\\Theta$ that encodes the constraints. Specifically, the construction uses the Lie algebroid $E = TM \\rtimes \\mathbb{R}$ over the original phase space $M$: its shift $E[1]$ is the graded manifold with coordinates $z^a$ of degree 0 and $c^a, c_\\bullet$ of degree 1, and its cohomological vector field $Q_E$ has cotangent lift equal to the BRST charge (4.6). Gauge fixing selects the component $e_\\bullet = 1$ and $e^a = 0$; integrating out the Lagrange multipliers gives exactly the GRT Lagrangian. The structure functions of the constraint algebra are the derivatives $\\partial_a X_H^b$ of the Hamiltonian vector field.","core_discovery":"On the paper's own terms, the discovery is that the classical propagator of a Hamiltonian system on a phase space $M$, written by GRT as a path integral over the 8n fields $(z^a, \\lambda_a, c^a, \\bar{c}_a)$, is the gauge slice of the AKSZ action for a one-dimensional worldline with target $T^*(T[1]M \\times \\mathbb{R}[1])$. The mechanism is a first-class constraint system on $T^*M$: $T_a = \\lambda_a$ identifies $M$ as the zero section, and $T_\\bullet = \\lambda_a X_H^a$ with $X_H^a = \\pi^{ab}\\partial_b H$ generates the Hamiltonian flow. The BRST charge (4.6) built from these constraints satisfies $\\{\\Theta,\\Theta\\}=0$, and the AKSZ action constructed from it, after the gauge-fixing fermion $\\Psi = \\int d\\tau\\, \\bar{c}_I(e^I - \\delta^I_\\bullet)$, reduces to the GRT Lagrangian $\\lambda_a \\dot{z}^a + i\\bar{c}_a \\dot{c}^a - \\lambda_a \\pi^{ab}\\partial_b H - i\\bar{c}_a \\pi^{ad}(\\partial_d\\partial_b H)c^b$. Thus KvN mechanics is reframed as the reduced phase space of this constrained system, where taking the quotient of $M$ by the Hamiltonian $\\mathbb{R}$-action yields the classical trajectories.","pith_inferences":["A consequence the authors leave implicit: because the construction assumes an exact symplectic potential, the cleanest reading is local; on compact or topologically nontrivial phase spaces the correct statement is likely a glued or sheaf-theoretic version, and one could test whether the GRT propagator is recovered chart by chart.","A physically testable extension is to compute the Ward identities of the AKSZ model and match them to the hidden BRS invariances of the GRT path integral; a formal action identity alone would not guarantee full equivalence of the path integrals.","The same gauge-fixing logic suggests a quantization route: applying AKSZ/BV quantization to this worldline model may produce deformations of classical mechanics, such as Moyal-type products, beyond what the paper works out.","For Hamiltonians with non-complete flows, the quotient $M/\\mathbb{R}$ can be singular, so the 'space of classical trajectories' should be understood as a stack or derived space; in that setting the AKSZ description may be the better-defined object."],"forward_implications":["If the equivalence is correct, the GRT/KvN path integral is the gauge-fixed AKSZ action for the constrained system with constraints $T_a = \\lambda_a$ and $T_\\bullet = \\lambda_a X_H^a$, so the 8n integration fields are the superfield components of the AKSZ maps rather than ad hoc auxiliaries.","The reduced phase space of the constrained system is the set of classical trajectories: the quotient of $M$ by the Hamiltonian $\\mathbb{R}$-action, which is why the target contains the $\\mathbb{R}[1]$ factor.","The BRST charge (4.6) satisfying $\\{\\Theta,\\Theta\\}=0$ is the cotangent lift of the cohomological vector field of the Lie algebroid $E = TM \\rtimes \\mathbb{R}$, so classical evolution is recast as the cohomology of this Q-manifold.","Replacing $\\mathbb{R}[1]$ by $\\mathfrak{g}[1]$ for a Lie algebra action should produce AKSZ sigma models for classical systems with first-class constraints coming from a group action, with target of the form $T^*(T[1]C \\rtimes (\\mathbb{R}[1]\\oplus \\mathfrak{g}[1]))$.","The AKSZ picture gives a new geometric bridge between KvN mechanics and geometric quantization, potentially explaining the unobserved phase of the KvN wavefunction."],"supporting_citations":[{"why":"Supplies the Koopman–von Neumann operator formulation of classical mechanics that the paper reframes.","marker":"[1–3]"},{"why":"Provides the GRT path-integral action (2.17)–(2.18) that the gauge-fixed AKSZ model is claimed to reproduce.","marker":"[4]"},{"why":"Extends the GRT path integral to symmetries on a generalized phase-space manifold, assumed by the target-space picture.","marker":"[5]"},{"why":"Introduces the AKSZ sigma-model construction used to build the worldline action.","marker":"[6]"},{"why":"Identifies the 8n extended phase-space variables as $T^*T[1]M$, the target-space geometry the AKSZ model recovers.","marker":"[10]"},{"why":"Shows AKSZ sigma models whose target is the BFV–BRST phase space of a constrained system, the template for the constrained particle.","marker":"[23]"},{"why":"Establishes that Lie algebroids give Q-manifolds, used to encode $E = TM \\rtimes \\mathbb{R}$ as the shifted target.","marker":"[31]"},{"why":"Relates Lie algebroids to constrained systems and their BV/BFV formulation, supporting the reduced-phase-space interpretation.","marker":"[32]"}],"fun_headline_variants":["Classical path integral is an AKSZ gauge slice","AKSZ sigma model yields KvN classical dynamics","Gauge fixing a 1D AKSZ model reproduces Hamilton's equations","Koopman-von Neumann mechanics from AKSZ constraints","Classical trajectories emerge from AKSZ BRST charge"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The identification rests on assuming the phase-space symplectic form is exact, $\\omega = d\\vartheta$, so that the AKSZ action has a global symplectic potential, and on working in Darboux coordinates with only canonical transformations; on a general symplectic manifold without such a global potential the construction is local.","fun_headline_variants_meta":{"raw":{"variants":["Classical path integral is an AKSZ gauge slice","AKSZ sigma model yields KvN classical dynamics","Gauge fixing a 1D AKSZ model reproduces Hamilton's equations","Koopman-von Neumann mechanics from AKSZ constraints","Classical trajectories emerge from AKSZ BRST charge"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000768,"raw_usage":{"total_tokens":3405,"prompt_tokens":950,"completion_tokens":2455,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":566,"completion_tokens_details":{"reasoning_tokens":2370}},"tokens_in":566,"tokens_out":2455,"duration_ms":19097,"temperature":1.0,"reasoning_tokens":2370,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-16T10:08:58.201132+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a Hamiltonian system whose phase space is a compact symplectic manifold with non-exact symplectic form (for example a torus with its area form) and try to build the gauge-fixed AKSZ action without a global $\\vartheta$; if the resulting path integral cannot reproduce the classical propagator $\\delta(z - z_{\\mathrm{cl}}(t))$ or requires patching that breaks the equality with the GRT action, the claimed recovery holds only locally.","supporting_citations":[{"cited_title":"Gozzi, M","cited_arxiv_id":null,"evidence_quote":"Provides the GRT path-integral action (2.17)–(2.18) that the gauge-fixed AKSZ model is claimed to reproduce."},{"cited_title":"Gozzi, M","cited_arxiv_id":null,"evidence_quote":"Extends the GRT path integral to symmetries on a generalized phase-space manifold, assumed by the target-space picture."},{"cited_title":"Addenda and corrections to work done on the path-integral approach to classical mechanics","cited_arxiv_id":"hep-th/9903136","evidence_quote":"Identifies the 8n extended phase-space variables as $T^*T[1]M$, the target-space geometry the AKSZ model recovers."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Establishes that Lie algebroids give Q-manifolds, used to encode $E = TM \\rtimes \\mathbb{R}$ as the shifted target."},{"cited_title":"On the relation of Lie algebroids to constrained systems and their BV/BFV formulation","cited_arxiv_id":"1803.00080","evidence_quote":"Relates Lie algebroids to constrained systems and their BV/BFV formulation, supporting the reduced-phase-space interpretation."}],"review_version":1}