Low-rank eigenvalue solvers for block-sparse matrix product states
Pith reviewed 2026-05-10 07:53 UTC · model grok-4.3
The pith
Preconditioned inverse iteration with rank truncation computes low-rank matrix product state approximations to Schrödinger eigenfunctions.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We provide a complete analysis of a solver based on preconditioned inverse iteration combined with rank truncation and propose a generalization to subspace iteration for the joint approximation of several eigenspaces. The solver constructs low-rank approximations of eigenfunctions with accuracy-adapted ranks for Schrödinger equations, with particular focus on fermionic Schrödinger equations in second-quantized form and on matrix product state approximations enforcing particle number conservation.
What carries the argument
preconditioned inverse iteration combined with rank truncation for block-sparse matrix product states
If this is right
- The solver produces eigenfunction approximations whose ranks adjust automatically to the desired accuracy.
- The approach applies directly to fermionic Schrödinger equations in second-quantized form that enforce particle number conservation.
- Convergence guarantees hold for the inverse iteration scheme under the stated error-control assumptions.
- The subspace iteration generalization computes several eigenstates jointly rather than one at a time.
- Numerical experiments on model problems demonstrate that the method achieves the expected practical performance.
Where Pith is reading between the lines
- The framework could reduce memory and runtime costs when simulating larger quantum many-body systems by keeping ranks minimal throughout the solve.
- Analogous iterative low-rank techniques might extend to other tensor network formats or to operators beyond the Schrödinger equation.
- Testing the solver on realistic molecular Hamiltonians would reveal whether the block-sparse preconditioning scales to chemically relevant sizes.
- Coupling the rank-adaptation logic with learned preconditioners could further accelerate convergence for specific physical models.
Load-bearing premise
Rank truncation errors remain controlled during iteration and the preconditioner stays effective for the block-sparse matrix product state structure.
What would settle it
A concrete counterexample in which the iteration diverges or the approximation error grows for a fermionic Schrödinger operator, even when truncation thresholds are respected and the preconditioner is applied, would disprove the convergence analysis.
Figures
read the original abstract
We consider an iterative eigensolver for Schr\"odinger equations that constructs low-rank approximations of eigenfunctions with accuracy-adapted ranks, with particular focus on fermionic Schr\"odinger equations in second-quantized form and on matrix product state approximations enforcing particle number conservation. We provide a complete analysis of a solver based on preconditioned inverse iteration combined with rank truncation and propose a generalization to subspace iteration for the joint approximation of several eigenspaces. The practical performance of the method is illustrated by numerical tests for several model problems.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper develops iterative eigensolvers for Schrödinger equations that produce low-rank approximations to eigenfunctions with accuracy-adapted ranks, with emphasis on fermionic systems in second-quantized form using block-sparse matrix product states (MPS) that enforce particle-number conservation. It claims a complete analysis of preconditioned inverse iteration combined with rank truncation, proposes a generalization to subspace iteration for multiple eigenspaces, and illustrates performance via numerical tests on model problems.
Significance. If the central analysis holds with controlled truncation errors, the work would supply a rigorous, practical framework for low-rank eigen-solvers in quantum many-body problems, extending standard preconditioned inverse iteration and subspace methods to the block-sparse MPS setting while preserving conservation laws; this could improve efficiency in quantum chemistry and condensed-matter simulations where high-dimensional eigenproblems arise.
major comments (1)
- [Convergence analysis (theoretical sections following the method description)] The convergence analysis of the preconditioned inverse iteration scheme with rank truncation (claimed to be complete in the abstract and presumably detailed in the main theoretical sections) assumes that truncation errors remain controlled throughout the iteration but does not supply explicit bounds relating the truncation tolerance to the spectral gap or to the quality of the preconditioner under the block-sparse MPS structure and particle-number conservation constraints. This assumption is load-bearing for the central claim, as block-sparsity and the conservation law can alter error propagation relative to unstructured low-rank cases.
minor comments (2)
- [Numerical experiments] The numerical tests section would benefit from explicit statements of the model Hamiltonians, the precise truncation tolerances employed, and quantitative comparisons (e.g., iteration counts or residual norms) against standard dense or unstructured MPS eigensolvers to substantiate the practical advantage.
- [Method description] Notation for the block-sparse MPS tensors and the action of the preconditioner could be clarified with a short diagram or explicit index conventions early in the method section to aid readers unfamiliar with the particle-number conserving formulation.
Simulated Author's Rebuttal
We thank the referee for their thorough review and constructive comments on our manuscript. We address the single major comment below.
read point-by-point responses
-
Referee: [Convergence analysis (theoretical sections following the method description)] The convergence analysis of the preconditioned inverse iteration scheme with rank truncation (claimed to be complete in the abstract and presumably detailed in the main theoretical sections) assumes that truncation errors remain controlled throughout the iteration but does not supply explicit bounds relating the truncation tolerance to the spectral gap or to the quality of the preconditioner under the block-sparse MPS structure and particle-number conservation constraints. This assumption is load-bearing for the central claim, as block-sparsity and the conservation law can alter error propagation relative to unstructured low-rank cases.
Authors: We thank the referee for this observation. The analysis establishes that the iteration converges provided the truncation tolerance is chosen sufficiently small relative to the current residual and the spectral gap, with the block-sparse MPS format ensuring that truncation is performed separately within each particle-number sector (thereby preventing leakage into forbidden sectors). This structure is explicitly used to preserve the conservation law at every step. We acknowledge, however, that the paper does not derive fully explicit constants that quantify the precise dependence of the required tolerance on the gap and preconditioner quality in the block-sparse setting. In the revised version we will add a dedicated remark clarifying the practical choice of tolerance and discussing how the sector-wise truncation modifies error propagation relative to the unstructured case. revision: partial
Circularity Check
No circularity: derivation applies standard inverse iteration to MPS without self-referential reduction
full rationale
The paper presents a complete analysis of preconditioned inverse iteration with rank truncation for low-rank eigenfunction approximations in block-sparse MPS, generalizing to subspace iteration. The abstract and context describe this as building directly on established numerical linear algebra techniques applied to the existing MPS framework with particle-number conservation. No quoted equations, sections, or steps reduce a claimed result to its own inputs by construction, nor do they rely on self-citations for load-bearing uniqueness theorems, ansatzes, or fitted parameters renamed as predictions. The convergence claim assumes controlled truncation errors (as noted in the reader's take) but does not exhibit self-definitional or fitted-input patterns; the analysis is positioned as independent verification against standard benchmarks for inverse iteration. This is the expected non-finding for a paper extending known methods without internal circularity.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math Convergence of preconditioned inverse iteration under suitable preconditioner assumptions
- domain assumption Low-rank truncation preserves essential structure in block-sparse MPS representations
Reference graph
Works this paper leans on
-
[1]
Bachmayr,Low-rank tensor methods for partial differential equations, Acta Numerica32(2023), 1– 121
M. Bachmayr,Low-rank tensor methods for partial differential equations, Acta Numerica32(2023), 1– 121
work page 2023
-
[2]
M. Bachmayr and W. Dahmen,Adaptive near-optimal rank tensor approximation for high-dimensional operator equations, Found. Comput. Math.15(2015), no. 4, 839–898
work page 2015
-
[3]
,Adaptive low-rank methods: problems on Sobolev spaces, SIAM J. Numer. Anal.54(2016), no. 2, 744–796
work page 2016
-
[4]
M. Bachmayr, M. G¨ otte, and M. Pfeffer,Particle number conservation and block structures in matrix product states, Calcolo59(2022), no. 2, Paper No. 24, 47
work page 2022
-
[5]
M. Bachmayr and V. Kazeev,Stability of low-rank tensor representations and structured multilevel pre- conditioning for elliptic PDEs, Foundations of Computational Mathematics20(2020), 1175–1236
work page 2020
-
[6]
M. Bachmayr and R. Schneider,Iterative methods based on soft thresholding of hierarchical tensors, Found. Comput. Math.17(2017), no. 4, 1037–1083
work page 2017
-
[7]
G. M. Crosswhite and D. Bacon,Finite automata for caching in matrix product algorithms, Physical Review A78(2008), no. 1, 012356
work page 2008
-
[8]
A. J. Daley, C. Kollath, U. Schollw¨ ock, and G. Vidal,Time-dependent density-matrix renormalization- group using adaptive effective Hilbert spaces, Journal of Statistical Mechanics: Theory and Experiment 2004(2004), no. 04, P04005
work page 2004
- [9]
-
[10]
S. Dolgov and B. Khoromskij,Two-level QTT-Tucker format for optimized tensor calculus, SIAM Journal on Matrix Analysis and Applications34(2013), no. 2, 593–623
work page 2013
-
[11]
S. V. Dolgov, B. N. Khoromskij, I. V. Oseledets, and D. V. Savostyanov,Computation of extreme eigen- values in higher dimensions using block tensor train format, Computer Physics Communications185 (2014), no. 4, 1207–1216
work page 2014
-
[12]
G. C. Donovan, J. S. Geronimo, and D. P. Hardin,Orthogonal polynomials and the construction of piecewise polynomial smooth wavelets, SIAM J. Math. Anal.30(1999), no. 5, 1029–1056
work page 1999
-
[13]
G¨ otte,Applications of tensor networks in quantum chemistry and polynomial regression, 2022
M. G¨ otte,Applications of tensor networks in quantum chemistry and polynomial regression, 2022
work page 2022
-
[14]
L. Grasedyck,Hierarchical singular value decomposition of tensors, SIAM Journal on Matrix Analysis and Applications31(2010), no. 4, 2029–2054
work page 2010
-
[15]
W. Hackbusch,On the representation of symmetric and antisymmetric tensors, Contemporary Compu- tational Mathematics-A Celebration of the 80th Birthday of Ian Sloan, Springer, 2018, pp. 483–515
work page 2018
-
[16]
56, Springer, Cham, 2019, Second edition
,Tensor spaces and numerical tensor calculus, Springer Series in Computational Mathematics, vol. 56, Springer, Cham, 2019, Second edition
work page 2019
-
[17]
W. Hackbusch and S. K¨ uhn,A new scheme for the tensor representation, Journal of Fourier Analysis and Applications15(2009), no. 5, 706–722
work page 2009
- [18]
-
[19]
V. A. Kazeev and B. N. Khoromskij,Low-Rank Explicit QTT Representation of the Laplace Operator and Its Inverse, SIAM J. Matrix Anal. & Appl.33(2012), no. 3, 742–758
work page 2012
- [20]
-
[21]
A. V. Knyazev and K. Neymeyr,A geometric theory for preconditioned inverse iteration. III. A short and sharp convergence estimate for generalized eigenvalue problems, vol. 358, 2003, Special issue on accurate solution of eigenvalue problems (Hagen, 2000), pp. 95–114
work page 2003
-
[22]
,Gradient flow approach to geometric convergence analysis of preconditioned eigensolvers, SIAM J. Matrix Anal. Appl.31(2009), no. 2, 621–628
work page 2009
-
[23]
D. Kressner, M. Steinlechner, and A. Uschmajew,Low-rank tensor methods with subspace correction for symmetric eigenvalue problems, SIAM J. Sci. Comput.36(2014), no. 5, A2346–A2368
work page 2014
-
[24]
D. Kressner and Ch. Tobler,Preconditioned low-rank methods for high-dimensional elliptic PDE eigen- value problems, Computational Methods in Applied Mathematics11(2011), no. 3, 363–381
work page 2011
-
[25]
I. P. McCulloch,From density-matrix renormalization group to matrix product states, Journal of Statistical Mechanics: Theory and Experiment2007(2007), no. 10, P10014
work page 2007
-
[26]
I. V. Oseledets,Tensor Train decomposition, SIAM Journal on Scientific Computing33(2011), no. 5, 2295–2317
work page 2011
-
[27]
S. ¨Ostlund and S. Rommer,Thermodynamic limit of density matrix renormalization, Physical review letters75(1995), no. 19, 3537
work page 1995
-
[28]
M. Pfeffer,Tensor methods for the numerical solution of high-dimensional parametric partial differential equations, Ph.D. thesis, TU Berlin, 2018
work page 2018
-
[29]
T. Rohwedder, R. Schneider, and A. Zeiser,Perturbed preconditioned inverse iteration for operator eigen- value problems with applications to adaptive wavelet discretization, Advances in Computational Mathe- matics34(2011), no. 1, 43–66. LOW-RANK EIGENVALUE SOLVERS FOR BLOCK-SPARSE MATRIX PRODUCT STATES 34
work page 2011
-
[30]
U. Schollw¨ ock,The density-matrix renormalization group in the age of matrix product states, Annals of physics326(2011), no. 1, 96–192
work page 2011
-
[31]
S. Scholz and H. Yserentant,On the approximation of electronic wavefunctions by anisotropic Gauss and Gauss–Hermite functions, Numerische Mathematik136(2017), no. 3, 841–874
work page 2017
- [32]
-
[33]
G. Vidal,Efficient classical simulation of slightly entangled quantum computations, Physical review letters 91(2003), no. 14, 147902
work page 2003
-
[34]
S. R. White,Density matrix formulation for quantum renormalization groups, Phys. Rev. Lett.69(1992), 2863–2866
work page 1992
-
[35]
H. Yserentant,Regularity and approximability of electronic wave functions, Springer-Verlag, Berlin, 2010. AppendixA.Rayleigh Quotient Bounds A.1.Auxiliary result for Theorem 5.1. Lemma A.1.Letx,y,zbe vectors such thatλ(z)≤(1−t)λ(y) +tλ(x)as well as λ(x), λ(y)∈[λ k, λk+1)andλ(x)≥λ(y). Then if for aq∈[0,1), (A.1) λ(y)−λ k λk+1 −λ(y) ≤q 2 λ(x)−λ k λk+1 −λ(x)...
work page 2010
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.