{"id":"6e6eacc1-14df-4198-97c4-10158310c9b5","arxiv_id":"2607.29101","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":2,"one_line_summary":"The paper proposes a noncommutative quaternionic transport framework that preserves ordered deformation histories in protein geometry, with a schematic alpha-helix illustration but no empirical validation.","lead":"This paper proposes a mathematical framework that records the order of local structural changes in proteins using quaternions, so that two deformation histories with similar final shapes are not conflated. It matters because path-dependent effects like allostery, mutation-order effects, and conformational memory are poorly captured by endpoint-only descriptions.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The spectral-response layer rests entirely on Hypothesis 1, which is asserted without construction for any protein-derived locus; if the holomorphic extension or uniform heat expansion fails, ρren and Gχ are undefined.","rationale":"The paper's transport layer is internally coherent: the groupoid/cocycle construction, the canonical Dirac operator on a complete Riemannian manifold, and the helical Δ_ord computation are standard and legitimate. However, the full central claim includes the spectral-response layer, and that layer exists only under Hypothesis 1. The authors are transparent that Hypothesis 1 is a hypothesis and that the framework is pre-algorithmic, but no evidence is offered for the holomorphic extension or uniform heat expansion, and the one minimal example does not compute any spectral object. This leaves the response geometry unsupported rather than false, so the appropriate verdict remains CONDITIONAL rather than REJECT. The most direct fix is to prove or check Hypothesis 1 on an explicit Σ (e.g., the helical parameter domain) or to replace the spectral layer with a concrete computable approximation. The reader's weakest_assumption identifies the same point, so my agreement is complete.","tokens_in":22242,"tokens_out":8555,"duration_ms":89749,"concrete_test":"Make the helical example a genuine test of Hypothesis 1: specify the Riemannian metric on the pitch-bend parameter domain Σ, the spin^c structure, the twisting line bundle L with integral curvature Θ, and the Dirac operator D of Section 6. Compute the short-time diagonal heat kernel k_t^loc(ζ,ζ̄) on Σ and analytically continue it in ζ to a neighborhood in P_C. Verify that the heat-coefficient functions a_m(ζ,ζ̄) are holomorphic in ζ and anti-holomorphic in ζ̄ separately, and that the expansion is uniform on a compact set K⋐U. If any coefficient contains unmatched holomorphic/anti-holomorphic terms, or if the continuation is not holomorphic, Hypothesis 1 is false and Def. 16 is invalid for the paper's own example.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim explicitly includes the spectral-response layer, yet the entire construction of that layer (renormalized density ρren_χ, mixed response form Gχ, local response potentials) is made conditional on Hypothesis 1 (Section 7.3). Hypothesis 1 asserts that the intrinsic local spectral germ L_ζ(D) extends holomorphically to a neighborhood U⊂P_C and admits a uniform short-time heat-kernel expansion. No construction, proof, or concrete criterion is given for any protein-derived locus Σ. In the helical realization (Section 8.3), the spectral density is only pulled back abstractly to ζγ(α,β); Fig. 4E is labeled a 'schematic diagnostic,' and no Dirac operator, heat kernel, or asymptotic expansion is actually computed. Appendix A.1's realization map E_data is only a sketch, so there is no concrete Σ on which Hypothesis 1 could even be tested. Thus the second part of the paper's central claim—the response geometry—is undefined if Hypothesis 1 fails, and nothing in the paper supplies a realizability check.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes a 'deformation-first' framework for protein structures in which ordered deformation histories, not just endpoint conformations, are represented. Local backbone frames are lifted to quaternionic variables, with infinitesimal rotation encoded by Ω(ℓ)=2q(ℓ)^{-1}∂ℓq(ℓ). Ordered concatenation of admissible paths generates a noncommutative transport algebra A_tr(Σ) whose noncommutativity records the order of local perturbations. A commutative shadow E: A_tr(Σ)→C_c^∞(Σ) is introduced, with kernel M_ord = ker E called the 'order-memory sector.' From this transport structure, the paper constructs a Dirac-type operator D on a spinor bundle twisted by a Hermitian line bundle, and then a spectral-response layer consisting of intrinsic local spectral germs L_ξ(D), a renormalized local spectral density ρ_ren_χ, and a mixed response form G_χ = i ∂∂̄ ρ_ren_χ. The central claim is that endpoint proximity and transport-history equivalence are distinct: two deformation histories can have similar endpoints while retaining different ordered transport memory, and the spectral-response sector remains visible after the commutative shadow collapses the order sector. A minimal realization on an idealized α-helix compares a pitch perturbation A_α and a bending perturbation B_β applied in opposite orders, computes a nonzero order-memory signal Δ_ord, and sketches a pulled-back spectral-response density. The paper is explicitly positioned as a theoretical foundation and pre-algorithmic","tokens_in":22584,"tokens_out":4567,"duration_ms":47014,"significance":"If the construction were fully realized, the framework would provide a novel formal language for history-dependent protein descriptors, potentially relevant to allostery, mutation-order effects, conformational memory, and generative-model outputs. The formal transport layer is carefully built: the canonical geometric cocycle from an integral curvature form (Proposition 1), the smooth transport representation (Proposition 2), and the essential self-adjointness of the Dirac operator (Theorem 3) are standard but correctly stated, and the appendix sketches proofs. The helical example, while minimal, concretely illustrates that two noncommuting local perturbations can produce a nonzero commutator signal. However, the paper's strongest advertised contribution—the spectral-response geometry—depends entirely on an externally imposed holomorphic-extension hypothesis (Hypothesis 1) whose validity is not established for any protein-derived locus. Consequently, the significance of the full package is conditional on a future construction or proof for a concrete Σ. The separation into order-memory and response-memory sectors is partly definitional, and the empirical content of the framework rema","major_comments":[{"comment":"The entire spectral-response layer—the renormalized density ρ_ren_χ (Definition 16), the mixed response form G_χ (Eq. (3)), and the local response potentials (Definition 17)—is defined only under Hypothesis 1. This hypothesis asserts that the intrinsic local spectral germ extends holomorphically to a neighborhood U⊂P_C of Σ and admits a uniform short-time heat-kernel expansion. No construction, proof, or concrete criterion is given for any protein-derived Σ. Appendix A.1's realization map E_data is only a sketch, and Section 8.3's helical realization merely pulls back ρ_ren_χ abstractly to ζ_γ(α,β); Figure 4E is explicitly labeled a 'schematic diagnostic,' and no Dirac operator, heat kernel, or asymptotic expansion is computed for the helix. If the holomorphic extension or the uniform heat expansion fails—for example, for a generic embedded submanifold Σ⊂P_C—then ρ_ren_χ and G_χ are unde","section":"Section 7.3, Hypothesis 1"},{"comment":"The helical realization is presented as the minimal demonstration of the paper's main point, but its quantitative content is limited. The perturbations A_α and B_β depend on unspecified bump functions f and g and amplitudes α and β; the curves in Figures 3–5 are described as 'schematic'; and the only concrete computed quantity is Δ_ord = δ_ord(N−1), the norm of the group commutator in Eq. (5). This quantity is positive by construction whenever the two transport increments do not commute. The example therefore shows that the framework can detect noncommutation, but it does not provide a parameter-free or data-driven test of the claim that endpoint proximity can coexist with distinct ordered transport histories, because no specific α, β, f, g, or endpoint geometry (beyond the stated RMSD 0.250 and end-distance difference 0.004, which are given without derivation) is specified. To make the","section":"Section 8.2–8.3, helical realization"},{"comment":"The collapse of the order-memory sector under the commutative shadow is definitional: M_ord is defined as ker E in Definition 5, so Proposition 7's assertion E|M_ord = 0 is immediate. Similarly, the nonzero order-memory signal in the helical example is the norm of a commutator, which is nonzero by construction for noncommuting unitary factors. The substantive claim is not that the order sector collapses—that is built into the definition—but that the response-memory sector survives and remains observable. That survival depends on the spectral layer and, through it, on Hypothesis 1 (Section 7.3), which is unsupported. The paper should separate more sharply what is introduced by definition, what requires proof, and what remains a hypothesis. As written, the distinction between 'order memory' and 'response memory' risks appearing tautological rather than as an empirical or mathematical disco","section":"Section 9, Proposition 7"}],"minor_comments":[{"comment":"The table caption contains a typo: 'T able 1 Correspondence...' should read 'Table 1: Correspondence...'.","section":"Table 1 caption"},{"comment":"The canonical metric-Clifford datum fixes a spin^c structure on Σ and a spinor bundle S, but the existence or choice of this structure is not discussed. Since not every manifold admits a spin or spin^c structure without topological conditions, the authors should state the necessary assumption explicitly or construct the spin^c structure from the data.","section":"Definitions 6 and 10"},{"comment":"The notation γ_AB = B_β ∘ A_α is used to mean that A_α is applied first and B_β second, which is the opposite of the usual left-to-right reading of 'AB.' This convention is stated in the text, but in Eq. (4) the subscripts U_AB and U_BA are easy to misread. A short renaming (e.g., γ_{A→B} and γ_{B→A}) would improve clarity.","section":"Section 8.2, composition convention"},{"comment":"The proof invokes a 'geodesic triangulation of a filling surface' for an arbitrary admissible pair, but the existence of such a filling with triangles subordinate to the fixed good cover is not established. The integrality argument is sound once this geometric input is granted; the construction should be stated as part of the definition of admissible paths or proved explicitly.","section":"Appendix C.1, proof of Proposition 1"},{"comment":"Section 2.5 formalizes histories as symbolic lists γ=(d_1,...,d_n), while Section 4 defines histories as paths γ:[0,1]→Σ. The relationship between discrete events and continuous paths is not made precise. The authors should clarify whether the path formulation is intended to be a refinement of the event-list formulation or a separate representation.","section":"Section 2.5 vs. Section 4"}],"recommendation":"major_revision","confidential_remarks":"The paper is an ambitious mathematical proposal rather than a validated method. The transport algebra and cocycle construction are sound and likely interesting to a mathematical audience, but the advertised spectral-response layer rests on an unproven hypothesis with no concrete realization. I would encourage the editor to invite a revision that either supplies a worked spectral computation on the helical locus or a similarly concrete Σ, or explicitly downgrades the spectral layer to a conjectural extension. The formal results alone might be publishable in a more mathematics-oriented venue, but for a q-bio.BM readership the current manuscript overpromises on empirical relevance."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague — the paper to know about: a deformation-first framework that lifts protein backbone frames to quaternions, builds an ordered transport algebra from admissible paths, and then adds a spectral-response layer. The first half is good formal work. The definitions are precise, the cocycle construction is standard but clean, and the commutative shadow neatly separates order-memory from response observables. Propositions 1–4 are coherent and the appendix sketches are credible. The paper is honest about its status: it calls itself a foundation, not a validated model.\n\nWhat is new is the packaging — quaternionic frame transport plus groupoid cocycles plus a Dirac spectral layer for ordered deformation histories. That combination is not in the cited literature, and the point that endpoint proximity and transport-history equivalence are distinct is well taken.\n\nThe soft spots are real. Hypothesis 1 (Section 7.3) is the load-bearing wall of the spectral layer: holomorphic extension of the local spectral germ with a uniform short-time heat-kernel expansion. No construction or criterion is given for any protein-derived locus, and the helical realization does not actually compute a Dirac operator or heat kernel — Figure 4E is labeled schematic. If Hypothesis 1 fails, ρren and Gχ are undefined. Flagging the gap doesn't fill it.\n\nSecond, the core separation is definitional. M_ord is defined as ker E, so the collapse in Prop. 7 is true by construction, and the helix signal is the norm of a group commutator. That is standard noncommutativity of rotations, not a protein-specific discovery.\n\nThird, no code, data, or benchmark against existing path-aware descriptors. The empirical realization map is only a sketch.\n\nNone of this refutes the framework. The transport-algebra core is a reasonable conceptual language. But the central claim — the response geometry — is conditional. The paper is for a reader who wants a formal starting point, not an applicable method.\n\nFor peer review: I would send it. The formal part deserves referee time. The authors should be pushed to prove or replace Hypothesis 1 for a concrete class of loci, or explicitly demote the spectral layer to an appendix. As it stands: a solid scaffold with an ambitious, unproven superstructure.","headline":"A clear and honest formal scaffold for order-sensitive protein deformation; the transport-algebra core is sound, but the spectral-response layer is conditional on an unproven hypothesis and the helix example is only schematic.","tokens_in":23103,"tokens_out":3403,"would_cite":false,"duration_ms":30201,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["46L87","58J52","81Q10","53C80","92C40"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proposes a deformation-first geometric framework in which ordered protein deformation histories are represented by a noncommutative quaternionic transport algebra, so the order of local perturbations is recorded even when endpoin","keywords":["protein deformation","quaternionic frame transport","ordered transport algebra","noncommutative geometry","transport memory","spectral response","Dirac operator","path-dependent protein response"],"falsifier":"Take a real protein trajectory or all-atom simulation, identify two localized perturbations A and B, and compute the ordered transport products U_AB and U_BA together with endpoint descriptors; if swapping the order of two local backbone rotations always yields the same quaternionic transport product whenever the endpoint conformations coincide, the central distinction collapses. Concretely, a single realistic pair of perturbations with a trivial group commutator C_AB = U_A U_B U_A⁻¹ U_B⁻¹ would falsify the claim that order-dependent transport memory is generically present.","tokens_in":22090,"feed_emoji":"🔄","tokens_out":8684,"duration_ms":79103,"temperature":0.7,"pith_summary":"The paper tries to establish that two protein deformation histories can be genuinely different even when their final conformations look the same, and that this difference can be captured geometrically. Its proposal is to lift local backbone frames to quaternions, encode infinitesimal rotation as Ω(ℓ) = 2q(ℓ)⁻¹∂_ℓq(ℓ), and organize ordered deformation paths into a noncommutative transport algebra in which multiplication records that deformation A followed by B need not equal B followed by A. A 'commutative shadow' map projects out exactly this order-sensitive memory, leaving endpoint-level observables. On an idealized α-helix, the paper shows that two pitch-and-bend histories can have near-identical RMSD and end-to-end distance while producing a nonzero order-memory signal. If correct, this gives a formal foundation for history-sensitive descriptors of allostery, mutation-order effects, conformational switching, and path-dependent response.","feed_headline":"Deformation order survives even when final protein structures look identical","feed_subtitle":"A quaternionic transport algebra records perturbation order, a distinction endpoint descriptors like RMSD miss.","key_machinery":"The carrying object is the ordered transport algebra A_tr(Σ), generated by admissible quaternionic transport paths on the physical locus Σ inside a complex deformation space P_C, together with its commutative shadow E: A_tr(Σ) → C_c^∞(Σ). The algebra's multiplication records ordered concatenation of deformations; its kernel M_ord = ker E is the order-memory sector that endpoint-level descriptors lose. The infinitesimal input is the quaternionic frame transport Ω(ℓ) = 2q(ℓ)⁻¹∂_ℓq(ℓ), which lifts local backbone rotations to SU(2). The spectral layer is realized through a global first-order Dirac-type operator on a twisted spinor bundle, whose tangent-groupoid localization yields intrinsic loca","core_discovery":"The central claim is that endpoint proximity and transport-history equivalence are distinct notions: two deformation histories may have almost identical final conformations yet retain different ordered quaternionic transport. The construction lifts each backbone frame to a unit quaternion q(ℓ), uses Ω(ℓ) = 2q(ℓ)⁻¹∂_ℓq(ℓ) as the infinitesimal rotational transport, and concatenates admissible deformation paths into an ordered transport algebra A_tr(Σ) with a unitary cocycle twist. The algebra is noncommutative in a way that records order; its kernel under the commutative shadow E is the order-memory sector M_ord. From this transport layer the paper builds a global Dirac-type operator D and, un","pith_inferences":["If the framework is correct, a practical descriptor could be built by discretizing backbone frames into quaternionic increments and comparing ordered products; the cumulative log-ratio Δ_ord in the paper's Eq. (4) is a natural candidate for a computable history discrepancy.","The noncommutative transport structure suggests that generative models trained to match endpoint distributions may systematically discard functional information; conditioning on transport-history signatures could improve mutation-effect and allosteric prediction.","The spectral-response layer, being defined on a complexified deformation space, hints that response potentials may connect to holonomy or geometric-phase effects along closed conformational cycles; testing whether closed deformation loops produce nonzero holonomy would link the formalism to existing path-dependence ideas.","Because the paper does not construct an empirical realization map from real protein data to Σ, a testable extension is to build that map from molecular-dynamics trajectories and measure whether Δ_ord correlates with known order-dependent biological outcomes, such as mutational epistasis."],"forward_implications":["Endpoint similarity and deformation-history equivalence are distinct: two histories can have nearly identical RMSD and end-to-end distance while differing in ordered quaternionic transport.","The order-memory sector is invisible to endpoint-level observables and is suppressed by the commutative shadow, whereas the spectral-response sector survives the collapse.","The framework provides a formal foundation for history-sensitive descriptors of allosteric switching, mutation-order effects, conformational switching, and epistatic rearrangements.","Trajectories, NMR ensembles, and generative model outputs can in principle be converted into quaternionic transport fields from which order-memory and spectral-response signatures can be extracted.","The minimal helical realization shows that a nonzero order-memory signal can coexist with near-zero endpoint discrepancy, so path-dependent effects are not captured by endpoint geometry alone."],"fun_headline_variants":["Protein shape isn't enough: deformation order matters","Quaternions preserve the order of protein changes","Same fold, different history: quaternions tell the story","Beyond RMSD: quaternionic algebra keeps order memory","Order survives in proteins: quaternionic transport"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The whole spectral-response layer rests on Hypothesis 1 (Section 7.3): the local spectral germ defined on the physical deformations must extend holomorphically to a neighborhood of that locus in the complexified deformation space, with a uniform short-time heat expansion—if that extension fails or is not uniform, the renormalized density and mixed response form are undefined.","fun_headline_variants_meta":{"raw":{"variants":["Protein shape isn't enough: deformation order matters","Quaternions preserve the order of protein changes","Same fold, different history: quaternions tell the story","Beyond RMSD: quaternionic algebra keeps order memory","Order survives in proteins: quaternionic transport"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000195,"raw_usage":{"total_tokens":1234,"prompt_tokens":827,"completion_tokens":407,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":571,"completion_tokens_details":{"reasoning_tokens":331}},"tokens_in":571,"tokens_out":407,"duration_ms":4196,"temperature":1.0,"reasoning_tokens":331,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-03T13:39:38.597495+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a real protein trajectory or all-atom simulation, identify two localized perturbations A and B, and compute the ordered transport products U_AB and U_BA together with endpoint descriptors; if swapping the order of two local backbone rotations always yields the same quaternionic transport product whenever the endpoint conformations coincide, the central distinction collapses. Concretely, a single realistic pair of perturbations with a trivial group commutator C_AB = U_A U_B U_A⁻¹ U_B⁻¹ would falsify the claim that order-dependent transport memory is generically present.","supporting_citations":[],"review_version":1}