{"id":"fdbf103e-0b08-482a-a4ce-83d0e5f6989c","arxiv_id":"2412.06912","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The off-shell factorization algebra of quantum observables for the harmonic oscillator and spin-1/2 system is quasi-isomorphic to the standard on-shell Weyl/Pauli factorization algebra, including state spaces on boundary intervals.","lead":"This paper constructs an alternative 'off-shell' formulation of quantum mechanics for the harmonic oscillator and a spin-1/2 particle, built from Batalin-Vilkovisky algebras and factorization algebras, and shows it is equivalent to the standard on-shell formulation. It extends an existing program by incorporating intervals with boundaries, giving explicit quasi-isomorphisms between the off-shell and on-shell factorization algebras.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Central quasi-isomorphism for half-open/closed intervals and spin-1/2 is asserted, not proven; the omitted steps are exactly where the homotopy operator's boundary identities h(dg)=g must hold.","rationale":"The reader's weakest-assumption pinpoints the support and boundary properties of the homotopy operator h, and the paper itself admits the missing proofs in §4.2 and §5.3. My stress-test confirms that these are the load-bearing steps: the projector Π = Π0e^{-C} is a quasi-isomorphism only if [d,C] = −Δ, which reduces to h(dg) = g on the correct boundary-conditioned function spaces. For open intervals this is proven in §2 and appendix B; for half-open, closed, and spin-1/2 cases the required identities are asserted but not fully demonstrated. I found no concrete counterexample: the boundary conditions in appendix B (∂−h(f)(ti)=0, ∂+h(f)(tf)=0) and the value-boundary conditions in §5.3 appear compatible, and explicit checks in §4.3 pass. However, because the central theorem for the new cases is explicitly not proven, the claims are conditional rather than established. This does not change the reader's CONDITIONAL verdict, and I agree with the reader's identification of the support/boundary property as the weakest assumption. The proposed test — computing h(dg) on each boundary subspace and checking the omitted structure-map diagrams — would settle whether the concern lands or the proofs can be completed as claimed.","tokens_in":48991,"tokens_out":32060,"duration_ms":309410,"concrete_test":"Verify the identity h(dg) = g on the boundary-conditioned subspaces used in §4 and §5. Using appendix B formulas ∂+h(f)(t) = 2iω h_+(f)(t) and ∂−h(f)(t) = −2iω h_−(f)(t), compute ∂+h(∂−g1) for g1 ∈ C∞_cf((b,tf]) with g1(tf)=0 and ∂−h(∂+g2) for g2 ∈ C∞_ci([ti,a)) with g2(ti)=0, and check that the boundary terms vanish exactly. Also compute the commutator of Π with the structure map m for the case I1=[ti,a), I2=(a,b), J=[ti,b) on a word of arbitrary length, using the ρL formula in §4.2; if any boundary term survives or any diagram fails to commute, the quasi-isomorphism claim collapses.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's central claim is that the off-shell BV factorization algebra is quasi-isomorphic to on-shell quantum mechanics for the harmonic oscillator and spin-1/2, including intervals with boundaries. For open intervals the proof is explicit (Theorem 1, §3.4), but for the new boundary cases the key steps are explicitly omitted: §4.2 states 'We will not give the general proof' for Theorem 2, and §5.3 states 'We will not give a proof of the fact that (5.70)' for the spin-1/2 projector. These omitted proofs are not cosmetic: the projector Π = Π0e^{-C} is a chain map only if [d,C] = −Δ, which in turn requires the homotopy identity h(dg) = g on the boundary-conditioned subspaces. For the harmonic oscillator this means g ∈ C∞_cp([ti,a)) with ∂−g(ti)=0; for spin-1/2 it means g1 ∈ C∞_cf((b,tf]) with g1(tf)=0 and g2 ∈ C∞_ci([ti,a)) with g2(ti)=0. Appendix B proves the derivative boundary conditions ∂±h(f)(ti/tf)=0, but it does not explicitly show that all boundary terms in h(dg)=g vanish for these value-type boundary conditions, nor does it carry out the full verification that every structure map in (4.32) commutes with Π. If any boundary term survives, e^{-C} is not a chain map and the quasi-isomorphism fails. This is not a demonstrated error — the pieces appear present — but it is the least secure load-bearing condition of the central claim.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper proposes an 'off-shell' reformulation of quantum mechanics for the harmonic oscillator and the spin-1/2 system, based on factorization algebras of Batalin-Vilkovisky (BV) algebras of compactly supported smooth functions on intervals. The main claim is that the factorization algebra F_QM, whose structure maps are just inclusions and wedge products, is quasi-isomorphic to the factorization algebra of ordinary on-shell quantum mechanics (Weyl algebra for operators, Hilbert spaces for half-open intervals, and complex numbers for the closed interval). The equivalence is implemented by the explicit projector Δ = Δ0 e^{-C}, where C is a Wick contraction built from the Feynman propagator. For open intervals, the quasi-isomorphism (Theorem 1) is proven in detail. For intervals with boundary (Theorem 2) and for the spin-1/2 system (Theorem 3), the paper verifies special cases but explicitly states that the general proofs are omitted.","tokens_in":49352,"tokens_out":11116,"duration_ms":101239,"significance":"If the missing proofs are supplied, this would be a valuable explicit illustration of the Costello-Gwilliam program, showing that the operator algebra, states, and expectation values of quantum mechanics can be recovered from the cohomology of an off-shell dg algebra with an explicit, computable quasi-isomorphism. The construction of the projector and the detailed verification of the open-interval case are genuine strengths, and the presentation is pedagogical and carefully motivated. I do not regard the choice of Δ as circular: the deformation is of course engineered to reproduce the Weyl/Pauli algebra, but the content lies in the explicit homotopy and the transfer argument. The main weakness is that the advertised extensions to boundary intervals and spin-1/2 rest on assertions rather than proofs, and these are precisely the cases where new boundary-condition technology is needed.","major_comments":[{"comment":"The proof of Theorem 2, the central statement for half-open and closed intervals, is not given; the text says 'We will not give the general proof, since it is very similar to the case on R'. The preceding verification covers only two special cases with linear monomials, (4.38)–(4.41). Since this is one of the paper's advertised new results, the omission is load-bearing. Please either provide the complete proof of commutativity of (4.37) for all structure maps listed in (4.32), or state explicitly that Theorem 2 is a conjecture. The proof must in particular handle higher monomials and the action of Π on the boundary-conditioned spaces C^∞_cp([ti,a)) and C^∞_cp((b,tf]).","section":"§4.2, Theorem 2"},{"comment":"The projector for the spin-1/2 system on half-open and closed intervals is asserted without proof: 'We will not give a proof of the fact that (5.70)'. This is load-bearing because Theorem 3 depends on it. The essential step is [d,C] = −Δ on the boundary-conditioned complex (5.51), which requires the homotopy identity h(dg)=g for components with value-type boundary conditions, g1(tf)=0 and g2(ti)=0. Appendix B establishes the required identities for the derivative boundary conditions of the bosonic case but does not carry out the analogous computation for the spin homotopy (5.19). Please supply this computation.","section":"§5.3, Eq. (5.70)"},{"comment":"The proposition that the complexes (5.60) and (5.61) have cohomology isomorphic to C is stated with 'We will not give the proof of this proposition'. These results are used to identify the state spaces C[a†] and C[a], so they are needed for the Hilbert-space interpretation. The proof is a short zig-zag argument analogous to (5.56)–(5.59) and should be included.","section":"§5.3, Propositions (5.60)–(5.61)"},{"comment":"Appendix B proves the identities ∂−h(f)(ti)=0 and ∂+h(f)(tf)=0 and h(̈g+ω²g)=g for g∈C^∞_cp(I) with derivative boundary conditions. For the spin-1/2 system, however, one needs the corresponding identities for h(f)=−(∂+h(f1), ∂−h(f2)) under value-type boundary conditions. The boundary terms in (B.14) are proportional to ∂+g(b) and ∂−g(a), and it is not shown that these vanish when only the value of the function, not its derivative, is fixed at the boundary. If they do not vanish, the identity h(dg)=g fails and e^{−C} is not a chain map; please clarify.","section":"Appendix B"}],"minor_comments":[{"comment":"The phrase 'deform this differential by the de Rham differential' should read 'by the BV operator Δ'; the de Rham terminology is reserved for Appendix A and is confusing here.","section":"§5.1, around (5.17)"},{"comment":"The sentence 'The maps FPauli(a,b) → FPauli([ti,b)) and FPauli(a,b) → FPauli((a,tf]) can be chosen such that it picks the vector (0,1) ∈ C2' is too terse; specify the maps explicitly, since they are part of the definition of FPauli.","section":"§5.3, after (5.66)"},{"comment":"There are several typos, e.g., 'we we have' in §5.1, 'by by working' at the start of §5.3, and 'the the standard ones' in §5.3; these should be corrected.","section":"General typos"},{"comment":"The contraction kernel in (5.72) has a different overall normalization and sign convention from the bosonic formula (3.54); the relation to (5.24) should be stated explicitly so the reader can verify the signs.","section":"§5.3, Eq. (5.72)"}],"recommendation":"major_revision","confidential_remarks":"Dear Editor, the paper is well-written and the open-interval case is solid, but the advertised new results for boundary intervals and spin-1/2 are explicitly not proven. The authors are honest about the omissions, so this is a straightforward major-revision request rather than a rejection. My main concern is that the boundary-condition identities for the spin-1/2 homotopy are not just a technical formality: the paper's projector is a chain map only if those identities hold. I would ask the authors to either prove the omitted statements or revise the claims to theorems about open intervals only. The scope of the journal is appropriate."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Off-shell QM as factorization algebras: the open-interval story is solid; the boundary and spin-1/2 extensions are present but rest on two explicitly omitted proofs, so the headline claim is conditional, not established.\n\nThe paper does a lot right. For the harmonic oscillator on open intervals, it gives a fully explicit quasi-isomorphism between the BV algebra of compactly supported observables and the Weyl algebra. The projector Π = Π0 e^{−C} is computed carefully; the C-contraction calculation in (3.44) matches the time-ordering; the homotopy operator is spelled out. That part is self-contained and I did not find a gap. It is a re-derivation of known Costello–Gwilliam material, but the explicit form is useful.\n\nThe genuinely new content—half-open and closed intervals, mapping to kets/bras and amplitudes, and the spin-1/2 analog—is where I start to worry. Theorem 2 is proved only by saying 'we will not give the general proof,' and the spin-1/2 projector in (5.70) gets the same treatment. These are not cosmetic omissions. The chain-map property of Π hinges on [d,C] = −Δ, and that identity requires h(dg) = g on the subspaces with boundary conditions. Appendix B establishes the derivative-type conditions (∂±h(f) = 0 at the endpoints), but it does not explicitly verify the value-type conditions that the spin-1/2 case needs (g1(tf)=0, g2(ti)=0). If a boundary term survives, e^{−C} is not a chain map and the quasi-isomorphism fails. I don't see a demonstrated error—the pieces look like they're there—but the central new claims are not fully proven in the text.\n\nA minor point: the construction is pretty clearly engineered so that Δ produces the Wick contractions that land in the Weyl/Pauli algebra. That is not a flaw; the quasi-isomorphism is still a substantive mathematical check. The authors are also honest about the omissions, which counts in their favor.\n\nThe paper is worth a serious referee. It is aimed at people working in factorization algebras, BV formalism, or algebraic approaches to QM/QFT, and it gives a clean template. But I would not want to see it accepted without the missing proofs for Theorems 2 and 3, or at least a complete verification of the boundary identities in an appendix. My recommendation: send to peer review, and ask the authors to fill the gaps.","headline":"The open-interval quasi-isomorphism is proven and convincing; the new boundary and spin-1/2 claims are plausible but rest on two explicitly omitted proofs, so the headline result is conditional.","tokens_in":49845,"tokens_out":3891,"would_cite":true,"duration_ms":38672,"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 proves that an off-shell factorization algebra built from BV algebras of compactly supported functions is quasi-isomorphic to ordinary on-shell quantum mechanics for the harmonic oscillator and the spin-1/2 system.","keywords":["factorization algebras","Batalin-Vilkovisky algebras","off-shell quantum mechanics","harmonic oscillator","spin-1/2 system","Weyl algebra","quasi-isomorphism","Feynman propagator"],"falsifier":"Choose a nonzero smooth $f$ compactly supported in a half-open interval $[t_i,a)$ with $\\int f(s)e^{i\\omega s}\\,ds=0$ and compute $h(f)(t)=\\frac{i}{2\\omega}\\int_{t_i}^{a} e^{-i\\omega|t-s|}f(s)\\,ds$; if for some such $f$ the function $h(f)$ is not contained in the support of $f$ up to the endpoint, or fails the condition $\\partial_-h(f)(t_i)=0$ (or the analogous condition on $[t_i,t_f]$), then the claimed homotopy and the projector built from it break down for that interval type.","tokens_in":48773,"feed_emoji":"⚛️","tokens_out":10596,"duration_ms":104670,"temperature":0.7,"pith_summary":"Standard quantum mechanics begins with the space of classical solutions and promotes position and momentum to operators obeying $[\\hat{q},\\hat{p}]=i\\hbar$. This paper develops an alternative formulation in which the basic data are smooth functions compactly supported on time intervals—devices that record properties of arbitrary off-shell configurations—and the only operation is the graded-commutative wedge product of a symmetric algebra. The central claim is that for the harmonic oscillator and the spin-$\\tfrac{1}{2}$ system this off-shell factorization algebra is quasi-isomorphic to ordinary on-shell quantum mechanics: the operator product, the action of operators on states, and inner products are all recovered by applying an explicit projection $\\Pi=\\Pi_0 e^{-C}$ to the wedge product. If correct, this shows that canonical commutation relations are not primitive but emerge from the ordering of intervals when off-shell data are reduced to cohomology. Because half-open and closed intervals are included, the formulation also carries the Hilbert space of states, its dual, and probability amplitudes, not just an operator algebra.","feed_headline":"Off-shell observables reproduce quantum mechanics exactly","feed_subtitle":"For the harmonic oscillator and spin-1/2, amplitudes emerge from cohomology of functions—no commutation relations required.","key_machinery":"The load-bearing object is the projector $\\Pi=\\Pi_0 e^{-C}$ from the off-shell BV algebra to the cohomology that is ordinary quantum mechanics. $\\Pi_0$ pairs each compactly supported function with the classical solutions, e.g. $f\\mapsto \\langle f,\\sigma_+\\rangle a+\\langle f,\\sigma_-\\rangle a^\\dagger$ for the oscillator, while $C=\\Delta\\circ(1\\otimes h)$ is a degree-$+1$ contraction built from the Feynman propagator $h(f)(t)=\\frac{i}{2\\omega}\\int e^{-i\\omega|t-s|}f(s)\\,ds$, which acts as a homotopy between the classical differential $d$ and the deformed differential $d+\\Delta$. The exponential $e^{-C}$ corrects the naive projection so that it commutes with $\\delta_{\\rm BV}$, and the ordering of disjoint intervals in the factorization product makes $C$ produce exactly the commutator or anticommutator terms that convert the graded-commutative wedge product into the Weyl or Pauli algebra. On intervals with boundary, the spaces $C^\\infty_{cp}$ are defined by $\\partial_\\pm=\\partial_t\\pm i\\omega$ so that $h$ lands in the required compactly supported spaces with the correct boundary conditions.","core_discovery":"The paper's discovery is an explicit quasi-isomorphism between two factorization algebras on the interval $[t_i,t_f]\\subset\\mathbb{R}$. The off-shell factorization algebra assigns to each connected open interval $I$ the Batalin-Vilkovisky algebra ${\\rm Obs}^q(I)=\\operatorname{Sym}\\bigl(C_c^\\infty(I)\\oplus C_c^\\infty(I)[-1]\\bigr)$ with differential $\\delta_{\\rm BV}=d+\\Delta$, where $d$ is the dualized equation-of-motion operator and $\\Delta$ is the BV operator performing contractions; for half-open and closed intervals the degree $-1$ functions carry boundary conditions $\\partial_-f(t_i)=\\partial_+f(t_f)=0$. The on-shell factorization algebra assigns to open intervals the Weyl algebra (for the oscillator) or the fermionic Weyl/Pauli algebra (for spin-$\\tfrac{1}{2}$), to half-open intervals the Hilbert spaces of kets and bras, and to the closed interval the complex numbers. The maps $\\Pi=\\Pi_0 e^{-C}$, with $C=\\Delta\\circ(1\\otimes h)$ built from the Feynman propagator $h$, are shown to intertwine the factorization products, so that the wedge product of off-shell representatives projects to operator composition, state actions, and amplitudes such as $\\langle\\chi|O|\\psi\\rangle$. The spin-$\\tfrac{1}{2}$ version is derived from the one-dimensional Dirac action, and the same projector yields the Pauli algebra acting on $\\mathbb{C}^2$.","pith_inferences":["Editorial inference: if the quasi-isomorphism extends to polynomial interactions, as the paper expects, perturbative amplitudes could be computed entirely inside the off-shell algebra by wedging interaction terms on disjoint intervals and letting $\\Pi$ perform the Wick contractions, without writing a path-integral measure.","Editorial inference: the support property of the Feynman-propagator homotopy is the natural stress point for numerical testing; a single counterexample on a half-open or closed interval would pinpoint exactly where the equivalence fails, since the rest of the proof follows the open-interval case.","Editorial inference: the boundary conditions $\\partial_\\pm$ encode a choice of in/out polarization, so varying them might connect this construction to other polarizations in geometric quantization, a direction the paper only mentions as future work.","Editorial inference: the complexity trade-off noted in the paper suggests an undeveloped algorithmic strategy—choose representatives so that most $C$-contractions vanish, thereby computing amplitudes more cheaply than standard normal-ordering algebra, because only the cohomology class matters."],"forward_implications":["The Heisenberg relation $[q,p]=i\\hbar$ ceases to be an input: it appears as the output of projecting the wedge product of representatives supported on two disjoint intervals, with the sign fixed by the order of the intervals.","Every familiar quantum mechanical operation—operator composition, operator action on kets and bras, and bra–ket pairing—is reproduced by the single factorization product (the wedge product) followed by $\\Pi$, so the off-shell data determine all amplitudes.","Because the cohomology class of a state or operator is independent of which compactly supported representative is chosen, infinitely many different off-shell functionals project to the same physical state, exactly analogous to a gauge redundancy.","For the spin-$\\tfrac{1}{2}$ system, the same construction yields the four-dimensional fermionic Weyl algebra and the Pauli matrices, with the off-shell BV differential derived from the Dirac action in (1+0) dimensions.","Including half-open and closed intervals completes the off-shell formulation: the factorization algebra now carries states ($\\mathcal{H}$ and $\\mathcal{H}^*$) and amplitudes ($\\mathbb{C}$), not merely an operator algebra."],"supporting_citations":[{"why":"It supplies the factorization-algebra and BV-observable framework in which the off-shell formulation is set.","marker":"[1]"},{"why":"It supplies the general program of quantum observables as factorization algebras, including the perturbative interacting case this paper extends.","marker":"[2]"},{"why":"It provides the earlier homological quantum mechanics construction whose projector and interval structure this paper generalizes to boundary points and states.","marker":"[3]"},{"why":"It supplies the factorization-algebra treatment of free field theories that motivates the use of BV cohomology to compute quantum expectation values.","marker":"[9]"},{"why":"It supplies the homological algebra background, including chain complexes, quasi-isomorphisms, and the zig-zag lemma used in the interval proofs.","marker":"[12]"},{"why":"It supplies the perturbation lemma used to argue that replacing $d$ by $d+\\Delta$ leaves the cohomology unchanged.","marker":"[16]"}],"fun_headline_variants":["Off-shell algebras reproduce QM exactly on intervals","Quasi-isomorphism proves off-shell equals on-shell","Off-shell QM: exact match for oscillator and spin-1/2","Cohomology gives exact QM without commutation relations","Off-shell observables are on-shell exact to the core"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the homotopy operator built from the Feynman propagator sends functions orthogonal to all classical solutions back into functions compactly supported inside the interval and obeying the imposed boundary conditions; this support and boundary property is proved for open intervals but only sketched for half-open and closed intervals, and if it fails the projector $\\Pi$ would not land in the stated state and operator spaces.","fun_headline_variants_meta":{"raw":{"variants":["Off-shell algebras reproduce QM exactly on intervals","Quasi-isomorphism proves off-shell equals on-shell","Off-shell QM: exact match for oscillator and spin-1/2","Cohomology gives exact QM without commutation relations","Off-shell observables are on-shell exact to the core"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000343,"raw_usage":{"total_tokens":1988,"prompt_tokens":1150,"completion_tokens":838,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":766,"completion_tokens_details":{"reasoning_tokens":765}},"tokens_in":766,"tokens_out":838,"duration_ms":8234,"temperature":1.0,"reasoning_tokens":765,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T19:18:21.245491+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Choose a nonzero smooth $f$ compactly supported in a half-open interval $[t_i,a)$ with $\\int f(s)e^{i\\omega s}\\,ds=0$ and compute $h(f)(t)=\\frac{i}{2\\omega}\\int_{t_i}^{a} e^{-i\\omega|t-s|}f(s)\\,ds$; if for some such $f$ the function $h(f)$ is not contained in the support of $f$ up to the endpoint, or fails the condition $\\partial_-h(f)(t_i)=0$ (or the analogous condition on $[t_i,t_f]$), then the claimed homotopy and the projector built from it break down for that interval type.","supporting_citations":[{"cited_title":"Costello and O","cited_arxiv_id":null,"evidence_quote":"It supplies the factorization-algebra and BV-observable framework in which the off-shell formulation is set."},{"cited_title":"Costello and O","cited_arxiv_id":null,"evidence_quote":"It supplies the general program of quantum observables as factorization algebras, including the perturbative interacting case this paper extends."},{"cited_title":"Homological Quantum Mechanics","cited_arxiv_id":"2112.11495","evidence_quote":"It provides the earlier homological quantum mechanics construction whose projector and interval structure this paper generalizes to boundary points and states."},{"cited_title":"Gwilliam, Factorization algebras and free field theories","cited_arxiv_id":null,"evidence_quote":"It supplies the factorization-algebra treatment of free field theories that motivates the use of BV cohomology to compute quantum expectation values."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"It supplies the homological algebra background, including chain complexes, quasi-isomorphisms, and the zig-zag lemma used in the interval proofs."}],"review_version":1}