2407.20539
Memristive Linear Algebra
J. Lin, F. Barrows, F. Caravelli
wrongmedium confidenceCounterexample detected
- Category
- math.DS
- Journal tier
- Specialist/Solid
- Processed
- Sep 28, 2025, 12:56 AM
- arXiv Links
- Abstract ↗PDF ↗
Audit review
The paper’s treatment of the Drazin case is mathematically incorrect: it asserts convergence of α∫_0^∞ e^{−αtA}dt for positive semidefinite A and identifies ∫_0^∞ e^{−As}ds with the Drazin inverse AD, both of which fail when A is singular (the integral diverges along Null(A)). The model correctly diagnoses this, provides the missing spectral assumptions for convergence of the linear matrix ODE, and gives a sound flow for the Moore–Penrose pseudoinverse. The pseudoinverse part and the general stable M case in the paper are otherwise aligned with the model, but the paper’s Drazin claims require major correction. Key statements in the paper that are erroneous include: “the improper integral converges because A is positive semi-definite” and “R(∞)=∫_0^∞ e^{−As}ds=AD is the definition of the Drazin inverse”. By contrast, the model’s analysis correctly shows divergence along the nullspace unless the forcing is projected onto Range(A), and it supplies the standard stability condition Re σ(M)>0 for the general flow. See the paper’s eqs. (7)–(9) and bullets on M,E choices, the Appendix A ‘Drazin inverse’ subsection, and Appendix B eq. (B11) for the problematic claims, and the Appendix A ‘Moore–Penrose’ subsection for the correct Showalter formula used in (b) (citations: ).
Referee report (LaTeX)
\textbf{Recommendation:} major revisions \textbf{Journal Tier:} specialist/solid \textbf{Justification:} The hardware-focused algorithm and the Moore–Penrose flow are valuable and largely correct, but the Drazin discussion contains fundamental mathematical errors (incorrect convergence and misidentification of an integral as the Drazin inverse). These issues affect claims about handling singular systems, a central selling point. With rigorous corrections (including explicit stability hypotheses and proper handling of nullspaces/projections), the contribution could be solid.