{"id":"845e7b06-42e8-457c-a094-a8189208eeb1","arxiv_id":"2604.02849","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":7.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"The error-gated Hebbian rule for PCA arises exactly as a frame coefficient when Oja's subspace rule is expanded in the space of symmetric matrices under Gaussian inputs.","lead":"This paper derives the error-gated Hebbian rule for PCA from Oja's subspace rule by expanding it with respect to a natural frame on symmetric matrices. A smart generalist might read it to see how abstract math can justify three-factor rules that resemble biological learning mechanisms.","discovery_kind":"unclear","skeptic_critique":{"model":"grok-4.3","headline":"Equivalence to Oja's rule holds only under Gaussian inputs; the frame expansion on symmetric matrices may embed that assumption implicitly rather than deriving it.","rationale":"The reader's weakest assumption correctly isolates the frame existence and the Gaussian restriction. The concrete test above directly checks whether the asserted identity holds numerically inside the regime where equivalence is claimed; failure would falsify the derivation without requiring external data or consensus arguments.","tokens_in":1620,"tokens_out":347,"duration_ms":15707,"concrete_test":"Fix dimension d=3, sample 10^4 zero-mean Gaussian vectors x~N(0,I), compute the Oja subspace update ΔW = η(x x^T W - W W^T x x^T W) and the claimed EGHR-PCA update side-by-side; if the two matrices differ by more than 1e-8 in Frobenius norm for any sample, the frame-derived third factor does not reproduce Oja exactly even under the stated Gaussian condition.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The central claim requires that expanding Oja's subspace update with respect to a chosen frame on Sym(n) produces exactly the global third-factor term of EGHR-PCA. This expansion is asserted to be canonical, yet the paper does not show that the frame is the unique (or even the minimal) one that recovers the error-gated form; any other frame could yield a different three-factor rule. Because the stated equivalence to Oja's rule is restricted to Gaussian inputs, the derivation risks being an identity that is true only inside the Gaussian regime rather than a general frame-theoretic identity that happens to coincide with Oja under Gaussians.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The paper claims that the error-gated Hebbian rule for PCA (EGHR-PCA), a three-factor learning rule equivalent to Oja's subspace rule under Gaussian inputs, can be systematically derived from Oja's subspace rule via frame theory. Specifically, the global third factor in EGHR-PCA arises exactly as a frame coefficient when Oja's update is expanded with respect to a natural frame on the space of symmetric matrices, yielding a principled, non-heuristic derivation of a biologically plausible rule from its canonical counterpart.","tokens_in":1750,"tokens_out":518,"duration_ms":32660,"significance":"If the central derivation holds without hidden assumptions, the result supplies a frame-theoretic bridge between Oja's mathematically canonical subspace rule and a three-factor neural learning rule, strengthening the link between linear algebra and biologically motivated plasticity models. The absence of free parameters in the frame expansion and the explicit identification of the third factor as a frame coefficient would constitute a genuine technical contribution to the literature on principled derivations of Hebbian rules.","major_comments":[{"comment":"§3 (Frame Construction on Sym(n)): The manuscript selects a particular frame on the space of symmetric matrices to recover the error-gated term but does not demonstrate that this frame is the unique (or even the minimal) one that produces exactly the EGHR-PCA third factor; any other admissible frame could generate a different three-factor rule, undermining the claim that the derivation is canonical rather than frame-dependent.","section":"§3"},{"comment":"§4 (Equivalence to Oja's Rule): The stated equivalence between the derived rule and Oja's subspace rule holds only under the Gaussian-input assumption; the frame expansion itself must be shown to be independent of this distributional restriction, or the limitation must be stated explicitly, because the central claim is that the third factor arises exactly from the frame coefficient rather than from the Gaussian property.","section":"§4"}],"minor_comments":[{"comment":"Notation for the frame operator and its dual is introduced without an explicit comparison table to standard frame-theory notation; a short side-by-side definition would improve readability.","section":"§2"},{"comment":"The abstract states the result but supplies no equation numbers or section pointers; adding one or two forward references would help readers locate the key expansion step.","section":"Abstract"}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the constructive and detailed comments. We address each major point below and indicate the revisions we will incorporate.","responses":[{"response":"We agree that uniqueness of the frame is not demonstrated. The frame employed is the one induced by the standard orthonormal basis of Sym(n) with respect to the Frobenius inner product, which supplies the canonical Hilbert-space structure on this space. This choice isolates the third factor precisely as the coefficient of the identity component in the expansion. While other frames would generally produce different three-factor rules, the contribution lies in exhibiting a frame-theoretic derivation that recovers the EGHR-PCA rule in a non-heuristic manner. We will revise §3 to state explicitly that the derivation uses this natural frame, to note that uniqueness is not claimed, and to explain briefly why the Frobenius frame is the appropriate choice for recovering the error-gated form.","revision_made":"partial","referee_comment":"[§3] §3 (Frame Construction on Sym(n)): The manuscript selects a particular frame on the space of symmetric matrices to recover the error-gated term but does not demonstrate that this frame is the unique (or even the minimal) one that produces exactly the EGHR-PCA third factor; any other admissible frame could generate a different three-factor rule, undermining the claim that the derivation is canonical rather than frame-dependent."},{"response":"The frame expansion is performed entirely within the vector space Sym(n) equipped with its Frobenius inner product and is therefore independent of any input distribution. The Gaussian assumption is invoked only when showing that the resulting three-factor rule coincides with Oja's subspace rule, because only then does the expectation of the rank-one updates align the frame coefficient with the error term. The abstract already qualifies the equivalence as holding under Gaussian inputs. We will revise §4 to add an explicit paragraph separating the distribution-independent frame expansion from the Gaussian-dependent identification of the third factor, thereby clarifying the scope of the claim.","revision_made":"yes","referee_comment":"[§4] §4 (Equivalence to Oja's Rule): The stated equivalence between the derived rule and Oja's subspace rule holds only under the Gaussian-input assumption; the frame expansion itself must be shown to be independent of this distributional restriction, or the limitation must be stated explicitly, because the central claim is that the third factor arises exactly from the frame coefficient rather than from the Gaussian property."}],"tokens_in":1275,"tokens_out":523,"duration_ms":25288,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The main takeaway is that this paper uses frame theory on the space of symmetric matrices to expand Oja's subspace update and recover the error-gated Hebbian rule as a three-factor form, with the global third factor appearing exactly as the frame coefficient. That supplies a systematic route from the two-factor rule to the three-factor version instead of just positing the extra term. The derivation is presented as canonical under the Gaussian assumption, which is the setting where equivalence to Oja holds. If the steps are fully spelled out and free of extra fitting, this is a useful way to organize thinking about biologically plausible extensions of classic PCA rules. It avoids the usual heuristic search for three-factor forms that match known two-factor behavior. The paper does a clean job of stating the central equivalence and tying the third factor to the frame coefficient without obvious circularity. The limitation is the Gaussian restriction. The equivalence is stated to hold only under Gaussian inputs, so the frame expansion may be recovering the error-gated term because of that distributional assumption rather than as a fully general identity. It is not clear from the abstract whether other frames on the same space would produce different three-factor rules or why this particular frame is the natural one. The work would benefit from explicit checks outside the Gaussian case or a discussion of frame uniqueness. Readers in computational neuroscience or neural network theory who work on linking mathematical learning rules to synaptic mechanisms would find this relevant. The derivation technique itself could be worth citing if the details check out. I would send it to peer review; the core claim is focused enough to deserve referee input on the assumptions and frame choice.","headline":"Frame theory gives a direct derivation of the third factor in EGHR-PCA from Oja's subspace rule, but the result stays tied to Gaussian inputs and the choice of frame.","tokens_in":2216,"tokens_out":402,"would_cite":false,"duration_ms":25598,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":{"model":"grok-4.3","evidence":[],"headline":"Frame expansion on symmetric matrices for three-factor PCA rule has no overlap with RS J-cost or distinction-forcing chain","alignment":"orthogonal","rationale":"The paper's core machinery (frame operator S = E[ξξ^T] on vec(Sym(n)), coefficient extraction yielding global modulator g(x,u) under Gaussian inputs and Isserlis' theorem) operates entirely in statistical learning theory and does not invoke, parallel, or contradict any RS structure such as the reciprocal cost J(x) = ½(x + x⁻¹) − 1, φ-ladder, 8-tick periodicity, or parameter-free derivation of constants. No RS theorem (e.g., reality_from_one_distinction, washburn_uniqueness_aczel, or any module in Cost/ or Foundation/) is referenced or implied.","tokens_in":42579,"confidence":"high","tokens_out":186,"duration_ms":12176,"cache_read_input_tokens":128,"cache_creation_input_tokens":0},"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"Oja's subspace rule expands into the three-factor error-gated Hebbian rule for PCA through frame theory on symmetric matrices.","keywords":["frame theory","Oja's subspace rule","three-factor learning rule","EGHR-PCA","principal component analysis","symmetric matrices","Hebbian learning","neural learning rules"],"falsifier":"A calculation or simulation showing that the frame expansion on symmetric matrices does not reproduce the exact third-factor term of EGHR-PCA, or that the rules diverge on Gaussian inputs, would falsify the derivation.","tokens_in":2506,"feed_emoji":"","tokens_out":669,"duration_ms":29783,"temperature":0.7,"pith_summary":"The paper establishes that a three-factor learning rule known as EGHR-PCA, which matches Oja's subspace rule for principal component analysis when inputs are Gaussian, can be derived directly from it using frame theory. This derivation treats the global third factor as a frame coefficient obtained by expanding the rule with respect to a natural frame on symmetric matrices. A sympathetic reader would care because it offers a systematic, non-heuristic bridge between a mathematically canonical learning rule and one that is biologically more plausible. The work focuses on showing the exact equivalence under the stated conditions rather than on empirical validation.","feed_headline":"Frame theory derives three-factor PCA rule from Oja's subspace rule","feed_subtitle":"The global error term emerges exactly as a frame coefficient on symmetric matrices when inputs are Gaussian.","key_machinery":"Expansion of the learning rule with respect to a natural frame on the space of symmetric matrices, which produces the third factor as a frame coefficient.","core_discovery":"We show that the error-gated Hebbian rule for PCA (EGHR-PCA), a three-factor learning rule equivalent to Oja's subspace rule under Gaussian inputs, can be systematically derived from Oja's subspace rule using frame theory. The global third factor in EGHR-PCA arises exactly as a frame coefficient when the learning rule is expanded with respect to a natural frame on the space of symmetric matrices. This provides a principled, non-heuristic derivation of a biologically plausible learning rule from its mathematically canonical counterpart.","pith_inferences":["This method could be applied to derive three-factor versions of other standard learning rules in unsupervised learning.","It suggests frames may connect abstract matrix optimizations to local neural update rules more generally.","Experimental tests in neural circuits could check whether the third factor matches the predicted frame coefficient behavior.","The derivation might extend to non-Gaussian inputs by choosing different frames on the matrix space."],"forward_implications":["This provides a principled derivation of biologically plausible three-factor rules from two-factor canonical ones.","The equivalence to Oja's rule holds under the assumption of Gaussian inputs.","Frame theory supplies a systematic tool for such derivations in learning rules.","EGHR-PCA can be viewed as the frame-theoretic version of Oja's subspace rule."],"fun_headline_variants":["Frame theory yields three-factor PCA from Oja subspace","Three-factor PCA emerges from Oja via frame coefficients","Oja subspace recast as three-factor PCA using frames","Frames on matrices derive global third factor from Oja"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"A natural frame on the space of symmetric matrices exists such that expanding the learning rule with respect to it directly yields the error-gated third factor term.","fun_headline_variants_meta":{"raw":{"variants":["Frame theory yields three-factor PCA from Oja subspace","Three-factor PCA emerges from Oja via frame coefficients","Oja subspace recast as three-factor PCA using frames","Frames on matrices derive global third factor from Oja"]},"model":"grok-4.3","cost_usd":0.006707,"raw_usage":{"total_tokens":2987,"prompt_tokens":555,"num_sources_used":0,"completion_tokens":62,"cost_in_usd_ticks":67065500,"prompt_tokens_details":{"text_tokens":555,"audio_tokens":0,"image_tokens":0,"cached_tokens":64},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":2370,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":555,"tokens_out":62,"duration_ms":40515,"temperature":1.0,"reasoning_tokens":2370,"cache_read_input_tokens":64,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-05-13T18:46:16.768561+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"A calculation or simulation showing that the frame expansion on symmetric matrices does not reproduce the exact third-factor term of EGHR-PCA, or that the rules diverge on Gaussian inputs, would falsify the derivation.","supporting_citations":[],"review_version":1}