{"id":"ebf83fe4-486b-4b47-895f-9df7eafb2a66","arxiv_id":"1908.09801","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":4.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"The nonlinear current injection equation of a 3rd-order motor load model is transformed into a formally linear equation using differential transformation.","lead":"This paper derives a differential transformation for a motor load model in power grids, proving that its nonlinear current injection equation becomes formally linear after the transformation. The result extends the authors' earlier work and could speed up time-domain simulation of power systems with induction motors.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified","rationale":"The reader's ACCEPT verdict is reasonable. The derivation is a direct application of the DT quotient rule, and the formal linearity at each order follows from isolating the highest-order voltage term in the numerator convolution. The only assumptions are nonzero U0(0) and standard DT rules, both routine in this context. The extracted text is garbled, preventing a fully line-by-line check, but no internal contradiction emerges. The weakest point, if any, is that the nondegeneracy condition U0(0) != 0 is not explicitly stated; this is a minor rigor issue, not a correctness risk. The omitted details in the derivation of (3) concern the state dynamics, not the current-injection linearity proposition, so they do not threaten the central claim.","tokens_in":3227,"tokens_out":24063,"duration_ms":226339,"concrete_test":"Independently re-derive (9) from (2) using the standard DT quotient rule with explicit sum limits (m=0..k-1) and the paper's sign convention for U2, then verify that the coefficient of V(k) matches the A_0 block of (15) and that U0(0)=z_re(0)^2+z_im(0)^2 is nonzero for the test motor parameters. If the sign in U2 differs, the A_0 block changes but the equation remains linear in V(k); only the invertibility condition changes.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central proposition is algebraically sound under the standard DT quotient rule. Re-deriving (9) from (2) with u0 = z_re^2 + z_im^2 and u1 = v_x z_re + v_y z_im, the quotient rule gives I_re(k) = U0(0)^{-1}[U1(k) - sum_{m=0}^{k-1} U0(k-m) I_re(m)]. Expanding U1(k) and separating the m=k term isolates A_0 V(k) plus a known combination of V(0..k-1) and I(0..k-1); an analogous argument holds for I_im. Thus the claim that (9) is linear in the unknown V(k) at each order is correct. The proof inherits only the standard nondegeneracy condition U0(0) != 0, i.e., the initial equivalent impedance has nonzero squared magnitude, which holds for any physical motor operating point. The omitted derivation of (3) and the inherited DT rules from [1]-[2] are not load-bearing for the stated proposition. No internal inconsistency or hidden assumption invalidates the central claim.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"This letter extends the authors' previous differential-transformation (DT) framework to a third-order induction motor load model. The algebraic current-injection equations of the motor are transformed term-by-term using DT convolution rules; the paper states a proposition that the transformed current injections I_re(k), I_im(k) are a \"formally linear\" function of the transformed bus voltages V_x(k), V_y(k) plus terms involving lower-order coefficients. The proof expands the numerator functions U_1, U_2, isolates the order-k voltage terms, and defines a coefficient matrix and a history vector. The paper concludes that the nonlinear motor-load current injection equation becomes linear after DT, enabling non-iterative solution within the DT simulation algorithm.","tokens_in":3399,"tokens_out":13384,"duration_ms":130801,"significance":"If correct, the result is a useful extension of the authors' earlier ZIP-load result: it shows that the algebraic part of a motor-load DAE also enjoys the \"linear after DT\" property, which is the key to avoiding Newton iterations in the DT time-domain solver. The algebraic proof is explicit and verifiable; the main steps—writing U_1 and U_2 as convolutions and applying the quotient rule—are correct under the standard DT rules. The contribution is an algebraic identity, not a numerical demonstration; no code or simulation is provided. The result is conditional on the DT rules of [1]-[2] and on nonvanishing initial values Z_0(0) and U_0(0), conditions that the manuscript currently leaves implicit.","major_comments":[],"minor_comments":[{"comment":"The notation in Eq. (10) is inconsistent with the proof: the derivation establishes I(k) = A V(k) + B(k) with A a constant 2x2 matrix and B(k) depending on k (and on the current-order state coefficients through Z(k)); the subscripted A_m and B_m in (10) and (15) suggest a convolution over m and should be corrected to match the actual algebra.","section":"II-B, Eq. (10)"},{"comment":"The proof divides by Z_0(0) in (6) and by U_0(0) in (9) without stating that these quantities are nonzero; please add the explicit nondegeneracy condition or a statement that it holds at any physical motor operating point.","section":"II-A, Eqs. (6) and (9)"},{"comment":"The DT of the differential equation is given with \"details omitted\"; since this letter relies on [1]-[2] for the DT rules, cite the exact rule or include a short derivation so that the motor-load-specific steps are self-contained and checkable.","section":"II-A, Eq. (3)"},{"comment":"The parameters r, x, x', H, and the remaining parameters in (1) are not all defined; a reader cannot verify the model or the dimensions without a complete parameter list.","section":"II-A, Eqs. (1)-(2)"},{"comment":"The paper should state explicitly that the linearity at order k is meant after the state coefficient S(k) has been computed from the differential equation in the sequential DT solution; otherwise B(k) in (16) appears to depend on an unknown at the same order.","section":"General"},{"comment":"The template placeholder \"REPLACE THIS LINE WITH YOUR PAPER IDENTIFICATION NUMBER\" remains in the text and must be removed in the final submission.","section":"General"}],"recommendation":"minor_revision","confidential_remarks":"This is a short, incremental but sound letter. The main fix needed is a rewriting of Eq. (10) and the surrounding notation to match the actual derivation. The reliance on the authors' own prior work for the DT rules is acceptable if the references are available; the editor may wish to verify that [1] is indeed in press."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"This is a small but real result. The paper takes the authors' earlier work on differential transformation (DT) for ZIP loads and extends it to a third-order induction motor model. The new piece is the derivation of the DT of the motor's algebraic current-injection equation and the proof that, at each transform order k, the unknown voltage coefficient V(k) enters linearly, with everything else depending only on past coefficients. That is a useful property: it means the algebraic equations can be solved without Newton iteration at each time step. The derivation is algebraic and I found no hidden circularity or invented assumptions. The stress-test note matches my own reading: the key step is a quotient rule expansion of U1 and U2, and the claimed linear form follows from collecting the k-th order terms. The proof is not fully written out in the text, but what is shown is enough to reconstruct it.\n\nWhat the paper does well: it states a crisp proposition and gives a direct algebraic proof. It also connects the result to the next step in the authors' research program without overselling it as a revolution. The heavy reliance on the authors' previous papers is not a flaw here, because the DT framework and quotient rules are genuinely established there. Self-citation in this context is legitimate.\n\nSoft spots, in proportion: first, the DT of the differential equation (3) is given with details omitted. That is fine for a letter, but the authors would do well to say explicitly that the omitted derivation is not needed for the linearity proposition, or include it in a footnote. Second, denominators U0(0) and Z1(0) appear without explicit nondegeneracy conditions. Physically these correspond to a nonzero initial squared magnitude of the equivalent impedance and a nonzero initial value of the transformed denominator, so any reasonable motor operating point will satisfy them, but the assumption should be stated. Third, calling (10) a 'formally linear equation' is a bit generous: it is linear in the unknown current coefficient combined with the unknown V(k) at that order, but the B_m term depends on past values, so it is affine rather than globally linear. The proposition itself is stated precisely, so this is a wording issue, not a correctness issue. Finally, there is no numerical validation in the letter. That is a scope choice; the proof establishes the property. Still, a single small example would make the result easier to absorb.\n\nFor whom: anyone working on DT-based power system simulation, or on semi-analytical time-domain methods that rely on polynomial/Taylor representations of DAE solutions. For a broader power systems audience, it is a narrow incremental extension, not a must-read.\n\nMy recommendation: the paper deserves peer review and, after minor revision to state the denominator assumptions and adjust the wording around 'linear', it is acceptable.","headline":"A concise, sound extension of the DT method to induction motor loads; the linearity result holds, though the letter should be explicit about denominator conditions and what 'formally linear' buys you.","tokens_in":3898,"tokens_out":1768,"would_cite":false,"duration_ms":22023,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that the nonlinear current-injection equation of a motor load becomes formally linear after Differential Transformation.","keywords":["differential transformation","power system simulation","motor load model","differential algebraic equations","current injection","formally linear","time-domain simulation","dynamic load model"],"falsifier":"Take a standard third-order motor-load parameter set and a terminal-voltage trajectory whose Differential Transformation coefficients are known through order 3; compute the current coefficients $I_{\\mathrm{re}}(k),I_{\\mathrm{im}}(k)$ directly from the nonlinear algebraic relation (2) by repeated differentiation, and compare them with the values produced by the linear relation (10) using (15)-(16). A single mismatch at any order $k$ would refute the proposition.","tokens_in":3020,"feed_emoji":"⚡","tokens_out":9293,"duration_ms":85504,"temperature":0.7,"pith_summary":"This letter proves that the nonlinear algebraic current-injection equation of a third-order motor load model becomes a formally linear equation after Differential Transformation. The authors transform the load's differential equations and its algebraic current-voltage relation into recurrence equations in transform coefficients, then show that at every order $k$ the unknown current coefficients $I_{\\mathrm{re}}(k), I_{\\mathrm{im}}(k)$ depend linearly on the unknown voltage coefficients $V_{\\mathrm{re}}(k), V_{\\mathrm{im}}(k)$, with all lower-order terms collected into a known coefficient. If the proof is correct, a motor load can be included in time-domain power-system simulation without numerical iteration at each time step, extending the same property previously shown for generators and ZIP loads.","feed_headline":"Motor-load equations turn linear after a differential transform","feed_subtitle":"The transform rewrites a nonlinear motor-load constraint as linear recurrences, so simulation can skip Newton iterations.","key_machinery":"The Differential Transformation (DT) is a series method that replaces a time function $x(t)$ by coefficients $X(k)$ and turns products into convolutions $\\sum_m X(m)Y(k-m)$. The load-bearing machinery of this letter is the DT product and reciprocal rules applied to the intermediate variables $z_0,z_1,u_0,u_1,u_2$ defined in (4)-(5). The reciprocal rule produces the denominators $Z_1(0)$ and $U_0(0)$, and after isolating the $k$-th-order voltage terms, the remaining convolutions are collected into $B_1$ and $B_2$; the fixed matrix $A_m$ in (15) then makes (10) linear in $V_{\\mathrm{re}}(k),V_{\\mathrm{im}}(k)$ at every order.","core_discovery":"On the paper's own terms, the central discovery is Proposition (10): after applying the Differential Transformation to the 3rd-order motor load model (1)-(2), the transformed current-injection equation satisfies $I(k) = \\sum_m A_m V(k-m) + B_m$, where $I(k)=(I_{\\mathrm{re}}(k), I_{\\mathrm{im}}(k))$, $V(k)=(V_{\\mathrm{re}}(k), V_{\\mathrm{im}}(k))$, $A_m$ is a fixed coefficient matrix given by (15), and $B_m$ depends only on transform coefficients of order lower than $k$. The proof rewrites the intermediate voltage expressions $U_1(k)$ and $U_2(k)$ to expose the terms containing $V_{\\mathrm{re}}(k)$ and $V_{\\mathrm{im}}(k)$, and absorbs every other term into $B_m$. Thus the nonlinear algebraic constraint becomes a set of linear equations at each transform order.","pith_inferences":["The paper leaves implicit that operating points with $U_0(0)=0$, i.e. $z_{\\mathrm{re}}^2+z_{\\mathrm{im}}^2=0$, are singular for this construction; a shifted or regularized reciprocal rule might restore linearity there, but that is not tested.","The same formal linearization likely applies to any load whose current-voltage relation is rational in the terminal voltage and state variables, since only the product and reciprocal rules are used; testing a deeper-rotor induction model would show whether the structure survives.","Because $A_m$ is fixed while $B_m$ accumulates lower-order convolutions, truncating the DT series at order $N$ yields a natural error measure by comparing the $N$-th and $(N+1)$-st partial sums; the paper does not discuss this, but the recurrence makes it feasible."],"forward_implications":["At each transform order $k$, the current coefficients can be obtained from the voltage coefficients by one linear solve, removing the Newton-iteration loop that the algebraic motor-load equations otherwise require.","A time-domain simulator that already uses the DT method for generators and ZIP loads can treat motor loads with the same fixed-coefficient linear algebra, rather than a separate nonlinear solver.","The recurrence with fixed $A_m$ and history-dependent $B_m$ can be marched forward order by order, so the computational cost of each step scales with the convolution length rather than with a nonlinear iteration count.","The result supports the letter's claim that the formally-linear-after-DT property is not peculiar to one load type but extends to other dynamic load models."],"supporting_citations":[{"why":"Introduces the Differential Transformation method and the transform rules for products and reciprocals on which equations (6)-(9) depend.","marker":"[1]"},{"why":"Proves the formally linear current-injection property for DAE models with synchronous generators and ZIP loads that this letter extends to motor loads.","marker":"[2]"},{"why":"Supplies the third-order motor load model in (1)-(2).","marker":"[3]"},{"why":"Provides standard power-system modeling conventions used for the motor-load equations.","marker":"[4]"},{"why":"Cited with [3]-[4] as a source of the third-order motor load model used in the letter.","marker":"[5]"}],"fun_headline_variants":["Differential transform linearizes motor-load equations","Skip Newton steps: motor-load DT linearizes injection","Motor-load current injection linearizes under DT","Nonlinear motor load becomes linear DT recurrence","DT turns motor-load nonlinearity into linear recurrences"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the Differential Transformation reciprocal and product rules, assumed from the authors' earlier work, apply exactly to this motor-load equation and that the denominator coefficients $Z_1(0)$ and $U_0(0)$ are nonzero at the operating point; if either condition fails, the linear relation (10) does not follow.","fun_headline_variants_meta":{"raw":{"variants":["Differential transform linearizes motor-load equations","Skip Newton steps: motor-load DT linearizes injection","Motor-load current injection linearizes under DT","Nonlinear motor load becomes linear DT recurrence","DT turns motor-load nonlinearity into linear recurrences"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001978,"raw_usage":{"total_tokens":7637,"prompt_tokens":770,"completion_tokens":6867,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":386,"completion_tokens_details":{"reasoning_tokens":6797}},"tokens_in":386,"tokens_out":6867,"duration_ms":47406,"temperature":1.0,"reasoning_tokens":6797,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T11:28:56.989471+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a standard third-order motor-load parameter set and a terminal-voltage trajectory whose Differential Transformation coefficients are known through order 3; compute the current coefficients $I_{\\mathrm{re}}(k),I_{\\mathrm{im}}(k)$ directly from the nonlinear algebraic relation (2) by repeated differentiation, and compare them with the values produced by the linear relation (10) using (15)-(16). A single mismatch at any order $k$ would refute the proposition.","supporting_citations":[{"cited_title":"Power system time domain simulation using a differential transformation method,","cited_arxiv_id":null,"evidence_quote":"Introduces the Differential Transformation method and the transform rules for products and reciprocals on which equations (6)-(9) depend."},{"cited_title":"Solving Power System Differential Algebraic Equations Using Differential Transformation","cited_arxiv_id":"1903.00935","evidence_quote":"Proves the formally linear current-injection property for DAE models with synchronous generators and ZIP loads that this letter extends to motor loads."},{"cited_title":"Kundur, N","cited_arxiv_id":null,"evidence_quote":"Supplies the third-order motor load model in (1)-(2)."},{"cited_title":"Milano, Power system modelli ng and scripting","cited_arxiv_id":null,"evidence_quote":"Provides standard power-system modeling conventions used for the motor-load equations."},{"cited_title":"A Time -Power Series Based Semi-Analytical Approach for Power System Simulation,","cited_arxiv_id":null,"evidence_quote":"Cited with [3]-[4] as a source of the third-order motor load model used in the letter."}],"review_version":1}